|Charles Sanders Peirce|
On May 14, 1867, the 27-year-old Charles Sanders Peirce, who eventually founded Pragmatism, presented a paper entitled "On a New List of Categories" to the American Academy of Arts and Sciences. Among other things, this paper outlined a theory of predication involving three universal categories that Peirce continued to apply in philosophy and elsewhere for the rest of his life. In the categories one will discern, concentrated, the pattern which one finds formed by the three grades of clearness in "How to Make Our Ideas Clear" (1878 foundational paper for pragmatism), and in numerous other three-way distinctions in his work.
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.
|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.)
- Brent, Joseph (1998), Charles Sanders Peirce: A Life, 2nd edition, Bloomington and Indianapolis: Indiana University Press (catalog page); also NetLibrary.
- Burch, Robert (2001, 2010), "Charles Sanders Peirce", Stanford Encyclopedia of Philosophy. See §9 "Triadism and the Universal Categories".
- p. 522, "Prolegomena to an Apology for Pragmaticism", The Monist, vol. XVI, no. 4, Oct. 1906, pp. 492–546, reprinted in the Collected Papers vol 4, paragraphs 530–572, see paragraph 549
- Such "intentions" are more like intensions than like aims or purposings.
- See "The Logic of Relatives," The Monist, Vol. 7, 1897, pp. 161-217, see p. 183 (via Google Books with registration apparently not required). Reprinted in the Collected Papers, vol. 3, paragraphs 456-552, see paragraph 483.
- * Burch, Robert (1991), A Peircean Reduction Thesis: The Foundations of Topological Logic, Texas Tech University Press, Lubbock, TX
- Anellis, Irving (1993) "Review of A Peircean Reduction Thesis: The Foundations of Topological Logic by Robert Burch" in Modern Logic v. 3, n. 4, 401-406, Project Euclid Open Access PDF 697 KB. Criticism and some suggestions for improvements.
- Anellis, Irving (1997), "Tarski's Development of Peirce's Logic of Relations" (Google Book Search Eprint) in Houser, Nathan, Roberts, Don D., and Van Evra, James (eds., 1997), Studies in the Logic of Charles Sanders Peirce. Anellis gives an account of a Reduction Thesis proof discussed and presented by Peirce in his letter to William James of August 1905 (L224, 40-76, printed in Peirce, C. S. and Eisele, Carolyn, ed. (1976), The New Elements of Mathematics by Charles S. Peirce, v. 3, 809-835).
- Hereth Correia, Joachim and Pöschel, Reinhard (2006), "The Teridentity and Peircean Algebraic Logic" in Conceptual Structures: Inspiration and Application (ICCS 2006): 229-246, Springer. Frithjof Dau calls it "the strong version" of proof of Peirce's Reduction Thesis. John F. Sowa in the same discussion claimed that an explanation in terms of conceptual graphs is sufficiently convincing about the Reduction Thesis for those without the time to understand what Peirce was saying.
- In 1954 W.V.O Quine claimed to prove the reducibility of larger predicates to dyadic predicates, in Quine, W.V.O., "Reduction to a dyadic predicate", Selected Logic Papers.
- For references and discussion, see Burgess, Paul (circa 1988) "Why Triadic?: Challenges to the Structure of Peirce's Semiotic"; posted by Joseph M. Ransdell at Arisbe.
- "Minute Logic", CP 2.87, c.1902 and A Letter to Lady Welby, CP 8.329, 1904. See relevant quotes under "Categories, Cenopythagorean Categories" in Commens Dictionary of Peirce's Terms (CDPT), Bergman & Paalova, eds., U. of Helsinki.
- See quotes under "Firstness, First [as a category]" in CDPT.
- The ground blackness is the pure abstraction of the quality black. Something black is something embodying blackness, pointing us back to the abstraction. The quality black amounts to reference to its own pure abstraction, the ground blackness. The question is not merely of noun (the ground) versus adjective (the quality), but rather of whether we are considering the black(ness) as abstracted away from application to an object, or instead as so applied (for instance to a stove). Yet note that Peirce's distinction here is not that between a property-general and a property-individual (a trope). See "On a New List of Categories" (1867), in the section appearing in CP 1.551. Regarding the ground, cf. the Scholastic conception of a relation's foundation, Google limited preview Deely 1982, p. 61
- A quale in this sense is a such, just as a quality is a suchness. Cf. under "Use of Letters" in §3 of Peirce's "Description of a Notation for the Logic of Relatives", Memoirs of the American Academy, v. 9, pp. 317–78 (1870), separately reprinted (1870), from which see p. 6 via Google books, also reprinted in CP 3.63:
Now logical terms are of three grand classes. The first embraces those whose logical form involves only the conception of quality, and which therefore represent a thing simply as “a —.” These discriminate objects in the most rudimentary way, which does not involve any consciousness of discrimination. They regard an object as it is in itself as such (quale); for example, as horse, tree, or man. These are absolute terms. (Peirce, 1870. But also see "Quale-Consciousness", 1898, in CP 6.222–37.)
- See quotes under "Secondness, Second [as a category]" in CDPT.
- See quotes under "Thirdness, Third [as a category]" in CDPT.
- Peirce, C.S. (1867), "On a New List of Categories", Proceedings of the American Academy of Arts and Sciences 7 (1868), 287–298. Presented, 14 May 1867. Reprinted (Collected Papers, vol. 1, paragraphs 545–559), (The Essential Peirce, vol. 1, pp. 1–10), (Chronological Edition, vol. 2, pp. 49–59), Eprint.
- Peirce, C.S. (1885), "One, Two, Three: Fundamental Categories of Thought and of Nature", Manuscript 901; the Collected Papers, vol. 1, paragraphs 369-372 and 376-378 parts; the Chronological Edition, vol. 5, 242-247
- Peirce, C.S. (1887–1888), "A Guess At the Riddle", Manuscript 909; The Essential Peirce, vol. 1, pp. 245–279; Eprint
- Peirce, C.S. (1888), "Trichotomic", The Essential Peirce, vol. 1, p. 180.
- Peirce, C.S. (1893), "The Categories", Manuscript 403 PDF (177 KiB) An incomplete rewrite by Peirce of his 1867 paper "On a New List of Categories." Interleaved by Joseph Ransdell (ed.) with the 1867 paper itself for purposes of comparison.
- Peirce, C.S., (c. 1896), "The Logic of Mathematics; An Attempt to Develop My Categories from Within", the Collected Papers, vol. 1, paragraphs 417–519. Eprint
- Peirce, C.S., "Phenomenology" (editors' title for collection of articles), The Collected Papers, vol. 1, paragraphs 284-572 Eprint
- Peirce, C.S. (1903), "The Categories Defended", the third Harvard Lecture: The Harvard Lectures pp. 167–188; the Essential Peirce, vol. 1, pp. 160–178; and partly in the Collected Papers, vol. 5, paragraphs 66-81 and 88-92.
- Arisbe: The Peirce Gateway, Joseph Ransdell, ed. Over 100 online writings by Peirce as of 11/24/10, with annotations. 100s of online papers on Peirce. The peirce-l e-forum. Much else.
- Center for Applied Semiotics (CAS) (1998–2003), Donald Cunningham & Jean Umiker-Sebeok, Indiana U.
- Centro de Estudos Peirceanos (CeneP) and Centro Internacional de Estudos Peirceanos (CIEP), Lucia Santaella et al., Pontifical Catholic U. of São Paulo (PUC-SP), Brazil. In Portuguese, some English.
- Centro Studi Peirce, Carlo Sini, Rossella Fabbrichesi, et al., U. of Milan, Italy. In Italian and English. Part of Pragma.
- Charles S. Peirce Foundation. Co-sponsoring the 2014 Peirce International Centennial Congress (100th anniversary of Peirce's death).
- Charles S. Peirce Society
—Transactions of the Charles S. Peirce Society. Quarterly journal of Peirce studies since spring 1965. Table of Contents of all issues.
- Charles S. Peirce Studies, Brian Kariger, ed.
- Categories (Peirce) at the Mathematics Genealogy Project
- Collegium for the Advanced Study of Picture Act and Embodiment: The Peirce Archive. Humboldt U, Berlin, Germany. Cataloguing Peirce's innumerable drawings & graphic materials. More info (Prof. Aud Sissel Hoel).
- Digital Encyclopedia of Charles S. Peirce, João Queiroz (now at UFJF) & Ricardo Gudwin (at Unicamp), eds., U. of Campinas, Brazil, in English. 84 authors listed, 51 papers online & more listed, as of 1/31/09.
- Existential Graphs, Jay Zeman, ed., U. of Florida. Has 4 Peirce texts.
- Grupo de Estudios Peirceanos (GEP) / Peirce Studies Group, Jaime Nubiola, ed., U. of Navarra, Spain. Big study site, Peirce & others in Spanish & English, bibliography, more.
- Helsinki Peirce Research Center (HPRC), Ahti-Veikko Pietarinen et al., U. of Helsinki, with Commens: Virtual Centre for Peirce Studies, Mats Bergman & Sami Paavola, eds. 23 papers by 11 authors as of 11/24/10.
—Commens Dictionary of Peirce's Terms (CDPT): Peirce's own definitions, often many per term across the decades.
- His Glassy Essence. Autobiographical Peirce. Kenneth Laine Ketner.
- Institute for Studies in Pragmaticism, Kenneth Laine Ketner, Clyde Hendrick, et al., Texas Tech U. Peirce's life and works.
- International Research Group on Abductive Inference, Uwe Wirth et al., eds., Goethe U., Frankfurt, Germany. Uses frames. Click on link at bottom of its home page for English. Moved to U. of Gießen, Germany, home page not in English but see Artikel section there.
- L'I.R.S.C.E. (1974–2003)—Institut de Recherche en Sémiotique, Communication et Éducation, Gérard Deledalle, Joëlle Réthoré, U. of Perpignan, France.
- Minute Semeiotic, Vinicius Romanini, U. of São Paulo, Brazil. English, Portuguese.
- Peirce at Signo: Theoretical Semiotics on the Web, Louis Hébert, director, supported by U. of Québec. Theory, application, exercises of Peirce's Semiotics and Esthetics. English, French.
- Peirce Edition Project (PEP), Indiana U.-Purdue U. Indianapolis (IUPUI). André De Tienne, Nathan Houser, et al. Editors of the Writings of Charles S. Peirce (W) and The Essential Peirce (EP) v. 2. Many study aids such as the Robin Catalog of Peirce's manuscripts & letters and:
—Biographical introductions to EP 1–2 and W 1–6 & 8
—Most of W 2 readable online.
—PEP's branch at Université du Québec à Montréal (UQÀM). Working on W 7: Peirce's work on the Century Dictionary. Definition of the week.
- Peirce's Existential Graphs, Frithjof Dau, Germany
- Peirce's Theory of Semiosis: Toward a Logic of Mutual Affection, Joseph Esposito. Free online course.
- Pragmatism Cybrary, David Hildebrand & John Shook.
- Research Group on Semiotic Epistemology and Mathematics Education (late 1990s), Institut für Didaktik der Mathematik (Michael Hoffman, Michael Otte, Universität Bielefeld, Germany). See Peirce Project Newsletter v. 3, n. 1, p. 13.
- Semiotics according to Robert Marty, with 76 definitions of the sign by C. S. Peirce.