IsisCB Explore

Thesis ID: CBB517005733

Writing the Rules of Reason: Notations in Mathematical Logic, 1847–1937 (2020)

Dunning, David E. (Author)
Gordin, Michael D. (Advisor)

Princeton University
Gordin, Michael D.

URI: http://search.proquest.com/docview/2429829891/724B6747466946D9PQ/12

Publication Date: 2020
Physical Details: 345
Language: English

Outside Links

Academia.edu

Science and society Mathematics Logic Reason 20th century, early 19th century North America Europe Lukasiewicz, Jan Peano, Giuseppe Peirce, Charles Sanders Frege, Gottlob Boole, George

This dissertation is a history of how logic became a mathematical science. Between the mid nineteenth century and the outbreak of World War II, scholars across Europe and North America replaced the venerable prose-based logic of Aristotle with a new and thoroughly mathematical enterprise. I approach this transformation on the level of practices, tracking how writers developed new symbolic systems for representing logic on paper—systems that eventually became not just tools but objects of scientific inquiry. Each new notation entailed a way of interacting with marks on paper, a manner of training students, and a vision for why people might need a science of logic. I trace the development of writing practices during logic’s mathematical re-making by focusing on five major notations. In each case I show how the most abstract of sciences was rooted in local milieus around its transnational network of practitioners, entangled with their commitments from religious piety to nationalism and anti-Semitism. Chapter 1 explores the theologically-inflected calculus of English schoolmaster and self-taught mathematician George Boole. Chapter 2 considers the sprawling two-dimensional diagrams of German mathematician Gottlob Frege. Chapter 3 turns to American philosopher Charles Peirce and his students at Johns Hopkins University who, rather than sharing one notation, took individual variation as productive terrain to explore. Chapter 4 focuses on the internationalist symbolism of Italian mathematician Giuseppe Peano and the ends it served—quite different from his own—in the hands of English philosophers Alfred North Whitehead, Bertrand Russell, and later Susan Stebbing. Chapter 5 follows the concise unpunctuated strings of Polish logician Jan Łukasiewicz and his Warsaw School, showing how a notation shaped a local line of inquiry and became a symbol of national particularity. Ultimately, students trained in this space of notational possibilities were socialized to accept a pluralism of inscriptive practices, disciplined by the cacophony of existing literature to see any given symbolic system as contingent. As the science of logic became mathematical, the diversity of writing practices through which that transformation took place made it a discipline that not only employed symbolic systems but took them as its fundamental concern.

...More

Citation URI

http://data.isiscb.org/isis/citation/CBB517005733/

Citations Indexes

Similar Citations

Chapter Haaparanta, Leila; (2009)
The Relations between Logic and Philosophy, 1874--1931 (/isis/citation/CBB001210347/)

Article Luciano, Erika; (2006)
At the Origins of Functional Analysis: G. Peano and M. Gramegna on Ordinary Differential Equations (/isis/citation/CBB000770911/)

Article Márcia R. Cerioli; Hugo Nobrega; Guilherme Silveira; Petrucio Viana; (2022)
On the (In)Dependence of the Peano Axioms for Natural Numbers (/isis/citation/CBB173126247/)

Book Ricketts, Tom; Potter, Michael D.; (2010)
The Cambridge Companion to Frege (/isis/citation/CBB001211647/)

Book Künne, Wolfgang; (2010)
Die Philosophische Logik Gottlob Freges: ein Kommentar; mit den Texten des Vorworts zu Grundgesetze der Arithmetik und der Logischen Untersuchungen I--IV (/isis/citation/CBB001210615/)

Article Korhonen, Anssi; (2012)
Logic as a Science and Logic as a Theory: Remarks on Frege, Russell and the Logocentric Predicament (/isis/citation/CBB001214125/)

Article Dea, Shannon; (2006)
“Merely a veil over the living thought”: Mathematics and Logic in Peirce's Forgotten Spinoza Review (/isis/citation/CBB001023424/)

Article Campos, Daniel G.; (2007)
Peirce on the Role of Poietic Creation in Mathematical Reasoning (/isis/citation/CBB001023426/)

Book Desmond MacHale; Yvonne Cohen; (2018)
New Light on George Boole (/isis/citation/CBB196236062/)

Book Brendan Dooley; (2018)
The Continued Exercise of Reason: Public Addresses by George Boole (/isis/citation/CBB539223859/)

Article Valente, K. G.; (2010)
Giving Wings to Logic: Mary Everest Boole's Propagation and Fulfilment of a Legacy (/isis/citation/CBB000933057/)

Article Saul A. Kripke; (2022)
Mathematical Incompleteness Results in First-Order Peano Arithmetic: A Revisionist View of the Early History (/isis/citation/CBB257161891/)

Article John Woods; (2021)
What did Frege take Russell to have proved? (/isis/citation/CBB858610340/)

Article Reck, Erich H.; (2013)
Frege, Dedekind, and the Origins of Logicism (/isis/citation/CBB001212886/)

Article Günther Eder; (2021)
Frege on intuition and objecthood in projective geometry (/isis/citation/CBB221284966/)

Book Peano, Giuseppe; Couturat, Louis; Luciano, Erika; Roero, Clara Silvia; (2005)
Carteggio: 1896--1914 (/isis/citation/CBB000954373/)

Article Centrone, Stefania; (2010)
Functions in Frege, Bolzano and Husserl (/isis/citation/CBB001210980/)

Article Schirn, Matthias; (2010)
On Translating Frege's Die Grundlagen der Arithmetik (/isis/citation/CBB001210971/)

Book Weiner, Joan; (2004)
Frege Explained: From Arithmetic to Analytic Philosophy (/isis/citation/CBB000772767/)

Article Angelelli, Ignacio; (2012)
Frege's Ancestral and Its Circularities (/isis/citation/CBB001214121/)