This Oxford Handbook covers the current state of the art in the philosophy of maths and logic in a comprehensive and accessible manner, giving the reader an overview of the major problems, positions, and battle lines. The 26 newly-commissioned chapters are by established experts in the field and contain both exposition and criticism as well as substantial development of their own positions. Select major positions are represented by two chapters - one supportive and one critical. The book includes a comprehensive (...) bibliography. (shrink)

Aristotle's Modal Logic, first published in 1995, presents an interpretation of Aristotle's logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics. Richard Patterson develops three striking theses in the book. First, there is a fundamental connection between Aristotle's logic of possibility and necessity, and his metaphysics, and that this connection extends far beyond the widely recognised tie to scientific demonstration and relates to the more basic distinction between the essential (...) and accidental properties of a subject. Second, Aristotle's views on modal logic depend in very significant ways on his metaphysics without entailing any sacrifice in rigour. Third, once one has grasped the nature of the relationship, one can understand better certain genuine difficulties in the system of logic and appreciate its strengths in terms of the purposes for which it was created. (shrink)

Aristotelian causal theories incorporate some philosophically important features of the concept of cause, including necessity and essential character. The proposed formalization is restricted to one-place predicates and a finite domain of attributes (without individuals). Semantics is based on a labeled tree structure, with truth defined by means of tree paths. A relatively simple causal prefixing mechanism is defined, by means of which causes of propositions and reasoning with causes are made explicit. The distinction of causal and factual explanation are elaborated, (...) and examples of cyclic and convergent causation are given. Soundness and completeness proofs are sketched. (shrink)

Philosophers have had an interest in language from the earliest times but the twentieth century, with its so-called 'linguistic turn' in philosophy, has seen a huge expansion of work focused specifically on language and its foundations. No branch of philosophy has been unaffected by this shift of emphasis. It is timely at the end of the century to review and assess the vast range of issues that have been developed and debated in this central area. The distinguished international contributors present (...) a clear, accessible guide to the fundamental questions raised by the philosophers about language. Contributions include Graeme Forbes on necessity, Susan Haack on deviant logics, Paul Horwich on truth, Charles Travis on Wittgenstein, L.J. Cohen on linguistic philosophy, Ruth Kempson on semantics and syntax and Christopher Hookway on ontology, to name but a few. A wide range of topics are covered from the metaphysics and ontology of language, language and mind, truth and meaning, to theories or reference, speech act theory, philosophy of logic and formal semantics. There are also articles on key figures from the twentieth century and earlier. Based on the foundation provided by the award-winning Encyclopedia of Language and Linguistics this single volume provides a collection of articles that will be an invaluable reference tool for all those interested in the area of philosophy of language, and also to those in cognitive science and psychology. All the articles have been thoroughly revised and updated. This volume gives a unique survey of topics that are at the very core of contemporary philosophy. (shrink)

Through a study of argument, science, art, and human intelligence, Louis Groarke explores and builds on a line of Aristotelian thought that traces the origins of logic and knowledge to a mental creativity that is able to leap to insightful and truthful conclusions on the basis of restricted evidence. In an Aristotelian Account of Induction Groarke discusses the intellectual process through which we access the "first principles" of human thought - the most basic concepts, The laws of logic, The universal (...) claims of science and metaphysics, And The deepest moral truths. Following Aristotle and others, Groarke situates the first stirrings of human understanding in a creative capacity for discernment that precedes knowledge, even logic. Relying on a new historical study of philosophical theories of inductive reasoning from Aristotle To The twenty-first century, Groarke explains how Aristotle offers a viable solution To The so-called problem of induction, while offering new contributions to contemporary accounts of reasoning and argument and challenging the conventional wisdom about induction. In recovering and developing philosophical ideas that have been largely overlooked or misrepresented by more recent sources, An Aristotelian Account of Induction makes a major contribution To The historical study of philosophy and to critical debate. (shrink)

Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...) Q is one whose existentialization, ∃ x Q, is logically true; otherwise, Q is existential-import-free or simply import-free.How abundant or widespread is existential import? How abundant or widespread are existential-import predicates in themselves or in comparison to import-free predicates? We show that existential-import predicates are quite abundant, and no less so than import-free predicates. Existential.. (shrink)

