Skip to content

Epicurean Canonics - The World We Experience Is the Only Real World

  • This document has been prepared under the direction and editorial supervision of Cassius Amicus using ClaudeAI and other assistance. It is based primarily on the analysis cited from the following source materials, supplement by other sources referenced within the text. Revisions are ongoing based on input received from EpicureanFriends.com.
  • P. and E. De Lacy, Philodemus: On Methods of Inference (Naples: Bibliopolis, 1978²). Includes Greek text, facing English translation, critical notes, and five Supplementary Essays.
  • David Sedley, “On Signs,” in Barnes, Brunschwig, Burnyeat, and Schofield (eds.), Science and Speculation: Studies in Hellenistic Theory and Practice (Cambridge, 1982), pp. 239–272.
  • David Sedley, “Epicurean Theories of Knowledge from Hermarchus to Lucretius and Philodemus,” Lexicon Philosophicum: International Journal for the History of Texts and Ideas, Special Issue (2018), pp. 105–121. This paper traces the development of Epicurean theory of knowledge from Epicurus’ death in 270 BCE through the first century BCE, examining the school’s elaboration of inferential methodology in response first to Academic scepticism and later to Stoic rationalism.
  • David Sedley, “Epicurean Anti-Reductionism,” in Jonathan Barnes and Mario Mignucci (eds.), Matter and Metaphysics: Fourth Symposium Hellenisticum (Naples: Bibliopolis, 1988), pp. 295–327. This paper argues that Epicurus, unlike Democritus, was a deliberate anti-reductionist: phenomenal properties, including sensory qualities, mental states, pleasure, and volition, are genuinely real at the phenomenal level and are not reducible to or eliminable in favor of atomic-level descriptions. This position has fundamental implications for the validity of empirical knowledge.
  • David Sedley, “Epicurus’ Refutation of Determinism,” in Syzētēsis: Studi sull’epicureismo greco e romano offerti a Marcello Gigante (Naples: Gaetano Macchiaroli, 1983), pp. 11–51. This paper presents and analyzes Epicurus’ own argument against mechanistic determinism from On Nature Book XXXV (PHerc. 697, 1056, 1191), showing that the refutation is grounded in a non-reductionist psychology, an empiricist theory of knowledge, and the self-undermining character of any theory that would eliminate the autonomous self as a genuine causal factor.

WHAT IS CANONICS — AND WHY DOES IT MATTER?

Section titled “WHAT IS CANONICS — AND WHY DOES IT MATTER?”

Epicurus divided his philosophy into three parts. Physics addresses the nature of the world — what exists, what it is made of, how it works. Ethics addresses how to live — what brings genuine happiness, what we should pursue and avoid. But before either of these can get off the ground, there is a prior question: How do we know anything at all? What are the reliable sources of information about reality? How do we tell genuine knowledge from mere opinion or illusion? This is the question that Canonics addresses.

The name comes from the Greek word kanōn — a measuring rod or rule, a standard against which things can be checked. Epicurus wrote a work called The Canon, now lost, in which he laid out his theory of knowledge systematically. That work was held in such reverence by later Epicureans that they gave it the extravagant title “heaven-sent.” Canonics was, for Epicurus, the foundation on which everything else stood.

He placed it first deliberately. You cannot say anything reliable about the world, or about how to live in it, until you have settled the question of how reliable knowledge is possible. Get that wrong and everything built on top of it will be built on sand. And the Epicurean judgment was that most of the philosophical tradition around them — and before them — had got it catastrophically wrong.

Epicurus’ answer to the question “how do we know?” was that there are three and only three reliable sources of genuine knowledge:

Sensation (aisthēsis) — what our senses actually present to us. Not our interpretations of what we sense, not our judgments about it, but the raw deliverances of sight, hearing, touch, taste, and smell. Epicurus held that every sensation, considered purely as a sensation, is true: it reports faithfully what is actually acting on the sense organ. Error arises only when we add opinion to what the senses present — when we misinterpret or over-interpret what they give us.

Preconception (prolēpsis) — the general concepts we form by accumulating many experiences of the same kind of thing. When you have seen enough men that you could recognize a previously unseen man as a man, you have a preconception of “man.” These preconceptions are built up from experience and serve as the background against which new experiences are interpreted. They are not innate Platonic Ideas; they are the product of lived experience, refined by repeated contact with the world.

Feeling (pathos) — the direct experience of pleasure and pain. These are the Epicurean guides for practical life, but they are also knowledge: the experience of pleasure tells you reliably that something is genuinely pleasant; the experience of pain tells you reliably that something is genuinely painful. These are not judgments that can be wrong; they are direct contacts with how things actually affect us.

Everything else we know — or claim to know — must ultimately trace back to these three sources. Any claim that cannot be connected back to sensation, preconception, or feeling is empty: a word without a referent, a philosophy without a foundation.

To appreciate the force of Epicurean Canonics, it helps to see what it was arguing against. The dominant tradition in ancient philosophy — running from Pythagoras through Plato and into much of later thought — held that the world presented to the senses was not the real world. It was changeable, relative, imperfect — and therefore, by these philosophers’ standards, not fully knowable. Genuine knowledge required access to something permanent, universal, and exact: mathematical forms, eternal Ideas, pure rational essences. The philosopher who achieved real knowledge had in some sense transcended the ordinary world of experience and reached a “truer” world behind it.

On this view, most people, stuck with their senses and their feelings, live in a kind of twilight of mere opinion (doxa) rather than genuine knowledge (epistēmē). The senses actually mislead: they show us things as coloured and warm and beautiful, when the “real” atomic world has none of these properties. They show us a world of stable objects, when the “real” world is one of constant atomic flux. Sense experience, on this picture, is the problem — not the solution.

Epicurus rejected this root and branch. His Canonics is the systematic argument that the world we encounter through sensation and feeling is genuinely real and genuinely knowable — that the senses do not fundamentally mislead us, that the knowledge we build up from experience is real knowledge (not merely useful opinion), and that there is no hidden “true world” behind the one we live in that is more real than the one we experience directly. The present document traces that argument from its foundations in the Canon, through its development by Epicurus’ followers over the following two centuries, to its deepest implications for our understanding of the world and our place in it.

A note on language: “Canonics” is the only technical term from Epicurean philosophy that gives the title of this document. Technical terms from ancient Greek are used throughout where they are the proper names of specific Epicurean or Stoic concepts, and all such terms are explained when first introduced. The analytical discussion otherwise aims to use straightforward language rather than the specialist vocabulary of academic philosophy. Where scholars writing about these topics use terms like “epistemology,” “ontology,” or “metaphysics,” what they mean is, respectively, “theory of knowledge,” “the question of what exists,” and “the study of what reality fundamentally is” — and this document generally uses those plain descriptions rather than the technical labels.


PRELIMINARY: THE DEVELOPMENT OF EPICUREAN CANONICS AFTER EPICURUS

Section titled “PRELIMINARY: THE DEVELOPMENT OF EPICUREAN CANONICS AFTER EPICURUS”

The Problem of School Loyalty and Doctrinal Development

Section titled “The Problem of School Loyalty and Doctrinal Development”

Any reading of Philodemus’ De Signis must be placed within the broader history of how the Epicurean school handled the tension between slavish loyalty to the founder and the practical necessity of developing his positions in response to new philosophical challenges. This historical framing is provided by Sedley (2018) in essential detail.

When Epicurus died in 270 BCE, the school’s attitude toward his writings underwent a fundamental transformation. During his lifetime, philosophical debate among his circle had been relatively open; there is evidence of at least limited disagreements between Epicurus and senior members of his inner circle, and some questions will have remained unsettled. But after the founder’s death, his written doctrines acquired canonical status — as did, on the somewhat idealistic assumption that unanimity had always prevailed, the writings of the three co-founders Metrodorus, Hermarchus, and Polyaenus. The divinized founder could not be contradicted; he could only be correctly interpreted.

This created a characteristic Epicurean mode of philosophical innovation: apparent departures from the founder’s positions were framed as superior exegesis, not as corrections. A later Epicurean who wished to introduce a new position had to show that the founders, “when properly interpreted,” had in fact endorsed it — or at minimum had not contradicted it. This authorization procedure extended even to textual criticism: manuscripts were collated, disputed passages checked, and if necessary emended, to restore consistency to the canonical writings. Disputes between rival Epicurean communities — most notably between the Athenian Garden and the independent Rhodian Epicurean community — were framed as each side invoking Epicurean scripture in its support. As Sedley (2018, p. 107) notes, we should avoid calling any party in such disputes “dissident” Epicureans, since all considered themselves loyalists. The scholarch of the Athenian school had no quasi-papal doctrinal authority; the appeal was always to the texts themselves.

Understanding this framework is essential for reading the De Signis. When Philodemus, Zeno of Sidon, and Demetrius of Laconia elaborate and defend the Epicurean “similarity method” against Stoic attack, they are not consciously innovating; they are developing and vindicating positions they regard as continuous with Epicurus’ own methodology. The school’s fundamental loyalty to Epicurean empiricism is never in question; what develops is the sophistication and argumentative armory with which that empiricism is defended.


The Early School: Epistemological Developments from Hermarchus to Timasagoras

Section titled “The Early School: Epistemological Developments from Hermarchus to Timasagoras”

Hermarchus and the Three Levels of Learning

Section titled “Hermarchus and the Three Levels of Learning”

The earliest post-founder development traceable in Epicurean theory of knowledge comes from Hermarchus of Mytilene, Epicurus’ immediate successor as school-head and one of the three co-founders. The longest continuous passage preserved from any early Epicurean apart from Epicurus himself — transcribed by Porphyry (Abst. I, 7–12 = Fr. 34 Longo Auricchio) — is from Hermarchus’ Against Empedocles, and while its topic is primarily anthropological, it provides our earliest glimpse of Epicurean concepts at work among Epicurus’ immediate successors.

Notably, the much-debated Epicurean term ἐπιλογισμός (epilogismos, inferential/inductive reasoning) appears in Hermarchus in what Sedley (2018, p. 106 n. 1) identifies as a more precise technical function than in Epicurus’ own writings — as the third level in a three-tiered scale of learning:

  1. Irrational perception unsupported by memory
  2. Irrational perception supported by memory
  3. Rational observation (epilogismos): the use of reason to draw conclusions from accumulated perceptual data

This hierarchy is significant for the De Signis: epilogismos is the faculty by which the Epicureans move from raw experience to knowledge of unobserved truths. That Hermarchus already assigns it a defined technical role suggests that the school was developing Epicurus’ tools for gaining knowledge systematically from the very first generation.

Colotes and the Defense Against Academic Scepticism

Section titled “Colotes and the Defense Against Academic Scepticism”

The most immediate external pressure on Epicurean theory of knowledge in the generation after Epicurus’ death was the rise of Academic scepticism. In the 260s BCE Arcesilaus took over the headship of Plato’s Academy and transformed it from a doctrinal school into an essentially critical and dialectical one, adopting universal suspension of judgment (epochē) as its stance toward all rival philosophical claims. The challenge this posed to the Epicurean criterion of truth — with its insistence that all perceptions are true and that knowledge of the physical world is achievable — was immediate and fundamental.

The Epicurean response in the first generation is exemplified by Colotes of Lampsacus, who had been a close personal associate of Epicurus himself. Colotes wrote a treatise entitled The Impossibility of Life Itself According to Other Philosophers, attacking a series of predecessors and contemporaries — Democritus, Parmenides, Empedocles, Socrates, Melissus, Plato, Stilpo, the Cyrenaics, and finally Arcesilaus — not for their ethical positions, but entirely for the ways their theory of knowledge and view of reality allegedly licensed scepticism about whether human beings can know physical reality at all. The final anonymous target, as Plutarch recognizes in his polemical reply Against Colotes, is the New Academy of Arcesilaus with its advocacy of universal epochē.

Colotes’ treatise appears to have been composed not in Athens but in Alexandria, dedicated to Ptolemy II (Adv. Col. 1107E), with a peroration warning the Alexandrian king against the dangers to law and order posed by non-Epicurean philosophy. This indicates that the felt urgency of defending Epicurean theory of knowledge against scepticism was not merely an Athenian preoccupation but extended to the major cultural centers of the Hellenistic world, where royal patronage of philosophy was hotly contested (Sedley 2018, pp. 108–109).

Polystratus and the Defense of Relative Predicates

Section titled “Polystratus and the Defense of Relative Predicates”

A more philosophically sophisticated anti-sceptical intervention comes from Polystratus, probably the third Epicurean scholarch (writing mid-third century BCE). In his treatise On Irrational Contempt (more fully: Against Those Who Irrationally Despise Popular Beliefs), Polystratus engages opponents whose arguments closely reflect the sceptically inclined New Academy of Arcesilaus.

The specific dispute about knowledge and reality concerns relative predicates — fair/foul, beneficial/harmful, larger/smaller — as against absolute predicates like those applying to gold and stone. The Academic-style opponents argued: since values like “fair” and “foul” vary from culture to culture and are not universally agreed upon (unlike the nature of gold, which is the same everywhere), they are therefore falsely believed in and do not truly exist. Polystratus’ reply is philosophically resourceful. He points out, drawing on Plato’s own Sophist (255c), that Plato himself had presented an exhaustive division of beings into absolute and relative — and had never intended the existence of relative beings to be impugned by their relativity. Anyone who thinks that relativity implies non-existence, Polystratus observes, could equally argue that since relative predicates like “beneficial” and “harmful” manifestly are part of the structure of reality, it must be the non-relative items like minerals that are unreal. The inference from “not universally the same” to “falsely believed in” is simply a non sequitur. Relative predicates and absolute predicates both exist; they simply have different modes of existence (Sedley 2018, pp. 109–111).

What is remarkable about Polystratus’ strategy is his willingness to deploy Platonic materials against Plato’s own self-declared successors — an ad hominem approach with particular force when directed at the Academy. The episode illustrates the broader pattern of post-Epicurus theory of knowledge: innovation framed as defense of common sense and of Epicurus’ core commitment to the reality of the perceptible world, against sceptical arguments that would undermine cognitive access to physical reality.

Timasagoras and the Defense of the Truth of All Perceptions

Section titled “Timasagoras and the Defense of the Truth of All Perceptions”

Two further contributions to the theory of knowledge are attributable to Timasagoras, a Rhodian Epicurean of approximately 200 BCE, who represents the independent Epicurean community at Rhodes in its disputes with the Athenian Garden.

