David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Oxford University Press (1991)
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today.
|Keywords||Logic, Symbolic and mathematical|
|Categories||categorize this paper)|
|Buy the book||$33.39 used (37% off) $41.22 new (23% off) $47.83 direct from Amazon (10% off) Amazon page|
|Call number||QA9.S48 1991|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Christopher Menzel (2015). Logic, Essence, and Modality Bob Hale. Necessary Beings: An Essay on Ontology, Modality, & the Relations Between Them. Oxford University Press, 2013. ISBN: 978-0-19-966262-3 ; 978-0-19-874803-8 ; 978-0-19-164834-2 . Pp. Ix + 298. [REVIEW] Philosophia Mathematica 23 (3):407-428.
Salvatore Florio & Øystein Linnebo (2015). On the Innocence and Determinacy of Plural Quantification. Noûs 49 (1):1-19.
Fraser MacBride (2013). How Involved Do You Want to Be in a Non-Symmetric Relationship? Australasian Journal of Philosophy 92 (1):1-16.
Timothy Williamson (2013). Logic, Metalogic and Neutrality. Erkenntnis (S2):1-21.
Günther Eder (forthcoming). Boolos and the Metamathematics of Quine's Definitions of Logical Truth and Consequence. History and Philosophy of Logic:1-24.
Similar books and articles
Jouko Vaananen (2001). Second-Order Logic and Foundations of Mathematics. Bulletin of Symbolic Logic 7 (4):504-520.
P. T. Johnstone (1987). Notes on Logic and Set Theory. Cambridge University Press.
Ignacio Jané (1993). A Critical Appraisal of Second-Order Logic. History and Philosophy of Logic 14 (1):67-86.
S. Shapiro (2012). Higher-Order Logic or Set Theory: A False Dilemma. Philosophia Mathematica 20 (3):305-323.
Jaakko Hintikka (1996). The Principles of Mathematics Revisited. Cambridge University Press.
Jaakko Hintikka (2009). A Proof of Nominalism: An Exercise in Successful Reduction in Logic. In A. Hieke & H. Leitgeb (eds.), Reduction - Abstraction - Analysis. Ontos
Stewart Shapiro (1999). Do Not Claim Too Much: Second-Order Logic and First-Order Logic. Philosophia Mathematica 7 (1):42-64.
Richard Kaye (2007). The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications. Cambridge University Press.
Added to index2009-01-28
Total downloads47 ( #77,666 of 1,780,746 )
Recent downloads (6 months)5 ( #122,032 of 1,780,746 )
How can I increase my downloads?