While logical principles seem timeless, placeless, and eternal, their discovery is a story of personal accidents, political tragedies, and broad social change. If A, Then B begins with logic's emergence twenty-three centuries ago and tracks its expansion as a discipline ever since. -/- The book treats logic as more than a tale of individual abstraction; it sees logic as also being a result of politics, economics, technology, and geography, because all these factors helped to generate an audience for the discipline (...) from the start. The book thus relates developments in logical theory to the social history of different historical periods. -/- The book defends a number of controversial philosophical theses: (1) that rationally persuasive arguments must always proceed from premises that are initially more convincing than the conclusions to be proved (a position derived from Aristotle), (2) that intuitive logical judgments, though sometimes mistaken, can also count as certain knowledge, independent of the techniques used to construct formal logical systems, (3) that Wittgenstein was mistaken in thinking that philosophy was riddled with unintelligible language and that the real problems, instead, have been ambiguity and pretentious diction, and (4) that Nelson Goodman's argument to the effect that deductive logic can be "virtuously circular" is founded on a non sequitur. -/- . (shrink)

This is the first full assessment of British philosophy in the 19th century. Specially written essays by leading experts explore the work of the key thinkers of this remarkable period in intellectual history, covering logic and scientific method, metaphysics, religion, positivism, the impact of Darwin, and ethical, social, and political theory.

Aristotle created logic and developed it to a level of great sophistication. There was nothing there before; and it took more than two millennia for something better to come around. The astonishment experienced by readers of the Prior Analytics, the most important of Aristotle's works that present the discipline, is comparable to that of an explorer discovering a cathedral in a desert. This article explains and evaluates some of Aristotle's views about propositions and syllogisms. The most important omission is the (...) difficult subject of syllogisms involving modalities. Aristotle distinguishes two relations of opposition that can obtain between propositions with the same subject- and predicate-expressions: contrariety and contradiction. In every canonical syllogism, one term is common to the two premises: it is called “middle term,” or simply “middle.” The remaining two terms of the premises are the only ones occurring in the conclusion: they are called “extreme terms,” or simply “extremes.”. (shrink)

I use the Corcoran–Smiley interpretation of Aristotle's syllogistic as my starting point for an examination of the syllogistic from the vantage point of modern proof theory. I aim to show that fresh logical insights are afforded by a proof-theoretically more systematic account of all four figures. First I regiment the syllogisms in the Gentzen–Prawitz system of natural deduction, using the universal and existential quantifiers of standard first-order logic, and the usual formalizations of Aristotle's sentence-forms. I explain how the syllogistic is (...) a fragment of my system of Core Logic. Then I introduce my main innovation: the use of binary quantifiers, governed by introduction and elimination rules. The syllogisms in all four figures are re-proved in the binary system, and are thereby revealed as all on a par with each other. I conclude with some comments and results about grammatical generativity, ecthesis, perfect validity, skeletal validity and Aristotle's chain principle. (shrink)

Addresses various crucial approaches to the history of philosophy - narrative, philological, hermeneutic, and systematic. This book elaborates the principles of each approach and puts focus on their capacity to properly comprehend problems.

Much of the last fifty years of scholarship on Aristotle’s syllogistic suggests a conceptual framework under which the syllogistic is a logic, a system of inferential reasoning, only if it is not a theory or formal ontology, a system concerned with general features of the world. In this paper, I will argue that this a misleading interpretative framework. The syllogistic is something sui generis: by our lights, it is neither clearly a logic, nor clearly a theory, but rather exhibits certain (...) characteristic marks of logics and certain characteristic marks of theories. In what follows, I will present a debate between a theoretical and a logical interpretation of the syllogistic. The debate centers on the interpretation of syllogisms as either implications or inferences. But the significance of this question has been taken to concern the nature and subject-matter of the syllogistic, and how it ought to be represented by modern techniques. For one might think that, if syllogisms are implications, propositions with conditional form, then the syllogistic, in so far as it is a systematic taxonomy of syllogisms, is a theory or a body of knowledge concerned with general features of the world. Furthermore, if the syllogistic is a theory, then it ought to be represented by an axiomatic system, a system deriving propositional theorems from axioms. On the other hand, if syllogisms are inferences, then the syllogistic is a logic, a system of inferential reasoning. And furthermore, it ought to be represented as a natural deduction system, a system deriving valid arguments by means of intuitively valid inferences. I will argue that one can disentangle these questions—are syllogisms inferences or implications, is the syllogistic a logic or a theory, is the syllogistic a body of worldly knowledge or a system of inferential reasoning, and ought we to represent the syllogistic as a natural deduction system or an axiomatic system—and that we must if we are to have a historically accurate understanding of Aristotle. (shrink)

In this article, the author attempts to explicate the notion of the best known Talmudic inference rule called qal wa-omer. He claims that this rule assumes a massive-parallel deduction, and for formalizing it, he builds up a case of massive-parallel proof theory, the proof-theoretic cellular automata, where he draws conclusions without using axioms.

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...) many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today. (shrink)

