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

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 Stoic logic, 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: 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)

Since Mates’ seminal Stoic Logic there has been uncertainty and debate about how to treat the term anapodeiktos when used of Stoic syllogisms. This paper argues that the customary translation of anapodeiktos by ‘indemonstrable’ is accurate, and it explains why this is so. At the heart of the explanation is an argument that, contrary to what is commonly assumed, indemonstrability is rooted in the generic account of the Stoic epistemic notion of demonstration. Some minor insights into (...) class='Hi'>Stoic logic ensue. (shrink)

ABSTRACT: Galen’s Institutio Logica is the only introduction to logic in Greek that has survived from antiquity. In it we find a theory that bears some resemblance to propositional logic. The theory is commonly understood as being essentially Stoic. However, this understanding of the text leaves us with a large number of inconsistencies and oddities. In this paper I offer an comprehensive alternative interpretation of the theory. I suggest that it is Peripatetic at base, and has drawn on (...) class='Hi'>Stoic elements, but adapted them to an overall decidedly non-Stoic conception of logic and language, a conception indebted to Aristotelian logic in many respects. This interpretation makes it possible to reduce the seeming inconsistencies dramatically. The Peripatetic theory on which Galen draws was possibly developed in the first century BCE. Importantly, it differs from Stoic logic in that it shuns the latter’s syntactic approach, and considers certain linguistic assumptions and language conventions as part of the logical theory itself. My reconstruction of the theory results in a logic of propositions which differs wildly both from Stoic logic and from the ‘classical’ propositional logic of the 20th century. Interestingly, though, the theory in Galen shows that the ancients grappled with a number of logico-linguistic problems that over the last two decades have again become a matter of debate among contemporary logicians and linguists. (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)

In ancient philosophy, there is no discipline called “logic” in the contemporary sense of “the study of formally valid arguments.” Rather, once a subfield of philosophy comes to be called “logic,” namely in Hellenistic philosophy, the field includes (among other things) epistemology, normative epistemology, philosophy of language, the theory of truth, and what we call logic today. This entry aims to examine ancient theorizing that makes contact with the contemporary conception. Thus, we will here emphasize the theories of the “syllogism” (...) in the Aristotelian and Stoic traditions. However, because the context in which these theories were developed and discussed were deeply epistemological in nature, we will also include references to the areas of epistemological theorizing that bear directly on theories of the syllogism, particularly concerning “demonstration.” Similarly, we will include literature that discusses the principles governing logic and the components that make up arguments, which are topics that might now fall under the headings of philosophy of logic or non-classical logic. This includes discussions of problems and paradoxes that connect to contemporary logic and which historically spurred developments of logical method. For example, there is great interest among ancient philosophers in the question of whether all statements have truth-values. Relevant themes here include future contingents, paradoxes of vagueness, and semantic paradoxes like the liar. We also include discussion of the paradoxes of the infinite for similar reasons, since solutions have introduced sophisticated tools of logical analysis and there are a range of related, modern philosophical concerns about the application of some logical principles in infinite domains. Our criterion excludes, however, many of the themes that Hellenistic philosophers consider part of logic, in particular, it excludes epistemology and metaphysical questions about truth. Ancient philosophers do not write treatises “On Logic,” where the topic would be what today counts as logic. Instead, arguments and theories that count as “logic” by our criterion are found in a wide range of texts. For the most part, our entry follows chronology, tracing ancient logic from its beginnings to Late Antiquity. However, some themes are discussed in several eras of ancient logic; ancient logicians engage closely with each other’s views. Accordingly, relevant publications address several authors and periods in conjunction. These contributions are listed in three thematic sections at the end of our entry. (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)

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)

I provide a distinctively Wittgensteinian interpretation of Hegel’s Subjective Logic, including the parts on the concept, the judgement and the syllogism. I argue that Wittgenstein implicitly recognised the moments of universality, particularity and individuality; moreover, he was sensitive to Hegel’s crucial distinction between abstract and concrete universals. More specifically, for Wittgenstein the moment of particularity has the status of a paradigmatic sample which mediates between a universal concept and its individual instances. Thus, a concrete universal is a universal that includes (...) every individual via its paradigmatic sample. Next, I provide a generic account of the emergence of concrete universals through a series of negations that follows the basic structure of Hegel’s judgement—“the individual is the universal”—and the syllogism—“the individual is the universal mediated by the particular”. This development is illustrated with examples from Hegel (a plant, Socrates, Caesar, a Stoic sage, Jesus) as well as from Wittgenstein (colour samples, the standard metre, works of art). I take Wittgenstein’s argument against private language as implying that we cannot do without paradigms in our epistemic practices. If the conclusion of the section “Subjectivity” in Hegel’s Science of Logic is that the moment of particularity cannot be ignored or dispensed with, then it would mean that we cannot do without paradigms in our epistemic practices: that is, that private rules are impossible. (shrink)