First innovation — continuous effluences: Timasagoras revised the school’s standard doctrine of vision. Where mainstream Epicurean teaching held that objects emit a series of discrete atomic films (eidōla) that travel from the object’s surface to the eye, Timasagoras held that these were continuous atomic streams or “effluences” (ἀπόρροιαι, aporrhoiai), which nonetheless preserved and transmitted the external structure of the object seen (Aetius, Plac. IV, 13, 6). Timasagoras’ authority was Epicurus himself, who had allowed “effluences” as one of three alternative forms for simulacra in the Letter to Herodotus (46). Plausible motivations for this revision include: (a) addressing the challenge of explaining how the simulacra of large objects can shrink enough to enter the eye while retaining their original shape; and (b) making the Epicurean doctrine of vision a more credible competitor to the mathematical science of optics (Sedley 2018, p. 108).

Second innovation — the squeezed-eye argument: Of greater direct relevance to the De Signis debate is Timasagoras’ intervention on a specific Academic counterexample to the Epicurean thesis that all perceptions are true. Cicero (Lucullus 80) preserves the argument, which ran as follows:

  1. Epicurus holds that all sense-perceptions are true. If even one false perception were found, trust in the senses would collapse. Any apparent optical illusion is to be explained by the mind’s misinterpretation of accurate visual data, not by error in the eye itself.
  2. Academic critics respond with the counterexample of an eye squeezed out of shape: the result is that the observer falsely sees a single flame as two flames. Here the error appears to be in the visual data themselves, not added by the mind’s opinion.
  3. Timasagoras replies that he has himself repeatedly squeezed his eye while looking at a lamp, and has never observed two flames appearing. This personal testimony is offered to disqualify the Academic example as a genuine optical illusion, blocking it from serving as the single counterexample that Epicurus conceded would be sufficient to destroy his foundational doctrine about knowledge.

Whether Timasagoras meant (a) that the bare visual appearance never even momentarily looked to him like two flames, or (b) that he was never misled into thinking there actually were two flames, is debated by Sedley (2018, pp. 111–112); Cicero seems to understand (b). On either reading, the strategy is the same: deny the existence of the counterexample in order to protect the Epicurean thesis that error is always located in opinion added by the mind, never in the perceptions themselves.


The Fourth Criterion of Truth: A Post-Epicurean Addition — and a Problematic One

Section titled “The Fourth Criterion of Truth: A Post-Epicurean Addition — and a Problematic One”

Diogenes Laertius (Lives X, 31) records a striking passage concerning the Epicurean criteria of truth:

“Epicurus, in the Kanon, says that the criteria of truth are sense-perceptions (aisthēseis), preconceptions (prolēpseis) and feelings (pathē). The Epicureans add ‘representational projections of thought’ (phantastikai epibolai tēs dianoias).”

The first three criteria — sense-perceptions, preconceptions, and feelings — are commonplace in Epicurus’ own surviving writings and in all subsequent Epicurean generations. Sedley (2018, p. 113) observes that the fourth item, phantastikai epibolai tēs dianoias, is also twice appealed to by Epicurus himself (Ep. Hdt. 38; RS XXIV) as though it were another criterion of truth. He therefore takes the school’s reported innovation to consist in nothing more than making the criterial status of this fourth item explicit — elevating to formal status what had been implicit in Epicurus’ practice. The significance, in Sedley’s reading, is that this expression was felt to capture above all Epicurus’ powers of extended intellectual vision: the capacity to project the mind through infinite space to grasp the implications of atomic theory and the plurality of worlds.

The Critical Issue: Was This Consistent with Epicurus’ Own Reasoning?

Section titled “The Critical Issue: Was This Consistent with Epicurus’ Own Reasoning?”

It is essential to note clearly that this addition of a “fourth criterion” was NOT the position of Epicurus himself, and that it is in serious tension with — if not directly contradictory to — the reasoning by which Epicurus established his three-pronged canon in the first place.

Norman DeWitt, in his landmark study Epicurus and His Philosophy (1954), is particularly emphatic on this point. DeWitt argues that the structure of Epicurus’ canon was deliberate and carefully reasoned. The three criteria — sensation (aisthēsis), preconception (prolēpsis), and feeling (pathos) — are not an arbitrary list but reflect a principled division corresponding to the three faculties of cognition: external sense, intellect, and the internal sense of pleasure and pain. Each criterion covers its own domain without overlap, and together they are intended to be exhaustive. Sensation gives us knowledge of the external world; preconceptions give us our general concepts, formed from accumulated sensations; feelings give us knowledge of what to pursue and avoid.

For DeWitt, the attempt to add phantastikai epibolai tēs dianoias as a fourth criterion collapses a crucial distinction: the difference between the criteria themselves and the act of applying them. The “projection of thought” (epibole tēs dianoias) is not a criterion in the same sense as sensation or preconception; it is rather the act by which the mind directs attention to and apprehends what the criteria present. It is a cognitive operation, not a source of evidence. Adding it as a co-equal criterion alongside sensation and preconception confuses the faculty of attention with the objects of attention — a confusion that, on Epicurean principles, would be precisely the kind of empty philosophical verbalism that Epicurus was at pains to avoid.

More broadly: Epicurus’ entire project of establishing how knowledge works was to ground all legitimate knowledge in what is given directly to perception and feeling, with no independent role for purely rational or intellectual “projections” that are not ultimately traceable to sensation. A “fourth criterion” of pure intellectual projection, if taken seriously as an independent criterion, would risk opening the door to exactly the kind of unanchored rationalistic speculation — claims to knowledge based on the power of intellect alone, independent of sensory grounding — that Epicurus explicitly rejected in both his physics and his theory of knowledge. The Epicurean epibole tēs dianoias is always a focused attention on what perception has already provided or on what analogy from perception licenses; it is not an independent pipeline to truth.

In summary: the addition of phantastikai epibolai tēs dianoias as a fourth criterion of truth is a post-Epicurean development by the school, not a position Epicurus himself took in his foundational work on knowledge, the Kanon. And as DeWitt and others have pointed out, it represents a departure — however well-intentioned by those who made it — from the coherent structure of the three-pronged canon that Epicurus carefully designed. Students of Epicurean philosophy should treat this “fourth criterion” with corresponding caution, recognizing it as a later school elaboration rather than as an authoritative statement of Epicurus’ own position on how knowledge works.


The first century BCE Epicurean poet Lucretius (De rerum natura) provides much of the detailed physics and theory of knowledge that is attributed to Epicurus, often with greater richness than Epicurus’ own surviving writings. The natural assumption is that Lucretius faithfully follows Epicurus’ major treatise On Nature — a view he himself declares (DRN III, 1–13).

Sedley (2018, pp. 112–113; cf. Lucretius and the Transformation of Greek Wisdom, 1998, ch. 3) argues for this view: Lucretius worked directly from Epicurus’ On Nature without incorporating the later school developments traced in the present document. If this is correct — and it remains contested — it has an important consequence: when Lucretius discusses topics concerning knowledge, he may be giving us a closer window onto Epicurus’ own positions than the works of Philodemus, Zeno of Sidon, or Demetrius of Laconia, whose developments in their account of knowledge were shaped by the specific controversies of the first century BCE. The reader of the De Signis should therefore be cautious about reading the sophisticated Zeno-Philodemus apparatus backward into Epicurus himself; some of it is a genuine development, however loyally it was framed by its authors.


Epicurean Anti-Reductionism and Its Epistemological Foundations

Section titled “Epicurean Anti-Reductionism and Its Epistemological Foundations”

Epicurus vs. Democritus: Two Kinds of Atomism

Section titled “Epicurus vs. Democritus: Two Kinds of Atomism”

One of the most important — and most consistently misunderstood — aspects of Epicurus’ account of reality is his relationship to the atomist tradition he inherited from Democritus. Sedley’s “Epicurean Anti-Reductionism” (1988) makes the decisive case that the two atomists, despite sharing the view that everything is ultimately composed of atoms and void, hold fundamentally different views about the nature of reality — and that this difference has direct consequences for our understanding of knowledge.

Democritus was a reductionist and in his more extreme moods an eliminativist: because everything ultimately reduces to atoms and their configurations, phenomenal properties like colour, taste, and mental states are not fully real (ētēi), but only conventional constructions (nomōi) placed by the experiencing subject on atomic aggregates that lack these properties in themselves. Democritus is the archetypal bottom-up theorist who generates the phenomenal world from atoms, with the demerit that the phenomenal world turns out to be in reality entirely different from the way it appears (Sedley 1988, p. 298–299). Crucially, Sedley argues, this eliminative reductionism led directly to Democritus’ cognitive scepticism: if colours, beliefs, and mental states are mere arbitrary atomic constructions, there is no reliable access to reality, and knowledge becomes impossible. Epicurus recognized and objected to this sceptical and deterministic implication from the start.

Epicurus retains the atomic framework as a causal and explanatory tool but refuses to accept that atoms and void are the only genuinely real entities. In the Letter to Herodotus, Epicurus is explicit that by “bodies” he means above all phenomenal objects — men, stones, trees — and that “void” is his general term for the space these familiar objects occupy and move through (Ep. Hdt. 39–40). The subsequent derivation of atoms as the ultimate constituents is a downward theoretical move, not a retraction of the standing in reality of phenomenal bodies. Atoms are, for Epicurus, aetiologically primary (the fundamental causal level of explanation) without being ontologically privileged over phenomenal entities. Men and stones are per se existents in Epicurus’ world alongside atoms and void; they are not demoted to the status of mere appearances or useful fictions (Sedley 1988, pp. 303–304, 312–313).

The Ontological Structure: Properties and Accidents

Section titled “The Ontological Structure: Properties and Accidents”

The detailed structure of Epicurean ontology — worked out by Sedley through close analysis of Ep. Hdt. 68 ff. and the Demetrius of Laconia passage in Sextus (M X 219–27) — divides existing things as follows:

  • Per se existents (kath’ auto): things that exist in their own right — bodies (including both phenomenal objects and atoms) and void.
  • Properties (symbebēkota): things that exist by virtue of belonging to per se existents. Properties divide into:
    • Inseparable properties (aei symbebēkota or aidia symbebēkota): essential features without which the thing cannot be conceived — e.g., resistance and tangibility for body, non-resistance for void, weight and shape for atoms. These hold necessarily and cannot be removed without fatal destruction of the thing.
    • Accidents (symptōmata): non-essential, contingent features whose arrival and departure the thing’s nature survives intact — slavery, poverty, war, peace; and crucially, colours, sensory qualities, and mental states.

The key key point about knowledge is that accidents do not exist at the microscopic level (en tois aoratos, Ep. Hdt. 68-69). Colour, pleasure, pain, volition, and other phenomenal states are real — they genuinely exist — but they exist only at the level of experience, not at the level of atoms. Epicurus thus simultaneously upholds the truth of sensations (sensory qualities are genuinely real) and the correctness of atomism (atoms themselves lack colour, taste, etc.). There is no contradiction: the two levels of description are both true, each applying to its own domain. This is, as Sedley notes, “a far cry from the simple materialist Epicurus so familiar from histories of ancient thought” (Sedley 1988, p. 324).

Emergent Properties and Downward Causation

Section titled “Emergent Properties and Downward Causation”

The most philosophically striking consequence of Epicurean anti-reductionism is the theory of emergent properties. Sedley argues that Epicurus held that matter in certain complex states can acquire genuinely new, non-physical properties that are not present at the level of the constituent atoms and are not merely supervenient consequences of atomic motions (Sedley 1988, pp. 321–323).

The clearest case is volition (voluntas). Volition is an accidental property of the rational mind — it exists only at the phenomenal level and is not identical with any pattern of atomic motion. Yet Lucretius, on Epicurus’ behalf, insists that volition acts causally upon the body’s atoms: it is the mind’s volition that directs the copia materiai in the limbs (DRN II 261–2, 266–71, 279–93). This is downward causation — a higher-level property exercising causal influence on lower-level constituents — and it is explicitly what distinguishes self-determining animals from tables and stones (Sedley 1988, pp. 317–321).

The On Nature passage analyzed in the “Refutation of Determinism” paper makes this explicit (text at Sedley 1983, pp. 36–37): the self-determining animal’s failures are caused “by themselves — selves which are not identical with their constituent atoms” (lines 2–4). The nature of their atoms has contributed nothing to certain of their actions; rather, these are caused by apogegennēmena — characteristics “developed” subsequent to birth that differ from the underlying atoms “in a transcendent way” (kata tina tropon dialēptikon), acquiring causation that proceeds from the self and in turn transmits its influence back to the primary substances.

Sedley identifies this as Epicurus’ theory of radically emergent properties (Sedley 1988, p. 321): matter in certain complex states acquires entirely new, non-physical properties, not governed by the laws of physics. The best analogy he offers is a sufficiently sophisticated computer that acquires a mind of its own — ceasing to be a mechanism and becoming an autonomous agent whose behaviour is no longer predictable from the laws of electronics alone. Epicurus holds that the autonomous powers of which we are instinctively aware are not merely aspects of an extremely sophisticated mechanism, but are precisely what they seem to be: capacities to control the body’s matter in ways genuinely free of antecedent mechanical causation.

This non-reductionist account of reality has direct and essential implications for how the Epicureans understand knowledge, and these connect directly to the De Signis debate:

1. The truth of sensations is grounded in the genuine reality of phenomenal properties. Sensations are true because they accurately report phenomenal-level properties — colours, tastes, textures — that are genuinely real at that level. The reason Epicurus can insist, against Democritus, that all sensations are true is precisely that he refuses to reduce phenomenal properties to mere atomic constructions. There is something real for the sensation to accurately report. Democritus’ scepticism was the direct offspring of his reductionism; Epicurus’ anti-scepticism is the direct offspring of his anti-reductionism (Sedley 1988, pp. 325, 34).

2. Cognitive scepticism is self-refuting. Sedley argues (1988, pp. 33–34) that Epicurus’ refutation of cognitive scepticism and his refutation of mechanistic determinism are deliberately parallel — both show the offending doctrine to be self-undermining in practice. If all phenomenal properties (including rational judgments, beliefs, arguments) are mere arbitrary constructions with no genuine epistemic standing, then the sceptic’s own argument is equally a mere construction and can claim no rational assent. The anti-reductionist alternative — that phenomenal properties are genuinely real and that sensations accurately report them — is what Epicurus’ theory of knowledge depends on, and what his metaphysics is designed to support.

