Cet article vise à comprendre la théorie stoïcienne de la deixis afin d’expliquer l’importance accordée par les stoïciens aux pronoms démonstratifs et aux énoncés qu’ils composent, c’est-à-dire les propositions dites définitives. Nous montrons que ces propositions sont privilégiées pour des raisons à la fois ontologiques et épistémologiques en raison des propriétés sémantiques de leur sujet. Elles sont privilégiées d’un point de vue ontologique parce que la deixis grâce à laquelle leur sujet fait référence au réel crée une relation privilégiée à (...) la matière, la catégorie ontologique stoïcienne fondamentale. De plus, ces sujets requièrent que leur référent existe et soit présent et saisissable. Ces énoncés sont d’autre part privilégiés d’un point de vue épistémologique parce qu’ils sont fondamentaux dans l’acquisition de la connaissance. Nous suggérons enfin que tous les énoncés apparemment définis ne le sont pas en effet, et considérons quand et sous quelles conditions une référence déictique est réussie. (shrink)

The early Greek Stoics were the first philosophers to recognize the object of normal human perception as predicative or propositional in nature. Fundamentally we do not perceive qualities or things, but situations and things happening, facts. To mark their difference from Plato and Aristotle, the Stoics adopted phantasia as their word for perception.

Adversus Mathematicos x is the second book dedicated by Sextus to the discussion of the physical doctrines put forward by dogmatic philosophers. An extensive section deals with Diodorus Cronus' arguments concerning movement.

Adversus Mathematicos x is the second book dedicated by Sextus to the discussion of the physical doctrines put forward by dogmatic philosophers. An extensive section deals with Diodorus Cronus' arguments concerning movement.

This paper discusses the reports in Diogenes Laertius and in Sextus Empiricus concerning the classification of propositions. It is argued that the material in Sextus uses a source going back to the Dialectical school whose most prominent members were Diodorus Cronus and Philo of Megara. The material preserved in Diogenes Laertius, on the other hand, goes back to Chrysippus.

The Stoics are traditionally regarded as the founders of propositional logic. However, this is not entirely correct. They developed a theory of inference from signs (omens). And their theory became a continuation of the logical technique of Babylonian divination (in particular, of Babylonian medical forecasting). The Stoic theory was not so much propositional logic as it was a technique of propositional logic for databases consisting of IF-THEN expert rules. In the Babylonian divination, each event has a positive or negative (...) value and all events are connected to each other. The Stoics also developed this idea and proposed a special modal logic in which logical determinism is considered an axiom. The paper reconstructs the sign-inference of the Stoics, as well as their modal logic. In particular, two Stoic squares of oppositions are proposed (for signs and for modal operators), which differ markedly from Aristotle’s square. (shrink)

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. (...) Much of Stoic logic appears surprisingly modern: a recursively formulated syntax with some truth-functional propositional operators; analogues to cut rules, axiom schemata and Gentzen’s negation-introduction rules; an implicit variable-sharing principle and deliberate rejection of Thinning and avoidance of paradoxes of implication. These latter features mark the system out as a relevance logic, where the absence of duals for its left and right introduction rules puts it in the vicinity of McCall’s connexive logic. Methodologically, the choice of meticulously formulated meta-logical rules in lieu of axiom and inference schemata absorbs some structural rules and results in an economical, precise and elegant system that values decidability over completeness. (shrink)

ABSTRACT: An introduction to Stoic logic. Stoic logic 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)

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)

Propositions are generally thought to have a truth-value only relative to some parameter or sequence of parameters. Many apparently straightforward notions, like what it is to disagree or retain a belief, become harder to explain once propositional truth is thus relativized. An account of disagreement within a framework involving such ‘stoic’ propositions is here presented. Some resources developed in that account are then used to respond to the eternalist charge that temporalist propositions can't function as belief contents because they (...) don't allow us to make adequate sense of what belief retention amounts to. (shrink)