ABSTRACT: This paper traces the earliest development of the most basic principle of deduction, i.e. modus ponens (or Law of Detachment). ‘Aristotelian logic’, as it was taught from late antiquity until the 20th century, commonly included a short presentation of the argument forms modus (ponendo) ponens, modus (tollendo) tollens, modus ponendo tollens, and modus tollendo ponens. In late antiquity, arguments of these forms were generally classified as ‘hypothetical syllogisms’. However, Aristotle did not discuss such arguments, nor did he call any (...) arguments ‘hypothetical syllogisms’. The Stoic indemonstrables resemble the modus ponens/tollens arguments. But the Stoics never called them ‘hypothetical syllogisms’; nor did they describe them as ponendo ponens, etc. The tradition of the four argument forms and the classification of the arguments as hypothetical syllogisms hence need some explaining. In this paper, I offer some explanations by tracing the development of certain elements of Aristotle’s logic via the early Peripatetics to the logic of later antiquity. I consider the questions: How did the four argument forms arise? Why were there four of them? Why were arguments of these forms called ‘hypothetical syllogisms’? On what grounds were they considered valid? I argue that such arguments were neither part of Aristotle’s dialectic, nor simply the result of an adoption of elements of Stoic logic, but the outcome of a long, gradual development that begins with Aristotle’s logic as preserved in his Topics and Prior Analytics; and that, as a result, we have a Peripatetic logic of hypothetical inferences which is a far cry both from Stoic logic and from classical propositional logic, but which sports a number of interesting characteristics, some of which bear a cunning resemblance to some 20th century theories. (shrink)

One Stoic response to the skeptical indistinguishability argument is that it fails to account for expertise: the Stoics allow that while two similar objects create indistinguishable appearances in the amateur, this is not true of the expert, whose appearances succeed in discriminating the pair. This paper re-examines the motivations for this Stoic response, and argues that it reveals the Stoic claim that, in generating a kataleptic appearance, the perceiver’s mind is active, insofar as it applies concepts matching (...) the perceptual stimulus. I argue that this claim is reflected in the Stoic definition of the kataleptic appearance, and that it respects their more general account of mental representation. I further suggest that, in attributing some activity to the mind in creating each kataleptic appearance, and in claiming that the expert’s mind allows her to form more kataleptic appearances than the amateur, the Stoics draw inspiration from the wax tablet model in Plato’s Theaetetus (190e–196d), where Socrates distinguishes the wise from the ignorant on the basis of how well they match sensory input with its appropriate mental ‘seal’ (σφραγίς). (shrink)

The Stoics have often been compared to the earthborn Giants in the Battle of Gods and Giants in Plato’s Sophist, but with diverging opinions about the lessons they drew in reaction to Plato. At issue are questions about what in the Sophist the Stoics were reacting to, how the Stoics are like and unlike the Giants, the status of being for the Stoics, and the extent to which they were Platonizing with their incorporeals. With these open questions in mind, I (...) reexamine the Sophist from the Stoic perspective, finding eight distinct challenges that are likely to have been salient to the Stoics, and offer a new account of the Stoics as responding to these challenges with an innovative ontology that prises apart something from being to make room for what is not, and a sophisticated one-world metaphysics that grounds everything there is in two fundamental bodies. (shrink)

In the first book of the Prior Analytics, Aristotle sets out, for the first time in Greek philosophy, a logical system. It consists of a deductive system (I.4-22), meta-logical results (I.23-26), and a method for finding and giving deductions (I.27-29) that can apply in “any art or science whatsoever” (I.30). After this, Aristotle compares this method with Plato’s method of division, a procedure designed to find essences of natural kinds through systematic classification. This critical comparison in APr I.31 raises an (...) interpretive puzzle: how can Aristotle reasonably juxtapose two methods that differ so much in their aims and approach? What can be gained by doing so? Previous interpreters have failed to show how this comparison is legitimate or what important point Aristotle is making. The goal of this paper is to resolve the puzzle. In resolving this puzzle we not only learn more about the relationship be- tween division and the syllogistic in Aristotle. We will also learn something about the motivation for the syllogistic itself, by seeing the role that it plays in his philosophy of science. (shrink)

