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)

ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians. Content: 1. Pre-Aristotelian Logic 1.1 Syntax and Semantics 1.2 Argument Patterns and Valid Inference 2. Aristotle 2.1 Dialectics 2.2 Sub-sentential Classifications 2.3 Syntax and Semantics of Sentences 2.4 Non-modal Syllogistic 2.5 Modal Logic 3. The early Peripatetics: Theophrastus and Eudemus 3.1 Improvements and Modifications of Aristotle's Logic (...) 3.2 Prosleptic Syllogisms 3.3 Forerunners of Modus Ponens and Modus Tollens 3.4 Wholly Hypothetical Syllogisms 4. Diodorus Cronus and Philo the Logician 5. The Stoics 5.1 Logical Achievements Besides Propositional Logic 5.2 Syntax and Semantics of Complex Propositions 5.3 Arguments 5.4 Stoic Syllogistic 5.5 Logical Paradoxes 6. Epicurus and the Epicureans 7. Later Antiquity. (shrink)

ABSTRACT: A comprehensive introduction to ancient (western) logic from earliest times to the 6th century CE, with an emphasis on topics which may be of interest to contemporary logicians.

The late Mario Mignucci was one of the most authoritative, original, and influential scholars in the area of ancient philosophy, especially ancient logic. Collected here for the first time are sixteen of his most important essays on ancient logic, language, and metaphysics. These essays show a perceptive historian and a skillful logician philosophically engaged with issues that are still at the very heart of history and philosophy of logic, such as the nature of predication, (...) identity, and modality. As well as essays found in disparate publications, often not easily available online, the volume includes an article on Plato and the relatives translated into English for the first time and an unpublished paper on De interpretatione7. Mignucci thinks rigorously and writes clearly. He brings the deep knowledge of a scholar and the precision of a logician to bear on some of the trickiest topics in ancient philosophy. This collection deserves the close attention of anyone concerned with logic, language, and metaphysics, whether in ancient or contemporary philosophy. t philosophy. This collection deserves the close attention of anyone concerned with logic, language, and metaphysics, whether in ancient or contemporary philosophy. (shrink)

This is a comprehensive introduction to the two great logical systems of antiquity, Aristotelian logic and Stoic logic. Although advanced undergraduate and graduate students are the intended primary readership, classical and philosophy scholars with non-specialist interests in the subject will find the fresh approach useful and stimulating. A conscious effort has been made to create a fruitful dialogue between the Aristotelian and Stoic systems both in terms of theoretical content and in terms of methodological issues and approaches. In (...) all sections emphasis is placed on broader questions concerning the distinctive nature of ancient logic, its relation with modern logic and the study of the history of logic, and the methodological difficulties posed by the reconstruction, analysis and assessment of ancient views, both in themselves and in the light of modern logic. (shrink)

This Companion provides a comprehensive guide to ancient logic. The first part charts its chronological development, focussing especially on the Greek tradition, and discusses its two main systems: Aristotle's logic of terms and the Stoic logic of propositions. The second part explores the key concepts at the heart of the ancient logical systems: truth, definition, terms, propositions, syllogisms, demonstrations, modality and fallacy. The systematic discussion of these concepts allows the reader to engage with some specific (...) logical and exegetical issues and to appreciate their transformations across different philosophical traditions. The intersections between logic, mathematics and rhetoric are also explored. The third part of the volume discusses the reception and influence of ancient logic in the history of philosophy and its significance for philosophy in our own times. Comprehensive coverage, chapters by leading international scholars and a critical overview of the recent literature in the field will make this volume essential for students and scholars of ancient logic. (shrink)

In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the (...) system is deducible by means of a formal deduction in the system. Review of the system makes the first point obvious. The purpose of the present article is to prove the second. Strong completeness is demonstrated for the Aristotelian system. (shrink)

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).

This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his (...) understanding of modern logical theory. In the process Corcoran and Scanlan present new, previously unpublished results. Corcoran regards this review as an important contribution to contemporary study of PRIOR ANALYTICS: both the book and the review deserve to be better known. (shrink)

Clashes between bits of non-homogeneous theories inherited from antiquity were an important factor in the formation of medieval theories in logic and grammar, but the traditional categories of Aristotelianism, Stoicism and Neoplatonism are not quite adequate to describe the situation. Neoplatonism is almost irrelevant in logic and grammar, while there might be reasons to introduce a new category, LAS = Late Ancient Standard, with two branches: logical LAS = Aristotle + Boethius, and grammatical LAS = Stoics &c. (...) → Apollonius → Priscian. (shrink)

Truth, etc. is a wide-ranging study of ancient logic based upon the John Locke lectures given by the eminent philosopher Jonathan Barnes in Oxford. The book presupposes no knowledge of logic and no skill in ancient languages: all ancient texts are cited in English translation; and logical symbols and logical jargon are avoided so far as possible. Anyone interested in ancient philosophy, or in logic and its history, will find much to learn and (...) enjoy here. (shrink)

Ancient Philosophy Today, Volume 3, Issue 1, Page 126-132, April, 2021.

"General Survey. The succession of thinkers and schools. The history of ancient philosophy covers about eleven centuries, from Thales who lived during the sixth century B.C. to Boethius and Simplicius who flourished at the beginning of the sixth A.D. From the point of view of the history of formal logic this long epoch may be divided into three periods. (1) The pre-Aristotelian period, from the beginnings to the time at which Aristotle..

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal (...) class='Hi'>logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole. (shrink)

