The Conciliatory Character of Jaina Logic. In the previous pages there has been given an indication of the services rendered by the Jainas and N° Brihrna^1 H,e the Buddhists in the formation of the Mediaeval School of Indian Logic. Since the ...
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)
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)
In this essay, I examine the nature of Chinese logic and Chinese sciences in the history of China. I conclude that Chinese logic is essentially analogical, and that the Chinese did not have theoretical sciences. I then connect these together and explain why the Chinese failed to develop theoretical sciences, even though they enjoyed an advanced civilization and great scientific and technological innovations. This is because a deductive system of logic is necessary for the development of theoretical sciences, and analogical (...) logic cannot provide the deductive connections between a theory and empirical observations required by a theoretical science. This also offers a more satisfactory answer to the long-standing Needham Problem. (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)
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).
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.
Articles by Ian Mueller, Ronald Zirin, Norman Kretzmann, John Corcoran, John Mulhern, Mary Mulhern,Josiah Gould, and others. Topics: Aristotle's Syllogistic, Stoic Logic, Modern Research in Ancient Logic.
Geoffrey Lloyd engages in a wide-ranging exploration of what we can learn from the study of ancient civilizations that is relevant to fundamental problems, both intellectual and moral, that we still face today. These include, in philosophy of science, the question of the incommensurability of paradigms, the debate between realism and relativism or constructivism, and between correspondence and coherence conceptions of truth. How far is it possible to arrive at an understanding of alien systems of belief? Is it possible (...) to talk meaningfully of 'science' and of its various constituent disciplines, 'astronomy' 'geography' 'anatomy' and so on, in the ancient world? Are logic and its laws universal? Is there one ontology - a single world - to which all attempts at understanding must be considered to be directed? When we encounter apparently very different views of reality, how far can that be put down to a difference in conceptions of what needs explaining, or of what counts as an explanation, or to different preferred modes of reasoning or styles of inquiry? Do the notions of truth and belief represent reliable cross-cultural universals? In another area, what can ancient history teach us about today's social and political problems? Are the discourses of human nature and of human rights universally applicable? What political institutions do we need to help secure equity and justice within nation states and between them? Lloyd sets out to answer all these questions, and to argue that the study of the science and culture of ancient Greece and China provided a precious resource in order to advance a wealth of modern debates. (shrink)
We argue that the extant evidence for Stoic logic provides all the elements required for a variable-free theory of multiple generality, including a number of remarkably modern features that straddle logic and semantics, such as the understanding of one- and two-place predicates as functions, the canonical formulation of universals as quantified conditionals, a straightforward relation between elements of propositional and first-order logic, and the roles of anaphora and rigid order in the regimented sentences that express multiply general propositions. We consider (...) and reinterpret some ancient texts that have been neglected in the context of Stoic universal and existential propositions and offer new explanations of some puzzling features in Stoic logic. Our results confirm that Stoic logic surpasses Aristotle’s with regard to multiple generality, and are a reminder that focusing on multiple generality through the lens of Frege-inspired variable-binding quantifier theory may hamper our understanding and appreciation of pre-Fregean theories of multiple generality. (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)
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 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)
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.
Original and penetrating, this book investigates of the notion of inference from signs, which played a central role in ancient philosophical and scientific method. It examines an important chapter in ancient epistemology: the debates about the nature of evidence and of the inferences based on it--or signs and sign-inferences as they were called in antiquity. As the first comprehensive treatment of this topic, it fills an important gap in the histories of science and philosophy.
In classical logic and rhetoric the strategies of argumentation known as topoi played a crucial role. Yet, topoi refer there to different kinds of strategies that this study intends to explain synoptically. Main focus will be on passages from Aristotle and Cicero. Indeed, these sources contain examples and theoretical considerations, which provide the basis for a general investigation of the complex phenomenon of topoi in the ancient world. Four main types of topoi will be juxtaposed and discusses comparatively as (...) a way to inspire historical reconstructions of the system of topoi, as well as modern theory formation on argumentation where topoi still receive much attention. (shrink)
After more than a decade teaching ancient Greek history and philosophy at University College, Oxford, British philosopher and political theorist Bernard Bosanquet resigned from his post to spend more time writing. He was particularly interested in contemporary social theory, and was involved with the Charity Organisation Society and the London Ethical Society. Much of his work focused on the place of logic in philosophy, especially its role in metaphysical thought - the area where he is considered to have made (...) his most important intellectual contributions. In 1888 he published this two-volume study of logic, addressing a variety of questions relating to logic, and drawing from the work of Hegel in his examination. In Volume 1, Bosanquet considers the question of knowledge, what the act of naming implies, and judgment and measurement, which he considered to be integral to logic and consciousness. (shrink)