Charles Sanders Peirce

Charles Sanders Peirce (/pɜːrs/[1][2] PURSS; September 10, 1839 – April 19, 1914) was an American philosopher, logician, mathematician, and scientist. He is sometimes known as "the father of pragmatism". He was known for his works in logic, mathematics, philosophy, scientific methodology, and semiotics. Peirce was born in Cambridge, Massachusetts.
Peirce died on April 19, 1914 in Milford, Pennsylvania at the age of 74.
Mathematics
[change | change source]Peirce's most important work in pure mathematics was in logical and foundational areas. He also worked on linear algebra, matrices, various geometries, topology and Listing numbers, Bell numbers, graphs, the four-color problem, and continuity.
He worked on applied mathematics in economics, engineering, and map projections, and was especially active in probability and statistics.[3]
- Discoveries
symbol for "(neither) ... nor ...", also called the Quine dagger
Peirce made a number of important discoveries in formal logic and foundational mathematics. Most of these discoveries were only appreciated long after he died:
In 1860,[4] he suggested a cardinal arithmetic for infinite numbers, years before any work by Georg Cantor (who completed his dissertation in 1867) and without access to Bernard Bolzano's 1851 (posthumous) Paradoxien des Unendlichen.
In 1880–1881,[5] he showed how Boolean algebra could be done via a repeated sufficient single binary operation (logical NOR). Which would be independently discovered by Henry M. Sheffer 33 years laters. (See also De Morgan's Laws.)
In 1881,[6] he worked on the axiomatization of natural number arithmetic, a few years before Richard Dedekind and Giuseppe Peano. In the same paper Peirce gave the first purely cardinal definition of a finite set, years before Dedekind. This definition is now called"Dedekind-finite". Amd also gave a formal definition of an infinite set (Dedekind-infinite), as a set(group of items) that can be put into a one-to-one correspondence(matched one to one for each item in both sets) with one of its proper subsets.
In 1885,[7] he differentiated between first-order and second-order quantification.[8][a] In the same paper he set out what can be read as the first (primitive) axiomatic set theory, anticipating Zermelo by about two decades (Brady 2000,[9] pp. 132–133).

In 1886, he saw that Boolean calculations could be carried out via electrical switches. [10] 50 years before Claude Shannon. By the later 1890s[11] he made existential graphs, a diagrammatic notation for the predicate calculus. Based on them are John F. Sowa's conceptual graphs and Sun-Joo Shin's diagrammatic reasoning.
- The New Elements of Mathematics
Peirce wrote drafts for an introductory textbook, with the working title The New Elements of Mathematics, that presented mathematics from an original standpoint. Those drafts and many other of his previously unpublished mathematical manuscripts finally appeared[3] in The New Elements of Mathematics by Charles S. Peirce (1976), edited by mathematician Carolyn Eisele.
- Nature of mathematics
Peirce agreed with Auguste Comte in regarding mathematics as more basic than philosophy and the special sciences (of nature and mind). Peirce classified mathematics into three subareas: (1) mathematics of logic, (2) discrete series, and (3) pseudo-continua (as he called them, including the real numbers) and continua. Influenced by his father Benjamin, Peirce argued that mathematics studies purely hypothetical objects and is not just the science of quantity but is more broadly the science which draws certain conclusions; that mathematics aids logic, not vice versa; and that logic itself is part of philosophy and is the science of drawing conclusions, certain and otherwise.[12]
Mathematics of logic
[change | change source]- "On an Improvement in Boole's Calculus of Logic" (1867)
- "Description of a Notation for the Logic of Relatives" (1870)
- "On the Algebra of Logic" (1880)
- "A Boolian [sic] Algebra with One Constant" (1880 MS)
- "On the Logic of Number" (1881)
- "Note B: The Logic of Relatives" (1883)
- "On the Algebra of Logic: A Contribution to the Philosophy of Notation" (1884/1885)
- "The Logic of Relatives" (1897)
- "The Simplest Mathematics" (1902 MS)
- "Prolegomena to an Apology for Pragmaticism" (1906, on existential graphs)
Probability and statistics
[change | change source]Peirce held that science gives statistical probabilities, not certainties, and that spontaneity ("absolute chance") is real (see Tychism on his view). Most of his statistical writings promote the frequency interpretation of probability (objective ratios of cases). Many of his writings doubt (and criticize the use of) probability when such models are not based on objective randomization.[b] Though Peirce was largely a frequentist, his possible world semantics introduced the "propensity" theory of probability before Karl Popper.[13][14] Peirce (sometimes with Joseph Jastrow) looked into the probability judgments of experimental subjects, "perhaps the very first" estimate of subjective probabilities in experimental psychology and (what came to be called) Bayesian statistics.[15]
Peirce came up with modern statistics in "Illustrations of the Logic of Science" (1877–1878) and "A Theory of Probable Inference" (1883). With a repeated measures design, Charles Sanders Peirce and Joseph Jastrow introduced blinded, controlled randomized experiments in 1884[16] (Hacking 1990:205)[17] (before Ronald A. Fisher).[15] He invented optimal design for experiments on gravity, in which he "corrected the means". He used correlation and smoothing. Peirce extended the work on outliers by Benjamin Peirce, his father. [15] He introduced the terms "confidence" and "likelihood" (before Jerzy Neyman and Fisher). (See Stephen Stigler's historical books and Ian Hacking 1990. [17])
Notes
[change | change source]- ↑ It was in Peirce's 1885 "On the Algebra of Logic". See Byrnes, John (1998), "Peirce's First-Order Logic of 1885", Transactions of the Charles S. Peirce Society v. 34, n. 4, pp. 949–976.
- ↑ Peirce condemned the use of "certain likelihoods" (The Essential Peirce, 2:108–109) even more strongly than he criticized Bayesian methods. Peirce used Bayesian inference in criticizing parapsychology (Writings of Charles S. Peirce, 6:76).
References
[change | change source]- ↑ "Peirce", in the case of C. S. Peirce, always rhymes with the English-language word "terse" and so, in most dialects, is pronounced exactly like the English-language word "
purse (help·info)".
- ↑ "Note on the Pronunciation of 'Peirce'". Peirce Project Newsletter. Vol. 1, no. 3–4. December 1994. Archived from the original on 2016-03-03. Retrieved 2020-07-22.
- ↑ 3.0 3.1 Burks, Arthur W., "Review: Charles S. Peirce, The new elements of mathematics", Bulletin of the American Mathematical Society v. 84, n. 5 (1978), pp. 913–918 (PDF).
- ↑ Peirce (1860 MS), "Orders of Infinity", News from the Peirce Edition Project, September 2010 Archived 2013-03-29 at the Wayback Machine (PDF), p. 6, with the manuscript's text. Also see logic historian Irving Anellis's November 11, 2010 comment Archived April 23, 2017, at the Wayback Machine at peirce-l.
- ↑ Peirce (MS, winter of 1880–1881), "A Boolian Algebra with One Constant", Collected Papers of Charles Sanders Peirce, 4.12–20, Writings of Charles S. Peirce, 4:218–221. Google Preview. See Roberts, Don D. (1973), The Existential Graphs of Charles S. Peirce, p. 131.
- ↑ Peirce (1881), "On the Logic of Number", American Journal of Mathematics v. 4, pp. 85–95. Reprinted (CP 3.252–288), (Writings of Charles S. Peirce, 4:299–309). See Shields, Paul (1997), "Peirce's Axiomatization of Arithmetic", in Houser et al., eds., Studies in the Logic of Charles S. Peirce.
- ↑ Peirce (1885), "On the Algebra of Logic: A Contribution to the Philosophy of Notation", American Journal of Mathematics 7, two parts, first part published 1885, pp. 180–202 (see Houser in linked paragraph Archived 2016-02-12 at the Wayback Machine in "Introduction" in Writings of Charles S. Peirce, 4). Presented, National Academy of Sciences, Newport, RI, October 14–17, 1884 (see The Essential Peirce, 1, Headnote 16 Archived 2014-10-19 at the Wayback Machine). 1885 is the year usually given for this work. Reprinted Collected Papers of Charles Sanders Peirce, 3.359–403, Writings of Charles S. Peirce, 5:162–190, The Essential Peirce, 1:225–228, in part.
- ↑ Putnam, Hilary (1982), "Peirce the Logician", Historia Mathematica 9, 290–301. Reprinted, pp. 252–260 in Putnam (1990), Realism with a Human Face, Harvard. Excerpt with article's last five pages.
- ↑ Brady, Geraldine (2000), From Peirce to Skolem: A Neglected Chapter in the History of Logic, North-Holland/Elsevier Science BV, Amsterdam, Netherlands.
- ↑ Peirce, C. S., “Letter, Peirce to A. Marquand,” 1886 (on using electrical switching for logical operations).
- ↑ See Peirce (1898), Lecture 3, "The Logic of Relatives" (not the 1897 Monist article), Reasoning and the Logic of Things, pp. 146–164 [151]
- ↑ Peirce (1898), "The Logic of Mathematics in Relation to Education" in Educational Review v. 15, pp. 209–216 (via Internet Archive). Reprinted Collected Papers of Charles Sanders Peirce, 3.553–562. See also his "The Simplest Mathematics" (1902 MS), Collected Papers of Charles Sanders Peirce, 4.227–323.
- ↑ Miller, Richard W. (1975), "Propensity: Popper or Peirce?", British Journal for the Philosophy of Science, v. 26, n. 2, pp. 123–132. doi:10.1093/bjps/26.2.123. Eprint.
- ↑ Haack, Susan and Kolenda, Konstantin (1977), "Two Fallibilists in Search of the Truth", Proceedings of the Aristotelian Society, Supplementary Volumes, v. 51, pp. 63–104. JSTOR 4106816
- ↑ 15.0 15.1 15.2 Stephen M. Stigler, *Mathematical Statistics in the Early States*, Annals of Statistics, Vol. 6, No. 2 (1978), p. 246.
- ↑ Peirce CS, Jastrow J. On Small Differences in Sensation. Memoirs of the National Academy of Sciences 1885; 3:73–83.
- ↑ 17.0 17.1 Hacking, Ian. *The Taming of Chance*. Cambridge: Cambridge University Press, 1990. ISBN 0-521-38014-6 / 0-521-38884-8. :contentReference[oaicite:0]{index=0}