European Journal of Philosophy, Volume 29, Issue 4, Page 864-886, December 2021.

This paper examines the Stoic account of apprehension (κατάληψις) (a cognitive achievement similar to how we typically view knowledge). Following a seminal article by Michael Frede (1983), it is widely thought that the Stoics maintained a purely externalist causal account of apprehension wherein one may apprehend only if one stands in an appropriate causal relation to the object apprehended. An important but unanswered challenge to this view has been offered by David Sedley (2002) who offers reasons to suppose that (...) the Stoics (or at least Zeno, the founder of the Stoa) did not make such a causal stipulation. I offer a defence of the traditional, causal reading against the challenges raised by Sedley but also argue, against the traditional view, that the Stoic account incorporated an internalist element. On the hybrid account defended here, in order to apprehend not only must the agent stand in an appropriate causal relation to the object apprehended but the agent’s appearance of the object must also be clear (a feature which is accessible to the epistemic agent). The traditional scholarly view rejects internalist interpretations because it is thought that such interpretations cannot make sense of the Stoics’ discussion of the ‘automatic assent’ produced by kataleptic appearances and a purely externalist view is taken to be charitable insofar as it saves the Stoics from a vicious regress which they would otherwise face (were they internalists). I spell out how the regress might be taken to function and defend an internalist interpretation against both these charges. The internalist element embraced by the Stoics does not lead to the problems it is often thought to and the account defended here not only does justice to the textual evidence but also sheds light on the Stoic debates with their sceptical opponents and grants the Stoics an epistemic account fit for purpose. (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)

An overview of the ancient philosophers and their philosophical system (divided into the fields of logic, physics, and ethics) comprising the living, organic, enduring, and evolving body of interrelated ideas identifiable as the Stoic perspective.

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)

The purpose of this paper is an attempt to delimitate what the dialectical syllogism looks like in Aristotle’s Topics. Aristotle never gave an example of a dialectical syllogism, but we have some clues spread over books I and VIII of the Topics which make it possible to understand at least what within a dialectical debate is a dialectical syllogism. The interpretation advanced here distinguishes the logical order of the dialectical argumentation from the order of the debate. This distinction enables us (...) to have a better understand of what is and how the dialectical syllogism is identified in the debate. In addition, we can solve some interpretative difficulties other interpretations could not solve, and have a more solid grasp of how endoxa are used in a dialectical debate. (shrink)

Overview of the Stoic position. Looks at the roots of their determinism in their theology, their response to the 'lazy argument' that believing that all things are fated makes action pointless, their analysis of human action and how it allows actions to be 'up to us,' their rejection of the Principle of Alternate Possibilities, their rejection of anger and other negative reactive attitudes, and their contention that submission to god's will brings true freedom.

This essay considers how ancient Stoic cosmopolitanism – roughly, the claim all human beings are members of the same “cosmopolis”, or universal city, and so are entitled to moral concern in virtue of possessing reason – informs Stoic thinking about how we ought to treat non-human entities in the environment. First, I will present the Stoic justification for the thesis that there are only rational members of the cosmopolis – and so that moral concern does not extend (...) to any non-human part of the natural world – and explore the foundations of these views in Stoic physics. Next, I will show that, like other anthropocentric theories, Stoic cosmopolitanism allows for environmental preservation and protection of non-human entities, so long as these activities ultimately benefit human beings. However, because the Stoics include the appreciation of natural beauty as a component of the happy life, this justification is not as feeble as it might seem. Humans are naturally set up to contemplate the order and complexity of the universe, and so environmental degradation and species loss, in marring this harmonious system, frustrates the achievement of the human goal. After exploring these facets of Stoic philosophy, and assessing to what extent they might justify environmental conservation, I close with a critical appraisal of Stoic theory – specifically, of the claims that (i) only humans possess reason and (ii) only rational creatures are deserving of moral concern. (shrink)