La définition du sullogismos est strictement identique dans les Topiques et dans les Premiers Analytiques, alors qu'on admet généralement que, dans ce dernier traité, le terme désigne spécifiquement la structure formelle appelée aujourd'hui encore « syllogisme » . Le mot peut avoir le même sens d'un bout à l'autre de l'Organon et du corpus aristotélicien : il désigne le moment de la joute dialectique où l'interrogateur récapitule une section de la discussion et se montre en mesure d'imposer une conclusion à (...) laquelle son interlocuteur ne peut pas se dérober. À la suite de Hintikka (1993), on suggère que cette notion est issue des dialogues de Platon. C'est à partir de cette conception dialectique originelle que la théorie aristotélicienne de la rhétorique, d'une part, et la « syllogistique » formelle, de l'autre, ont pu se développer. The definition of a sullogismos in Aristotle's Topics and Prior Analytics is strictly identical, although it is generally admitted that in the latter treatise this word refers to the distinct deductive structure that we call "syllogism". This paper aims at showing that the word sullogismos may be given the same meaning throughout the Organon and throughout the Aristotelian corpus and that it refers to a characteristic move in the course of a dialectical debate, i.e. when the questioner, summing up a whole sequence of the previous discussion, shows that he is in a position to force upon his interlocutor a conclusion which the latter cannot escape. Following a suggestion made by Hintikka (1993), this paper shows that the notion most probably originates from Plato's dialogues, and uses it as a leading thread to show how the Aristotelian concept of rhetoric, on the one hand, and Aristotle's formal "syllogistic", on the other, may have grown out of this original dialectical core. (shrink)

An investigation of Proclus' logic of the syllogistic and of negations in the Elements of Theology, On the Parmenides, and Platonic Theology. It is shown that Proclus employs interpretations over a linear semantic structure with operators for scalar negations (hypemegationlalpha-intensivum and privative negation). A natural deduction system for scalar negations and the classical syllogistic (as reconstructed by Corcoran and Smiley) is shown to be sound and complete for the non-Boolean linear structures. It is explained how Proclus' syllogistic presupposes converting the (...) tree of genera and species from Plato's diairesis into the Neoplatonic linear hierarchy of Being by use of scalar hyper and privative negations. (shrink)

a single life-span. Philosophers, then, do not see more or know more, and they do not see less or know less. They aim to see less detail and more of the abstract. Their details, if you like, are abstractions. Walking on God’s earth as a pedestrian, as a farmer working his fields or as a passer-by, one’s picture of one’s surroundings is every bit as intelligent as that of the pilot riding the sky. The views of the field are radically (...) different, however. One sees only a specific field and in all lively detail: the exact pattern of the land, or even the exact outline of a given leaf, grasshopper, grain of sand even. Acquaintance with minute detail is not without its price: details may stand in the way of conjuring the big picture. It may be difficult to compare whichever field one happens to be in with far off fields, with respect to their size or shape or any other quality. One may wish to inquire if far off fields were already planted, harvested, or even if they exist. A pedestrian may find it hard or even impossible to do so. The pedestrian view contains fine points that the pilot’s map never would, but it does not necessarily contain more information, for it lacks the general context. After all, there are only so many items that one can observe and account for at a single glance, a single map, a single book, a single life-span. (shrink)

This is a 1988 philosophical introduction to Aristotle, and Professor Lear starts where Aristotle himself starts. The first sentence of the Metaphysics states that all human beings by their nature desire to know. But what is it for us to be animated by this desire in this world? What is it for a creature to have a nature; what is our human nature; what must the world be like to be intelligible; and what must we be like to understand it (...) systematically? Through a consideration of these questions Professor Lear introduces us to the essence of Aristotle's philosophy and guides us through the central Aristotelian texts - selected from the Physics, Metaphysics, Ethics, Politics and from the biological and logical works. The book is written in a direct, lucid style which engages the reader with the themes in an active, participatory manner. (shrink)

Aristotle’s Prior Analytics identifies deductions simpliciter with inferential necessity, so that a deduced conclusion is necessarily inferred from some premises. Modern logical reconstructions claim that inferential necessity in Aristotle corresponds to logical validity. However, this logical reconstruction fails on two accounts. First, logical validity does not highlight Aristotle’s distinction between inferential necessity and predicative necessity, meaning that the inferential necessity of a deduction is not of the same kind as the predicative necessity of a non‑deductive argument. Second, logical validity does (...) not explain the relevance of Aristotle’s distinction between complete and incomplete deductions. Logicians speak of complete deduction by adding the term “obvious” or “transparent” to logical validity, and then criticize Aristotle’s view for being unclear. However, Aristotle’s position is not confronted with this difficulty. There is nothing to add to inferential necessity, which already means complete deducibility, as opposed to incomplete deducibility, deemed to be potentially complete. Accordingly, the Prior Analytics reduces the incomplete deductions to the complete deductions in order to prove the potential, inferential necessity of the incomplete deductions. Logical validity would have been faithful to Aristotle’s text, if it had been possible to coin a notion of potential validity, distinct from both validity and invalidity. (shrink)