3. The levels of description are both true; neither displaces the other. Epicurus’ key insight, as Sedley summarizes it (1988, p. 34), is that “there are truths at the microscopic level of elementary particles, and further very different truths at the phenomenal level; that the former must be capable of explaining the latter; but that neither level of description has a monopoly of truth.” The truth that colour is a real phenomenal property of visible bodies is not contradicted by, but is explained (causally) by, the truth that atoms are colourless. This is the foundation in the nature of reality for the De Signis methodology: analogical inference from phenomenal experience to the sub-perceptible level is epistemically legitimate precisely because the two levels are both real and the latter is genuinely explanatory of the former.


Epicurus’ Refutation of Determinism: The On Nature Text and its Epistemological Significance

Section titled “Epicurus’ Refutation of Determinism: The On Nature Text and its Epistemological Significance”

Sedley’s “Epicurus’ Refutation of Determinism” (1983) presents and analyzes a remarkable passage from a late book (possibly Book XXXV) of Epicurus’ major work On Nature, preserved in three badly damaged papyrus copies (PHerc. 697, 1056, and 1191). This text, which Sedley was the first to read in a textually accurate form, contains Epicurus’ own sustained argument against mechanistic determinism — the view that human behaviour, like everything else in the universe, can be exhaustively accounted for in terms of material (ultimately atomic) changes, and that talk of intentions, desires, and autonomous agency is explanatorily superfluous.

The target is not primarily the Stoics (who, at the time Epicurus was writing, had not yet developed their fully elaborated determinism) but rather the inheritors of Democritean atomism — philosophers who took reductionist atomism to its logical conclusion and thereby eliminated autonomous selfhood and genuine moral responsibility. Sedley plausibly suggests this brand of mechanistic determinism may have had footholds even within Epicurus’ own school, explaining the urgency of the refutation (Sedley 1983, pp. 35–36).

The On Nature passage runs through three argumentative moves that Sedley identifies as structurally parallel to Lucretius’ anti-scepticism in DRN IV 469–521:

Stage 1: Self-refutation (perikamōho logos trépetai). The determinist’s own practice of philosophical debate refutes his thesis. To debate — to argue, to praise an opponent’s point or blame his reasoning, to hold him responsible for talking nonsense — is to implicitly attribute autonomous agency to oneself and one’s interlocutor. The determinist who presents his case cannot simultaneously claim that his opponent is responsible for holding a wrong view (lines 29–35). If he tries to escape by saying that his own arguing is also necessitated, he enters an infinite regress — yet at every step he continues to apportion credit and blame between himself and his opponent, as if both were autonomous agents (lines 32–35). His argument is therefore “self-refuting” (perikamō) in the pragmatic sense: it is contradicted by his own behaviour at every moment of its presentation. The determinist “fails to use empirical reasoning (epilogismos, lines 33–34)” — he fails to check his theoretical claims against the evidence of his own practice.

Stage 2: The preconception argument. If the determinist claims merely to be renaming what we call “our own agency” (to di’ hēmōn autōn) as “necessity,” he has not shown that our preconception (prolēpsis) of autonomous agency is a faulty one. Epicurean preconceptions are empirically grounded generic concepts formed by cumulative experience; they are primary sources of information about the types of thing they represent. To challenge a preconception one must show specifically how its delineation has failed to convey the facts — as Epicurus himself does when arguing that the popular preconception of gods as concerned with human affairs is defective (Ep. Men. 123–4; cf. Sedley 1983, pp. 27–28). The determinist who simply relabels our agency as necessity without doing this work is “merely changing a name” (lines 38–48).

Stage 3: The pragmatic argument. A genuine distinction between necessitated and non-necessitated actions has practical consequences: someone who correctly understands that certain actions are necessitated (e.g., that everyone must die) can thereby dissuade people from futilely resisting those necessities. The determinist who denies the distinction between necessitated and non-necessitated actions gives up the ability to make any such practically effective distinction. His position thus has “no hold on reality” — it changes words without changing any of the practices that depend on recognizing the difference (lines 43–51).

The Non-Reductionist Self and Apogegennēmena

Section titled “The Non-Reductionist Self and Apogegennēmena”

The text also contains Epicurus’ positive account of what autonomous agency actually is — what distinguishes self-determining animals (including humans) from wild animals and from pure atomic mechanisms. The key term is apogegennēmena — “developments” or characteristics acquired subsequent to birth. Epicurus argues (lines 2–19 of the second quoted passage) that while atomic make-up determines an animal’s initial congenital nature, the self-determining animal subsequently develops characteristics that differ from its atomic constitution “in a transcendent way” (kata tina tropon dialēptikon) — acquiring a causal efficacy that “proceeds from the self” and in turn transmits itself back to the primary atomic substances.

This is Epicurus’ non-reductionist psychology: the developed self is not the plaything of its constituent atoms but a genuine causal power capable of controlling them. Lucretius captures this when he insists that even though the atomic composition of the mind at birth determines natural temperament, nothing prevents our learning to overcome that temperament (DRN III 288–322). The natural coward can learn courage through rational reflexion; and when he does, his new brave disposition exerts a stabilizing influence on his formerly disordered soul atoms (Sedley 1983, p. 39).

Crucially, Sedley identifies the apogegennēmena as corresponding to what Sedley 1988 calls emergent properties: characteristics that differ from their atomic substrate “not in the way which is like viewing from a different distance” (i.e., not merely a matter of scale or perspective, as with colour vs. colourless atoms) but in a “transcendent” (dialēptikon) way that reverses the direction of causation. It is now the higher-level emergent state that acts upon the atoms, not the atoms that determine the higher-level state.

The Connection to Epistemology and the De Signis

Section titled “The Connection to Epistemology and the De Signis”

The “Refutation of Determinism” connects to Epicurean theory of knowledge in several ways that bear directly on the De Signis:

1. Epilogismos as the method the determinist fails to use. The refutation charges the determinist with failing to use epilogismos — empirical, inductive reasoning that checks theoretical claims against experienced reality. This is the same faculty whose role in Hermarchus (as the third level of learning) was noted above, and which plays a central role throughout the De Signis as the cognitive operation by which the similarity method is employed. The determinist fails precisely because he does not bring his theoretical claims back to the test of observed experience — including the experience of his own agency and the phenomenal reality of praise, blame, and persuasion.

2. The reality of autonomous agency validates the epistemic subject. If all human reasoning were simply the mechanical output of atomic motions, there would be no subject capable of performing genuine epistemic acts — no one who could actually reason correctly or incorrectly, compare claims with evidence, or reach warranted conclusions. Epicurus’ anti-reductionist insistence on the genuine reality of the autonomous self is thus a precondition for the very possibility of rational knowledge. The Epicurean empirical method presupposes a knower who can genuinely reason, compare, and judge; and that presupposition is philosophically grounded in the anti-reductionist account of the self.

3. The parallel with the anti-sceptic argument. Sedley demonstrates the deliberate structural parallel between the anti-determinist argument and Lucretius’ anti-sceptical argument in DRN IV (Sedley 1983, p. 33–34). Both show the offending doctrine to be self-defeating and untenable in practice. The same three moves — self-refutation, linguistic/preconception challenge, pragmatic challenge — appear in both. This is not coincidental: cognitive scepticism and mechanistic determinism are, for Epicurus, twin offspring of Democritean reductionism. By showing that both are self-refuting, Epicurus simultaneously vindicates both his non-reductionist account of reality (the genuine reality of phenomenal properties and autonomous selves) and his empiricist theory of knowledge (the truth of sensations, the validity of inductive inference, the possibility of genuine knowledge).

4. Sedley’s summary of the integrated position. Epicurus’ primary motivation across both the anti-determinist and anti-sceptical arguments, Sedley concludes (1983, pp. 34–35), was to rescue atomism from the “internal rot of reductionism.” Democritean reductionism generated both cognitive scepticism (by eliminating the reality of phenomenal properties) and mechanistic determinism (by eliminating the reality of autonomous agency). Epicurus’ response on both fronts was the same: insist that phenomenal properties and autonomous selves are genuinely real, that the atomic level explains but does not eliminate the phenomenal level, and that therefore sensations are true and persons are genuinely responsible agents. This integrated metaphysical position is the deep foundation beneath the debates about knowledge of the De Signis.


The treatise survives as PHerc. 1065, one of the Herculaneum papyri. Thirty-eight columns of continuous text have been restored, constituting only the final portion of the original roll; how much preceded the surviving text is unknown. The title is damaged; likely candidates include Peri phainomenon kai semeioseōn (“On Appearances and Sign-Inferences”) or Peri phantasion kai semeioseōn (“On Impressions and Sign-Inferences”). De Lacy uses the shorthand De Signis.

The text was first edited by T. Gomperz (1865); the De Lacy edition of 1978 is the first based on autopsy of the papyrus itself, with further collation by M. Gigante and associates in 1977. Many passages remain conjectural.

Philodemus of Gadara (c. 110–40/35 B.C.) was a student of Zeno of Sidon and Demetrius Lacon at Athens, subsequently founder and leader of an Epicurean school at Naples under the patronage of L. Calpurnius Piso. He was a contemporary of Cicero, Vergil’s teacher Siro, and the Roman literary circle that included Varius Rufus and Quintilius Varus (De Lacy, Essay I, pp. 145–154).

The treatise can be dated approximately: a reference to pygmies brought from Syria/Hyria by “Antony” (col. ii.18) places it either around 54 B.C. or around 40 B.C., with both dates defended in the scholarship (De Lacy, Essay II, pp. 163–164).

The Debate: Epicureans vs. Stoics on Inference from Signs

Section titled “The Debate: Epicureans vs. Stoics on Inference from Signs”

The De Signis records a live controversy between the Epicurean school and their Stoic opponents (identified by Sedley, pp. 240–241, and De Lacy, Essay V, pp. 206–207 as Stoics of the mid-to-late second century B.C., probably including the Stoic Dionysius of Cyrene). The central issue is the validity as a path to knowledge of empirical inference: can we know facts about the unperceived world with genuine certainty on the basis of observed experience, or is such inference inherently merely probable?


The extant columns fall into four major sections (De Lacy, Essay II, pp. 156–162):

Section 1 (Cols. ia–xi.28): From Zeno of Sidon’s writings

  • Stoic arguments against Epicurean empirical inference (cols. ia–xi.26)
  • Epicurean replies (cols. xi.29–xix.4)

Section 2 (Cols. xix.9–xxvii.28): From Bromius’ account of Zeno

  • Eight Stoic arguments and Epicurean replies

Section 3 (Cols. xxvii.28–xxix.16): From Demetrius Lacon

  • Five “pervasive errors” of those who oppose analogy

Section 4 (Cols. xxix–xxxviii.22): Anonymous Epicurean (possibly Demetrius continued)

  • Fifteen further points of analysis

Conclusion (Col. xxxviii.22–32): Brief half-hearted proposal to discuss medical empiricism.

Fragments (1–8): Loosely related material on broader topics concerning knowledge (criteria of truth, knowledge of gods, distinction of temporally vs. naturally imperceptible things).


The Foundational Stoic Distinction: Particular vs. Common Signs (Cols. i.1–19)

Section titled “The Foundational Stoic Distinction: Particular vs. Common Signs (Cols. i.1–19)”

The Stoics argue that only particular signs (idion sēmeion) provide valid inference. A particular sign is one that cannot exist unless the thing it signifies also exists — its negation entails co-negation of the sign. A common sign (koinon sēmeion), by contrast, can exist whether or not what it signifies exists; therefore it provides no reliable basis for inference (col. i.1–19; De Lacy, pp. 91–92 n. 2).

The test of a particular sign is elimination/contraposition (anaskeuē, kat’ anaskeuen tropos): hypothetically “eliminate” the thing signified, and if the sign is thereby co-eliminated, the connection is sound.

Sedley’s analysis (pp. 242–248): The Stoic use of “common” here is unusual — normally “common” means a sign of multiple things; here it means common to truth and falsity. Sedley argues this terminology derives from the Stoic need to defend the infallible criterion of truth (katalēptikē phantasia) against the New Academy. The elimination method is connected to Chrysippus’ test of sunartēsis (cohesion): a sound conditional holds when the contradictory of the consequent conflicts with the antecedent. The method has Aristotelian roots (from Categories 7b15–8a12) but is applied innovatively to propositions rather than concepts.

Stoic Argument 1: The Non-Necessity of Generalization (Col. ia; cf. Ch. 1 of translation)

Section titled “Stoic Argument 1: The Non-Necessity of Generalization (Col. ia; cf. Ch. 1 of translation)”

Things existing in our experience need not exist in places we cannot perceive, and vice versa. An inference from the presence of something in our experience to its presence everywhere is simply not “binding” (anankē). (The Epicurean reply is at chs. 18 and onward.)

Stoic Argument 2: Unique Cases Undermine Analogy (Cols. i.19–ii.25; Ch. 3)

Section titled “Stoic Argument 2: Unique Cases Undermine Analogy (Cols. i.19–ii.25; Ch. 3)”

There are unique objects within our experience: the magnet draws iron, amber attracts chaff, the square of four is the only square whose perimeter equals its area. If there are unique cases in our experience, there may be unique cases outside it that defeat analogical inference. How can we infer that all men die when their heart is cut, if exceptions might exist beyond our experience? (De Lacy, pp. 92–93; cf. Sedley pp. 248–249 on Dionysius’ use of “freaks”—terata.)

Stoic Argument 3: Rare Cases (Cols. ii–iii; Ch. 4)

Section titled “Stoic Argument 3: Rare Cases (Cols. ii–iii; Ch. 4)”

Some things within our experience are rare rather than merely unique: the Alexandrian dwarf with the hammer-proof head, the man of Epidaurus who changed sex, the giant inferred from bones in Crete, the pygmies from Syria (col. ii.18). Such rare cases suggest the universe may contain rare analogues that invalidate induction (De Lacy, p. 93).

Stoic Argument 4: Contraposition Is the Only Formally Valid Method (Cols. ii.25–iv.37)

Section titled “Stoic Argument 4: Contraposition Is the Only Formally Valid Method (Cols. ii.25–iv.37)”

The Stoics argue that only inferences which pass the contraposition test are genuinely valid. Empirical inferences from similarity do not meet this standard. (Sedley, pp. 244–248: the elimination method establishes connections that hold necessarily and are knowable a priori, whether by formal entailment or by analytic dependence of meaning.)

Stoic Argument 5: Atomism Is Inconsistent with Empiricism (Cols. iv.37–v.7)

Section titled “Stoic Argument 5: Atomism Is Inconsistent with Empiricism (Cols. iv.37–v.7)”