Moti Mizrahi (2013) presents some novel counterexamples to Hypothetical Syllogism (HS) for indicative conditionals. I show that they are not compelling as they neglect the complicated ways in which conditionals and modals interact. I then briefly outline why HS should nevertheless be rejected.

What can Stoicism offer to contemporary debates about forgiveness? Given their outright rejection of a reactive attitudes framework for responding to wrongdoing and their bold suggestions of how to revise our moral practices, the Stoics provide a valuable lens through which to re-evaluate various central claims in the debates about forgiveness. In this chapter, I highlight four common assumptions that the Stoics would consider problematic: firstly, that forgiveness is opposed to justice; secondly, that anger and resentment are necessary for registering (...) wrongdoing; thirdly, that anger and resentment are generally reliable at tracking the severity of wrongdoing; fourthly, that reconciliation with wrongdoers is an option rather than an imperative of virtue. Insofar as the Stoics provide defensible and often compelling alternatives to these positions, Stoicism offers a number of philosophical resources to re-conceptualize the way we think about forgiveness and suggests ways in which forgiveness might be better integrated into a virtue ethical framework. (shrink)

In this article, I present a schema for generating counterexamples to the argument form known as Hypothetical Syllogism with indicative conditionals. If my schema for generating counterexamples to HS works as I think it does, then HS is invalid for indicative conditionals.

The inclusion of De astrologia in the Lucianic corpus has been disputed for centuries since it appears to defend astrological practices that Lucian elsewhere undercuts. This paper argues for Lucian’s authorship by illustrating its masterful subversion of a captatio benevolentiae and subtle rejection of Stoic astrological practices. The narrator begins the text by blaming phony astrologers and their erroneous predictions for inciting others to “denounce the stars and hate astrology” (ἄστρων τε κατηγοροῦσιν καὶ αὐτὴν ἀστρολογίην μισέουσιν, 2). The narrator (...) assures readers that he, the knowledgeable astrologer, will correct for the “stupidity and laziness” (ἀμαθίῃ καὶ ῥαθυμίῃ, ibid.) that bring about false predictions. The narrator’s credibility quickly decays when he attempts to recast Orpheus, Bellerophon, Icarus, Daedalus, and a host of other mythological figures as Greek astrologers. Lucian’s audience would expect such far-fetched interpretations of myth from the stereotypical Stoic philosopher, a character lampooned elsewhere in the Lucianic corpus. (shrink)

ABSTRACT: In contemporary discussions of freedom in Stoic philosophy we often encounter the following assumptions: (i) the Stoics discussed the problem of free will and determinis; (ii) since in Stoic philosophy freedom of the will is in the end just an illusion, the Stoics took the freedom of the sage as a substitute for it and as the only true freedom; (iii) in the c. 500 years of live Stoic philosophical debate, the Stoics were largely concerned with (...) the same philosophical problems of freedom. In this paper I argue that (i) can be upheld only in a very restricted way; (ii) is altogether untenable; and regarding (iii), that, although there may have occurred little change in the Stoic philosophical position on freedom over the centuries, we can detect more than one transformation of the philosophical problems that were at the forefront of the discussion. Moreover, that all the conceptions and problems of freedom were linked to Stoic ethics, and that the differences between them become transparent when one considers their various roles in this context. (shrink)

Chrysippus often talks as if there is a third option when we might expect that two options in response to a question are exhaustive. Things are true, false or neither; equal, unequal, or neither; the same, different, or neither.. and so on. There seems to be a general pattern here that calls for a general explanation. This paper offers a general explanation of this pattern, preserving Stoic commitments to excluded middle and bivalence, arguing that Chrysippus employs this trichotomy move (...) when he wishes to argue that apparent contradictories are only contraries, and wishes to endorse a third option. This general explanation of the pattern of trichotomies sheds light on a number of interpretive puzzles, including on Chrysippus's response to the paradox of the cone. The purpose of these trichotomies is also discussed, and it is suggested that they originate from the dialectical context in which philosophical problems were posed. (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)

How did the Stoics conceive of a polis and statehood? What happens when these ideas meet different biographies and changing historical environments? To answer these questions, 'The Stoics and the State' combines close philological reading of original source texts and fine-grained conceptual analysis with wide-ranging contextualisation, which is both thematic and diachronic. A systematic account elucidates extant definitions, aspects of statehood (territory, institutions, population and state objectives) and the constitutive function of the common law. The book’s diachronic part investigates how (...) Stoics from Zeno to Marcus Aurelius used their theory of the state to assess particular states, explain the origin of political communities and shape their own political practice. A glimpse at modern adaptations from Justus Lipsius to Martha C. Nussbaum explains the peculiarities of Stoic notions and their basis in a conception of human nature as not only political but essentially sociable and beneficent. (shrink)

