The notation in principia mathematica

Stanford Encyclopedia of Philosophy (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

PM's Circumflex, Syntax and Philosophy of Types.Kevin Klement - 2011 - In Kenneth Blackwell, Nicholas Griffin & Bernard Linsky (eds.), Principia mathematica at 100. Hamilton, Ontario: Bertrand Russell Research Centre. pp. 218-246.
The Resolution of Russell’s Paradox in Principia Mathematica.Bernard Linsky - 2002 - Noûs 36 (s16):395 - 417.
The Triumph of Types: Principia Mathematica's Impact on Computer Science.Robert L. Constable - unknown
Quantification Theory in *9 of Principia Mathematica.Gregory Landini - 2000 - History and Philosophy of Logic 21 (1):57-77.
Automated type-checking for the ramified theory of types of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
Propositional functions and universals in principia mathematica.Bernard Linsky - 1988 - Australasian Journal of Philosophy 66 (4):447 – 460.
Polymorphic type checking for the type theory of the Principia Mathematica of Russell and Whitehead.M. Randall Holmes - unknown
The definability of the set of natural numbers in the 1925 principia mathematica.Gregory Landini - 1996 - Journal of Philosophical Logic 25 (6):597 - 615.
Principia Mathematica description theory: the classical and an alternative notation.Jordan Howard Sobel - 1974 - Notre Dame Journal of Formal Logic 15 (1):63-72.

Analytics

Added to PP
2009-01-28

Downloads
23 (#679,329)

6 months
5 (#628,512)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Bernard Linsky
University of Alberta

Citations of this work

Existential Import : an Extensional Approach.Yusuke Kaneko - 2023 - The Basis : The Annual Bulletin of Research Center for Liberal Education, Musashino University 13 (1):85-102.

Add more citations

References found in this work

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Meaning and necessity.Rudolf Carnap - 1947 - Chicago,: University of Chicago Press.
Computability and Logic.George S. Boolos, John P. Burgess & Richard C. Jeffrey - 2003 - Bulletin of Symbolic Logic 9 (4):520-521.
Principia mathematica, to *56.Alfred North Whitehead & Bertrand Russell - 1962 - New York: Cambridge University Press. Edited by Bertrand Russell & Alfred North Whitehead.
Russell.Gregory Landini - 2011 - New York: Routledge.

View all 11 references / Add more references