Since all bodies in experience are destructible and have color, the Epicureans should, on their own analogical method, ascribe destructibility and color to atoms. Their failure to do so betrays inconsistency in their own method (De Lacy, Essay V, pp. 215, 221).

Stoic Argument 6: Grounds for Preferring One Inference Over Another (Cols. v.8–36)

Section titled “Stoic Argument 6: Grounds for Preferring One Inference Over Another (Cols. v.8–36)”

On what basis do the Epicureans select which similarities to use for inference? Any selection implies a criterion that goes beyond the mere observation of similarities (De Lacy, Essay II, p. 158).

Stoic Dilemma: Identity vs. Similarity (Cols. v.37–vi.36; Chs. 5–6)

Section titled “Stoic Dilemma: Identity vs. Similarity (Cols. v.37–vi.36; Chs. 5–6)”

The Stoics pose a dilemma: if inference requires identical objects, sign and signified collapse into one thing (no inference is possible); if inference requires merely similar objects, the difference present might be sufficient to destroy the inference. This dilemma appears to show that empirical inference is inherently unstable (De Lacy, Essay II, pp. 159; De Lacy p. 215 in Essay V).

Dionysius’ Specific Arguments (Cols. vii.5–xi.26; Chs. 7–11)

Section titled “Dionysius’ Specific Arguments (Cols. vii.5–xi.26; Chs. 7–11)”

The Stoic Dionysius adds three further arguments:

  1. Ambiguity of “similarity” (cols. vii.5–38; ch. 7): The word homoiotēs is equivocal; it covers both essential and accidental similarity. Unless the Epicureans can specify which similarity grounds inference, the method is indeterminate.

  2. The qualifier “when nothing conflicts” is worthless (cols. vii.38–ix.8; chs. 8–9): The Epicureans say analogy holds “when nothing in appearances conflicts.” But it can never be empirically determined that nothing conflicts, since one can never examine all possible appearances. This makes the qualifier a blank check that can never be cashed (De Lacy, Essay II, p. 159; De Lacy p. 216).

  3. Partial similarity (cols. ix.8–xi.26; chs. 10–11): Inference from partial similarity cannot establish facts about unperceived objects, since the dimension of similarity and the dimension of difference may coincide (De Lacy, Essay II, p. 159).

Bromius’ Eight Arguments Against Analogy (Cols. xix.9–xxvii.28; Section 2)

Section titled “Bromius’ Eight Arguments Against Analogy (Cols. xix.9–xxvii.28; Section 2)”

Bromius presents another version of the Stoic case (originally from Zeno). The eight arguments ask, respectively:

  1. It is impossible to examine all appearances; examining only some is insufficient (cols. xix.12–19).
  2. Wide variations within experience suggest uncontrollable variations outside it (cols. xix.19–25).
  3. Neither identical nor non-identical objects can ground inference (cols. xix.25–36).
  4. Inductive inference presupposes its conclusion (cols. xix.36–xx.4).
  5. Peculiarities outside experience may defeat any inference (cols. xx.4–10).
  6. Unique cases within experience cannot be extended beyond it (cols. xx.10–11).
  7. Unusual things within experience defeat generalization (cols. xx.11–21).
  8. Epicurean physics (gods, atoms) contradicts their own analogical method (cols. xx.21–30).

IV. MAJOR ARGUMENTS: EPICUREAN SIDE (PHILODEMUS’ POSITION)

Section titled “IV. MAJOR ARGUMENTS: EPICUREAN SIDE (PHILODEMUS’ POSITION)”

The Two Methods of Sign-Inference (Cols. 8.7–10; cf. Sedley p. 242)

Section titled “The Two Methods of Sign-Inference (Cols. 8.7–10; cf. Sedley p. 242)”

Philodemus accepts, as common ground with the Stoics, that there are exactly two methods of sign-inference:

  • The similarity method (ho kath’ homoiotēta tropos): inference from observed resemblance, covering both simple induction and analogy. This is the primary Epicurean method.
  • The elimination method (ho kat’ anaskeuen tropos): inference by which the negation of the consequent entails the negation of the antecedent. This is the Stoics’ preferred method, which the Epicureans do not wholly reject but regard as derivative.

The crucial Epicurean claim — against the Stoics — is that the similarity method is not merely probable but achieves genuine epistemic certainty when properly conducted.

Analogy Satisfies Formal Requirements (Cols. xi.29–xii.36; Chs. 11–12)

Section titled “Analogy Satisfies Formal Requirements (Cols. xi.29–xii.36; Chs. 11–12)”

The first two Stoic arguments (lost but inferable from the replies) apparently challenged whether analogy meets any formal standard of valid inference. Philodemus replies that the similarity method does satisfy formal validity requirements: properly constructed analogical inferences are not logically defective (De Lacy, Essay II, p. 157).

The Criterion of Inconceivability (adianoeiston) (Cols. xiv.2–27; Ch. 14)

Section titled “The Criterion of Inconceivability (adianoeiston) (Cols. xiv.2–27; Ch. 14)”

This is one of Philodemus’ most important contributions to the theory of knowledge. Against the Stoic claim that only contraposition establishes particular signs, Philodemus argues that inconceivability provides an independent and equally valid criterion.

When the similarity between sign and thing signified is so strong that it becomes literally inconceivable that the one should exist without the other, we have established a particular sign — and thereby a necessary inference — through the empirical method. The example: “Since Epicurus is a man, Metrodorus is a man” (col. xiv.2–27). It is inconceivable that Epicurus should be a man while Metrodorus is not. This inconceivability is not a priori or analytic; it is grounded in extensive empirical observation of human nature. But it is genuinely necessary, not merely probable.

De Lacy’s comment (Essay V, p. 218): “Inconceivability, however, is an empirical test. A thing is inconceivable only in terms of our experience, and inferences based on inconceivability are examples of the method of analogy.”

Sedley’s comment (p. 257): This kind of inconceivability “may lack strict logical force, but it is regarded as an entirely cogent criterion of inference, and the best available.”

The Circularity of the Stoic Method (Cols. viii.26–ix.8; xvi.4–17)

Section titled “The Circularity of the Stoic Method (Cols. viii.26–ix.8; xvi.4–17)”

Philodemus makes a fundamental counter-argument: Stoic contraposition is only valid insofar as it is grounded in empirical analogy. Unless we have first established by observation that motion cannot occur without void, the conditional “If there is motion, there is void” cannot be asserted at all. The formal Stoic test is epistemically parasitic on the empirical method it purports to supersede. If analogy lacks necessity and certainty, then so does contraposition (De Lacy, Essay V, p. 217–218; Sedley, pp. 258–262).

This is stated at cols. viii.32–ix.3 (De Lacy translation, p. 217):

“We first determine empirically all the conditions attendant on motion in our experience, apart from which we see nothing moved; then, in view of the similarity, we judge that all moving objects in every case are subject to these conditions; and this is the method by which we infer that it is not possible for motion to occur without void.”

Unique and Rare Cases Support Rather Than Undermine Analogy (Chs. 20–21; Cols. xiv.28–xvi.4)

Section titled “Unique and Rare Cases Support Rather Than Undermine Analogy (Chs. 20–21; Cols. xiv.28–xvi.4)”

The Epicurean reply to the argument from magnets and unique cases is elegant: uniqueness strengthens rather than undermines analogy. If some magnets drew iron and others did not, an analogical inference about magnets would be unreliable. But since all magnets within our experience draw iron without exception, we can legitimately infer that this is characteristic of all magnets everywhere. Perfect consistency within experience is the strongest possible basis for analogical inference (De Lacy, Essay V, p. 218–219).

Similarly, the range of variation within our experience is always bounded. We cannot conceive of men made of iron who walk through walls; variations outside our experience must be analogous in kind and degree to those within it (cols. xxi.30–xxii.2; cf. De Lacy, Essay V, p. 219):

“The degree of certainty of an inference is often relative to the amount of variation observable.”

Not All Appearances Need to Be Examined (Cols. xx.35–xxi.3)

Section titled “Not All Appearances Need to Be Examined (Cols. xx.35–xxi.3)”

Against the Stoic claim that empirical inquiry is interminable, Philodemus states (translation at De Lacy, Essay V, p. 219):

“We must encounter many homogeneous and varied appearances, so that from our experience of them and from the accounts of history concerning them we may establish the inseparable property of each particular thing, and from these pass to all the others.”

The number of cases required varies with circumstances: sometimes one instance suffices; sometimes only a few; sometimes many fail to remove all uncertainty (col. xxvi.32–39). The task is not infinite, and completion is achievable for most inferences.

The Defense of Epicurean Atomism (Cols. xvii.37–xviii.16)

Section titled “The Defense of Epicurean Atomism (Cols. xvii.37–xviii.16)”

Against the charge that atoms should be assigned color and destructibility by analogy with perceptible bodies, Philodemus draws on the Epicurean doctrine of primary and secondary qualities:

“Bodies in our experience are destructible not insofar as they are bodies, but insofar as they partake of a nature opposed to the corporeal and non-resistant. Similarly, bodies in our experience have color, but not insofar as they are bodies; for tangible objects insofar as they resist the touch are bodies, but insofar as they are tangible they reveal no color.” (Cols. xvii.37–xviii.8; De Lacy, Essay V, p. 221)

Inference requires identifying the relevant similarity — the quality as it belongs to a thing qua member of a class. Tangibility is a generic property of bodies as bodies; color is not. This is an empirically derived distinction, not an a priori one.

Resolution of the Identity/Similarity Dilemma (Cols. xxii.2–28)

Section titled “Resolution of the Identity/Similarity Dilemma (Cols. xxii.2–28)”

The Stoic dilemma (infer from identical objects — no inference possible; infer from similar objects — difference may destroy the inference) is dissolved by specifying degrees of similarity and the level of inference. Inferences can be made:

  • From particular men to others especially like them
  • From one class of men to another
  • From classes of animals to those most closely related
  • Between identical objects if one is perceptible and the other not (e.g., the inferred void resembles motion-permitting space)
  • Between non-identical objects (men and gods) insofar as they share common attributes (De Lacy, Essay V, p. 220)

The Fourfold Meaning of “Insofar As” (Cols. xxxiii.21–xxxvi.7; Ch. 10 of pervasive errors list)

Section titled “The Fourfold Meaning of “Insofar As” (Cols. xxxiii.21–xxxvi.7; Ch. 10 of pervasive errors list)”

This is one of the most technically sophisticated sections. The anonymous Epicurean identifies four uses of the qualification hēi / kathō (“insofar as,” “qua,” “according as”):

  1. Necessary concomitant: “Men, insofar as they are men, are prone to disease and aging” — a necessary empirical connection.
  2. Definition/preconception (prolēpsis): “Man, insofar as he is man, is a rational animal” — a definitional connection.
  3. Accident: “Man, insofar as he is man, [walks when he wishes]” — a contingent but regular property.
  4. Necessary concomitant of a property: “[A man, insofar as he] is foolish, is utterly unhappy” — a necessary connection grounded in one specific property.

The Stoics assume that all “insofar as” premises are established by their elimination method. The Epicurean response: all four meanings involve some kind of necessary connection, but all are established empirically. Even apparently definitional truths like “men are mortal” must be confirmed by inductive research (cols. xxxv.4–29). To assume a priori that “men qua men are mortal” is to presuppose what only observation can establish (De Lacy, Essay II, pp. 161–162; Sedley, pp. 258–259).

Sedley characterizes this as “a head-on confrontation between empiricism and rationalism” (p. 259).

The Relation Between Elimination and Similarity Methods (Cols. xxxv.22–xxxvii; Sedley §3)

Section titled “The Relation Between Elimination and Similarity Methods (Cols. xxxv.22–xxxvii; Sedley §3)”

This section resolves an apparent inconsistency: in some passages Philodemus seems to grant the validity of the elimination method for inferences like “Since there is motion, there is void” (cols. 12.1–14, 35.29–36.7), yet in others he insists the similarity method is primary. Sedley’s interpretation (pp. 260–263), which De Lacy’s analysis supports, resolves this:

The two methods work at different stages of a single inquiry:

  1. Stage 1 (Similarity method / sign-inference proper): Through extensive observation of moving objects within experience, we establish the empirical generalization that motion is impossible without empty space. This inductive stage is the genuine sēmeiōsis (sign-inference).

  2. Stage 2 (Elimination method): Once Stage 1 has been completed, the formal step “Since there is motion, there is void” follows by the elimination method — trivially, because the nature of motion (as established by Stage 1) includes its inseparability from void.

The elimination method alone “is not in itself a further sign-inference, since on its own it is powerless to reveal anything” (Sedley, p. 263; cf. col. 30.33–31.36). It adds no epistemic content; it merely formalizes what Stage 1 discovered. The Epicureans call Stage 1 the “sign-inference” and explicitly withhold the term sēmeiōsis from Stage 2 precisely to prevent the Stoics from claiming that the formal step does the epistemic work.

De Lacy’s formulation (Essay V, p. 218): “The abstract principle of the Stoics can be formulated only after experience justifies it through an argument based on analogy. Therefore, the Epicurean concludes, inference by contraposition can claim no certainty if analogy has none, as the latter is the source and ultimate criterion of the former.”

The Non-Contestation Requirement (Cols. xxxvi.7–17; Ch. 11 of pervasive errors)

Section titled “The Non-Contestation Requirement (Cols. xxxvi.7–17; Ch. 11 of pervasive errors)”

A sound analogical inference requires that no known appearance conflicts with its conclusion. This is the Epicurean principle of ouk antimarturēsis (“non-contestation”), carried into the De Signis:

“They are also mistaken not to see that we ascertain that there is no obstacle resulting from appearances. For it is not enough to accept the minimal swerves of atoms on the grounds of chance and free will, but it is necessary to show in addition that no other self-evident fact whatever conflicts with this.” (Cols. xxxvi.7–17)

Sedley (§4, pp. 263–272) provides an extended analysis of non-contestation in Epicurus, arguing that Antiochus of Ascalon’s summary in Sextus (M VII.211–16) misrepresents Philodemus’ own Epicurean contemporaries by conflating non-contestation (a method of confirmation) with sign-inference (a method of discovery).


V. THE CENTRAL EPISTEMOLOGICAL QUESTION: GENUINE KNOWLEDGE OR MERE PROBABILITY?

Section titled “V. THE CENTRAL EPISTEMOLOGICAL QUESTION: GENUINE KNOWLEDGE OR MERE PROBABILITY?”