This paper sets out to evaluate the claim that Aristotle’s Assertoric Syllogistic is a relevance logic or shows significant similarities with it. I prepare the grounds for a meaningful comparison by extracting the notion of relevance employed in the most influential work on modern relevance logic, Anderson and Belnap’s Entailment. This notion is characterized by two conditions imposed on the concept of validity: first, that some meaning content is shared between the premises and the conclusion, and second, that the (...) premises of a proof are actually used to derive the conclusion. Turning to Aristotle’s Prior Analytics, I argue that there is evidence that Aristotle’s Assertoric Syllogistic satisfies both conditions. Moreover, Aristotle at one point explicitly addresses the potential harmfulness of syllogisms with unused premises. Here, I argue that Aristotle’s analysis allows for a rejection of such syllogisms on formal grounds established in the foregoing parts of the Prior Analytics. In a final section I consider the view that Aristotle distinguished between validity on the one hand and syllogistic validity on the other. Following this line of reasoning, Aristotle’s logic might not be a relevance logic, since relevance is part of syllogistic validity and not, as modern relevance logic demands, of general validity. I argue that the reasons to reject this view are more compelling than the reasons to accept it and that we can, cautiously, uphold the result that Aristotle’s logic is a relevance logic. (shrink)

The later Stoics, especially – and most notably – Posidonius of Apamea, allegedly the greatest polymath of his age and the last in a celebrated line of great philosophers of the ancient world, gradually developed the belief that all parts of the universe, either ensouled or not, were actually interconnected due to the omnipresent, corporeal, primordial kosmikon pyr which, according to Stoicism, pervades each being as the honey pervades the honeycomb. As for reasonable beings, in particular, kosmikon pyr takes the (...) form of logos. Due to that power, Posidonius believes, the phases of moon, for instance, can affect the succession of tides and ebb–tides; on the same grounds, the signs can have major effect on the course of events and, therefore, allow for divination. That kind of interconnectedness, apart from justifying the interdependentness of all beings to each other, testifies for an utter kinship between them, for sympatheia. In this short paper I intent to show that Posidonius’s approach has been promptly adopted and utilized by modern holistic theories concerning Environmental Ethics, especially by Arne Naess’s Deep Ecology and Ecosophy T, in the context of which notions such as kinship, interconnectedness, interdependentness and identification of all beings are key parameters for the articulation of their argumentation. I also intent to outline some essential – in my opinion – differences in the way Posidonius and Naess make use of the notion of interconnectedness, together with some inconsistencies which can be potentially fatal, at least as far as a system of ethics is concerned. This is because notions such as cosmic sympathy may possibly establish an interesting, even charming and influential cosmology or metaphysics, but when it comes to ethics, in my opinion, they can only provide shaky grounds for establishing a firm one, since they allow for deterministic views, which more or less leave no room for personal responsibility, to wit for personal praise or blame. (shrink)

The purpose of this paper is to outline an alternative approach to introductory logic courses. Traditional logic courses usually focus on the method of natural deduction or introduce predicate calculus as a system. These approaches complicate the process of learning different techniques for dealing with categorical and hypothetical syllogisms such as alternate notations or alternate forms of analyzing syllogisms. The author's approach takes up observations made by Dijkstrata and assimilates them into a reasoning process based on modified notations. The author's (...) model adopts a notation that addresses the essentials of a problem while remaining easily manipulated to serve other analytic frameworks. The author also discusses the pedagogical benefits of incorporating the model into introductory logic classes for topics ranging from syllogisms to predicate calculus. Since this method emphasizes the development of a clear and manipulable notation, students can worry less about issues of translation, can spend more energy solving problems in the terms in which they are expressed, and are better able to think in abstract terms. (shrink)

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)

The question as to what makes a perfect Aristotelian syllogism a perfect one has long been discussed by Aristotelian scholars. G. Patzig was the first to point the way to a correct answer: it is the evidence of the logical necessity that is the special feature of perfect syllogisms. Patzig moreover claimed that the evidence of a perfect syllogism can be seen for Barbara in the transitivity of the a-relation. However, this explanation would give Barbara a different status over the (...) other three first figure syllogisms. I argue that, taking into account the role of the being-contained-as-in-a-whole formulation, transitivity can be seen to be present in all four first figure syllogisms. Using this wording will put the negation sign with the predicate, similar to the notation in modern predicate calculus. (shrink)

