This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society (co-sponsored by the Centre for Logic, Epistemology and the History of Science, State University of Campinas, Sao Paulo) in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading (...) Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)
ABSTRACT: An introduction to Stoiclogic. Stoiclogic can in many respects be regarded as a fore-runner of modern propositional logic. I discuss: 1. the Stoic notion of sayables or meanings (lekta); the Stoic assertibles (axiomata) and their similarities and differences to modern propositions; the time-dependency of their truth; 2.-3. assertibles with demonstratives and quantified assertibles and their truth-conditions; truth-functionality of negations and conjunctions; non-truth-functionality of disjunctions and conditionals; language regimentation and ‘bracketing’ devices; (...)Stoic basic principles of propositional logic; 4. Stoic modal logic; 5. Stoic theory of arguments: two premisses requirement; validity and soundness; 6. Stoic syllogistic or theory of formally valid arguments: a reconstruction of the Stoic deductive system, which consisted of accounts of five types of indemonstrable syllogisms, which function as nullary argumental rules that identify indemonstrables or axioms of the system, and four deductive rules (themata) by which certain complex arguments can be reduced to indemonstrables and thus shown to be formally valid themselves; 7. arguments that were considered as non-syllogistically valid (subsyllogistic and unmethodically concluding arguments). Their validity was explained by recourse to formally valid arguments. (shrink)
ABSTRACT: Part 1 discusses the Stoic notion of propositions (assertibles, axiomata): their definition; their truth-criteria; the relation between sentence and proposition; propositions that perish; propositions that change their truth-value; the temporal dependency of propositions; the temporal dependency of the Stoic notion of truth; pseudo-dates in propositions. Part 2 discusses Stoic modal logic: the Stoic definitions of their modal notions (possibility, impossibility, necessity, non-necessity); the logical relations between the modalities; modalities as properties of propositions; contingent propositions; (...) the relation between the Stoic modal notions and those of Diodorus Cronus and Philo of Megara; the role of ‘external hindrances’ for the modalities; the temporal dependency of the modalities; propositions that change their modalities; the principle that something possible can follow from something impossible; the interpretations of the Stoic modal system by B. Mates, M. Kneale, M. Frede, J. Vuillemin and M. Mignucci are evaluated. -/- For a much shorter English version of Part 1 of the book see my ‘StoicLogic’, in K. Algra et al. (eds), The Cambridge History of Hellenistic Philosophy, Cambridge 1999, 92-157. For a shorter, updated, English version of Part 2 of the book see my 'Chrysippus' Modal Logic and its Relation to Philo and Diodorus', in K. Doering / Th. Ebert (eds) Dialektiker und Stoiker (Stuttgart 1993) 63-84. (shrink)
In this paper I would like to argue that Stoiclogic is a kind ofrelevant logic rather than the classical logic. To realize this purpose I willtry to keep as close as possible to Stoic calculus as expressed with the helpof their arguments.
reasons for the disappreciation as well as for the rehabilitation of Stoiclogic; it is found in I. M. Bochenski's Ancient Formal Logic (Amsterdam, 1951), and it clearly portrays the diﬀerence in attitude of the logicians of the twentieth century towards the Stoic logical system.
This paper deals with Aristotelian and Stoiclogic. In the first part the author writes about the history of logic and shows, why Stoiclogic had not been studied properly from the Middle Ages up to the beginning of the 20th century, when an increasing interest in the study of Stoiclogic is visible. The paper describes the character of Aristotelian and Stoiclogic respectively. Stoiclogic is first introduced (...) as a system of propositional logic. On this basis a complementarity between the two logical systems of Antiquity is stated. The ways to support the thesis that Stoiclogic involved some features of predicative logic are shown at the end of the first part. The ways in which the two rival logical systems were perceived by the authors of the first centuries A. D., namely Galen and Boethius, is described in the second part. Galen is seen as the first to develop an objective synthesis of the two systems. In his Eisagogé dialektiké he tries to show the goals of both rival logical systems. Boethius, in his De hypotheticis syllogismis, is also combining the Aristotelian and the Stoiclogic. However, his synthesis is different from Galen's because Boethius probably forms the synthesis unknowingly and indirectly through compiling his confused sources. (shrink)
ABSTRACT: A detailed presentation of Stoic theory of arguments, including truth-value changes of arguments, Stoic syllogistic, Stoic indemonstrable arguments, Stoic inference rules (themata), including cut rules and antilogism, argumental deduction, elements of relevance logic in Stoic syllogistic, the question of completeness of Stoiclogic, Stoic arguments valid in the specific sense, e.g. "Dio says it is day. But Dio speaks truly. Therefore it is day." A more formal and more detailed account (...) of the Stoic theory of deduction can be found in S. Bobzien, Stoic Syllogistic, OSAP 1996. (shrink)
ABSTRACT: The 3rd BCE Stoic logician "Chrysippus says that the number of conjunctions constructible from ten propositions exceeds one million. Hipparchus refuted this, demonstrating that the affirmative encompasses 103,049 conjunctions and the negative 310,952." After laying dormant for over 2000 years, the numbers in this Plutarch passage were recently identified as the 10th (and a derivative of the 11th) Schröder number, and F. Acerbi showed how the 2nd BCE astronomer Hipparchus could have calculated them. What remained unexplained is why (...) Hipparchus’ logic differed from Stoiclogic, and consequently, whether Hipparchus actually refuted Chrysippus. This paper closes these explanatory gaps. (1) I reconstruct Hipparchus’ notions of conjunction and negation, and show how they differ from Stoiclogic. (2) Based on evidence from Stoiclogic, I reconstruct Chrysippus’ calculations, thereby (a) showing that Chrysippus’ claim of over a million conjunctions was correct; and (b) shedding new light on Stoiclogic and – possibly – on 3rd century BCE combinatorics. (3) Using evidence about the developments in logic from the 3rd to the 2nd centuries, including the amalgamation of Peripatetic and Stoic theories, I explain why Hipparchus, in his calculations, used the logical notions he did, and why he may have thought they were Stoic. OPEN ACCESS LINK. (shrink)
ABSTRACT: Alexander of Aphrodisias’ commentaries on Aristotle’s Organon are valuable sources for both Stoic and early Peripatetic logic, and have often been used as such – in particular for early Peripatetic hypothetical syllogistic and Stoic propositional logic. By contrast, this paper explores the role Alexander himself played in the development and transmission of those theories. There are three areas in particular where he seems to have made a difference: First, he drew a connection between certain passages (...) from Aristotle’s Topics and Prior Analytics and the Stoic indemonstrable arguments, and, based on this connection, appropriated at least four kinds of Stoic indemonstrables as Aristotelian. Second, he developed and made use of a specifically Peripatetic terminology in which to describe and discuss those arguments – which facilitated the integration of the indemonstrables into Peripatetic logic. Third, he made some progress towards a solution to the problem of what place and interpretation the Stoic third indemonstrables should be given in a Peripatetic and Platonist setting. Overall, the picture emerges that Alexander persistently (if not always consistently) presented passages from Aristotle’s logical œuvre in a light that makes it appear as if Aristotle was in the possession of a Peripatetic correlate to the Stoic theory of indemonstrables. (shrink)
ABSTRACT: A detailed presentation of Stoiclogic, part one, including their theories of propositions (or assertibles, Greek: axiomata), demonstratives, temporal truth, simple propositions, non-simple propositions(conjunction, disjunction, conditional), quantified propositions, logical truths, modal logic, and general theory of arguments (including definition, validity, soundness, classification of invalid arguments).
Articles by Ian Mueller, Ronald Zirin, Norman Kretzmann, John Corcoran, John Mulhern, Mary Mulhern,Josiah Gould, and others. Topics: Aristotle's Syllogistic, StoicLogic, Modern Research in Ancient Logic.
ABSTRACT: For the Stoics, a syllogism is a formally valid argument; the primary function of their syllogistic is to establish such formal validity. Stoic syllogistic is a system of formal logic that relies on two types of argumental rules: (i) 5 rules (the accounts of the indemonstrables) which determine whether any given argument is an indemonstrable argument, i.e. an elementary syllogism the validity of which is not in need of further demonstration; (ii) one unary and three binary argumental (...) rules which establish the formal validity of non-indemonstrable arguments by analysing them in one or more steps into one or more indemonstrable arguments (cut type rules and antilogism). The function of these rules is to reduce given non-indemonstrable arguments to indemonstrable syllogisms. Moreover, the Stoic method of deduction differs from standard modern ones in that the direction is reversed (similar to tableau methods). The Stoic system may hence be called an argumental reductive system of deduction. In this paper, a reconstruction of this system of logic is presented, and similarities to relevance logic are pointed out. (shrink)
ABSTRACT: This paper traces the evidence in Galen's Introduction to Logic (Institutio Logica) for a hypothetical syllogistic which predates Stoic propositional logic. It emerges that Galen is one of our main witnesses for such a theory, whose authors are most likely Theophrastus and Eudemus. A reconstruction of this theory is offered which - among other things - allows to solve some apparent textual difficulties in the Institutio Logica.
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).
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)