Greek and Late-Antique Logic

Ancient Greek logic developed within practices of demonstration, philosophical inquiry, and organized dispute. Its history includes different accounts of what an argument contains and what makes its conclusion follow.

Aristotle's analysis of terms and predication and the Stoic analysis of assertibles offer two particularly important approaches. Neither can be adequately represented by a single familiar argument about Socrates.

This companion is a separate historical route alongside the modern series. Modern notation appears below only as an explanatory reconstruction.

Argument before a systematic calculus

Greek mathematical demonstration, Socratic questioning, Sophistic debate, and Plato's discussions of statement and falsehood provided a setting in which the quality of reasoning became an explicit subject.

Later depiction: a seventeenth-century print by Jan de Bisschop. Portrait of Zeno of Elea — **Zeno of Elea (c. 490–c. 430 BCE)** Later depiction: a seventeenth-century print by Jan de Bisschop.

Sources and credit for Zeno of Elea

Jan de Bisschop. Via Wikimedia Commons. Image source · CC0 · Biographical dates

Later likeness: a Roman marble portrait, possibly copied from a lost Greek bronze. Portrait of Socrates — **Socrates (c. 470–399 BCE)** Later likeness: a Roman marble portrait, possibly copied from a lost Greek bronze.

Sources and credit for Socrates

Copy of Lysippos (?). Via Wikimedia Commons. Image source · Public domain · Biographical dates

Later likeness: a marble copy of the portrait attributed to Silanion. Portrait of Plato — **Plato (c. 428–347 BCE)** Later likeness: a marble copy of the portrait attributed to Silanion.

Sources and credit for Plato

© Marie-Lan Nguyen / Wikimedia Commons. Via Wikimedia Commons. Image source · Public domain · Biographical dates

The practices had different aims. Refuting an interlocutor's commitments, proving a geometrical proposition, and analyzing a misleading use of language are related activities without being identical.

Plato's Sophist examines how names and verbs combine into statements and how a statement can say something false. Other dialogues investigate division, definition, and methods of argument.

Such work belongs to the history without requiring the claim that it already constitutes a modern formal calculus.

Aristotle's logical works

The works later collected as the Organon include the Categories, On Interpretation, Prior Analytics, Posterior Analytics, Topics, and Sophistical Refutations.

The collection is a later organization of Aristotle's writings, not a single textbook published by him in that order.

Later likeness: a Roman copy after a Greek portrait; the mantle is a modern addition. Portrait of Aristotle — **Aristotle (384–322 BCE)** Later likeness: a Roman copy after a Greek portrait; the mantle is a modern addition.

Sources and credit for Aristotle

After Lysippos. Via Wikimedia Commons. Image source · Public domain · Biographical dates

The Prior Analytics studies deductions in which a conclusion follows necessarily from stated premises. The Posterior Analytics examines demonstrative knowledge and the kinds of principles and explanatory relationships it requires.

The Topics addresses dialectical argument, while the Sophistical Refutations classifies apparent arguments that fail. Equivocation, ambiguity, and confusion between qualified and unqualified claims already receive systematic attention.

The range matters. Aristotle's logical project includes validity, explanation, definition, and the diagnosis of error.

A syllogism as a general pattern

Consider the premises:

Every human is an animal. Every animal is living.

They support the conclusion:

Every human is living.

The form abstracts from those particular terms. In a modern class interpretation, if $H\subseteq A$ and $A\subseteq L$ , then $H\subseteq L$ .

In predicate notation:

\forall x(H(x)\to A(x)),\qquad \forall x(A(x)\to L(x)) \ \models\ \forall x(H(x)\to L(x)).

This reconstruction makes the inferential relationship easy to inspect. Aristotle's own presentation uses term letters and a theory of figures and moods, rather than the modern quantifier language.

The middle term connects the premises without appearing in the conclusion. Studying where that term occurs produces a systematic classification of argument forms.

Existence cannot be left implicit

The displayed universal conclusion does not require humans to exist under the modern predicate interpretation. It remains true when the extension of “human” is empty.

But the same universal premises do not, by themselves, entail “some human is living” in that interpretation. The empty-human model is a counterexample.

Add $\exists x\,H(x)$ , and the particular conclusion follows.

Historical interpretations of Aristotle and the later square of opposition involve more complicated questions about empty terms, assertion, and existential import. Different periods and authors should not be assigned one uniform convention.

The example shows why translating a historical syllogism requires attention to its existence assumptions. A modern notation can clarify an argument while also changing it if those assumptions disappear.

Demonstration and explanation

A valid deduction can begin from false premises. Demonstrative knowledge, as investigated in the Posterior Analytics, requires more.

Aristotle connects demonstration with true, appropriate principles and explanatory priority. Knowing that a fact holds and knowing why it holds are distinguishable achievements.

For example, an observed regularity may support a prediction without yet identifying the cause that explains the regularity. The demonstrative project seeks a structured science whose principles explain its conclusions.

This is not the same enterprise as a modern completeness theorem equating syntactic derivability with semantic validity. The historical question concerns the character of scientific understanding as well as the form of deduction.

Modality and the Peripatetic school

Aristotle also investigated syllogisms involving necessity and possibility. Modal qualification raises questions about whether a property belongs necessarily to an object, whether a whole proposition is necessary, and how differently qualified premises combine.

His successors, including Theophrastus and Eudemus, revised and extended the analysis. Theophrastus's work on modal and hypothetical reasoning deserves attention because it shows an active research tradition rather than a fixed doctrine repeated unchanged.