This paper seeks to elucidate the distinctive nature of the rational impression on its own terms, asking precisely what it means for the Stoics to define logikē phantasia as an impression whose content is expressible in language. I argue first that impression, generically, is direct and reflexive awareness of the world, the way animals get information about their surroundings. Then, that the rational impression, specifically, is inherently conceptual, inferential, and linguistic, i.e. thick with propositional content, the way humans receive incoming (...) information from the world. When we suspend certain contemporary assumptions about propositional content, the textual evidence can be taken at face value to reveal why, for the Stoics, rational impressions are called thoughts (noēseis) and how the Stoics’ novel semantic entities called lekta (roughly, the meanings of our words) depend on rational impressions for their subsistence. (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: In this paper I argue (i) that the hypothetical arguments about which the Stoic Chrysippus wrote numerous books (DL 7.196) are not to be confused with the so-called hypothetical syllogisms" but are the same hypothetical arguments as those mentioned five times in Epictetus (e.g. Diss. 1.25.11-12); and (ii) that these hypothetical arguments are formed by replacing in a non-hypothetical argument one (or more) of the premisses by a Stoic "hypothesis" or supposition. Such "hypotheses" or suppositions differ from (...) propositions in that they have a specific logical form and no truth-value. The reason for the introduction of a distinct class of hypothetical arguments can be found in the context of dialectical argumentation. The paper concludes with the discussion of some evidence for the use of Stoic hypothetical arguments in ancient texts. (shrink)

ABSTRACT: A detailed presentation of Stoic logic, 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).

This chapter contains sections titled: Introduction The Stoic Logical System Conclusion Bibliography.

ABSTRACT: This paper discusses the Stoic treatment of fallacies that are based on lexical ambiguities. It provides a detailed analysis of the relevant passages, lays bare textual and interpretative difficulties, explores what the Stoic view on the matter implies for their theory of language, and compares their view with Aristotle’s. In the paper I aim to show that, for the Stoics, fallacies of ambiguity are complexes of propositions and sentences and thus straddle the realms of meaning (which is (...) the domain of logic) and of linguistic expressions (which is the domain of linguistics), but also involve a pragmatic element; that the Stoics believe that the premises of the fallacies, when uttered, have only one meaning and are true, and thus should be conceded; that hence there is no need for a mental process of disambiguation in the listeners; that Aristotle, by contrast, appears to assume that the premises always have all their meanings, and accordingly recommends that the listeners explicitly disambiguate them, which presupposes a process of mental disambiguation. I proffer two readings of the Stoic advice that we ‘be silent’ when confronted with a fallacy of ambiguity in dialectical discourse, and explicate how each leads to an overall consistent interpretation of the textual evidence. Finally, I demonstrate that the method advocated by the Stoics works in all cases of fallacies of lexical ambiguity. (shrink)

This paper examines an ancient debate over the rationality of perception. What leads the Stoics to affirm, and the Epicureans to deny, that to form a sense-impression is an activity of reason? The answer, we argue, lies in a disagreement over what is required for epistemic success. For the Stoics, epistemic success consists in believing the right propositions, and only rational states, in virtue of their predicational structure, put us in touch with propositions. Since they identify some sense-impressions as criteria (...) of truth and thus as the basis for epistemic success, the Stoics maintain that sense-impressions must be rational. The Epicureans agree with the Stoics that sense-impressions function as criteria of truth, and also agree broadly on what it means for a state to be rational, but deny that sense-impressions are rational because (1) they think that epistemic success must be supported by a state that is necessarily error-free and (2) accept that rational states can be false. In reconstructing this debate, we refine the standard interpretation of the fundamental difference between Epicurean and Stoic epistemology and also develop parallels with epistemological debates today. One upshot is a more nuanced appreciation of the merits of Epicurean epistemology vis-à-vis the Stoics. (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 Stoic logic, 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 Stoic logic. (2) Based on evidence from Stoic logic, I reconstruct Chrysippus’ calculations, thereby (a) showing that Chrysippus’ claim of over a million conjunctions was correct; and (b) shedding new light on Stoic logic 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)

In this extended essay, I argue that Frege plagiarized the Stoics --and I mean exactly that-- on a large scale in his work on the philosophy of logic and language as written mainly between 1890 and his death in 1925 (much of which published posthumously) and possibly earlier. I use ‘plagiarize' (or 'plagiarise’) merely as a descriptive term. The essay is not concerned with finger pointing or casting moral judgement. The point is rather to demonstrate carefully by means of detailed (...) evidence that there are numerous (over a hundred) and extensive parallels both in formulation and --more importantly-- in content between the Stoics and Frege, parallels so plentiful that one would be hard pressed to brush them off as coincidence. These parallels include several that appear to occur in no other modern works that were published before Frege’s own and were accessible to him. Additionally, a cluster of corroborating historical data is adduced to support the suggestion, showing how easy it would have to been for Frege to plagiarize the Stoics. This (first) part of the essay is easy to read and vaguely entertaining, or so I hope. -/- (Corrigendum: At school, Frege likely had seven, not ten, years of intensive Latin and four years of intensive ancient Greek courses.). (shrink)

