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||$38.81 used (27% off) $41.98 new (21% off) $45.05 direct from Amazon (15% 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
Roman Frigg & Ioannis Votsis (2011). Everything You Always Wanted to Know About Structural Realism but Were Afraid to Ask. European Journal for Philosophy of Science 1 (2):227-276.
Timothy Williamson (2013). Logic, Metalogic and Neutrality. Erkenntnis:1-21.
Bradley Armour-Garb & James A. Woodbridge (2012). The Story About Propositions. Noûs 46 (4):635-674.
Gila Sher (2011). Is Logic in the Mind or in the World? Synthese 181 (2):353 - 365.
Stewart Shapiro (2007). The Objectivity of Mathematics. Synthese 156 (2):337 - 381.
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 downloads35 ( #57,765 of 1,410,465 )
Recent downloads (6 months)4 ( #57,804 of 1,410,465 )
How can I increase my downloads?