Aristotle's modal syllogistic has been an object of study ever since the time of Theophrastus; but these studies have been somewhat desultory. Remarkably, in the 1990s several new lines of research have appeared, with series of original publications by Fred Johnson, Richard Patterson and Ulrich Nortmann. Johnson presented for the first time a formal semantics adequate to a de re reading of the apodeictic syllogistic; this was based on a simple intuition linking the modal syllogistic to Aristotelian metaphysics. Nortmann developed (...) an ingenious de dicto analysis. Patterson articulated the links between the modal syllogistic and the metaphysics, using an analysis which strictly speaking is neither de re nor de dicto. My own studies in this field date from 1976, when my colleague Peter Roeper and I jointly wrote a paper "Aristotle's apodeictic syllogisms" for the XXIInd History of Logic Conference in Krakow. This paper contained the disjunctive reading of particular affirmative apodeictic propositions, which I still favour. Nonetheless, I did not consider that paper's results decisive or comprehensive enough to publish, and my 1981 book The Syllogism contained no treatment of the modal syllogism. The paper's ideas lay dormant till 1989, when I read Johnson's and Patterson's initial articles. I began publishing on the topic in 1991. Gradually my thoughts acquired a certain comprehensiveness and systematicity, till in 1993 I was able to take a semester's sabbatical to write up a draft of this book. (shrink)

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.

This book takes up the central themes of Aristotle's metaphysical theory and the various transformations they undergo prior to their full expression in the Metaphysics. Aristotle's metaphysics is bedevilled by classic puzzles involving such notions as form, predication, universal, and substance, which result from his attempt to adapt the various requirements on primary substance developed in his earlier works so that they fit the very different metaphysical picture in his later work. Professor Lewis argues that Aristotle is himself aware of (...) most if not all of these difficulties and in the Metaphysics works hard to ensure the coherence of his theory. He presents Aristotle's views as a formal theory complete with axioms, definitions, and theorems. (shrink)

In Book Γ of the Metaphysics Aristotle states and attempts to prove what he calls the basic principle of the science of being as being: the law of non‐contradiction. In this paper I defend an interpretation of his proof, inspired by Elizabeth Anscombe's 1961 essay in ‘Three Philosophers’, though some of its features were remarked on by Lukasiewicz in 1910, according to which Aristotle is proving this principle only for substance predicates, and that it is to be understood as the (...) basic principle of metaphysics rather than of logic. It is the principle that every substance has an essential nature, and if it is of the essential nature of x to be F then it cannot be of the essential nature of x to be not‐F since then x's being F and x's being not‐F would be the same. He puts it by saying that in such a case F and not‐F would ‘signify the same’ for x. Since they do not, x cannot be both. (shrink)

This is a brief note that looks at the problem presented by the traditional rendering of the modal syllogism Disamis XLL. In two recent articles, I argue that we should not attribute Disamis XLL to Aristotle. The purpose of this note is to provide textual support for my claim.

Aristotle's modal syllogistic has been described as "incoherent," "a failure," "a realm of darkness." Even the gentler critics claim that it is inconsistent. I offer an interpretation according to which validity in the modal syllogistic is always obtained by substituting modal terms in the nonmodal syllogistic, and restricting the principles of modal conversion. In this paper I discuss the apodeictic syllogistic, showing that the restrictions I propose are powerful enough to do all the work Aristotle requires and, in fact, are (...) supported by a close analysis of Aristotle's text. The upshot of this is that there is for Aristotle no separate modal syllogistic. (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.

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)

In a discussion-note in Mind, Father P. M. Farrell, O.P., gave an account, in what he admitted to be an embarrassingly brief compass, of the Thomist doctrine concerning evil. There is one sentence in this discussion which at first glance appears paradoxical. Father Farrell has been arguing that a universe containing ‘corruptible good’ as well as incorruptible is better than one containing ‘incorruptible good’ only. He continues: ‘If, however, they are to manifest this corruptible good, they must be corruptible and (...) they must sometimes corrupt.’ The final words, despite Father Farrell's italics, strike one as expressing, not a self-evident truth, but a non sequitur. The fact that I am capable of committing murder does not entail that I will at some time commit it. It is not immediately obvious that a similar entailment holds in the case of corruption and corruptibility. (shrink)

This paper examines three recent discussions of Aristotle's system of syllogisms with apodeictic and assertoric premisses. Though they contain no cross-references, and though they arrive at disparate interpretations, all three pieces share a common aim. That aim is to construct an intuitively graspable interpretation of Aristotle's modal syllogistic which is based on metaphysical considerations. I argue that none of these authors has succeeded in this; nevertheless, I share their broad aim, and attempt to show that a more satisfactory interpretation can (...) be formulated by combining and developing elements drawn from all three. (shrink)

An interpretation of Aristotle's modal syllogistic is proposed which is intuitively graspable, if only formally correst. The individuals to which a term applies, and possibly-applies, are supposed to be determined in a uniform way by the set of individuals to which the term necessarily-applies.

