Susanne Bobzien

Much of chapters 2 to 6 of this book is in agreement with publications from the last twenty years (including those of the reviewer); so for example Frede’s points that neither Aristotle nor the Stoics had a notion of free-will; that in Epictetus (for the first time) the notions of freedom and will were combined; that an indeterminist notion of free-will occurs first in Alexander. The achievement of these chapters lies in the way Frede carefully joins them together and uses them as a basis for some substantive criticism and rewriting of the history of free-will regarding late antique Pagan and Christian authors, in particular Plotinus, Origen and Augustine.

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.

The purpose of this paper is to challenge some widespread assumptions about the role of the modal axiom 4 in a theory of vagueness. In the context of vagueness, axiom 4 usually appears as the principle ‘If it is clear (determinate, definite) that A, then it is clear (determinate, definite) that it is clear (determinate, definite) that A’, or, more formally, CA → CCA. We show how in the debate over axiom 4 two different notions of clarity are in play (Williamson-style "luminosity" or self-revealing clarity and concealeable clarity) and what their respective functions are in accounts of higher-order vagueness. On this basis, we argue first that, contrary to common opinion, higher-order vagueness and S4 are perfectly compatible. This is in response to claims like that by Williamson that, if vagueness is defined with the help of a clarity operator that obeys axiom 4, higher-order vagueness disappears. Second, we argue that, contrary to common opinion, (i) bivalence-preservers (e.g. epistemicists) can without contradiction condone axiom 4 (by adopting what elsewhere we call columnar higher-order vagueness), and (ii) bivalence-discarders (e.g. open-texture theorists, supervaluationists) can without contradiction reject axiom 4. Third, we rebut a number of arguments that have been produced by opponents of axiom 4, in particular those by Williamson. (The paper is pitched towards graduate students with basic knowledge of modal logic.)

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

The ‘Dialectical school’ denotes a group of early Hellenistic philosophers that were loosely connected by philosophizing in the — Socratic — tradition of Eubulides of Megara and by their interest in logical paradoxes, propositional logic and dialectical expertise.. Its two best known members, Diodorus Cronus and Philo the Logician, made groundbreaking contributions to the development of theories of conditionals and modal logic. Philo introduced a version of material implication; Diodorus devised a forerunner of strict implication. Each developed a system of modal notions that satisfies the basic logical requirements laid down by modern standard modal theories. In antiquity, Diodorus Cronus was famous for his so called Master Argument, which aims to prove that only the actual is possible.