This paper aims to explain the distinction between syllogisms and subsyllogisms in Stoic logic. Subsyllogisms replace at least one premise in a syllogism with a premise that is, according to Galen and Alexander, equipollent to the respective syllogistic premise. This equipollence is not synonymy of meaning between two linguistic expressions, but obtains between two propositions when they are true or false by the same standard. Subsyllogistic premises are simple propositions that are equipollent to the non-simple premises of the respective (...) syllogisms. For subsyllogistic premises that replace syllogistic premises consist of predicates combining with cases rather than of connectives or negations governing propositions. Because of this difference in their premises, subsyllogisms have a different logical form than syllogisms and are not formally valid. (shrink)

Meijer's book, a comprehensive study of Stoic theological arguments, defends the thesis that the Stoics were not narrowly interested in proving the existence of a god. The theology of the Stoa began with its founder, Zeno of Citium, presenting arguments that the cosmos is an intelligent being, though Zeno himself seems not to have explicitly identified that intelligent being as god. A clear statement equating the cosmos with god had to wait until the rise of the third head of (...) the school, Chrysippus, though Meijer acknowledges that there is no reason to think that Zeno or Cleanthes, the second head, would have opposed the proposition that the cosmos, or at least the rational fire that pervades it, is god. Confusion about the true intent of Zeno's arguments is due to their distortion in the sources, for example, by Sextus Empiricus, who, Meijer contends, presents several of Zeno's arguments for the rationality of the cosmos as if they were intended as arguments to establish the existence of god. As a result, Sextus is an unreliable witness for determining the point of these arguments. Further confusing matters is the existence of a set of arguments attributed to Zeno that aim to establish the existence of the traditional gods. Meijer. (shrink)

An examination of a particular passage in Cicero's De fato—Fat. 13–17—is crucial to our understanding of the Stoic theory of the truth-conditions of conditional propositions, for it has been uniquely important in the debate concerning the kind of connection the antecedent and consequent of a Stoic conditional should have to one another. Frede has argued that the passage proves that the connection is one of logical necessity, while Sorabji has argued that positive Stoic attitudes toward empirical inferences (...) elsewhere suggest that that cannot be the right interpretation of the passage. I argue that both parties to the debate have missed a position somewhere between them which both renders a connection between antecedent and consequent that is not merely empirical and makes sense of the actual uses to which the Stoics put the conditional. This will be an account which grounds the connection between antecedent and consequent in a prolêpsis, a special kind of concept which plays a special epistemological role for the Stoics, especially in grounding scientific explanations. My contention will be that Stoic conditionals are true when there is a conceptually necessary connection between antecedent and consequent such that the former explains the latter via a prolêpsis. (shrink)

The first monograph on Stoic modal logic. 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 shorter, updated, English version of Part 1 of the book see S. Bobzien, ‘Stoic Logic’, 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 S. Bobzien 'Chrysippus' Modal Logic and its Relation to Philo and Diodorus', in K. Doering / Th. Ebert (eds) Dialektiker und Stoiker (Stuttgart 1993) 63-84. (shrink)

Je reviens dans cet article sur certaines configurations conceptuelles propres à la logique stoïcienne et concernant le traitement stoïcien de la signification qui, comme on le sait, se découple en signifiant et signifié. La question que je pose est la suivante : à quelles certitudes est-on susceptible de parvenir avec les textes dont nous disposons sur la question des rapports entre signification, donc signifiant, σημαῖνον et signifié, σημαινόμενον, et λεκτόν? À l’occasion de cette interrogation, j’en viens à réouvrir l’enquête sur (...) la part éventuelle de modalité associée au λεκτόν et je propose d’analyser la signification stoïcienne tout en prenant en compte des concepts associés ou solidaires, comme les concepts de πρᾶγμα et de πτῶσις. (shrink)

The present paper investigates the question as to how and for what purposes the Middle Platonic author of the Anonymous Commentary on Plato’s Theaetetus uses Aristotelian and Stoic syllogistic in his interpretation of the Platonic text. This investigation shows that the commentator employs Aristotelian categorical syllogistic as an exegetical tool for reconstructing arguments in the Platonic text, enabling him not only to uncover doctrinal statements that are in his view hidden in the Platonic text, but also to dissociate Plato (...) from unwelcome propositions. By contrast, the commentator uses Stoic hypothetical syllogistic as a polemical tool for constructing ad hominem arguments against the Stoics. More precisely, the author exploits the Stoic type of deductive reasoning to draw anti-Stoic conclusions from premises that are accepted by the Stoics, and in doing so, he manages not only to refute Stoic doctrines, but also to corroborate the corresponding Platonic theories. (shrink)

