Thesis ID: CBB517005733

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

unapi

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
https://data.isiscb.org/isis/citation/CBB517005733/

Similar Citations

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

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/)

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

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

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

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

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

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

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/)

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

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

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/)

Authors & Contributors
Luciano, Erika
Nobrega, Hugo
Viana, Petrucio
Cerioli, Márcia R.
Silveira, Guilherme
Marc Champagne
Concepts
Logic
Mathematics
Philosophy of mathematics
Philosophy
Biographies
Thinking and thought
Time Periods
19th century
20th century, early
Places
Germany
France
Great Britain
Institutions
Search for Extraterrestrial Intelligence (SETI) (Study group: U.S.)
Comments

Be the first to comment!

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

Log in or register to comment