The Logical Foundations of Mathematics
Pergamon Press (1982)
Abstract
First-order logic. The origin of modern foundational studies. Frege's system and the paradoxes. The teory of types. Zermelo-Fraenkel set theory. Hilbert's program and Godel's incompleteness theorems. The foundational systems of W.V. Quine. Categorical algebra.Call number
QA8.4.H37 1982
ISBN(s)
008025800X 008025800x
DOI
10.2307/2274073
My notes
Similar books and articles
The Ethnomethodological Foundations of Mathematics.Eric Livingston - 1986 - Routledge and Kegan Paul.
Reflections on mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Essential tension: Mathematics - physics - philosophy. [REVIEW]Michael Heller - 1997 - Foundations of Science 2 (1):39-52.
The Logicist Foundations of Mathematics.Rudolf Carnap - 1931 - In Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings. Cambridge University Press. pp. 41--52.
The development of programs for the foundations of mathematics in the first third of the 20th century.Solomon Feferman - manuscript
The indispensability argument and multiple foundations for mathematics.Alan Baker - 2003 - Philosophical Quarterly 53 (210):49–67.
Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.
Analytics
Added to PP
2009-01-28
Downloads
27 (#433,162)
6 months
1 (#448,551)
2009-01-28
Downloads
27 (#433,162)
6 months
1 (#448,551)
Historical graph of downloads
Citations of this work
The uses and abuses of the history of topos theory.Colin Mclarty - 1990 - British Journal for the Philosophy of Science 41 (3):351-375.
On Suppes' Set Theoretical Predicates.Newton C. A. da Costa & Rolando Chuaqui - 1988 - Erkenntnis 29 (1):95-112.
Maddy On The Multiverse.Claudio Ternullo - 2019 - In Deniz Sarikaya, Deborah Kant & Stefania Centrone (eds.), Reflections on the Foundations of Mathematics. Berlin: Springer Verlag. pp. 43-78.
Category theory and the foundations of mathematics: Philosophical excavations.Jean-Pierre Marquis - 1995 - Synthese 103 (3):421 - 447.