This paper deals with Aristotelian and Stoic logic. In the first part the author writes about the history of logic and shows, why Stoic logic 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 Stoic logic is visible. The paper describes the character of Aristotelian and Stoic logic respectively. Stoic logic 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 Stoic logic 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 Stoic logic. However, his synthesis is different from Galen's because Boethius probably forms the synthesis unknowingly and indirectly through compiling his confused sources. (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: This paper collects the evidence in Ammonius' surviving works for elements of a propositional logic, coming to the conclusion that Ammonius had a theory of hypothetical syllogisms in the tradition of Aristotle and the Peripatetics, with Platonic elements mixed in, and using some Stoic elements, but not a propositional logic in the narrower sense as we find it in Stoic logic.

This paper shows that, for the Hertz–Gentzen Systems of 1933, extended by a classical rule T1 and using certain axioms, all derivations are analytic: every cut formula occurs as a subformula in the cut’s conclusion. Since the Stoic cut rules are instances of Gentzen’s Cut rule of 1933, from this we infer the decidability of the propositional logic of the Stoics. We infer the correctness for this logic of a “relevance criterion” and of two “balance criteria”, and hence that (...) a particular derivable sequent has no derivation that is “normal” in the sense that the first premiss of each cut is cut-free. We also infer that Cut is not admissible in the Stoic system, based on the standard Stoic axioms, the T1 rule and the instances of Cut with just two antecedent formulae in the first premiss. OPEN ACCESS. (shrink)

The Stoic philosopher Chrysippus wrote extensively on the liar paradox, but unfortunately the extant testimony on his response to the paradox is meager and mainly hostile. Modern scholars, beginning with Alexander Rüstow in the first decade of the twentieth century, have attempted to reconstruct Chrysippus? solution. Rüstow argued that Chrysippus advanced a cassationist solution, that is, one in which sentences such as ?I am speaking falsely? do not express propositions. Two more recent scholars, Walter Cavini and Mario Mignucci, have (...) rejected Rüstow's thesis that Chrysippus used a cassationist approach. Each has proposed his own thesis about Chrysippus? solution. I argue that Rüstow's view is fundamentally correct, and that the cassationist thesis gains greater plausibility when viewed in light of a passage in Sextus Empiricus? Adversus mathematicos that the previous commentators have ignored, and when understood within the broader context of Stoic logical theory and philosophy of language. I close with a brief remark on the significance of Chrysippus? work for the modern debate on the semantic paradoxes. (shrink)

The paper deals with the role of assent and instinct in the process of cognition. The author shows, that the Stoic instinct is a dynamic aspect in the processes of cognition, decision making and action, its consequence being at the same time the assent, i. e. the approval of a given descriptive or prescriptive proposition as a true one. Tha paper wants to stress e remarcable rationalistic character of the Stoic epistemology - the only constitutive elemnent of (...) the instinct is, at least in early Stoicism, the rational capacity of the soul. The three Stoic levels of cognition: opinion, understanding and cognition are intoruced as related to various intensities of assent given to the particual meanings of the proposition. (shrink)

The Megarians, as well as their Stoic heirs, are known to have been fatalists or logical determinists in the following, very broad sense of these terms: with respect to at least certain classes or kinds of nontautologous propositions, they held that the mere truth of a proposition entails its necessity. This paper explores, in a very tentative fashion, the relation between several versions of logical determinism and two passages in the Aristotelian corpus, one of which is specifically directed (...) against Megarian doctrine and the other of which is an argument purporting to establish a thesis concerning the necessity of future events which Aristotle wished to reject but which the Megarian logician Diodorus Cronus apparently accepted. (shrink)

Greek antiquity saw the development of two distinct systems of logic: Aristotle’s theory of the categorical syllogism and the Stoic theory of the hypothetical syllogism. Some ancient logicians argued that hypothetical syllogistic is more fundamental than categorical syllogistic on the grounds that the latter relies on modes of propositional reasoning such asreductio ad absurdum. Peripatetic logicians, by contrast, sought to establish the priority of categorical over hypothetical syllogistic by reducing various modes of propositional reasoning to categorical form. In the (...) 17th century, this Peripatetic program of reducing hypothetical to categorical logic was championed by Gottfried Wilhelm Leibniz. In an essay titledSpecimina calculi rationalis, Leibniz develops a theory of propositional terms that allows him to derive the rule ofreductio ad absurdumin a purely categorical calculus in which every proposition is of the formA is B. We reconstruct Leibniz’s categorical calculus and show that it is strong enough to establish not only the rule ofreductio ad absurdum, but all the laws of classical propositional logic. Moreover, we show that the propositional logic generated by the nonmonotonic variant of Leibniz’s categorical calculus is a natural system of relevance logic known as RMI$_{{}_ \to ^\neg }$. (shrink)

