Imagine a dog tracing a scent to a crossroads, sniffing all but one of the exits, and then proceeding down the last without further examination. According to Sextus Empiricus, Chrysippus argued that the dog effectively employs disjunctive syllogism, concluding that since the quarry left no trace on the other paths, it must have taken the last. The story has been retold many times, with at least four different morals: (1) dogs use logic, so they are as clever as humans; (2) (...) dogs use logic, so using logic is nothing special; (3) dogs reason well enough without logic; (4) dogs reason better for not having logic. This paper traces the history of Chrysippus's dog, from antiquity up to its discussion by relevance logicians in the twentieth century. (shrink)
This article deals with a set-theoretic interpretation of the Talmudic rules of General and Specific, known as Klal and Prat (KP), Prat and Klal (PK), Klal and Prat and Klal (KPK) and Prat and Klal and Prat (PKP).
We consider the history of logic in pre-Petrine. Petrine. and immediate post-Pctrine Russia (from the 15th to the mid-18th centuries) and especially of the Petrine era from the late 17th to early 18th century. Throughout much of this time, the clergy evinced strong hostility towards logic. Nevertheless, a small number of academics and clerics such as Stefan Iavorskii and Fcofan Prokopovich kept Aristotelian logic alive during this period and provided the foundation for its development in the modern era.
Logic is an ancient discipline that, ever since its inception some 2500 years ago, has been concerned with the analysis of patterns of valid reasoning. Aristotle ﬁrst developed the theory of the syllogism (a valid argument form involving predicates and quantiﬁers), and later the Stoics singled out patterns of propositional argumentation (involving sentential connectives). The study of logic ﬂourished in ancient times and during the middle ages, when logic was regarded, together with grammar and rhetoric (the other two disciplines of (...) the trivium), as the foundation of humanistic education. (shrink)
Antoine Arnauld and Pierre Nicole were philosophers and theologians associated with Port-Royal Abbey, a centre of the Catholic Jansenist movement in seventeenth-century France. Their enormously influential Logic or the Art of Thinking, which went through five editions in their lifetimes, treats topics in logic, language, theory of knowledge and metaphysics, and also articulates the response of 'heretical' Jansenist Catholicism to orthodox Catholic and Protestant views on grace, free will and the sacraments. In attempting to combine the categorical theory (...) of the proposition with a Cartesian account of knowledge, their Logic represents the classical view of judgment which inspired the modern transformation in logic and semantic theory by Frege, Russell, Wittgenstein and recent philosophers. This edition presents a new translation of the text, together with a historical introduction and suggestions for further reading. (shrink)
This article presents the story of S. A. Yanovskaya's epiphany?particularly, her shift from hard-line communist orthodoxy and hostility towards ?bourgeois minded? Soviet-Russian mathematicians to vigorous support of mathematical logic. In light of this evidence, S. A. Yanovskaya (1896?1966) may be considered as a spiritual leader and administrative founder of modern mathematical research and education in the USSR/Russia.
ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with a focus on issues that may be of interest to contemporary logicians and covering important topics in Post-Aristotelian logic that are frequently neglected (such as Peripatetic hypothetical syllogistic, the Stoic axiomatic system of propositional logic and various later ancient developments).
John Dewey is celebrated for his work in the philosophy of education and acknowledged as a leading proponent of American pragmatism. His philosophy of logic, on the other hand, is largely unheard of. In Dewey's New Logic, Burke analyzes portions of the debate between Dewey and Bertrand Russell that followed the 1938 publication of Dewey's Logic: The Theory of Inquiry. Burke shows how Russell failed to understand Dewey, and how Dewey's philosophy of logic is centrally relevant to contemporary developments in (...) philosophy and cognitive science. Burke demonstrates that Russell misunderstood crucial aspects of Dewey's theory and contends that logic today, having progressed well beyond Russell's early views, is approaching Dewey's broader perspective. -/- "[This] book should be of substantial interest not only to Dewey scholars and other historians of twentieth-century philosophy, but also to devotees of situation theory, formal semantics, philosophy of mind, cognitive science, and Artificial Intelligence."--Georges Dicker, Transactions of the C.S. Peirce Society "No scholar, thus far, has offered such a sophisticated and detailed version of central themes and contentions in Dewey's Logic . This is a pathbreaking study."--John J. McDermott, editor of The Philosophy of John Dewey. (shrink)
I have shown (to my satisfaction) that Leibniz's final attempt at a generalized syllogistico-propositional calculus in the Generales Inquisitiones was pretty successful. The calculus includes the truth-table semantics for the propositional calculus. It contains an unorthodox view of conjunction. It offers a plethora of very important logical principles. These deserve to be called a set of fundamentals of logical form. Aside from some imprecisions and redundancies the system is a good systematization of propositional logic, its semantics, and a correct account (...) of general syllogistics. For 1686 it was quite an accomplishment. It is a pity that Leibniz himself did not fully appreciate what he had achieved. It does seem to me that this was due in part, as the Kneales urge (Note 4), to his having kept the focus of his attention on traditional syllogistics. It is a great pity that he did not polish GI 195–200 for publication. The publication of GI 195, 198, and 200 would have most likely promoted further research. MAJR- Humanities, Social Sciences and Law. (shrink)
By using examples drawn from the periodical Nature, I show that research into the history of logic in the nineteenth century involves journals and periodicals which are normally not considered as standard sources for logic or its history.
The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper . Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T . Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema . Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema . In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)
After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...) involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)
My discussion addresses the differences between analytic and continental philosophy concerning the use of logic and exact reasoning in philosophical practice. These differences are mainly examined in the light of the controversial dominance of Hegel's concept of logic (and theory of concept) in twentieth-century continental philosophy. The inquiry is developed in two parts. In the first (Sections 1-2), I indicate some aspects of the analytic-continental divide, pointing to the role that the topic 'logic and philosophy' plays in it. (...) In the second part (Sections 3-6), I give a short account of the views of logic which are typical of the three main trends of continental philosophy (see Table 1). I also suggest how, with the aid of some typical analytical devices, some continental 'anti-logical' attitudes may be corrected, on their own terms. (shrink)
One way to determine the quality and pace of change in a science as it undergoes a major transition is to follow some feature of it which remains relatively stable throughout the process. Following the chosen item as it goes through reinterpretation permits conclusions to be drawn about the nature and scope of the broader change in question. In what follows, this device is applied to the change which took place in logic in the mid-nineteenth century. The feature chosen as (...) the focal point is the categorical syllogism. (shrink)
Strawson offers three accounts of singular predication: a grammatical, a category and a mediating account. I argue that the grammatical and mediating accounts are refuted by a host of counter-examples and that the latter is worse than useless. In later works Strawson defends only the category account. This account entails that singular terms cannot be predicates; it excludes non-denoting singular terms from being logical subjects, except by means of an ad hoc analogy; it depends upon a notion of identification that (...) is too vague; and it is unnecessarily complicated, relying on analogies where a more uniform explanation should be possible. But I show how the account can be corrected to avoid all these difficulties and to provide an accurate account of singular predication. (shrink)
Greek, Indian and Arabic Logic marks the initial appearance of the multi-volume Handbook of the History of Logic. Additional volumes will be published when ready, rather than in strict chronological order. Soon to appear are The Rise of Modern Logic: From Leibniz to Frege. Also in preparation are Logic From Russell to Gödel, The Emergence of Classical Logic, Logic and the Modalities in the Twentieth Century, and The Many-Valued and Non-Monotonic Turn in Logic. Further volumes will follow, including Mediaeval and (...) Renaissance Logic and Logic: A History of its Central. In designing the Handbook of the History of Logic, the Editors have taken the view that the history of logic holds more than an antiquarian interest, and that a knowledge of logic's rich and sophisticated development is, in various respects, relevant to the research programmes of the present day. Ancient logic is no exception. The present volume attests to the distant origins of some of modern logic's most important features, such as can be found in the claim by the authors of the chapter on Aristotle's early logic that, from its infancy, the theory of the syllogism is an example of an intuitionistic, non-monotonic, relevantly paraconsistent logic. Similarly, in addition to its comparative earliness, what is striking about the best of the Megarian and Stoic traditions is their sophistication and originality. Logic is an indispensably important pivot of the Western intellectual tradition. But, as the chapters on Indian and Arabic logic make clear, logic's parentage extends more widely than any direct line from the Greek city states. It is hardly surprising, therefore, that for centuries logic has been an unfetteredly international enterprise, whose research programmes reach to every corner of the learned world. Like its companion volumes, Greek, Indian and Arabic Logic is the result of a design that gives to its distinguished authors as much space as would be needed to produce highly authoritative chapters, rich in detail and interpretative reach. The aim of the Editors is to have placed before the relevant intellectual communities a research tool of indispensable value. Together with the other volumes, Greek, Indian and Arabic Logic, will be essential reading for everyone with a curiosity about logic's long development, especially researchers, graduate and senior undergraduate students in logic in all its forms, argumentation theory, AI and computer science, cognitive psychology and neuroscience, linguistics, forensics, philosophy and the history of philosophy, and the history of ideas. (shrink)
Symbolic logics tend to be too mathematical for the philosophers and too philosophical for the mathematicians; and their history is too historical for most mathematicians, philosophers and logicians. This paper reflects upon these professional demarcations as they have developed during the century.
In a recent paper Johan van Benthem reviews earlier work done by himself and colleagues on ‘natural logic’. His paper makes a number of challenging comments on the relationships between traditional logic, modern logic and natural logic. I respond to his challenge, by drawing what I think are the most significant lines dividing traditional logic from modern. The leading difference is in the way logic is expected to be used for checking arguments. For traditionals the checking is local, i.e. separately (...) for each inference step. Between inference steps, several kinds of paraphrasing are allowed. Today we formalise globally: we choose a symbolisation that works for the entire argument, and thus we eliminate intuitive steps and changes of viewpoint during the argument. Frege and Peano recast the logical rules so as to make this possible. I comment also on the traditional assumption that logical processing takes place at the top syntactic level, and I question Johan’s view that natural logic is ‘natural’. (shrink)
The editors invited us to write a short paper that draws together the main themes of logic in the Western tradition from the Classical Greeks to the modern period. To make it short we had to make it personal. We set out the themes that seemed to us either the deepest, or the most likely to be helpful for an Indian reader.
Stig Kanger (1924--1988) made important contributions to logic and formal philosophy. Kanger's most original achievements were in the areas of general proof theory, the semantics of modal and deontic logic, and the logical analysis of the concept of rights. But he contributed significantly to action theory, preference logic and the theory of measurement as well. The first volume is a complete collection of Kanger's philosophical papers. The second volume contains critical essays on the various aspects of Kanger's work as well (...) as some biographical sketches. (shrink)
There have been and continue to be disagreements about how to consider the traditional square of opposition and the traditional inferences of obversion, conversion, contraposition and inversion from the perspective of contemporary quantificational logic. Philosophers have made many different attempts to save traditional inferences that are invalid when they involve empty classes. I survey some of these attempts and argue that the only satisfactory way of saving all the traditional inferences is to make the existential assumption that both the subject (...) and predicate classes and their complement classes are non-empty for all the propositions we admit. I briefly indicate the room for continued controversy over how properly to interpret Aristotle?s statements regarding these inferences, but find some plausibility in the views of Manley Thompson and A.N.Prior that Aristotle had in mind a particular arrangement of existential import unfamiliar to most contemporary logicians. (shrink)
This paper discusses some paradoxical propositions in Chinese tradition, especially the School of Names. It not only explains what Chinese philosophers mean by these propositions and why there are such paradoxes in Chinese philosophy, but also makes an attempt to formulate these paradoxical propositions in the language of symbolic logic. Meanwhile, the paper makes a comparison between Chinese views about contradiction and Aristotle?s law ot non?contradiction and explores the relation between them. It comes to the conclusion that once the difference (...) between Chinese concept of contraries and Aristotle?s is made clear, inconsistency between Chinese paradoxial propositions and Aristotle?s. law of non-contradiction disappears. (shrink)
This dissertation is an analysis of the development of dialectic and argumentation theory in post-classical Islamic intellectual history. The central concerns of the thesis are; treatises on the theoretical understanding of the concept of dialectic and argumentation theory, and how, in practice, the concept of dialectic, as expressed in the Greek classical tradition, was received and used by five communities in the Islamic intellectual camp. It shows how dialectic as an argumentative discourse diffused into five communities (theologicians, poets, grammarians, philosophers (...) and jurists) and how these local dialectics that the individual communities developed fused into a single system to form a general argumentation theory (adab al-bahth) applicable to all fields. I evaluate a treatise by Shams al-Din Samarqandi (d.702/1302), the founder of this general theory, and the treatises that were written after him as a result of his work. I concentrate specifically on work by 'Ad}ud al-Din al-Iji (d.756/1355), Sayyid Sharif al-Jurjani (d.816/1413), Taşköprüzâde (d.968/1561), Saçaklızâde (d.1150/1737) and Gelenbevî (d.1205/1791) and analyze how each writer (from Samarqandi to Gelenbevî) altered the shape of argumentative discourse and how later intellectuals in the post-classical Islamic world responded to that discourse bequeathed by their predecessors. What is striking about the period that this dissertation investigates (from 1300-1800) is the persistence of what could be called the linguistic turn in argumentation theory. After a centuries-long run, the jadal-based dialectic of the classical period was displaced by a new argumentation theory, which was dominantly linguistic in character. This linguistic turn in argumentation dates from the final quarter of the fourteenth century in Iji's impressively prescient work on 'ilm al-wad'. This idea, which finally surfaced in the post-classical period, that argumentation is about definition and that, therefore, defining is the business of language—even perhaps, that language is the only available medium for understanding and being understood—affected the way that argumentation theory was processed throughout most of the period in question.The argumentative discourse that started with Ibn al-Rawandi in the third/ninth century left a permanent imprint on Islamic intellectual history, which was then full of concepts, terminology and objectives from this discourse up until the late nineteenth century. From this perspective, Islamic intellectual history can be read as the tension between two languages: the "language of dialectic" (jadal) and the "language of demonstration" (burhan), each of which refer not only to a significant feature of that history, but also to a feature that could dramatically alter the interpretation of that history. (shrink)