This is the deepest issue in the De Signis, and the texts give a remarkably clear answer.

The Stoic Position: Empirical Inference Yields Only the “Convincing” (Pithanon)

Section titled “The Stoic Position: Empirical Inference Yields Only the “Convincing” (Pithanon)”

Sedley (pp. 250–255) demonstrates through a careful reading of de Signis col. vii.26–38 that the Stoic Dionysius, while using the elimination method for strict logical inferences, explicitly assigns similarity-based and experience-based inferences to the class of the pithanon — the “convincing but fallible.” He quotes Dionysius:

“…it is sufficient, concerning these things and concerning those which derive from experience, for us to be convinced in accordance with probability (eulogia), just as when we sail in summer we are convinced that we will arrive safely.” (Col. vii.33–4)

Sedley identifies this with the Stoic technical use of pithanon (convincing): not falsehood, and not worthless, but genuinely only probable — it “could be” wrong. Chrysippus used material implication rather than strict conditionals for astrological laws and sorites-type arguments precisely because they are convincing but fallible, not logically necessary (Sedley, pp. 252–255). The Stoic position therefore is:

  • A priori, contraposition-tested inferences: yield genuine knowledge (kathalēpton), necessity, certainty.
  • Empirical, similarity-based inferences: yield only pithanon — convincing probability, not knowledge.

The Epicurean Rebuttal: Properly Conducted Empirical Inference Is Knowledge

Section titled “The Epicurean Rebuttal: Properly Conducted Empirical Inference Is Knowledge”

Philodemus explicitly and emphatically rejects the idea that analogical inference yields only probability. Fragment 2 of the De Signis states (De Lacy translation, cited Essay V, p. 222):

“One ought not stop with evident things but from them make inferences about the non-apparent, nor mistrust the things proved through them by analogy but trust them just as one trusts the things from which the inference was made.”

This is a strong claim about knowledge: sound analogical inference carries the same epistemic weight as direct perception. The Epicurean position rests on several interlocking commitments:

1. Perceptions are unconditionally true. All sensations, as such, are true — they faithfully present the appearances that really occur. Error arises only when opinion (doxa) is added by the mind to the raw perceptual data (De Lacy, Essay IV, pp. 183–184; Sext. M VII.203–4 = fr. 247 Usener).

2. The inference, properly made, inherits this truth. If perceptions are the infallible foundation, and the analogical inference is correctly built from them (with wide and varied observation, no conflicting appearances, correct identification of the relevant qua-clause), then the conclusion is not merely probable but certain. The De Signis insists on this throughout: the method of analogy “must be the one naturally fine method” (col. xxxvii; cf. De Lacy, Essay V, p. 217).

3. Inconceivability is a criterion of necessity, not mere plausibility. When it is genuinely inconceivable that Epicurus could be a man while Metrodorus is not, this is not a matter of probability — it is a matter of necessity grounded in the nature of humanity as empirically understood. The inconceivability criterion converts what might look like an inductive inference into a claim about necessity (col. xiv.17–27; De Lacy, Essay V, p. 218).

4. Non-contestation (ouk antimarturēsis) is a sufficient condition for truth — not merely plausibility. Sextus Empiricus (M VII.211–16) reports the Epicurean principle: “Verification (epimarturēsis) and lack of evidence to the contrary (ouk antimarturēsis) are the criteria of the true; lack of verification and evidence to the contrary are the criteria of the false.” Philodemus’ contemporaries in the De Signis confirm this: they are “mistaken not to see that we ascertain that there is no obstacle resulting from appearances” (col. xxxvi.7–17). Non-contestation, combined with theoretical explanatory power, is sufficient for truth — not mere belief.

Sedley (pp. 269–271) argues that Epicurus’ own usage shows non-contestation as a confirmatory check applied to theories that already have explanatory merit, sufficient to establish their truth (not just possibility). The “multiple explanations” principle for celestial phenomena (where several non-contested explanations are all held true, perhaps in different worlds) is the exception, not the rule; for basic physics — the existence of atoms and void — only one explanation is consistent with the full range of phenomena, and that explanation is known, not merely believed.

5. The Stoics’ own a priori claims are secretly grounded in empirical inference. This is Philodemus’ master argument: if analogical inference lacks necessity and certainty, then so does the Stoic elimination method, because the latter has no epistemic content that is not derived from the former. The Stoics cannot claim a privileged access to necessity without implicitly relying on the same empirical basis the Epicureans make explicit. “Since the Stoic position rests ultimately on induction from experience, if the method of analogy has no necessity or compulsion, the Stoic inference has none” (De Lacy, Essay V, p. 217).

Qualification: Not All Inferences Are Equally Certain

Section titled “Qualification: Not All Inferences Are Equally Certain”

While rejecting the Stoic demotion of all empirical inference to the merely probable, Philodemus does not claim that all analogical inferences are equally secure. The degree of certainty is proportionate to the quality of the evidence (col. xxvi.32–39):

  • Inferences backed by uniform, widespread, varied observation, with no conflicting appearances and no alternative explanation = certain (e.g., the void argument; the mortality of men).
  • Inferences backed by good but limited evidence, or where some variability exists = probable in the sense of strongly warranted, but subject to revision.
  • For celestial phenomena, where multiple explanations each pass the non-contestation test, Epicurus accepts all as possibly true (“multiple explanations” principle) — here the honest answer is acknowledged uncertainty about which holds in our world.

The key distinction is between (a) the epistemic status of properly-made inferences (which can be genuinely certain) and (b) the practical situation where a given inquiry has not yet reached the conditions for certainty.

Philodemus vs. the Stoic Pithanon: A Precise Summary

Section titled “Philodemus vs. the Stoic Pithanon: A Precise Summary”
StoicsPhilodemus/Epicureans
A priori/analytic inferencesKnowledge, certaintyNot independently valid; require empirical grounding
Similarity-based inferencesPithanon (convincing, probable, fallible)Genuine knowledge, if properly conducted
Experience-based generalizationsPithanon onlyGenuine knowledge (same test as for direct perception)
The elimination methodPrimary; yields necessityDerivative; borrows necessity from analogy
The similarity methodInvalid or at best pithanonPrimary; yields necessity via inconceivability
Knowledge of atoms, voidMay use strict inference onlyEstablished by analogy + non-contestation; genuinely true

VI. DE LACY’S SUPPLEMENTARY ESSAYS: KEY ANALYSES

Section titled “VI. DE LACY’S SUPPLEMENTARY ESSAYS: KEY ANALYSES”

Essay II: The Argument and Date of De Signis (pp. 156–164)

Section titled “Essay II: The Argument and Date of De Signis (pp. 156–164)”

Provides the most complete structural overview of the treatise. Key finding: the text shows a “symmetrical sequence of objections and answers” (objections at ia–v.36, answers at xi.29–xix.4), then an interruption, then a second set of objections with answers (xix.9–xxvii.28), then the analysis of “pervasive errors” (Demetrius and the anonymous Epicurean, xxvii.28–xxxviii.22). This structure mirrors the pedagogical practice of Epicurean schools: first present the opponents’ case in full, then give the comprehensive Epicurean reply.

Essay III: The Sources of Epicurean Empiricism (pp. 165–182)

Section titled “Essay III: The Sources of Epicurean Empiricism (pp. 165–182)”

Traces Epicurean empiricism to its roots in Hippocratic medicine, Aristotelian natural science, and early Greek empirical crafts. Argues that Epicurean method, rather than being a novelty, generalizes a well-established empirical tradition in the sciences. The Stoics, by contrast, generalized the rationalistic method of mathematics. This explains the depth and bitterness of the controversy: both schools were claiming to capture the legitimate foundations of science.

Essay IV: Development of Epicurean Logic and Methodology (pp. 183–205)

Section titled “Essay IV: Development of Epicurean Logic and Methodology (pp. 183–205)”

Traces the development of Epicurean methodology from Epicurus through Metrodorus, Colotes, Polystratus, the Epicurean mathematicians, and Philodemus himself. Key contributions:

  • Epicurus’ core theory of knowledge: All perceptions true; error from opining (doxazein). The criteria of truth are perception (aisthēsis), preconception (prolēpsis), mental attention (epibōlē), and feeling (pathos). The extension to non-evident objects uses epilogismos (inferential reasoning from data) checked by epimarturēsis (attestation) and ouk antimarturēsis (non-contestation).
  • Classification of unperceivable things (pp. 186): (a) altogether unperceivable (odd/even number of stars); (b) naturally unperceivable but knowable by inference (atoms, void); (c) temporarily unperceivable but potentially perceivable (distant objects, future events).
  • Philodemus’ applications: Uses empirical method in ethics (weighing pleasures and pains; epilogizesthai in moral guidance), rhetoric (conjectural art), religion (knowledge of gods by analogy with men). In all cases the method is the same: observation, analogy, inconceivability, non-contestation.

Essay V: The Logical Controversies of Stoics, Epicureans, and Sceptics (pp. 206–227)

Section titled “Essay V: The Logical Controversies of Stoics, Epicureans, and Sceptics (pp. 206–227)”

The most philosophically rich essay. Key sections:

Stoic Semiotic (pp. 206–214): The Stoic sign is formally defined as “the proposition in a sound conditional which is antecedent and reveals the conclusion” (Pyrrh. Hyp. ii.104). The sign-relation is a relation between lekta (meanings/propositions), not physical things. Validity requires sunartēsis (conjoining) or anaskeuē (contraposition). Stoic semiotic “requires that necessary truth must be a priori and analytic” (p. 211, citing De Lacy op. cit. p. 211; cf. Sedley, p. 247).

The Epicurean Response (pp. 217–222): Philodemus’ fundamental claim is that “the necessary truths which the Stoics considered analytic and a priori are really established by induction from experience. The definitive or prescriptive level of analysis is secondary to the descriptive level, since the latter furnishes the material and the order from which the former is derived. Deductive logic is subsequent to inductive logic in order of development because it depends on the latter” (p. 221).

The Sceptic Position (pp. 223–227): Sextus Empiricus occupies a distinct position: he accepts admonitive signs (hypomnēstika sēmeia, which remind us of co-observed regularities) but rejects indicative signs (endeitika sēmeia, which are supposed to reveal things by nature unperceivable). His criticism of the Epicureans is not that their method is wrong, but that they overreach by using it to establish a confident account of atoms and void. Sextus aims at phenomenalism, not at positive knowledge of unperceivables. Philodemus’ position is thus between Stoic rationalism and Sceptic phenomenalism: genuine empirical knowledge of the unperceived is possible, but only through properly conducted inductive inference, not through a priori deduction.


VII. SEDLEY’S ANALYSIS: DISTINCTIVE CONTRIBUTIONS

Section titled “VII. SEDLEY’S ANALYSIS: DISTINCTIVE CONTRIBUTIONS”

Sedley’s “On Signs” (1982) brings several important contributions beyond the De Lacy apparatus:

1. Identification of the Stoic opponents (pp. 240–241): Sedley argues that the opponents are Stoics of the mid-to-late second century B.C. (not the earlier Stoics described by Sextus). He identifies the principal Stoic opponent “Dionysius” with Dionysius of Cyrene, a pupil of Diogenes of Babylon and Antipater of Tarsus. This means the debate in the De Signis reflects the state of Stoic theory of knowledge after Chrysippus, with modifications (e.g., use of the paraconditional “Since p, q” rather than the simple conditional “If p, q”) that post-date Chrysippus (pp. 243).

2. The Elimination Method and Sunartēsis (pp. 244–248): Sedley argues, against the received view (Bahnsch and others), that anaskeuē is not merely contraposition but something stricter: the test of Chrysippan sunartēsis, which obtains when the contradictory of the consequent conflicts with the antecedent — a much more demanding criterion than simple material implication. The elimination method establishes connections that are necessarily knowable a priori, whether formally or analytically.

3. The Stoic Pithanon and Its Scope (pp. 250–255): Through careful reading of col. vii.26–38, Sedley identifies Dionysius’ explicit concession that similarity-based and experience-based inferences belong to the pithanon — a class Chrysippus himself had designated for “convincing but fallible” propositions. This is a technically precise Stoic concession with profound implications: the Stoics themselves admitted that empirical science cannot achieve logical necessity. Sedley traces this to Chrysippus’ use of material implication (rather than strict conditionals) for astrological and sorites-type arguments.

4. The Smoke/Void Two-Stage Analysis (pp. 260–263): Sedley provides the clearest available explanation of why Philodemus sometimes treats “Since there is motion, there is void” as an elimination inference and sometimes as a similarity inference. The two-stage analysis (similarity to establish the necessity; elimination to formalize it) dissolves the apparent inconsistency and shows that for the Epicureans the elimination method adds no independent epistemic force.

5. Non-Contestation vs. Discovery (pp. 263–272): Sedley argues that Antiochus of Ascalon (the likely source of the section on Epicurus in Sextus, M VII.203–16) misrepresented non-contestation by conflating it with sign-inference (sēmeiōsis). Non-contestation is a method of confirmation for theories that already have explanatory merit; sign-inference is a method of discovery. Philodemus’ contemporaries were “perfectly well aware of the purely confirmatory role of non-contestation” (p. 271, citing de Signis 36.7–17).


Greek TermDe Lacy TranslationSignificance
sēmeiōsisSign-inferenceThe process of inferring from observed signs to unobserved facts
homoiotēsSimilarity, analogyThe ground of Epicurean inductive inference
anaskeuē / anaskeueElimination, contrapositionThe Stoic method of testing conditionals
idion sēmeionParticular signSign that cannot exist without its signified
koinon sēmeionCommon signSign that may or may not accompany its signified
adianoeistonInconceivabilityThe Epicurean criterion of necessity
sunartēsisConjoining / cohesionChrysippan criterion of conditional validity
epilogismosInductive reasoning / inferential reasoningMental process of drawing conclusions from empirical data
epimarturēsisAttestation / verificationPositive confirmation of a belief by perception
ouk antimarturēsisNon-contestationAbsence of conflicting evidence; Epicurean test for truth of non-evident beliefs
pithanonConvincing / probableStoic category for fallible, non-necessary inference
eulogonReasonable, probableThat which has more chances of being true than false
adēlaNon-evident thingsThings not accessible to direct perception
prolēpsisPreconceptionInnate or naturally acquired general concept serving as a criterion
hēi / kathōInsofar as / quaUsed to specify the relevant property in an inference; four meanings analyzed in cols. xxxiii–xxxvi
kat’ anaskeuen troposElimination methodStoic-preferred mode of sign-inference
kath’ homoiotēta troposSimilarity methodEpicurean-preferred mode of sign-inference