Basic abstraction principles are reached through ontology, which was traditionally conceived as a depiction of the world itself. Ontology is also described using conceptual modeling (CM) that defines fundamental concepts of reality. CM is one of the central activities in computer science, especially as it is mainly used in software engineering as an intermediate artifact for system construction. To achieve such a goal, we propose Stoic CM (SCM) as a description of what a system must do functionally with minimal (...) ambiguity. As a case study, we apply SCM to investigate the ontology of BPMN (business process modeling notation). Such an undertaking would demonstrate SCM notions and simultaneously may offer a viable ontological foundation for BPMN. SCM defines the being of things and actions in reality based on Stoic notions of existence and subsistence. It has two levels of specification: (1) a subsistence static model where things and actions subsist and (2) an existence dynamic model where things and actions exist in time. From the Stoic ontological point of view, while a thing existing has a clear denotation, subsistence indicates the thing is “being there,” but it is inactive (does not participate in an event). We apply SCM to BPMN processes that involve buying a new car with many notions, such as activity, task, event, and message. The result indicates that SCM produces a tighter representation of reality, thus providing the necessary description of the part in the application world to be used as requirements for developing the software system. (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)

The debate over Hypothetical Syllogism is locked in stalemate. Although putative natural language counterexamples to Hypothetical Syllogism abound, many philosophers defend Hypothetical Syllogism, arguing that the alleged counterexamples involve an illicit shift in context. The proper lesson to draw from the putative counterexamples, they argue, is that natural language conditionals are context-sensitive conditionals which obey Hypothetical Syllogism. In order to make progress on the issue, I consider and improve upon Morreau’s proof of the invalidity of Hypothetical Syllogism. The improved proof (...) relies upon the semantic claim that conditionals with antecedents irrelevant to the obtaining of an already true consequent are themselves true. Moreover, this semantic insight allows us to provide compelling counterexamples to Hypothetical Syllogism that are resistant to the usual contextualist response. (shrink)

In Stoic physics, blending (κρᾶσις) is the relation between active pneuma and passive matter; natural bodies from rocks and logs to plants, animals and the cosmos itself are blends of pneuma and matter. Blending structures the Stoic cosmos. I develop a new interpretation of the Stoic theory of blending, based on passages from Hierocles. The theory of blending, I argue, has been misunderstood. Hierocles allows us to see in detail how the theory is supposed to work and (...) how it fits into Stoic physics. (shrink)

This paper rehabilitates the Stoic conception of blending from the ground up, by freeing the Stoic conception of body from three interpretive presuppositions. First, the twin hylomorphic presuppositions that where there is body there is matter, and that where there is reason or quality there is an incorporeal. Then, the atomistic presupposition that body is absolutely full and rigid, and the attendant notion that resistance (antitupia) must be ricochet. I argue that once we clear away these presuppositions about (...) body, the foundations of Stoic corporealism fall into place. Body is fundamental (not hylomorphic). The two fundamental principles (archai) are bodies: divine active reason (logos) and passive matter (hulē); and these two bodies are two, not matter and form all over again, nor actual and potential, but agent and patient. The independence of the two archai is no threat to the unity of the cosmos, however, because the Stoic theory of body allows for the complete coextension of the archai. The hylomorphic thinker rightly asks, what relation could be tighter than that of the wax and its shape? The Stoic replies: a causal relation, the interaction of agent and patient completely coextended in a through and through blend. (shrink)

This paper considers what function—if any—colocation of bodies may have in the Stoic theory of blending (κρᾶσις), by examining (1) whether colocation is part of the definition of what blending is; and (2) whether colocation is posited by the Stoics as a requirement necessary for the definition to be satisfied. I reconstruct the standard, Chrysippean definition of blending, and I show that the answer to (1) is ‘no’; further, I argue that the evidence gives no reason to affirm (2). (...) Thus, it appears that colocation does not have a central function in the Stoic theory of blending. (shrink)

