Squaring the Circles: a Genealogy of Principia ’s Dot Notation

Russell: The Journal of Bertrand Russell Studies 43 (1):42-65 (2023)
  Copy   BIBTEX

Abstract

Russell derived many of his logical symbols from the pioneering notation of Giuseppe Peano. Principia Mathematica (1910–13) made these “Peanese” symbols (and others) famous. Here I focus on one of the more peculiar notational derivatives from Peano, namely, Principia ’s dual use of a squared dot or dots for both conjunction and scope. As Dirk Schlimm has noted, Peano always had circular dots and only used them to symbolize scope distinctions. In contrast, Principia has squared dots and conventions such that some dots mark scope distinctions while others symbolize conjunction. How did this come to pass? In this paper I trace a genealogy of Principia ’s square dots back to Russell’s appropriation of Peano’s use of circular dots. Russell never explicitly justifies appropriating Peano’s notations to symbolize two distinct notions, but below I explain why Russell deployed Peano’s dot notations in this manner. Further, I argue that it was Cambridge University Press who squared the circular dots.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,571

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Squaring Some Circles of Logic.James J. Strom - 1977 - Analysis 37 (3):127 - 129.
Dictionary of Logical Terms and Symbols.Carol Horn Greenstein - 1978 - New York, NY, USA: Van Nostrand Reinhold Company.
The notation in principia mathematica.Bernard Linsky - 2008 - Stanford Encyclopedia of Philosophy.
Why did Frege reject the theory of types?Wim Vanrie - 2021 - British Journal for the History of Philosophy 29 (3):517-536.
Russell's divine ancestors.Dermot Cassidy - 2007 - History and Philosophy of Logic 28 (2):123-132.
Review. [REVIEW]Timothy Williamson - 1996 - British Journal for the Philosophy of Science 47 (2):110 - 116.
Review. [REVIEW]Timothy Williamson - 1996 - British Journal for the Philosophy of Science 47 (2):331-334.
On Frege's Logical Diagrams.Iulian D. Toader - 2004 - In Diagrammatic Representation and Inference. Springer: Lecture Notes in Computer Science, vol. 2980,. pp. 22-25.
Elements of Formal Logic. [REVIEW]E. J. A. - 1965 - Review of Metaphysics 19 (2):379-379.
Logics of Provability. [REVIEW]Timothy Williamson - 1996 - Philosophical Quarterly 46 (182):110 - 116.
Some Remarks on Russell's Account of Vagueness.Alan Schwerin - 1999 - Contemporary Philosophy 3: 52 - 57.
Decoding Gentzen's Notation.Luca Bellotti - 2018 - History and Philosophy of Logic 39 (3):270-288.

Analytics

Added to PP
2023-08-18

Downloads
20 (#761,466)

6 months
12 (#208,186)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Landon D. C. Elkind
Western Kentucky University

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references