Philodemus defends the following set of claims, which together constitute the Epicurean philosophy of knowledge:

  1. All perceptions are true in the sense of faithfully presenting the appearance that occurs. Error arises only from additional opinion.

  2. Inference from perception, properly conducted, is genuine knowledge — not merely probable. The properly-made analogical inference carries the same epistemic status as perception itself (Frag. 2).

  3. The criterion of inconceivability converts inductive inference into claims of necessity. When it is genuinely inconceivable (on the basis of broad empirical observation) that the sign could exist without what it signifies, we have established a necessary connection.

  4. Non-contestation (ouk antimarturēsis) is a sufficient condition for truth when combined with explanatory power. A theory that conflicts with no phenomenon and explains what needs explaining is genuinely true (for basic physics), not merely probably true.

  5. The elimination method is not independently valid but derives whatever force it has from the prior work of the similarity method. Stoic deduction is epistemically downstream from Epicurean induction.

  6. The Stoic pithanon classification is rejected for properly-conducted empirical inference. It may apply to careless or premature inferences; it does not apply to inference conducted with wide and varied observation, correct identification of relevant qualities, and confirmed by non-contestation.

  7. Degrees of certainty exist within the class of warranted inferences: some inferences are more secure than others, depending on the uniformity and breadth of the evidence. But the existence of more and less secure inferences does not mean that the more secure ones are merely probable.

  8. The limits of knowledge are real: some things (the parity of the stars) are genuinely unknowable; for celestial phenomena, multiple explanations may all be equally acceptable; for basic physics, uniquely determined truth is achievable.

In short, Philodemus’ position is a robust empirical foundationalism: the senses give us infallible access to appearances; properly-made inferences from appearances give us genuine, necessary knowledge of the unperceived world. This is neither scepticism (knowledge is impossible) nor rationalism (knowledge requires a priori foundations). It is a demanding empiricism that claims genuine knowledge of atoms, void, and unperceived objects throughout the universe.


X. EXPANDED ANALYSIS: THE FOURFOLD MEANING OF HĒI / KATHŌ (“INSOFAR AS” / “QUA”)

Section titled “X. EXPANDED ANALYSIS: THE FOURFOLD MEANING OF HĒI / KATHŌ (“INSOFAR AS” / “QUA”)”

The analysis of “insofar as” (hēi, kathō, or kath’ ho) in cols. xxxiii.21–xxxvi.7 is one of the most technically demanding passages in the De Signis. It is presented as part of the anonymous Epicurean’s response to the “pervasive errors” of those who attack analogy (De Lacy, Essay II, p. 161–162, pervasive error no. 10). The issue arises from a specific Stoic strategy. The Stoics had offered to “help” the Epicureans by reformulating their mortality argument:

  • Epicurean version: “Since men within our experience are mortal, men outside our experience are mortal.” — a straightforward similarity inference.
  • Stoic reformulation: “Since men within our experience are mortal insofar as they are men, men everywhere are mortal.” — now treated as passing the elimination test, because “mortal” is analytically contained in “man qua man.”

Zeno of Sidon rejected this Stoic offer without much argument (col. xvi.29–xvii.11); Demetrius was cautiously ambivalent (col. xxix.4–16); but the anonymous Epicurean in the final section of the De Signis meets the Stoic challenge head-on. His strategy is to show that the phrase “insofar as” (hēi) is not univocal — it covers at least four distinct types of relationship — and that in every one of those four meanings, the necessary connection expressed must be established empirically, not a priori (Sedley, pp. 258–259).

The Four Meanings (Cols. xxxiii.33–xxxiv.29)

Section titled “The Four Meanings (Cols. xxxiii.33–xxxiv.29)”

The anonymous Epicurean distinguishes:

Meaning 1: Necessary Concomitant (symptōma) Example: “Men, insofar as they are men, are prone to disease and aging.”

This expresses a property that accompanies membership in a class necessarily but is not part of the definition of the class. It is an empirical regularity, confirmed by broad and consistent observation across all known instances of the class. It cannot be known a priori that mortality and susceptibility to disease belong to humanity; this must be discovered by examining men and finding no exceptions. That the connection holds necessarily is established by the breadth and consistency of the observations, not by inspecting the concept of “man.”

The Epicurean point: even if Dionysius is right that the “insofar as” formulation creates a necessary connection, the source of that necessity is empirical, not analytic.

Meaning 2: Definition and Preconception (prolēpsis) Example: “Man, insofar as he is man, is a rational animal.”

This appears to be the Stoic’s best case — a definitional truth where the predicate is analytically contained in the subject. The anonymous Epicurean concedes that this looks like an a priori connection. But he insists that even definitional connections are empirically derived: preconceptions (prolēpseis) are formed through repeated experience, and what we include in our concept of “man” reflects what we have learned about men empirically. The definition is not self-certifying; it is accountable to experience.

This move is consistent with the broader Epicurean philosophy of language: words refer primarily to perceivable objects; their meaning is fixed by empirical practice within a community, not by rational stipulation. An “empty” definition — one not grounded in observable properties — is simply meaningless (De Lacy, Essay IV, pp. 184–185; Epicurus, Ep. Hdt. 37, Rat. Sent. 37).

Meaning 3: Accident (symbebēkos) Example: “Man, insofar as he is man, [walks when he wishes].”

This is a regular property of men that is nonetheless contingent: men sometimes walk, sometimes not. The “insofar as” here signals a genuine but non-necessary concomitant — something that holds for men as such but does not hold invariably. The Epicurean analysis: this too is established entirely by observation. There is no a priori reason why men should walk; this is simply what we find them doing. The “insofar as” does not generate necessity here; it merely specifies the class within which the observation is made.

This meaning is included to show that “insofar as” does not always carry necessity — a point the Stoics had assumed without examination. By acknowledging this meaning, Philodemus prevents any blanket claim that all “insofar as” premises are necessarily true.

Meaning 4: Necessary Concomitant of a Property Example: “[A man, insofar as he] is foolish, is utterly unhappy.”

This picks out not a property of men as men, but a necessary consequence of one specific property. The connection between foolishness and unhappiness is necessary — it is inconceivable that a genuinely foolish person should be happy in the relevant sense. But this necessity is itself an empirical finding: we learn from extensive observation that foolishness invariably produces unhappiness. The “insofar as” here specifies the property that grounds the inference, not the species membership.

This meaning is particularly important for Epicurean ethics, where claims like “the pleasurable life is the good life” or “the wise man is always happy” function as necessary connections discovered empirically through the nature of pleasure, pain, and human psychology.

The Epicurean Conclusion from All Four Meanings

Section titled “The Epicurean Conclusion from All Four Meanings”

The anonymous Epicurean’s argument runs as follows (cols. xxxiv.29–xxxvi.7; Sedley, pp. 258–259; De Lacy, Essay II, p. 161):

  1. All four uses of “insofar as” involve some kind of necessary connection (not just meanings 1 and 4; even the definitional meaning 2 and the apparently contingent meaning 3 have their own kinds of necessity).
  2. None of these necessary connections is knowable a priori. Each must be established through painstaking empirical inquiry.
  3. The Stoics assume that an “insofar as” premise automatically confers the elimination method on the inference that uses it. But this ignores the source of the “insofar as” connection — which is always, on examination, empirical.
  4. Therefore: “In fact, establishing the necessary connection which ‘insofar as’ in all its senses marks can only be a painstaking empirical matter — even for apparently definitional properties like man’s mortality” (col. xxxv.4–29, paraphrased by Sedley, p. 259).

Sedley characterizes this as a “head-on confrontation between empiricism and rationalism” (p. 259), and the characterization is apt. The anonymous Epicurean is not merely saying that the Stoics have used “insofar as” too quickly in one case; he is making a general claim about knowledge: there is no class of necessary truths accessible to reason independently of experience. The “insofar as” qualification can specify the basis of a necessary inference, but it cannot create that necessity or certify it from the armchair. Every instance of genuine necessity — whether definitional, property-based, or concomitant — is a discovery made through empirical inquiry and confirmed by the non-contestation of the resulting claim.

The implication for the mortality argument is clear: whether we say “men are mortal” (the Epicurean version) or “men are mortal insofar as they are men” (the Stoic reformulation), we are saying the same thing, and we know it by the same means — extensive observation showing that no man has ever been found immortal, no appearance conflicts with the claim, and the claim holds across all the varied circumstances in which men appear. The Stoic formulation adds no epistemic gain; it merely disguises the empirical origin of the claim in formal-looking language.

Connection to the Primary/Secondary Quality Distinction

Section titled “Connection to the Primary/Secondary Quality Distinction”

The four meanings of “insofar as” connect directly to Philodemus’ defense of Epicurean atomism (cols. xvii.37–xviii.16). He uses hēi and kathō to distinguish properties that belong to bodies as bodies (tangibility, resistance) from properties that belong to bodies under a specific further description (color, destructibility — which belong to perceptible bodies insofar as they have a nature “opposed to the corporeal and non-resistant,” not insofar as they are bodies). The detailed analysis of “insofar as” in cols. xxxiii–xxxvi provides the conceptual toolkit for that earlier move: to make the right analogical inference you must identify the right “insofar as,” and the right one is always identified empirically (De Lacy, Essay V, pp. 220–221).


XI. EXPANDED ANALYSIS: SEDLEY ON ANTIOCHUS AS THE SOURCE OF SEXTUS M VII.211–16

Section titled “XI. EXPANDED ANALYSIS: SEDLEY ON ANTIOCHUS AS THE SOURCE OF SEXTUS M VII.211–16”

The passage at Sextus Empiricus, Adversus Mathematicos VII.203–16 contains what looks like a detailed account of Epicurean methodology — specifically, Epicurus’ use of epimarturēsis (attestation) and ouk antimarturēsis (non-contestation) as criteria of truth. This passage has long been regarded as a reliable guide to Epicurus’ own approach to gaining knowledge, used by scholars to reconstruct what Epicurus meant by these terms. The standard attribution of the passage’s source is to Demetrius Lacon, one of the Epicurean participants in the debate reported by Philodemus (Sedley, p. 264, following Natorp).

Sedley argues that this attribution is mistaken, and that the real source is more likely Antiochus of Ascalon — and that this matters greatly for understanding what the passage does and does not tell us about Epicurus.

Sedley’s Case for Antiochus as Source (Pp. 264–271)

Section titled “Sedley’s Case for Antiochus as Source (Pp. 264–271)”

Step 1: The contextual argument. The passage on Epicurus (M VII.203–16) is flanked on both sides by material securely identified as deriving from Antiochus’ Canonica (a history of theories of knowledge). The preceding section (M VII.141–89) is Antiochus’ history of the Academy; Antiochus is cited by name at 162. At 201–2, his words on Asclepiades are quoted verbatim from the Canonica. Following the Epicurus section (at 217–60) comes an account of Peripatetics and Stoics that Hirzel has identified as Antiochean on independent grounds (Sedley, pp. 265–266). The Epicurus section is thus sandwiched between Antiochean material on both sides, making it very likely that it too is Antiochean.

Step 2: Antiochus’ characteristics as a reporter. Antiochus was notoriously “unscrupulous” (Sedley, p. 266) in his doxographical work, particularly when he had his own agenda (establishing the unity of the Platonic tradition from Plato through the Stoics). He habitually attributed contemporary philosophical terminology to earlier thinkers, as Sedley notes from the passage at M VII.141–4, where the account of Plato “seizes on the word perilēptikos in the Timaeus and scandalously equates it with the Stoic term katalēptikos” (p. 265). When treating philosophers with whose views he was not closely familiar — and Antiochus was not an Epicurean — he was capable of significant misunderstanding.

Step 3: The specific misrepresentation Antiochus makes. Sedley’s key argument (pp. 269–271) is that the Sextus passage misrepresents non-contestation by confusing it with sign-inference (sēmeiōsis). In the passage, non-contestation is defined as “the following (akolouthia) from that which is apparent of the non-apparent thing posited and believed” — and the void inference is given as the example: if void does not exist, motion should not occur either, but motion is apparent, therefore void is confirmed.

The problem is that this makes non-contestation look like a method of discovery: the apparent thing (motion) leads us to the non-apparent thing (void). But Philodemus’ Epicurean contemporaries, as Sedley demonstrates from the De Signis itself, are clear that non-contestation is a method of confirmation, not discovery. The void’s existence is established by the similarity method (Stage 1: empirical observation that motion requires empty space); non-contestation then confirms this result by showing that the positing of void does not conflict with any phenomenon, while the denial of void does conflict with the evident fact of motion (col. xxxvi.7–17).

Any Epicurean who actually participated in the De Signis debate — Zeno, Demetrius, Bromius, or the anonymous Epicurean — would, Sedley argues, “be horrified by the false emphasis with which this is done, particularly by the assumption that it is the inference from motion to void that in itself ‘confirms’ the existence of void” (p. 265). The Sextus passage gets the formal structure right (void is established via the non-contestation of the denial of motion) but misrepresents which stage of inquiry does the real epistemic work.

Step 4: Why Demetrius is not a good candidate. The standard argument for Demetrius is that the void inference attributed to Epicurus in M VII.214 was also used by Demetrius (cited at M VIII.348). But Sedley notes this is weak evidence: all three Epicureans in the De Signis use the void inference (Sedley, p. 264 n. 60). Moreover, the Sextus passage’s misrepresentation is precisely the kind of error a non-combatant observer (Antiochus) would make when reading Epicurean material — “a passage like de Signis 12.1–14 into supposing the void inference to rely purely on the elimination method, provided that he did not scrutinise the broader context too carefully” (p. 265). Demetrius, as an actual participant in the debate, would never have made this error.

Step 5: Antiochus’ specific confusion. Antiochus, Sedley argues (p. 271), “clearly started with some general information about Epicurus’ terminology and usage, and, in characteristically unhistorical fashion, delved into contemporary Epicurean tracts for further elucidation.” Finding there the term sēmeiōsis prominently discussed, and not finding the crucial term “non-contestation” in that context, he “mistakenly identified it with the current Epicurean preoccupation sēmeiōsis, of which he had achieved a rather superficial understanding. He thus confused a method of confirmation with a method of discovery.”

What This Means for Reading the Sextus Passage

Section titled “What This Means for Reading the Sextus Passage”