My project examines the pedagogical approach of the Stoic Epictetus by focusing on seven vital lessons he imparts. This study will deepen our understanding of his vocation as a Stoic educator striving to free his students from the fears and foolishness that hold happiness hostage. These lessons are (1) how freedom, integrity, self-respect, and happiness interrelate; (2) real versus fake tragedy and real versus fake heroism; (3) the instructive roles that various animals play in Stoic education; (4) (...) athleticism, sport, and game-playing as analogies for striving to live virtuously; (5) place, time, and progress in the journey to self-realization; (6) how to live with death and exit life fearlessly; (7) how teaching wisdom is one of several ways the Stoic sage loves others. (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)

The Stoic understanding of virtue is often taken to be a non-starter. Many of the Stoic claims about virtue – that a virtue requires moral perfection and that all who are not fully virtuous are vicious – are thought to be completely out of step with our commonsense notion of virtue, making the Stoic account more of an historical oddity than a seriously defended view. Despite many voices to the contrary, I will argue that there is a (...) way of making sense of these Stoic claims. Recent work in linguistics has shown that there is a distinction between relative and absolute gradable adjectives, with the absolute variety only applying to perfect exemplars. I will argue that taking virtue terms to be absolute gradable adjectives – and thus that they apply only to those who are fully virtuous – is one way to make sense of the Stoic view. I will also show how interpreting virtue theoretic adjectives as absolute gradable adjectives makes it possible to defend Stoicism against its most common objections, demonstrating how the Stoic account of virtue might once again be a player in the contemporary landscape of virtue theorizing. (shrink)

The Stoics are famously committed to the thesis that only bodies are, and for this reason they are rightly called “corporealists.” They are also famously compared to Plato’s earthborn Giants in the Sophist, and rightly so given their steadfast commitment to body as being. But the Stoics also notoriously turn the tables on Plato and coopt his “dunamis proposal” that being is whatever can act or be acted upon to underwrite their commitment to body rather than shrink from it as (...) the Giants do. The substance of Stoic corporealism, however, has not been fully appreciated. This paper argues that Stoic corporealism goes beyond the dunamis proposal, which is simply an ontological criterion for being, to the metaphysics of body. This involves, first, an account of body as metaphysically simple and hence fundamental; second, an account of body as malleable and continuous, hence fit for blending (krasis di’ holou) and composition. In addition, the metaphysics of body involves a distinction between this composition relation seen in the cosmology, and the constitution relation by which the four-fold schema called the Stoic Categories proceeds, e.g. the relation between a statue and its clay, or a fist and its underlying hand. It has not been appreciated that the cosmology and the Categories are distinct — and complementary — explanatory enterprises, the one accounting for generation and unity, the other taking those individuals once generated, and giving a mereological analysis of their identity and persistence conditions, kinds, and qualities. The result is an elegant division of Plato’s labor from the Battle of Gods and Giants. On the one hand, the Stoics rehabilitate the crude cosmology of the Presocratics to deliver generation and unity in completely corporeal terms, and that work is found in their Physics. On the other hand, they reform the Giants and “dare to corporealize,” delivering all manner of predication (from identity to the virtues), and that work is found in Stoic Logic. Recognizing the distinctness of these explanatory enterprises helps dissolve scholarly puzzles, and harmonizes the Stoics with themselves. (shrink)

The paper examines Posterior Analytics II 11, 94a20-36 and makes three points. (1) The confusing formula ‘given what things, is it necessary for this to be’ [τίνων ὄντων ἀνάγκη τοῦτ᾿ εἶναι] at a21-22 introduces material cause, not syllogistic necessity. (2) When biological material necessitation is the only causal factor, Aristotle is reluctant to formalize it in syllogistic terms, and this helps to explain why, in II 11, he turns to geometry in order to illustrate a kind of material (...) cause that can be expressed as the middle term of an explanatory syllogism. (3) If geometrical proof is viewed as a complex construction built on simpler constructions, it can in effect be described as a case of purely material constitution. (shrink)

The Stoics claim that the sage is free from emotions, experiencing instead εὐπάθειαι (‘good feelings’). It is, however, unclear whether the sage experiences εὐπάθειαι about virtue/vice only, indifferents only, or both. Here, I argue that εὐπάθειαι are exclusively about virtue/vice by showing that this reading alone accommodates the Stoic claim that there is not a εὐπάθειαι corresponding to emotional pain. I close by considering the consequences of this view for the coherence and viability of Stoic ethics.