You may have to register before you can download all our books and magazines, click the sign up button below to create a free account.
Aristotle’s modal syllogistic is his study of patterns of reasoning about necessity and possibility. Many scholars think the modal syllogistic is incoherent, a ‘realm of darkness’. Others think it is coherent, but devise complicated formal modellings to mimic Aristotle’s results. This volume provides a simple interpretation of Aristotle’s modal syllogistic using standard predicate logic. Rini distinguishes between red terms, such as ‘horse’, ‘plant’ or ‘man’, which name things in virtue of features those things must have, and green terms, such as ‘moving’, which name things in virtue of their non-necessary features. By applying this distinction to the Prior Analytics, Rini shows how traditional interpretive puzzles about the modal syllogistic melt away and the simple structure of Aristotle’s own proofs is revealed. The result is an applied logic which provides needed links between Aristotle’s views of science and logical demonstration. The volume is particularly valuable to researchers and students of the history of logic, Aristotle’s theory of modality, and the philosophy of logic in general.
Is what could have happened but never did as real as what did happen? What did happen, but isn't happening now, happened at another time. Analogously, one can say that what could have happened happens in another possible world. Whatever their views about the reality of such things as possible worlds, philosophers need to take this analogy seriously. Adriane Rini and Max Cresswell exhibit, in an easy step-by-step manner, the logical structure of temporal and modal discourse, and show that every temporal construction has an exact parallel that requires a language that can refer to worlds, and vice versa. They make precise, in a way which can be articulated and tested, the claim that the parallel is at work behind even ordinary talk about time and modality. The book gives metaphysicians a sturdy framework for the investigation of time and modality - one that does not presuppose any particular metaphysical view.
This volume explores the use of higher-order logics in metaphysics. Higher-order logics are natural extensions of the common systems of predicate logic, with a history going back to the very beginnings of formal logic. Such logics are well suited to formalize metaphysical views and arguments. Over the last decade, there has been a resurgence of interest in higher-order metaphysics. Seventeen original essays are grouped under five headings. Three introductory chapters present higher-order languages and motivate their use in metaphysics. Three chapters on pure higher-order metaphysics discuss different options of higher-order languages and logics which may be used in metaphysics. Three chapters on applied higher-order metaphysics consider the application of higher-order logic to various central topics of metaphysics. Three historical chapters trace the development of higher-order logic as it relates to metaphysics over the last 150 years. The volume concludes with a discussion, containing two chapters criticizing the use of higher-order logic in metaphysics, as well as responses to these criticisms by two authors.
Despite its place in the humanities, the career prospects and numbers of women in philosophy much more closely resemble those found in the sciences and engineering. This book collects a series of critical essays by female philosophers pursuing the question of why philosophy continues to be inhospitable to women and what can be done to change it. By examining the social and institutional conditions of contemporary academic philosophy in the Anglophone world as well as its methods, culture, and characteristic commitments, the volume provides a case study in interpretation of one academic discipline in which women's progress seems to have stalled since initial gains made in the 1980s. Some cont...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 5th Indian Conference on Logic and Its Applications, ICLA 2013, held in Chennai, India, in January 2013. The 15 revised full papers presented together with 7 invited talks were carefully reviewed and selected from numerous submissions. The papers cover the topics related to pure and applied logic, foundations and philosophy of mathematics and the sciences, set theory, model theory, proof theory, areas of theoretical computer science, artificial intelligence and other disciplines which are of direct interest to mathematical and philosophical logic.
This book provides a new philosophical, semantical and historical analysis of and justification for the relevant logic of entailment. Its fresh and original perspective on the logic of entailment will be valuable for all who want to know more about the historical and philosophical origins of modern symbolic logic.
"Ever since the beginnings of philosophical thought in Greek antiquity, philosophers have made use of modalities such as necessity and possibility. In particular, the concepts of necessity and 'what must be' played an important role in Pre-Socratic thought. For example, Anaximander maintained that things perish into that from which they came to be 'in accordance with what must be' (kata to chreôn). Heraclitus held that 'everything comes about in accordance with strife and what must be (kat' erin kai chreôn)'. In his poem, Parmenides asserts that what is (to eon) is entirely still and changeless because 'powerful Necessity (Anagkê) holds it in the bonds of a limit, which encloses it all ar...
Amandus Polanus (1561–1610) has often been described as a highly significant theologian, but also a neglected one. Part of Polanus' significance comes from his inclusion of ethics and practical application in his discussion of theology and the way in which his theology mixes Ramist dichotomies and the scholastic distinctions common in Christian Aristotelianism. Stephen B. Tipton shows how Polanus' understanding of God's essence and attributes is built upon the ground of scripture, arranged with the aid of logical arguments and reasoning, and aimed at the worship and glory of the Triune God. Tipton defends this conclusion against previous research which suggests that Polanus' theology is grounded in rationalism and subordinates the Trinity beneath an Aristotelian notion of God's perfect unity. This research not only corrects these previous notions about Polanus, but it also provides greater insight into the early Reformed Orthodox period and the theology that arose from that time.
The Arguments of Aquinas is intended for readers with philosophical interests, who may not be specialists in medieval philosophy. Some think that a medieval saint must be, as such, wrong, dated, and boring; others feel that a saint, any saint, must be right, relevant, and inspirational. Both groups are likely to misread Aquinas, if indeed they read him at all. The works of great philosophers are products of their times, but that does not lessen their value for us. We profit by reading the works of St Thomas in the same interested but critical way that we read the works of our contemporaries. MacIntosh does not hesitated to compare Thomas's arguments with those of later philosophers as well a...