Charles Sanders Peirce proposed three universal categories that he claimed exhaustively classify the modes in which anything can be present to the mind. He called them Firstness, Secondness, and Thirdness — or sometimes the cenopythagorean categories. They are not categories of things but of ways of being: any phenomenon, when analyzed, exhibits one or more of these modes.
Peirce developed the categories across his career, beginning with “On a New List of Categories” (1867) and refining them through his later phenomenology (which he called phaneroscopy — the study of what is present to the mind in any way). The categories are not derived empirically but from the analysis of experience itself: what must be the case for anything to appear at all.
Firstness
Firstness is the mode of being of that which is as it is, independently of anything else. It is quality, feeling, possibility — the sheer “suchness” of a thing prior to any comparison, reaction, or interpretation.
A color as experienced — redness, not “the red of this apple” but redness as a quality — is a First. A feeling of vague unease before any cause is identified is a First. A possibility that has not yet been actualized is a First. Firstness is monadic: it involves one thing considered in itself, without reference to anything outside it.
Firstness is the most elusive category to describe because description introduces relations (Secondness) and generalization (Thirdness). To describe redness, you must relate it to something red, which is already to leave pure Firstness. Peirce acknowledged this: Firstness is the category that can be experienced but not articulated without introducing the other categories.
Secondness
Secondness is the mode of being of that which is as it is with respect to something else. It is reaction, resistance, brute fact — the encounter between two things that each constrains the other.
A door that resists being pushed is a Second: there is the effort and the resistance, and neither makes sense without the other. A sensation of hitting a wall is a Second. Existence itself is Secondness: to exist is to be located in space and time, in relation to other existing things. Where Firstness is quality, Secondness is actuality — the “thereness” of something that pushes back.
Secondness is dyadic: it involves exactly two things in a relation of mutual constraint. Cause and effect (as brute causation, not as lawful regularity) is a Second. The relationship between a sign and its object in the case of an index is paradigmatically Second: smoke is connected to fire by an actual causal relation.
Thirdness
Thirdness is the mode of being of that which is as it is in bringing a Second into relation with a First. It is mediation, law, habit, representation — the element that makes a relation intelligible rather than merely actual.
A law of nature is a Third: it mediates between possibilities (Firsts) and actualities (Seconds) by governing how possibilities are realized. A sign in Peirce’s full sense is a Third: it mediates between its object (a Second) and its interpretant (another sign, hence another Third) by representing the object to the interpreter. A habit is a Third: it mediates between stimulus and response by establishing a regular pattern.
Thirdness is triadic and irreducible. This irreducibility is the core of Peirce’s Reduction Thesis: triadic relations cannot be decomposed into combinations of dyadic relations without losing what makes them triadic. A sign that mediates between object and interpretant is not a pair of dyadic relations (sign-to-object plus sign-to-interpretant) but a single three-place relation in which the three terms are mutually constitutive.
Why three and only three
Peirce argued that these three categories are exhaustive — there is no Fourthness, Fifthness, etc. His argument has both a phenomenological and a logical component.
The phenomenological argument: examination of any phenomenon reveals quality (First), reaction (Second), and mediation (Third), and nothing that cannot be analyzed into these three modes. Peirce challenged his readers to produce a genuine Fourth category and maintained that no one had.
The logical argument: Peirce proved in his logic of relatives that all relations of adicity four or higher can be constructed from combinations of triadic and lower relations. Triadic relations cannot be so reduced (the Reduction Thesis). The categories therefore correspond to the three irreducible logical adicities: monadic, dyadic, and triadic. This formal result has been developed and verified by later logicians, including Robert Burch (1991) and Joachim Hereth Correia and Reinhard Pöschel (2006).
The categories and sign classification
The categories structure Peirce’s entire classification of signs. Each of his three trichotomies classifies signs according to the category that predominates in a given aspect of the sign relation:
By the representamen itself (what kind of being does the sign vehicle have?):
- Qualisign (Firstness) — a quality serving as a sign. A particular shade of color used to signal something.
- Sinsign (Secondness) — an actual, singular event or thing serving as a sign. A specific weathervane pointing east.
- Legisign (Thirdness) — a law or convention serving as a sign. The word “the” as a type, not any particular utterance of it.
By the relation to the object (how is the sign connected to what it represents?):
- Icon (Firstness) — the sign shares a quality with its object. A portrait, a diagram, an onomatopoeia.
- Index (Secondness) — the sign is connected to its object by a real relation. Smoke, a pointing finger, a pronoun.
- Symbol (Thirdness) — the sign is connected to its object by convention, habit, or rule. Most words, mathematical notation, traffic signs.
By the relation to the interpretant (what kind of meaning does the sign produce?):
- Rheme (Firstness) — the sign is interpreted as representing a possible quality. A predicate term like “is red.”
- Dicisign (Secondness) — the sign is interpreted as representing an actual fact. A proposition like “the apple is red.”
- Argument (Thirdness) — the sign is interpreted as representing a law or rule of inference. A syllogism, a proof, an explanation.
The three trichotomies combine subject to logical constraints (a sign cannot have a higher category in the representamen dimension than in the object dimension, or in the object dimension than in the interpretant dimension) to yield ten valid sign types. This classification is not a taxonomy imposed on signs from outside but a consequence of the three categories applied to the three aspects of the sign relation.
The categories and semiosis
Semiosis — the process by which signs produce interpretants — is itself the generation of Thirdness. When a representamen (a potential quality, or First) encounters an object (an existent thing, or Second) and produces an interpretant (a mediating relation, or Third), that is semiosis. The interpretant, being itself a sign, enters into further semiotic relations — producing the open-ended character of interpretation that Peirce called unlimited semiosis.
The three modes of inference correspond to the categories:
- Deduction (Thirdness of Thirdness) — reasoning from law to conclusion. Given a rule and a case, deduce the result.
- Induction (Secondness of Thirdness) — reasoning from cases to law. Observe cases and generalize.
- Abduction (Firstness of Thirdness) — reasoning from result to possible explanation. Observe a surprising fact and generate a hypothesis. Abduction is the creative, conjectural moment in semiosis — the production of a new interpretant that was not already given.
Related terms
- sign — the triadic relation that is paradigmatically Third
- interpretant — the meaning produced by a sign; the locus of Thirdness in the sign relation
- semiosis — the generation of Thirdness through sign-mediated interpretation
- icon / index / symbol — the second trichotomy, classifying signs by categorical predominance in the object-relation
- abduction — the mode of inference that corresponds to Firstness of Thirdness
- Charles Sanders Peirce — biographical entry
- Peircean Semiotics — the school founded on Peirce’s categorical system