Truth, etc. is a wide-ranging study of ancient logic based upon the John Locke lectures given by the eminent philosopher Jonathan Barnes in Oxford. Its six chapters discuss, first, certain ancient ideas about truth; secondly, the Aristotelian conception of predication; thirdly, various ideas about connectors which were developed by the ancient logicians and grammarians; fourthly, the notion of logical form, insofar as it may be discovered in the ancient texts; fifthly, the question of the 'justification (...) of deduction'; and sixthly, the attitude which has been called logical utilitarianism and which restricts the scope of logic to those forms of inference which are or might be useful for scientific proofs. In principle, the book presupposes no knowledge of logic and no skill in ancient languages: all ancient texts are cited in English translation; and logical symbols and logical jargon are avoided so far as possible. There is no scholarly apparatus of footnotes, and no bibliography. It can be read in an armchair. Anyone interested in ancient philosophy, or in logic and its history, will find it interesting. (shrink)

Truth, etc. is a wide-ranging study of ancient logic based upon the John Locke lectures given by the eminent philosopher Jonathan Barnes in Oxford. The book presupposes no knowledge of logic and no skill in ancient languages: all ancient texts are cited in English translation; and logical symbols and logical jargon are avoided so far as possible. Anyone interested in ancient philosophy, or in logic and its history, will find much to learn and (...) enjoy here. (shrink)

Review of Jonathan Barnes, Truth, etc.: Six Lectures on Ancient Logic, Oxford University Press, Oxford, 2007.

A 'self-refutation argument' is any argument which aims at showing that a certain thesis is self-refuting. This study was the first book-length treatment of ancient self-refutation and provides a unified account of what is distinctive in the ancient approach to the self-refutation argument, on the basis of close philological, logical and historical analysis of a variety of sources. It examines the logic, force and prospects of this original style of argumentation within the context of ancient philosophical (...) debates, dispelling various misconceptions concerning its nature and purpose and elucidating some important differences which exist both within the ancient approach to self-refutation and between that approach, as a whole, and some modern counterparts of it. In providing a comprehensive account of ancient self-refutation, the book advances our understanding of influential and debated texts and arguments from philosophers like Democritus, Plato, Aristotle, Epicurus, the Stoics, the Academic sceptics, the Pyrrhonists and Augustine. (shrink)

How do you tell what’s right from what’s wrong? Can you always? What’s the difference between deduction, induction, and abduction? What are the best techniques for making an argument logically sound? In this fascinating little book, the smallest on its subject ever produced, philosopher Earl Fontainelle explores the ancient art of discursive Logic and demonstrates some of the techniques that have long been used to triumph over the debates and deceptions that assail us every day. Filled with helpful (...) examples of good and bad reasoning, Logic is an invaluable introduction to a defining human characteristic. (shrink)

Temporal Logic: From Ancient Ideas to Artificial Intelligence deals with the history of temporal logic as well as the crucial systematic questions within the field. The book studies the rich contributions from ancient and medieval philosophy up to the downfall of temporal logic in the Renaissance. The modern rediscovery of the subject, which is especially due to the work of A. N. Prior, is described, leading into a thorough discussion of the use of temporal (...) class='Hi'>logic in computer science and the understanding of natural language. Temporal Logic: From Ancient Ideas to Artificial Intelligence thus interweaves linguistic, philosophical and computational aspects into an informative and inspiring whole. (shrink)

The ancient problems of bankruptcy, contested garment, and rights arbitration have generated many studies, debates, and controversy. The objective of this paper is to show that the Shapley value from game theory, measuring the power of each player in a game, may be consistently applied for getting the general one-step solution of all these three problems viewed as -person games. The decision making is based on the same tool, namely the game theory logic based on the use of (...) the Shapley value, but the specific games involved are slightly different in each problem. The kind of claims of the players, the relationship between the given claims and the given resources available, and the particular way of calculating the generalized characteristic function of the game determine the specific type of game which has to be solved in each of the three ancient problems mentioned. The iterative use of the Shapley value may also justify the well-known Aumann-Maschler step-by-step procedure for solving the bankruptcy problem. (shrink)

This book examines the birth of the scientific understanding of motion. It investigates which logical tools and methodological principles had to be in place to give a consistent account of motion, and which mathematical notions were introduced to gain control over conceptual problems of motion. It shows how the idea of motion raised two fundamental problems in the 5th and 4th century BCE: bringing together being and non-being, and bringing together time and space. The first problem leads to the exclusion (...) of motion from the realm of rational investigation in Parmenides, the second to Zeno's paradoxes of motion. Methodological and logical developments reacting to these puzzles are shown to be present implicitly in the atomists, and explicitly in Plato who also employs mathematical structures to make motion intelligible. With Aristotle we finally see the first outline of the fundamental framework with which we conceptualise motion today. (shrink)

This chapter contains sections titled: The Origins: Parmenides and Zeno Dialectic and the Beginnings of Logical Theory Aristotle and the Theory of Demonstration The Regress Argument of Posterior Analytics I.3 Time and Modality: The Sea‐Battle and the Master Argument Sentential Logic in Aristotle and Afterwards.

B.K.Matilal, and earlier J.F.Staal, have suggested a reading of the `Nyaya five limb schema' (also sometimes referred to as the Indian Schema or Hindu Syllogism) from Gotama's Nyaya-Sutra in terms of a binary occurrence relation. In this paper we provide a rational justification of a version of this reading as Analogical Reasoning within the framework of Polyadic Pure Inductive Logic.