Later depiction: a bust in the Palermo Botanical Garden. Portrait of Theophrastus — **Theophrastus (c. 371–c. 287 BCE)** Later depiction: a bust in the Palermo Botanical Garden.

Sources and credit for Theophrastus

Teofrasto_Orto_botanico_PA.jpg : tato grasso derivative work: Singinglemon ( talk ). Via Wikimedia Commons. Image source · CC BY-SA 2.5 · Biographical dates

Reconstructing these systems in modern modal notation requires care. Scope and the interpretation of a subject term can affect which principle is being asserted.

The modern modal-logic note studies a later mathematical framework; resemblance between formulas is not by itself evidence of a continuous identical system.

Philo, Diodorus, and conditionals

Philo and Diodorus Cronus investigated when a conditional should count as true.

The Philonian account is associated with excluding the combination of a true antecedent and a false consequent. This resembles the modern material-conditional truth condition, but the historical treatment of changing truth and assertibles adds context that the table alone omits.

Diodorus connected the conditional with what cannot have a true antecedent and a false consequent across the relevant temporal possibilities. His Master Argument also linked questions about the past, necessity, and possibility.

The disagreement concerns what relationship an “if” statement expresses. It anticipates enduring problems without requiring us to label every ancient conditional with a modern system name.

Chrysippus and Stoic inference

Chrysippus developed a sophisticated account of arguments built from assertibles, including conditionals, conjunctions, and disjunctions.

Later likeness: a Roman marble copy after a lost Hellenistic original. Portrait of Chrysippus — **Chrysippus (c. 279–c. 206 BCE)** Later likeness: a Roman marble copy after a lost Hellenistic original.

Sources and credit for Chrysippus

Unknown artist Unknown artist. Via Wikimedia Commons. Image source · Public domain · Biographical dates

One basic form can be illustrated as follows:

If it is day, it is light. It is day. Therefore it is light.

Using modern letters, the reconstruction is

p\to q,\quad p\quad\vdash q.

Another form starts from a disjunction understood exclusively in the relevant Stoic account: either the first or the second, the first, therefore not the second.

Replacing that disjunction with an inclusive modern “or” would invalidate the inference. The translation must preserve the connective's historical meaning.

Stoic logic included basic argument forms and methods for reducing more complex arguments. It also addressed semantic paradoxes and the relationship between language, what is said, and things.

Much of the original literature is lost. Reconstructions rely on later reports, including Diogenes Laertius and Sextus Empiricus, which may preserve fragments selectively or in polemical contexts.

Late antiquity and transmission

Galen investigated relationships among logical traditions and attempted syntheses relevant to demonstration.

Porphyry's Isagoge became an influential introduction to questions about predicables and classification. Commentators such as Alexander of Aphrodisias and later Neoplatonic authors interpreted and organized Aristotle's works within educational traditions.

Boethius's Latin translations and logical writings played a central role in the medieval Latin curriculum. Syriac scholarship and translation formed another important route into the Arabic-speaking world.

Later depiction: an engraving by Georg Paul Busch. Portrait of Galen — **Galen (129–c. 216 CE)** Later depiction: an engraving by Georg Paul Busch.

Sources and credit for Galen

Georg Paul Busch (engraver). Via Wikimedia Commons. Image source · Public domain · Biographical dates

Later depiction: an illustration in André Thevet's collection of portraits, 1584. Portrait of Porphyry — **Porphyry (c. 234–c. 305 CE)** Later depiction: an illustration in André Thevet's collection of portraits, 1584.

Sources and credit for Porphyry

Unknown photographer or artist. Via Wikimedia Commons. Image source · Public domain · Biographical dates

Later depiction from the Bibliothèque nationale de France portrait collection. Portrait of Alexander of Aphrodisias — **Alexander of Aphrodisias (active c. 200 CE)** Later depiction from the Bibliothèque nationale de France portrait collection.

Sources and credit for Alexander of Aphrodisias

Creator not identified in the source record. Via Wikimedia Commons. Image source · Public domain · Biographical dates

Later depiction: a medieval illustration of the late-antique author. Portrait of Boethius — **Boethius (c. 480–524 CE)** Later depiction: a medieval illustration of the late-antique author.

Sources and credit for Boethius

Unknown photographer or artist. Via Wikimedia Commons. Image source · Public domain · Biographical dates

These activities shaped which texts were available and how they were read. Commentary and translation can involve conceptual choices, organization, and innovation; they should not be dismissed as the passive storage of an unchanged inheritance.

Continuing through a different setting

Ancient logic supplied enduring problems about consequence, explanation, modality, and language. Its later development occurred through several interacting scholarly cultures.

The next companion follows Arabic, Islamic, and Jewish traditions, with particular attention to the new logical projects developed within them.

Sources and further reading

Aristotle, Prior Analytics, especially book I; Posterior Analytics; On Interpretation; Sophistical Refutations.
Diogenes Laertius, Lives of Eminent Philosophers, book VII; Sextus Empiricus, logical discussions in Outlines of Pyrrhonism and Against the Logicians.
Porphyry, Isagoge; Boethius, logical translations and commentaries.
A. A. Long and D. N. Sedley, The Hellenistic Philosophers (1987), for translated evidence and commentary.
Ancient Logic, Stanford Encyclopedia of Philosophy, for historical orientation, surviving evidence, and the distinctions among ancient systems.