If Sedley’s argument is correct, the passage at M VII.211–16 cannot be treated as a direct transcript of Epicurean methodology. Specifically:

  1. The claim that non-contestation is “the following of the non-apparent from the apparent” overstates the role of the formal inference step. For the Epicureans, the formal step “Since there is motion, there is void” is not in itself the epistemic achievement — the empirical establishment of the motion-void connection through the similarity method is.

  2. The passage’s picture of non-contestation as the primary tool for discovering non-evident truths may reflect Antiochus projecting his own rationalistic leanings onto Epicurean methodology, assimilating it to a kind of a priori deduction from evident premises.

  3. The passage does, however, preserve a genuine Epicurean distinction between things verifiable by direct perception (epimarturēsis) and things confirmed by absence of conflicting evidence (ouk antimarturēsis). This division is authentic; what Antiochus gets wrong is the relation of non-contestation to sign-inference.

What Epicurean Non-Contestation Actually Does

Section titled “What Epicurean Non-Contestation Actually Does”

Drawing on Epicurus’ own letters and on the De Signis, Sedley reconstructs the proper role of non-contestation (pp. 267–272):

For basic physics (atoms, void): Non-contestation is a confirmatory check applied to theories that already have explanatory power. The void’s existence is posited to explain motion; non-contestation then confirms that this posit conflicts with no observable phenomenon, while the denial of void conflicts with the evident fact of motion. The result is genuine truth — not mere probability — because only one explanation is consistent with the full range of phenomena.

For celestial phenomena: Multiple explanations (all consistent with visible analogues in terrestrial experience) may each pass the non-contestation test. In this case, Epicurus accepts all of them as possibly true — probably in different worlds, given the infinity of the universe. Here the honest result is acknowledged plurality, not certainty. This is the “multiple explanations” principle of the Letter to Pythocles, and it is explicitly grounded in the availability of multiple non-contested alternatives, not in any deficiency of the method.

The key asymmetry: Contestation (a belief that conflicts with phenomena) proves falsehood. Non-contestation (a belief that conflicts with nothing) is a sufficient condition for truth when combined with explanatory power and the uniqueness of the non-contested explanation. This asymmetry between verification and falsification is, Sedley notes (p. 271), a genuine and important insight — Epicurus “can be congratulated on his insight that scientific theories lend themselves to falsification more readily than to verification” — and Antiochus’ conflation of non-contestation with discovery obscures it.


XII. EXPANDED ANALYSIS: THE THREE-WAY CONTROVERSY — STOICS, EPICUREANS, AND SCEPTICS

Section titled “XII. EXPANDED ANALYSIS: THE THREE-WAY CONTROVERSY — STOICS, EPICUREANS, AND SCEPTICS”

Introduction: Why the Three-Way Comparison Matters

Section titled “Introduction: Why the Three-Way Comparison Matters”

The De Signis itself focuses on the Stoic-Epicurean controversy, but De Lacy’s Essay V (pp. 223–230) and Sedley’s broader analysis place the debate within a larger three-way conversation that includes the Empirical Sceptics, above all Sextus Empiricus. Understanding where the Sceptics stand illuminates both the Stoic and Epicurean positions by contrast, and clarifies what is genuinely at stake in the question of whether empirical inference can yield knowledge or only probability.

The Sceptic Position: Admonitive Signs Only

Section titled “The Sceptic Position: Admonitive Signs Only”

Sextus Empiricus accepts the following from the shared Hellenistic framework: all three schools divide things into the apparent (phainomena) and the non-apparent (adēla), and all agree that only the apparent needs no inference. Where they diverge is on whether the non-apparent can be known at all, and if so, by what means.

Sextus differentiates two kinds of signs corresponding to two sub-classes of the non-apparent (Adv. Math. VIII.152–158; Pyrrh. Hyp. II.100–101; De Lacy, Essay V, pp. 212–213, 223–224):

1. The admonitive sign (hypomnēstikon sēmeion): A sign that has been observed together with what it signifies in a clear situation, and subsequently serves as a reminder when the thing signified is not currently apparent. The standard example: smoke as the sign of fire, a scar as the sign of a past wound. The admonitive sign works by memory and association: having seen smoke and fire together before, smoke now reminds us of fire.

Sextus accepts admonitive signs as useful and legitimate. Without them, practical life (bios) would be impossible — skippers, farmers, and hunters all rely on them, as do animals (the hunting dog reads the track as a sign of the quarry). Their legitimacy does not depend on any philosophical theory; they are part of how living things navigate the world.

Crucially, Sextus does not claim that admonitive signs give us knowledge of fire — only that they lead us to expect fire. The relation between smoke and fire is a constant conjunction observed in experience; it does not assert a necessary connection, a causal relation, or anything that goes beyond the phenomenal level.

2. The indicative sign (endeiktikon sēmeion): A sign that, “from its own nature and constitution, all but saying the word, indicates the thing of which it is indicative” (Adv. Math. VIII.154). The indicative sign designates things that are by nature unperceivable — atoms, the void, the soul, pores in the flesh. It cannot have been observed together with what it signifies, since the thing signified is in principle inaccessible to perception. Its meaning must therefore be knowable a priori — or at least independently of any co-observation with what it signifies.

Sextus rejects indicative signs entirely. They are the invention of “dogmatic philosophers and rational physicians” (Adv. Math. VIII.156–158), who supposed they could provide knowledge of what is by nature beyond experience. Sextus’ arguments against them are numerous and various (De Lacy, Essay V, pp. 224–226):

  • A sign involves a relation between two things; you cannot know a relation unless you have apprehended both relata — but if both are apparent, no inference is needed; if one is by nature unperceivable, the relation cannot be established (Adv. Math. VIII.163–165, 171–175).
  • Philosophers disagree about whether signs are apprehended by sense-perception or thought. What is contested is thereby obscure; what is obscure requires another sign to clarify it; this generates an infinite regress (ibid. 176–182).
  • The Stoic theory that signs are propositions (lekta) confuses the logical level with the phenomenal level. Practical sign-users — sailors, hunters, animals — do not form propositions; yet they use signs expertly. Therefore the Stoic propositional analysis is wrong (ibid. 269–271). (De Lacy, Essay V, p. 226, notes that the hunting dog does not say “If this is the track, the animal is over there.”)
  • If a conditional is sound only when both protasis (the sign) and apodosis (the thing signified) are true, and the apodosis is non-apparent, we cannot determine the conditional’s soundness without already knowing what we are trying to learn (ibid. 266–268).

Sextus’ Critique of the Epicureans Specifically

Section titled “Sextus’ Critique of the Epicureans Specifically”

While the Stoics are Sextus’ “arch opponents” (De Lacy, Essay V, p. 223), he also criticizes the Epicureans — not for their method, but for their conclusions. The Epicureans use a method (similarity-based inference confirmed by non-contestation) that Sextus regards as fine for practical purposes, but then extend it to establish a confident account of atoms and void. This is precisely where, for Sextus, they overreach.

Sextus’ specific charge against inductive inference (relevant to the Epicurean position on analogy):

Induction from particulars to universals requires either examining all particulars (impossible, since their number is indefinitely large) or examining only some (insufficient, since unexamined ones might contradict the universal). (Pyrrh. Hyp. II.204; De Lacy, Essay V, p. 227)

This is essentially a version of the Stoic objection that Philodemus addresses at cols. xx.35–xxi.3 (not necessary to examine all cases; sufficient to examine many homogeneous and varied ones). Sextus presses harder: any extrapolation beyond examined cases is unjustified. He compares investigators of the non-evident to “persons aiming at a target in the dark — it is likely that someone will hit it, but there is no way of knowing who it is” (Adv. Math. VIII.325; De Lacy, Essay V, p. 227). In other words, even if the Epicureans happen to be right about atoms and void, they cannot know that they are right.

Sextus’ Alternative: Phenomenalism and the Practical Arts

Section titled “Sextus’ Alternative: Phenomenalism and the Practical Arts”

Rejecting both Stoic rationalism and Epicurean empirical dogmatism, Sextus advocates a practical phenomenalism (De Lacy, Essay V, pp. 228–230):

The arts are legitimate precisely because they do not claim knowledge of the hidden nature of things. They build their teachings from “things repeatedly observed or reported” (Adv. Math. VIII.291); their practitioners make predictions on the basis of admonitive signs — signs grounded purely in observed co-occurrence. Navigation, empirical medicine, even reading and writing — all are legitimate arts operating within the level of appearances.

The crucial limitation: none of these arts “permit the person trained in an art to make universally valid pronouncements about the hidden nature of things” (De Lacy, Essay V, p. 228). They give guidance for practical action; they do not give knowledge of causes or of the nature of things.

De Lacy compares Sextus’ position to positivism (Essay V, pp. 228–230): he combines a negative scepticism about knowledge of what reality fundamentally is with positive empiricism about phenomena. He does not say the adēla are unknowable in a strong deep sense about the nature of reality (unlike the negative Sceptics who assert even this would be dogmatic); he simply follows appearances and suspends judgment about what lies behind them. “The laws” he recognizes are not absolute causal laws but empirical regularities subject to revision.

QuestionStoicsEpicureans (Philodemus)Sceptics (Sextus)
Can non-evident things be known?Yes — by a priori, analytic inference via contrapositionYes — by properly-conducted empirical analogy + non-contestationNo — suspension of judgment; only appearances guide practice
What kind of sign reveals the non-evident?Indicative (endeiktikon): reveals by its own natureParticular (idion): established empirically through inconceivabilityOnly admonitive (hypomnēstikon): reminds of co-observed regularities
What is the status of similarity-based inference?Pithanon only: convincing but fallibleGenuine knowledge when properly conductedUseful practically; not knowledge of hidden things
Is there necessary connection between sign and signified?Yes — analytic and a prioriYes — but empirically establishedNo — only constant conjunction; necessity is not claimed
Role of induction/analogyInsufficient for knowledge; yields at best pithanonPrimary method for knowledge of non-evidentPractically useful; epistemically limited to phenomenal level
Status of atoms, void, godsKnowable via strict inference from conceptsGenuinely known via analogy + non-contestationNot knowable; suspension of judgment
Relationship of formal deduction to experiencePrimary; experience at best confirms formal truthsDerivative; all formal truths grounded in experienceIrrelevant to practical life; practically replaced by admonitive signs
Goal of the theory of signsEstablish a complete science grounded in a priori necessityEstablish empirical knowledge of nature, including physicsPractical guidance without any commitment about the nature of reality

The Deep Difference between Epicureans and Sceptics

Section titled “The Deep Difference between Epicureans and Sceptics”

The Sceptics and Epicureans share important methodological ground: both are empiricists; both reject Stoic a priori necessity as the standard for legitimate inference; both ground their practice in appearances. But they differ on a fundamental question: whether properly-conducted inference from appearances can establish genuine truths about non-apparent things.

For Sextus, the answer is no — not because such truths do not exist, but because we have no way to verify that our inferences have reached them. Any inference that goes beyond observed co-occurrence claims more than experience can certify, and the multiplicity of conflicting philosophical theories about non-evident things proves that no such inference commands rational assent.

For Philodemus, the answer is yes — provided the inference is wide enough (many homogeneous and varied appearances), identifies the right qua-property, is checked against no conflicting appearance, and reaches a conclusion that is the unique explanation consistent with all known phenomena. When these conditions are met, the inference yields knowledge — not merely belief — and the resulting claim carries the same epistemic authority as direct perception.

The Sceptic challenges Philodemus on exactly this: he cannot be certain that his conditions have been met, cannot be certain that no unexamined case conflicts, cannot be certain that his “insofar as” is the right one. Philodemus’ response, implicit throughout the De Signis, is that these challenges apply equally to any claim to knowledge — including the claim that we cannot know the non-evident — and that the Sceptic’s own practical use of admonitive signs already implicitly commits him to more than mere phenomenalism. The practical craftsman who reads smoke as a sign of fire is making an inference that goes beyond the observed case; the question is only how far such inferences can legitimately extend.

The Sceptics’ Asymmetric Relationship to the Two Dogmatic Schools

Section titled “The Sceptics’ Asymmetric Relationship to the Two Dogmatic Schools”

De Lacy observes (Essay V, p. 223) that “though Sextus attacks both Epicureans and Stoics, he considers the Stoics his arch opponents.” This asymmetry is philosophically significant. Sextus’ method is, in its foundations, much closer to the Epicurean than to the Stoic. He accepts:

  • The primacy of appearances as the basis of all legitimate inquiry
  • The illegitimacy of purely a priori inference
  • The practical usefulness of sign-based reasoning grounded in observed regularities
  • The critique of Stoic conceptualism (signs as lekta)

What he rejects is only the Epicurean extension of empirical method to claim genuine knowledge of non-apparent things. In this sense, the De Signis debate, read alongside Sextus, presents a spectrum rather than a binary:

  • Stoics: a priori deduction → necessity → knowledge of the non-apparent (but only by analytic inference)
  • Epicureans: empirical analogy → necessity (via inconceivability) → genuine knowledge of atoms, void, nature (but the necessity is empirically grounded)
  • Sceptics: empirical observation → constant conjunction → practical guidance only (no claim to knowledge of the non-apparent; suspension of judgment)

Philodemus occupies the center of this spectrum — more epistemically ambitious than the Sceptics, but grounding his ambitions in experience rather than a priori reason. The De Signis is, among other things, an argument that this middle position is not merely a compromise but is epistemically superior to both extremes: more faithful to how we actually learn about the world than Stoic rationalism, and more intellectually honest about what properly-conducted empirical inquiry achieves than Sceptical suspension of judgment.


XIII. CONCLUSION: THE WORLD WE EXPERIENCE IS THE ONLY REAL WORLD

Section titled “XIII. CONCLUSION: THE WORLD WE EXPERIENCE IS THE ONLY REAL WORLD”

The Central Epicurean Claim and Why It Matters

Section titled “The Central Epicurean Claim and Why It Matters”

The material gathered in this document — from the criteria of truth in the Kanon to the De Signis debate, from the non-reductionist account of reality to the refutation of determinism — converges on a single proposition of the greatest philosophical importance: the world given to us in experience is not a pale reflection, imperfect copy, or pragmatically useful appearance of some deeper or truer reality behind it. It is the only real world there is.

This is a claim of extraordinary scope. It was held by Epicurus clearly and systematically, defended and elaborated by his school through five centuries of philosophical controversy, and has been recognized as uniquely penetrating by perhaps the sharpest philosophical diagnostician of the Western tradition’s pathologies, Friedrich Nietzsche. Understanding what Epicurus meant, what he was arguing against, and why his arguments succeeded is the task of this final section.


