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.
Publication date: 2020
Language: English

Publication Date: 2020
Physical Details: 345

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.

Citation URI

This citation is part of the Isis database.

Similar Citations

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

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

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

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

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

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

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

Article David E. Dunning; (2018)
The logic of the nation: Nationalism, formal logic, and interwar Poland (/p/isis/citation/CBB048161792/) unapi

Article Urbaniakab, Rafal; Hämäric, K. Severi; (2012)
Busting a Myth about Leśniewski and Definitions (/p/isis/citation/CBB001210995/) unapi

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

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

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

Article Marc Champagne; (2019)
Diagrams and alien ways of thinking (/p/isis/citation/CBB909895920/) unapi

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

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

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

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

Authors & Contributors
Angelelli, Ignacio A.
Campos, Daniel G.
Dea, Shannon
Dooley, Brendan Maurice
Eder, Günther
Haaparanta, Leila
History and Philosophy of Logic
Logica Universalis
Transactions of the Charles S. Peirce Society
British Journal for the History of Science
Revue d'Histoire des Mathématiques
Cambridge University Press
Cork University Press
MIT Press
Open Court
Vittorio Klostermann
Philosophy of mathematics
Signs and symbols
Frege, Gottlob
Peirce, Charles Sanders
Boole, George
Peano, Giuseppe
Lukasiewicz, Jan
Russell, Bertrand Arthur William
Time Periods
19th century
20th century, early
Great Britain
Search for Extraterrestrial Intelligence (SETI) (Study group: U.S.)

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment