Categories (Peirce) - The Categories

The Categories

In Aristotle's logic, categories are adjuncts to reasoning that are designed to resolve equivocations, ambiguities that make expressions or signs recalcitrant to being ruled by logic. Categories help the reasoner to render signs ready for the application of logical laws. An equivocation is a variation in meaning — a manifold of sign senses — such that, as Aristotle put it about names in the opening of Categories (1.1a1–12), "Things are said to be named ‘equivocally’ when, though they have a common name, the definition corresponding with the name differs for each". So Peirce's claim that three categories are sufficient amounts to an assertion that all manifolds of meaning can be unified in just three steps.

The following passage is critical to the understanding of Peirce's Categories:

I will now say a few words about what you have called Categories, but for which I prefer the designation Predicaments, and which you have explained as predicates of predicates.

That wonderful operation of hypostatic abstraction by which we seem to create entia rationis that are, nevertheless, sometimes real, furnishes us the means of turning predicates from being signs that we think or think through, into being subjects thought of. We thus think of the thought-sign itself, making it the object of another thought-sign.

Thereupon, we can repeat the operation of hypostatic abstraction, and from these second intentions derive third intentions. Does this series proceed endlessly? I think not. What then are the characters of its different members?

My thoughts on this subject are not yet harvested. I will only say that the subject concerns Logic, but that the divisions so obtained must not be confounded with the different Modes of Being: Actuality, Possibility, Destiny (or Freedom from Destiny).

On the contrary, the succession of Predicates of Predicates is different in the different Modes of Being. Meantime, it will be proper that in our system of diagrammatization we should provide for the division, whenever needed, of each of our three Universes of modes of reality into Realms for the different Predicaments. (Peirce 1906).

The first thing to extract from this passage is the fact that Peirce's Categories, or "Predicaments", are predicates of predicates. Meaningful predicates have both extension and intension, so predicates of predicates get their meanings from at least two sources of information, namely, the classes of relations and the qualities of qualities to which they refer. Considerations like these tend to generate hierarchies of subject matters, extending through what is traditionally called the logic of second intentions, or what is handled very roughly by second order logic in contemporary parlance, and continuing onward through higher intensions, or higher order logic and type theory.

Peirce arrived at his own system of three categories after a thoroughgoing study of his predecessors, with special reference to the categories of Aristotle, Kant, and Hegel. The names that he used for his own categories varied with context and occasion, but ranged from reasonably intuitive terms like quality, reaction, and representation to maximally abstract terms like firstness, secondness, and thirdness, respectively. Taken in full generality, nth-ness can be understood as referring to those properties that all n-adic relations have in common. Peirce's distinctive claim is that a type hierarchy of three levels is generative of all that we need in logic.

Part of the justification for Peirce's claim that three categories are both necessary and sufficient appears to arise from mathematical ideas about the reducibility of n-adic relations. According to Peirce's Reduction Thesis, (a) triads are necessary because genuinely triadic relations cannot be completely analyzed in terms or monadic and dyadic predicates, and (b) triads are sufficient because there are no genuinely tetradic or larger polyadic relations—all higher-arity n-adic relations can be analyzed in terms of triadic and lower-arity relations. Others, notably Robert Burch (1991) and Joachim Hereth Correia and Reinhard Pöschel (2006), have offered proofs of the Reduction Thesis.

There have been proposals by Donald Mertz, Herbert Schneider, Carl Hausman, and Carl Vaught to augment Peirce's threefolds to fourfolds; and one by Douglas Greenlee to reduce them to twofolds.

Peirce introduces his Categories and their theory in "On a New List of Categories" (1867), a work which is cast as a Kantian deduction and is short but dense and difficult to summarize. The following table is compiled from that and later works.

Peirce's Categories (technical name: the cenopythagorean categories)
Name: Typical characterizaton: As universe of experience: As quantity: Technical definition: Valence, "adicity":
Firstness. Quality of feeling. Ideas, chance, possibility. Vagueness, "some". Reference to a ground (a ground is a pure abstraction of a quality). Essentially monadic (the quale, in the sense of the such, which has the quality).
Secondness. Reaction, resistance, (dyadic) relation. Brute facts, actuality. Singularity, discreteness, “this”. Reference to a correlate (by its relate). Essentially dyadic (the relate and the correlate).
Thirdness. Representation, mediation. Habits, laws, necessity. Generality, continuity, "all". Reference to an interpretant*. Essentially triadic (sign, object, interpretant*).

*Note: An interpretant is an interpretation (human or otherwise) in the sense of the product of an interpretive process. (The context for interpretants is not psychology or sociology, but instead philosophical logic. In a sense, an interpretant is whatever can be understood as a conclusion of an inference. The context for the categories as categories is phenomenology, which Peirce also called phaneroscopy and categorics.)

Read more about this topic:  Categories (Peirce)

Other articles related to "categories, the categories":

Afro-Brazilian
... In Brazil, the term "preto" (black) is one of the five categories used by the Brazilian Census, along with "branco" (White), "pardo" (Multiracial, brown), "amarelo" (yellow, East Asian) and "indígena" (Ame ... of socioeconomic indicators, have been considering the categories "preto" and "pardo" together, as a single category called "negro" (Black, capital initial), since the indicators of living conditions ... In the July 1998 PME, the categories "Afro-Brasileiro" (Afro-Brazilian) and "Africano Brasileiro" (African Brazilian) weren't used even once the category "Africano ...
South Asian Association For Regional Cooperation - SAARC Visa Exemption Scheme
... to people contacts, among the peoples of SARC countries, decided that certain categories of dignitaries should be entitled to a Special Travel document ... kept under review the list of entitled categories ... Currently the list included 24 categories of entitled persons, which include Dignitaries, Judges of higher courts, Parliamentarians, Senior Officials, Businessmen ...
Conservation Status - Consumer Guides
... Watch, generally divide fish and other sea creatures into three categories, analogous to conservation status categories Red ("say no" or "avoid") Yellow or orange ("think twice", "good alternatives" or ... The categories do not simply reflect the imperilment of individual species, but also consider the environmental impacts of how and where they are fished, such as through bycatch or ocean bottom trawlers ...

Famous quotes containing the word categories:

    Kitsch ... is one of the major categories of the modern object. Knick-knacks, rustic odds-and-ends, souvenirs, lampshades, and African masks: the kitsch-object is collectively this whole plethora of “trashy,” sham or faked objects, this whole museum of junk which proliferates everywhere.... Kitsch is the equivalent to the “cliché” in discourse.
    Jean Baudrillard (b. 1929)

    The analogy between the mind and a computer fails for many reasons. The brain is constructed by principles that assure diversity and degeneracy. Unlike a computer, it has no replicative memory. It is historical and value driven. It forms categories by internal criteria and by constraints acting at many scales, not by means of a syntactically constructed program. The world with which the brain interacts is not unequivocally made up of classical categories.
    Gerald M. Edelman (b. 1928)