Ever since ?ukasiewicz, it has been opinio communis that Aristotle's modal syllogistic is incomprehensible due to its many faults and inconsistencies, and that there is no hope of finding a single consistent formal model for it. The aim of this paper is to disprove these claims by giving such a model. My main points shall be, first, that Aristotle's syllogistic is a pure term logic that does not recognize an extra syntactic category of individual symbols besides syllogistic terms and, second, (...) that Aristotelian modalities are to be understood as certain relations between terms as described in the theory of the predicables developed in the Topics. Semantics for modal syllogistic is to be based on Aristotelian genus-species trees. The reason that attempts at consistently reconstructing modal syllogistic have failed up to now lies not in the modal syllogistic itself, but in the inappropriate application of modern modal logic and extensional set theory to the modal syllogistic. After formalizing the underlying predicable-based semantics (Section 1) and having defined the syllogistic propositions by means of its term logical relations (Section 2), this paper will set out to demonstrate in detail that this reconstruction yields all claims on validity, invalidity and inconclusiveness that Aristotle maintains in the modal syllogistic (Section 3 and 4). (shrink)

A semantics is presented for Storrs McCall's separate axiomatizations of Aristotle's accepted and rejected polysyllogisms. The polysyllogisms under discussion are made up of either assertoric or apodeictic propositions. The semantics is given by associating a property with a pair of sets: one set consists of things having the property essentially and the other of things having it accidentally. A completeness proof and a semantic decision procedure are given.

Aristotle thought of his logic and methodology as applications of the Socratic questioning method. In particular, logic was originally a study of answers necessitated by earlier answers. For Aristotle, thought-experiments were real experiments in the sense that by realizing forms in one's mind, one can read off their properties and interrelations. Treating forms as independent entities, knowable one by one, committed Aristotle to his mode of syllogistic explanation. He did not think of existence, predication and identity as separate senses of (...) estin. Aristotle thus serves as an example of a thinker who did not rely on the distinction between the allegedly different Fregean senses, thereby shedding new light on our own conceptual presuppositions. This collection comprises several striking interpretations that Jaakko Hintikka has put forward over the years, constituting a challenge not only to Aristotelian scholars and historians of ideas, but to everyone interested in logic, epistemology or metaphysics and in their history. (shrink)

This book offers a unique synthesis of past and current work on the structure, meaning, and use of negation and negative expressions, a topic that has engaged thinkers from Aristotle and the Buddha to Freud and Chomsky. Horn's masterful study melds a review of scholarship in philosophy, psychology, and linguistics with original research, providing a full picture of negation in natural language and thought; this new edition adds a comprehensive preface and bibliography, surveying research since the book's original publication.

Aristotle was the first and one of the greatest logicians. He not only devised the first system of formal logic, but also raised many fundamental problems in the philosophy of logic. In this book, Dr Lear shows how Aristotle's discussion of logical consequence, validity and proof can contribute to contemporary debates in the philosophy of logic. No background knowledge of Aristotle is assumed.

Aristotle's theory of truth, which has been the most influential account of the concept of truth from Antiquity onwards, spans several areas of philosophy: philosophy of language, logic, ontology and epistemology. In this 2004 book, Paolo Crivelli discusses all the main aspects of Aristotle's views on truth and falsehood. He analyses in detail the main relevant passages, addresses some well-known problems of Aristotelian semantics, and assesses Aristotle's theory from the point of view of modern analytic philosophy. In the process he (...) discusses most of the literature on Aristotle's semantic theory to have appeared in the last two centuries. His book vindicates and clarifies the often repeated claim that Aristotle's is a correspondence theory of truth. It will be of interest to a wide range of readers working in both ancient philosophy and modern philosophy of language. (shrink)

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...) logic studies occurred in the early 1950s with the publication of the landmark Aristotle’s Syllogistic by Jan Łukasiewicz, Oxford UP 1951, 2nd ed. 1957. Despite its title, it treats the logic of the Stoics as well as that of Aristotle. Łukasiewicz was a distinguished mathematical logician. He had created many-valued logic and the parenthesis-free prefix notation known as Polish notation. He co-authored with Alfred Tarski’s an important paper on metatheory of propositional logic and he was one of Tarski’s the three main teachers at the University of Warsaw. Łukasiewicz’s stature was just short of that of the giants: Aristotle, Boole, Frege, Tarski and Gödel. No mathematical logician of his caliber had ever before quoted the actual teachings of ancient logicians. -/- Not only did Łukasiewicz inject fresh hypotheses, new concepts, and imaginative modern perspectives into the field, his enormous prestige and that of the Warsaw School of Logic reflected on the whole field of ancient logic studies. Suddenly, this previously somewhat dormant and obscure field became active and gained in respectability and importance in the eyes of logicians, mathematicians, linguists, analytic philosophers, and historians. Next to Aristotle himself and perhaps the Stoic logician Chrysippus, Łukasiewicz is the most prominent figure in ancient logic studies. A huge literature traces its origins to Łukasiewicz. -/- This Ancient Logic and Its Modern Interpretations, is based on the 1973 Buffalo Symposium on Modernist Interpretations of Ancient Logic, the first conference devoted entirely to critical assessment of the state of ancient logic studies. (shrink)