John Venn and Charles L. Dodgson (Lewis Carroll) created systems of logic diagrams capable of representing classes (sets) and their relations in the form of propositions. Each is a proof method for syllogisms, and Carroll's is a sound and complete system. For a large number of sets, Carroll diagrams are easier to draw because of their self-similarity and algorithmic construction. This regularity makes it easier to locate and thereby to erase cells corresponding with classes destroyed by the premises of an (...) argument, a particularly difficult task in Venn diagrams for more than four sets. Carroll diagrams can represent existential propositions easily, so they are capable of clearly representing more complex problems than Venn's system can. Finally, both Carroll and Venn diagrams are maximal, in the sense that no additional logic information like inclusive disjunctions is able to be represented by them. Carroll's logic diagrams and logic trees constitute his visual logic system. (shrink)

This book presents the first study of the development of the theory of modal syllogistic in the Middle Ages.

In his 1910 book On the principle of contradiction in Aristotle, Jan Łukasiewicz claims that syllogistic is independent of the principle of contradiction . He also argues that Aristotle would have defended such a thesis in the Posterior Analytics. In this paper, we first show that Łukasiewicz's arguments for these two claims have to be rejected. Then, we show that the thesis of the independence of assertoric syllogistic vis-à-vis PC is nevertheless true. For that purpose, we first establish that there (...) is no possibility to account for Aristotle's original views on syllogistic without using per impossibile deductions. At last, following an idea due to Smith 1983, we prove that there is a complete reconstruction of assertoric syllogistic using ecthesis instead of reductio ad absurdum. Contrary to what is claimed in Smith 1983, we show that Smith's system SE has to be improved for such a reconstruction. This results in an ecthetic system which is complete with respect to syllogistic arguments, not explosi.. (shrink)

The paper shows that in the Art of Thinking (The Port Royal Logic) Arnauld and Nicole introduce a new way to state the truth-conditions for categorical propositions. The definition uses two new ideas: the notion of distributive or, as they call it, universal term, which they abstract from distributive supposition in medieval logic, and their own version of what is now called a conservative quantifier in general quantification theory. Contrary to the interpretation of Jean-Claude Parienté and others, the truth-conditions do (...) not require the introduction of a new concept of ‘indefinite’ term restriction because the notion of conservative quantifier is formulated in terms of the standard notion of term intersection. The discussion shows the following. Distributive supposition could not be used in an analysis of truth because it is explained in terms of entailment, and entailment in terms of truth. By abstracting from semantic identities that underlie distribution, the new concept of distributive term is definitionally prior to truth and can, therefore, be used in a non-circular way to state truth-conditions. Using only standard restriction, the Logic’s truth-conditions for the categorical propositions are stated solely in terms of (1) universal (distributive) term, (2) conservative quantifier, and (3) affirmative and negative proposition. It is explained why the Cartesian notion of extension as a set of ideas is in this context equivalent to medieval and modern notions of extension. (shrink)

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)

By delving into the history and development of logic from its beginnings to the modern era, George Englebretsen rehabilitates term logic and demonstrates that an enhanced traditional logic remains a viable possibility. Taking inspiration from Fred Sommers' work, he creates an updated and fascinating version of term logic; one he believes to be just as legitimate as, and in ways superior to, the currently predominant mathematical logic.

Polynomizing is a term that intends to describe the uses of polynomial-like representations as a reasoning strategy and as a tool for scientific heuristics. I show how proof-theory and semantics for classical and several non-classical logics can be approached from this perspective, and discuss the assessment of this prospect, in particular to recover certain ideas of George Boole in unifying logic, algebra and the differential calculus.

We extend the language of the classical syllogisms with the sentence-forms “At most 1 p is a q” and “More than 1 p is a q”. We show that the resulting logic does not admit a finite set of syllogism-like rules whose associated derivation relation is sound and complete, even when reductio ad absurdum is allowed.

This book provides a detailed exposition of one of the most practical and popular methods of proving theorems in logic, called Natural Deduction. It is presented both historically and systematically. Also some combinations with other known proof methods are explored. The initial part of the book deals with Classical Logic, whereas the rest is concerned with systems for several forms of Modal Logics, one of the most important branches of modern logic, which has wide applicability.