The “True World” Tradition: What Epicurus Opposed

Section titled “The “True World” Tradition: What Epicurus Opposed”

The history of Western philosophy before Epicurus — and for two millennia after him — is in large part the history of what Nietzsche, in Twilight of the Idols (“How the ‘True World’ Finally Became a Fable,” 1888), anatomizes as the doctrine of two worlds: a phenomenal world of ordinary experience, which is somehow deficient, deceptive, or merely apparent, and a “true world” accessible (if at all) only to the right kind of rational, mathematical, or spiritual cognition. Nietzsche traces this doctrine through six historical stages culminating in its final self-destruction. But its roots go back to the thinkers Epicurus explicitly took as his targets.

Pythagoras initiated the tradition that reality is fundamentally mathematical — that the true nature of things is number, proportion, and harmonic relation, accessible to reason rather than sense. The phenomenal world of colours, textures, and experienced qualities was, for the Pythagoreans, the outer garment of a mathematical reality that sense-perception could not directly grasp. This is the first version of the “true world”: a rational-mathematical structure hidden behind the appearances.

Socrates deepened the divide by insisting that genuine knowledge (epistēmē) must be of the eternal, unchanging, and perfectly definable — and that nothing given in sense-experience meets this standard. The crafts, the particular beautiful things we see, the changing events we witness — none of these could be known in the strict sense because they admit of exceptions, change, and imperfection. True knowledge requires a different object: the universal, the definitional, the invariant.

Plato completed the philosophical architecture of this tradition. The Forms — the Form of Beauty itself, the Form of Justice itself, the Form of the Good beyond all being — are the true existents, eternal, unchanging, accessible to philosophical reason. The world of experience is a world of becoming rather than being, of shadows and imperfect copies rather than originals. The prisoners in the cave mistake the shadows on the wall for reality; the philosopher who has ascended to the sunlight of the Good returns to find that his former companions cannot follow him. The phenomenal world is not merely less than the true world; it actively misleads. The senses are unreliable guides; the body is an obstacle to knowledge; only the purified rational intellect, freed from bodily distraction, can achieve genuine understanding.

Aristotle is more moderate — he accepts that knowledge begins with perception and that the sensible world is fully real — but he still maintains a hierarchy of cognitive achievement in which the highest knowledge (nous, the intuitive grasp of first principles) apprehends eternal essences that transcend the particular sensible instances. Substance has form and matter; what is genuinely intelligible is the form, the universal, the essential structure. The accidents — the contingent, variable, individual features that distinguish this particular human from that one — are epistemically secondary, real but not the proper objects of science (epistēmē). And the Prime Mover, pure form without matter, pure actuality without potentiality, is the ultimate object of philosophical contemplation: a “true world” beyond the changing phenomenal one, though Aristotle reaches it by different means than Plato.

Democritus represents a different path to the same conclusion. His atomism is genuinely bottom-up: atoms and void are the only truly real things (etēi), and the colours, sounds, tastes, and textures of experience are merely conventional (nomōi) — constructions placed by the experiencing organism on atomic aggregates that in themselves have none of these properties. The result is a “true world” of a uniquely modern kind: the true world is the colourless, soundless, tasteless world of physics, and the vivid phenomenal world of everyday experience is, in the most literal sense, not real. This is eliminative materialism avant la lettre — and as Sedley has shown, it was precisely because Epicurus recognized the sceptical and deterministic implications of this position that he so forcefully rejected it.

The pattern across all five thinkers is the same: there is a distinction between the world as experienced and the world as it truly is, and genuine knowledge is knowledge of the latter, not the former. The experienced world is variously characterized as shadow, appearance, convention, becoming, or atomic construction — but in every case it is epistemically and ontologically subordinate to the true world that underlies or transcends it.


Nietzsche’s “How the ‘True World’ Finally Became a Fable” in Twilight of the Idols is the sharpest philosophical analysis of this tradition’s internal logic. He traces six stages:

  1. Plato: The true world is attainable — for the wise man, the philosopher who lives in it and is it.
  2. Christianity: The true world is unattainable now, but promised to the virtuous — a reward deferred to the afterlife.
  3. Kant: The true world is unattainable and undemonstrable, but a moral postulate, a regulative ideal — the noumenal world behind the phenomenal.
  4. Positivism: The true world is unknown, unknowable, and therefore useless — but the idea persists as an obligation and a reproach.
  5. The true world is abolished — but since it was posited in opposition to the “apparent world,” that distinction collapses with it.
  6. With the “true world” we have also abolished the apparent world. What remains? The world. Just the world, this world.

Nietzsche’s analysis is devastating precisely because it is internal to the tradition’s own logic. The “true world” began as an achievement of the wise, became progressively more inaccessible, then unknowable, then superfluous, and finally recognized as a self-contradictory fiction. And when it is abolished, the “apparent world” — the only world we ever had — turns out to be the only world there is. The “apparent” world becomes the real world: this world, our world, the world of experience.

Nietzsche makes the dimension relevant to knowledge explicit in the companion section “Reason in Philosophy,” where he identifies the source of the “true world” delusion in the philosophers’ prejudice against change, becoming, and the testimony of the senses. The senses, Nietzsche argues, do not deceive: they report faithfully. The deception comes when reason interposes the categories of being, substance, and unity and transforms the report of the senses into something it was not. “We set up a word at the point where our ignorance begins, where we can see no further — e.g., the word ‘I’, the word ‘do’, the word ‘suffer’: — these are perhaps the horizon of our knowledge, but not ‘truths’.” The philosopher’s demand that reality must be — must be permanent, identical, classifiable — is a moral demand masquerading as a logical one; and it is this demand that generates the “true world” as its shadow.

Heraclitus alone, Nietzsche notes, withstood the prejudice: he was right that the senses do not lie, that the world of becoming is the real world, that the demand for permanence and being is a falsification. But Heraclitus’ insight was immediately overwhelmed by the Eleatics and then by Plato, and philosophy went off down the wrong road for two millennia.


Epicurus: The Philosopher Who Got It Right

Section titled “Epicurus: The Philosopher Who Got It Right”

What is philosophically striking — and what Nietzsche himself recognized, with his warm and frequent appreciation for Epicurus — is that Epicurus, two centuries before Christianity and twenty-two centuries before Nietzsche, had already arrived at the correct position: the world we experience is the only real world, and the senses are its reliable reporters.

Every element of the Epicurean edifice documented in this work converges on this conclusion:

The Criteria of Truth. Epicurus’ Kanon establishes that sensation (aisthēsis), preconception (prolēpsis), and feeling (pathos) are the criteria of truth — the only sources of genuine epistemic authority. Not Platonic recollection, not Aristotelian nous grasping eternal essences, not Stoic rational certainty derived from the logos — but the direct deliverances of perception and feeling. The world is known through what it does to us, not through what reason dictates it must be.

All Sensations Are True. Epicurus’ insistence that all perceptions are true — even those that seem to conflict — is not a naïve failure to recognize illusion. It is the principled refusal to posit a “true” world behind the phenomenal one to which the senses fail to give access. Error arises not in the senses but in the opinions we add to what the senses report. The senses cannot be wrong about what they present; they can only be misinterpreted. This is exactly Nietzsche’s point: the senses do not deceive; it is reason’s imposition of its categories on their deliverances that generates falsehood.

Anti-Reductionism: The Phenomenal World Is Genuinely Real. Sedley’s analysis of Epicurean anti-reductionism shows that Epicurus deliberately rejected the Democritean move of dismissing phenomenal properties as conventional constructions on an atomic substrate that lacks them. Colours, flavours, pleasures, pains, mental states — these are not “merely apparent” or “merely conventional.” They are genuinely real properties of genuinely real phenomenal objects. The “true world” of Democritus — the colourless, feelingless, meaningless world of atoms in void — is not more real than the world we experience; it is the causal basis of that world, which is a different claim. The phenomenal world is real at its own level of description, and no reduction to the atomic level eliminates its reality.

Empirical Inference Reaches the Genuinely Real. The De Signis establishes that properly-conducted analogical inference from phenomenal experience gives genuine knowledge of non-apparent reality — of atoms, void, gods, and the structure of nature. This is not knowledge of a “true world” inaccessible to experience; it is knowledge derived from experience of the structure underlying experience. The analogical method keeps the connection to experience intact at every step: what we infer must be consistent with what we observe, and the validity of the inference is established through the breadth and consistency of the observational base. There is no Platonic flight from the cave to a sunlit realm beyond; there is only a more careful and extended reading of what the cave’s interior already contains.

The Self Is Real and Genuinely Knows. The refutation of mechanistic determinism establishes that the autonomous self — the knowing, reasoning, deliberating subject — is a genuinely real emergent entity whose acts of reasoning carry genuine weight as knowledge. If mechanism were true and all “reasoning” were merely the mechanical output of atomic collisions, there would be no knower capable of genuine epistemic achievements. The anti-reductionist account of the self is thus the precondition in the nature of reality for the entire project of establishing how knowledge works. Knowledge is possible because the knower is real.


The force of the Epicurean position lies not only in its internal coherence but in how completely it anticipates and forecloses the standard moves of the “true world” tradition over the following two millennia. Each of the major post-Epicurean positions in the idealist and sceptical traditions runs directly into objections that Epicurus either explicitly stated or that follow immediately from his principles.

Against Platonic Forms and all claims to knowledge of an eternal intelligible world: The only things that exist are bodies, void, and their properties. There are no separate eternal Platonic entities; the concept of a “Form” that is more real than any perceptible instantiation of it violates the fundamental Epicurean principle that per se existents are bodies and void, and that all other things are properties of these. A Form that exists nowhere in space, has no properties detectable by the senses, and is accessible only to purified rational intellect is, by Epicurean standards, an empty word — and empty words are not knowledge.

Against Cartesian mind-body dualism and the veil of ideas: The Epicurean empiricist is committed to direct realism about perception: the senses give us the phenomenal world directly, not mediately through private mental representations that may or may not correspond to an external reality. There is no “veil of ideas” between the perceiver and the world, because the perceiver is part of the world — a complex emergent entity constituted by atoms but genuinely real at the phenomenal level. The Cartesian sceptical challenge (“how do I know my perceptions correspond to reality?”) does not arise within the Epicurean framework, because there is no gap between the phenomenal world and the “real” world for it to exploit.

Against Kantian noumena and the thing-in-itself: Kant’s insistence that there is a “thing in itself” behind the phenomenal world — real but forever unknowable, beyond the reach of any possible experience — is precisely the “true world” move that Epicurus rejects at its source. For Epicurus, what exists is what can, in principle, make a difference to experience: bodies whose causal effects on other bodies (including perceivers) are detectable either directly or by analogical inference. A “thing in itself” that makes no causal difference to any possible experience is, for the Epicurean, nothing at all — or at most an empty name for our ignorance.

Against Berkeleyan idealism (“to be is to be perceived”): For Berkeley, the phenomenal world is all there is — but it is constituted by minds and their ideas rather than by mind-independent physical objects. For Epicurus, the phenomenal world is all there is — but it is constituted by genuinely mind-independent physical bodies and their properties. Berkeley’s move to dissolve the external world into mental contents is, from the Epicurean standpoint, a solution to a non-problem: it inherits the Cartesian framing in which we are trapped behind a veil of perception and uses idealism to collapse the distance — but the distance should never have been posited in the first place. The Epicurean realist has no need of Berkeley’s radical solution because he never accepted the sceptical problem it is designed to solve.

Against Hegelian Absolute Idealism: Hegel’s “Absolute” — the self-knowing Idea that reveals itself through the dialectical unfolding of nature and history — is, in Nietzschean and Epicurean terms, simply the Platonic Form of the Good in dynamic dress. The claim that ordinary phenomenal reality is a manifestation of a deeper rational-spiritual structure that transcends it in every instance is the “true world” doctrine at its most ambitious and most obscure. Epicurus’ response is direct: the only things that exist are bodies, void, and their properties; every other entity is either reducible to these or it is a word without a referent.

Against modern scientific eliminativism and the “disenchanted world”: The claim that the “real” world is the world of physics and that phenomenal properties like colours, consciousness, and value are mere epiphenomena or eliminable fictions is simply Democritean reductionism in modern dress — and Epicurus has already refuted it. The genuinely radical insight of Epicurean anti-reductionism is that atomism (or any physical theory) gives us the causal story without giving us the whole story. That physical processes cause phenomenal properties does not mean physical processes are those properties or that those properties are unreal. The eliminativist has confused causal explanation with the claim that higher-level things are nothing but their lower-level causes.


Nietzsche’s appreciation for Epicurus is not incidental. He returns to Epicurus repeatedly across his works — in The Gay Science, Beyond Good and Evil, Twilight of the Idols, the Nachlass — and consistently treats him as the one ancient philosopher who came closest to the correct therapeutic orientation — acceptance of this world, this life, these senses — and the correct understanding of knowledge:: acceptance of this world, this life, these senses; refusal of otherworldly consolations and of the demand that reality be other than it appears.

In the sixth stage of “How the ‘True World’ Finally Became a Fable,” Nietzsche writes: “The true world — we have abolished it: what world has remained? The apparent world perhaps? But no! With the true world we have also abolished the apparent world!” This is the Epicurean point formulated with Nietzschean precision. Once you give up the “true world” — once you recognize that there is no Platonic realm of Forms, no noumenal substrate, no atomic level that is more real than the phenomenal level — the phenomenal world is no longer “apparent.” It is just: the world.

This is where Epicurus stands, and where — two millennia early — he planted his flag. His Kanon is not a theory of how we access the “apparent” world given that the “true” world is beyond us. It is a theory of how we access the world — the only one there is — through the reliable faculties of sensation, preconception, and feeling, extended by analogical inference to the unobserved but causally efficacious structure that underlies and explains what we experience directly.

The phenomenal world is not the shadow of the true world. It is the true world. And Epicurus knew this, argued for it, and built an entire philosophical system on it — a system in which knowledge is possible, the senses are trustworthy, the self is real, and the unobserved structure of nature is genuinely knowable through properly-conducted empirical inference. The debates documented in Philodemus’ De Signis, the account of reality that underlies Epicurean anti-reductionism, the refutation of mechanistic determinism — all of these are facets of this single, coherent, and deeply correct philosophical vision.

That Nietzsche reached the same vision by destroying two thousand years of accumulated philosophical misdirection, while Epicurus held it clearly from the start, is perhaps the most powerful testimony to the originality and philosophical penetration of Classical Epicurean thought.