Charles Sanders Peirce

Charles Sanders Peirce ("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 "". ; 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
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 very active in probability and statistics.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).

Discoveries
↓ The Peirce arrow, symbol for "(neither) ... nor ...", also called the Quine dagger
Peirce made many important discoveries in formal logic and foundational mathematics. Most of these discoveries were only appreciated long after he died:

In 1860,Peirce (1860 MS), "Orders of Infinity", News from the Peirce Edition Project, September 2010  (PDF), p. 6, with the manuscript's text. Also see logic historian Irving Anellis's November 11, 2010 comment  at peirce-l. 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,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. 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,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. 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,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  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 ). 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. he differentiated between first-order and second-order quantification.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. 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,Brady, Geraldine (2000), From Peirce to Skolem: A Neglected Chapter in the History of Logic, North-Holland/Elsevier Science BV, Amsterdam, Netherlands. pp. 132–133).
In 1886, he saw that Boolean calculations could be carried out via electrical switches. Peirce, C. S., “Letter, Peirce to A. Marquand,” 1886 (on using electrical switching for logical operations). 50 years before Claude Shannon. 
By the later 1890sSee Peirce (1898), Lecture 3, "The Logic of Relatives" (not the 1897 Monist article), Reasoning and the Logic of Things, pp. 146–164 [151] 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 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.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.

Mathematics of logic
Mathematical logic and foundations, some noted articles
 "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 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
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. Though Peirce was largely a frequentist, his possible world semantics introduced the "propensity" theory of probability before Karl Popper.Miller, Richard W. (1975), "Propensity: Popper or Peirce?", British Journal for the Philosophy of Science, v. 26, n. 2, pp. 123–132. . 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.  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.

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 1884Peirce CS, Jastrow J. On Small Differences in Sensation. Memoirs of the National Academy of Sciences 1885; 3:73–83. (Hacking 1990:205) (before Ronald A. Fisher). 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. Stephen M. Stigler, *Mathematical Statistics in the Early States*, Annals of Statistics, Vol. 6, No. 2 (1978), p. 246. He introduced the terms "confidence" and "likelihood" (before Jerzy Neyman and Fisher). (See Stephen Stigler's historical books and Ian Hacking 1990. 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})

Notes

References

Category:1839 births
Category:1914 deaths
Category:American philosophers
Category:American mathematicians
Category:Scientists from Massachusetts
Category:People from Cambridge, Massachusetts