Quantification Theory in *9 of Principia Mathematica

History and Philosophy of Logic 21 (1):57-77 (2000)
  Copy   BIBTEX


This paper examines the quantification theory of *9 of Principia Mathematica. The focus of the discussion is not the philosophical role that section *9 plays in Principia's full ramified type-theory. Rather, the paper assesses the system of *9 as a quantificational theory for the ordinary predicate calculus. The quantifier-free part of the system of *9 is examined and some misunderstandings of it are corrected. A flaw in the system of *9 is discovered, but it is shown that with a minor repair the system is semantically complete. Finally, the system is contrasted with the system of *8 of Principia's second edition



    Upload a copy of this work     Papers currently archived: 94,420

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

Foundations of probability in mathematical logic.Theodore Hailperin - 1937 - Philosophy of Science 4 (1):125-150.
The Versatility of Universality in Principia Mathematica.Brice Halimi - 2011 - History and Philosophy of Logic 32 (3):241-264.
The Logic of "Principia Mathematica".Darryl Jung - 1995 - Dissertation, Massachusetts Institute of Technology
A partial model of NF with ZF.Nando Prati - 1993 - Mathematical Logic Quarterly 39 (1):274-278.
Where is ‘There is’ in ‘∃’?Richard Davies - 2021 - History and Philosophy of Logic 42 (1):44-59.


Added to PP

37 (#426,709)

6 months
9 (#452,266)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gregory Landini
University of Iowa

Citations of this work

Russell: Logic.Gregory Landini - 2018 - Internet Encyclopedia of Philosophy.

Add more citations

References found in this work

Introduction to mathematical philosophy.Bertrand Russell - 1919 - New York: Dover Publications.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Introduction to Mathematical Philosophy.Bertrand Russell - 1919 - Revue Philosophique de la France Et de l'Etranger 89:465-466.
Principia mathematica.A. N. Whitehead - 1926 - Mind 35 (137):130.
Principia mathematica.Alfred North Whitehead & Bertrand Russell - 1910 - Cambridge,: University Press. Edited by Bertrand Russell.

View all 10 references / Add more references