One of the most intriguing claims of Stoic logic is Chrysippus's denial of the modal principle that the impossible does not follow from the possible. Chrysippus's argument against this principle involves the idea that some propositions are ?destroyed? or ?perish?. According to the standard interpretation of Chrysippus's argument, propositions cease to exist when they are destroyed. Ide has presented an alternative interpretation according to which destroyed propositions persist after destruction and are false. I argue that Ide's alternative interpretation as (...) well as some versions of the standard interpretation conflict with Stoic doctrines about the nature of propositions. I propose another version of the standard interpretation based on Frede's account of the Stoic theory of the proposition. I hold that this version of the standard interpretation both escapes Ide's objections and is consistent with Stoic logic and philosophy of language. (shrink)

The anonimous scholiumOn all forms of syllogism was copied in 1884 from the Paris Codex 2064 by E. Richter. In 1899 M. Wallies published it in the preface to Ammonius' commentary on the Prior Analytics of Aristotle. There appear in that scholium, apart from the complex figure of Galenos, other characteristic forms of inference.Among these forms I found five so-called non-demonstrable stoic syllogisms, three modifications of the law of transposition of which the third is not mentioned by the authors (...) of Princ pia Mathematica, and a modification of the form of inference known as Euclid's law. This form of inference was applied by Euclid in mathematics and by Saccherius in syllogistics; it is mentioned for the first time by Cardan in a treatise of 1570 and later by Clavius in his commentary of 1574 on the Elements of Euclid and in the commentary on Theodosius'Sphaerica of the year 1586.In 1658 Erhard Weigel made the first attempt at refuting the logical law of Euclid as formulated by Cardan and Clavius and in 1686 James Bernoulli tried to prove it. (shrink)

These are three welcome works on medieval logic. The Summa Logica of William of Ockham has long been a classic, and scholars have been waiting for this critical edition, begun almost a quarter of a century ago by Philotheus Boehner and finally brought to completion by the combined efforts of Stephen Brown and especially Gedeon Gal, now the general editor of the Opera Philosophica et Theologica being prepared at the Franciscan Institute at St. Bonaventure University. The editors date this work (...) after the Commentary on the Sentences, two volumes of which have already appeared in the above mentioned series. It also postdates Ockham’s commentaries on Porphyry, the Praedicamenta, Perihermenias, and Sophisticis Elenchis, as well as the first four books of Aristotle’s Physics. As a terminus ante quem the editors take the fifth book of this same Physics and see it as certainly prior to the Tractatus de praedestinatione, and to the De corpore Christi and De Sacramento Altaris. Parts of the Quodlibetal questions, however, precede it, and others follow. Loux’s translation, unfortunately, antedated this splendid edition of the Summa Logicae, being based on only the partial, earlier edition of Boehner. Nevertheless, it is a useful instrument providing a good and relatively complete introduction to the basic themes of Ockham’s philosophy of language as well as his ontology. A spot check reveals some misprints, e.g., on pp. 56, 192 and on page 38, lines 68-83 of the Latin edition he used have not been translated. The work is introduced by two essays: "The Ontology of William Ockham" and "Ockham on Generality"—the latter dealing with his theory of supposition. Nuchelmans’ interesting work, though it deals mostly with the medieval history of propositions as bearers of truth and falsity, contains some six chapters which trace the history of the term as early as Plato’s treatment in the Sophist, through Aristotle and the important Stoic lekton and axioma. He also concludes with a useful chapter on the significance of a true propositio, both as a mode of being of a thing and as the mental conception.—A.B.W. (shrink)

This monograph discusses the sources for ancient propositional logic, mainly in Sextus Empiricus and Diogenes Laertius bk. VII. It is argued that most of the sources in Sextus which have hitherto been taken to be sources for Stoic logic either do not report Stoic logic at all or report pre-Chrysippean Stoic logic. These texts report (in the first case) a group labelled the Dialecticians whose most prominent members were Diodorus Cronus and Philo or else (in the second (...) case) early Stoic logicians heavily influenced by the Dialecticians. The texts discussed concern the theory of signs, the theory of proof and the classifications of propositions and of arguments. (shrink)

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 [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. 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 [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. 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)

Logic was understood by the Stoics in a broad sense, as the doctrine that included analysis of the forms of argumentation, rhetoric, theory of concepts and propositions, epistemology, and philosophy of language. The distinguishing characteristic of Stoic logic is the fact that it is fundamentally a logic of propositions, unlike the logic of terms belonging to the Aristotelian tradition. This study offers a new treatment of Stoic logic, in which the various topics are retraced and critically assessed.

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)