Logic in Russell's Principles of Mathematics

Notre Dame Journal of Formal Logic 37 (4):554-584 (1996)
  Copy   BIBTEX

Abstract

Unaware of Frege's 1879 Begriffsschrift, Russell's 1903 The Principles of Mathematics set out a calculus for logic whose foundation was the doctrine that any such calculus must adopt only one style of variables–entity (individual) variables. The idea was that logic is a universal and all-encompassing science, applying alike to whatever there is–propositions, universals, classes, concrete particulars. Unfortunately, Russell's early calculus has appeared archaic if not completely obscure. This paper is an attempt to recover the formal system, showing its philosophical background and its semantic completeness with respect to the tautologies of a modern sentential calculus

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

Russell's hidden substitutional theory.Gregory Landini - 1998 - New York: Oxford University Press.
Foundations of logic, 1903-05.Bertrand Russell - 1994 - New York: Routledge. Edited by Alasdair Urquhart & Albert C. Lewis.
Toward the "Principles of mathematics" 1900-02.Bertrand Russell - 1993 - New York: Routledge. Edited by Gregory H. Moore.
Russell's Early Theory of Denoting.David Bostock - 2009 - History and Philosophy of Logic 30 (1):49-67.
Russell's way out of the paradox of propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.
Bertrand russell's logical manuscripts: an apprehensive brief.I. Grattan-Guinness - 1985 - History and Philosophy of Logic 6 (1):53-74.
Logical and philosophical papers, 1909-13.Bertrand Russell - 1983 - New York: Routledge. Edited by John G. Slater & Bernd Frohmann.

Analytics

Added to PP
2010-08-24

Downloads
43 (#324,761)

6 months
1 (#1,040,386)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Gregory Landini
University of Iowa

References found in this work

Set Theory and its Logic.Willard van Orman Quine - 1963 - Cambridge, MA, USA: Harvard University Press.
The Theory of Implication.Bertrand Russell - 1906 - American Journal of Mathematics 28:158-202.

View all 8 references / Add more references