In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and ukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.

The purpose of the work was to produce a framework to guide the development of meritorious clinical trial proposals. The framework consists of essential features of rigourous methodology, ethical acceptability, and a component referred to as "community context". These three domains were woven together in a checklist format under the headings of general, scientific and ethical considerations. Since texts concerning clinical trial methodology do not integrate ethics criteria and ethics guidelines do not provide detailed scientific criteria in obvious and practical (...) ways, we outline a more contemporary and comprehensive set of guidelines. (shrink)

This article reviews the strengths and limitations of five major paradigms of medical computer-assisted decision making (CADM): (1) clinical algorithms, (2) statistical analysis of collections of patient data, (3) mathematical models of physical processes, (4) decision analysis, and (5) symbolic reasoning or artificial intelligence (Al). No one technique is best for all applications, and there is recent promising work which combines two or more established techniques. We emphasize both the inherent power of symbolic reasoning and the promise of artificial intelligence (...) and the other techniques to complement each other. (shrink)

This paper offers a new approach to the philosophical foundations of information systems through feminist philosophy and, in particular, feminist epistemology. This can be used to expose the universalizing tendency of many information systems and to show the importance of using real-life complex examples rather than the simplified examples often favored by philosophers. Within traditional epistemology and its relation to IS, subjectivity, the propositional/skills distinction and epistemic hierarchies are subject to arguments from feminist epistemology. With respect to the emerging critical (...) school of IS, feminist epistemology, and within that, feminist standpoint theory, are used to examine the complexities of the positivist/anti-positivist position and the related concept of emancipation. In addition, it is argued that the liberal version of emancipation encapsulated in such systems may have an effect opposite to that of emancipation These issues are illustrated in an existing expert systems project. (shrink)

In the present book the fragments of the Syriac version of the treatise _De plantis_ as well as the text of the four other translations (Arabic, Latin, Greek, Hebrew) are edited afresh. A few of the numerous commentaries are added and the vexed question of whether Averroes had written a commentary on it is treated at some length.

Paperback. The book treats two general questions: 1. Whether Erasmanism and Erasmian Humanism existed as a recognizable attitude during the sixteenth and early seventeenth centuries; 2. Whether Erasminism represented a definable middle way between the confessional conflicts of these times. How important was Erasmanism in these respects? The treatment of these two questions is geographically limited to those countries where Erasmus himself was active: Italy, The Netherlands, Holy Roman Empire, Switzerland and England.Erasmanism as a concept has hardly been studied before, (...) although the term is used freely by scholars of the early modern period. This book is a first attempt at a begriffsgeschichte of Erasminism. (shrink)