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)

The theory of mental models is a current cognitive approach trying to describe the way people make inferences. According to this theory, people reason from possibilities or models linked to sentences. Sometimes, such possibilities or models are transformed by the action of a semantic modulation. The point this paper is intended to make is that Stoic logic also has the machinery to explain semantic processes such as that of modulation. This is shown by means of the criterion Chrysippus of Soli (...) provided for conditional sentences and the theory of sign related to that criterion. (shrink)

Journal Name: SATS Issue: Ahead of print.

The paper shows that, contrary to what has been held since the sixteenth-century mathematician Christoph Clavius, there is no application of consequentia mirabilis (CM) in Greek mathematical works. This is shown by means of a detailed discussion of the logical structure of the proofs where CM is allegedly employed. The point is further enlarged to a critical assessment of the unsound methodology applied by many interpreters in seeking for specific logical rules at work in ancient mathematical texts.

This article focusses on the generality of the entities involved in a geometric proof of the kind found in ancient Greek treatises: it shows that the standard modern translation of Greek mathematical propositions falsifies crucial syntactical elements, and employs an incorrect conception of the denotative letters in a Greek geometric proof; epigraphic evidence is adduced to show that these denotative letters are ‘letter-labels’. On this basis, the article explores the consequences of seeing that a Greek mathematical proposition is fully general, (...) and the ontological commitments underlying the stylistic practice. (shrink)