David Charles presents a major new study of Aristotle's views on meaning, essence, necessity, and related topics. These interconnected views are central to Aristotle's metaphysics, philosophy of language, and philosophy of science, and are also highly relevant to current philosophical debates. Charles aims to reach a clear understanding of Aristotle's claims and arguments, to assess their truth, and to evaluate their importance to ancient and modern philosophy.

Aristotle was the founder not only of logic but also of modal logic. In the Prior Analytics he developed a complex system of modal syllogistic which, while influential, has been disputed since antiquity--and is today widely regarded as incoherent. Combining analytic rigor with keen sensitivity to historical context, Marko Malink makes clear that the modal syllogistic forms a consistent, integrated system of logic, one that is closely related to other areas of Aristotle's philosophy. Aristotle's modal syllogistic differs significantly from modern (...) modal logic. Malink considers the key to understanding the Aristotelian version to be the notion of predication discussed in the Topics--specifically, its theory of predicables and the ten categories. The predicables introduce a distinction between essential and nonessential predication. In contrast, the categories distinguish between substantial and nonsubstantial predication. Malink builds on these insights in developing a semantics for Aristotle's modal propositions, one that verifies the ancient philosopher's claims of the validity and invalidity of modal inferences. While it acknowledges some limitations of this reconstruction, Aristotle's Modal Syllogistic brims with bold ideas, richly supported by close readings of the Greek texts. (shrink)

The following is a critical and historical account of Aristotelian Essentialism informed by recent work on Aristotle’s modal syllogistic. The semantics of the modal syllogistic are interpreted in a way that is motivated by Aristotle, and also make his validity claims in the Prior Analytics consistent to a higher degree than previously developed interpretative models. In Chapter One, ancient and contemporary objections to the Aristotelian modal syllogistic are discussed. A resolution to apparent inconsistencies in Aristotle’s modal syllogistic is proposed and (...) developed out of recent work by Patterson, Rini, and Malink. In particular, I argue that the semantics of negation is distinct in modal context from those of assertoric negative claims. Given my interpretive model of Aristotle’s semantics, in Chapter Two, I provide proofs for each of the mixed apodictic syllogisms, and propose a method of using Venn Diagrams to visualize the validity claims Aristotle makes in the Prior Analytics. Chapter Three explores how Aristotle’s syllogistic fits within Aristotle’s philosophy of science and demonstration, particularly within the context of the Posterior Analytics. Consideration is given to the Aristotelian understanding of the relationship among necessity, explanation, definition, and essence. Chapter Four applies Aristotelian modal logic in contemporary contexts. I contrast Aristotelian modality and essentialism with contemporary modalism based upon the semantics of possible worlds, e.g. Kripke and Putnam. I also develop an account of how Aristotelian modal logic can ground a sortal dependent theory of identity, as discussed by Wiggins. (shrink)

The first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal Logics and Philosophy" (...) places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophical analysis. In part 1 of the book, the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, obligation and permission. (shrink)

This volume presents 26 essays on method and metaphysics in ancient philosophy by Jonathan Barnes, one of the most admired and influential philosophers of his generation. Several of the essays appear here in English for the first time; others are substantially revised. This will be a rich feast for students and scholars of ancient philosophy.

VIRTUALLY ALL MODAL LOGICIANS after Aristotle have been troubled by his insistence that, given a valid first figure categorical syllogism.

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.