ISBN: 0198250290
ID: 10536447875
[EAN: 9780198250296], Neubuch, [PU: OUP Oxford], STEWART SHAPIRO,MATHEMATICS,LOGIC, Philosophy|Logic, Social Science|Philanthropy & Charity, Paperback. 304 pages. Dimensions: 9.0in. x 6.1in. x 0.7in.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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Abebooks.de
BuySomeBooks, Las Vegas, NV, U.S.A. [52360437] [Rating: 5 (von 5)]
NEW BOOK Shipping costs: EUR 11.59 Details... |
Shapiro, Stewart:
Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides) - Paperback2000, ISBN: 0198250290
ID: 14096214100
[EAN: 9780198250296], Neubuch, [PU: Oxford University Press], Philosophy|Logic, Social Science|Philanthropy & Charity, Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: PART I: Orientation 1. Terms and Questions 2. Foundationalism and Foundations of Mathematics PART II: Logic and Mathematics 3. Theory 4. Metatheory 5. Second-Order Logic and Mathematics 6. Advanced Metatheory PART III: History and Philosophy 7. The Historical Triumph of First-Order Languages 8. Second-Order Logic and Rule-Following 9. The Competition
Abebooks.de
Book Deals, Lewiston, NY, U.S.A. [60506629] [Rating: 4 (von 5)]
NEW BOOK Shipping costs: EUR 66.74 Details... |
Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides) - Paperback
ISBN: 0198250290
[SR: 383230], Taschenbuch, [EAN: 9780198250296], Oxford University Press, USA, Oxford University Press, USA, Book, [PU: Oxford University Press, USA], Oxford University Press, USA, 69046011, Logik & Sprache, 69029011, Philosophie, 69028011, Sachbücher, 54071011, Genres, 52044011, Fremdsprachige Bücher, 56243011, Logik, 56230011, Reine Mathematik, 56214011, Mathematik, 56047011, Wissenschaft, 54071011, Genres, 52044011, Fremdsprachige Bücher
Amazon.de (Intern...
Deal DE
Gebraucht Shipping costs:Innerhalb EU, Schweiz und Liechtenstein (sofern Lieferung möglich). Versandfertig in 1 - 2 Werktagen (EUR 3.00) Details... |
2000, ISBN: 0198250290
ID: 17853508126
[EAN: 9780198250296], Gebraucht, guter Zustand, [PU: Clarendon Press, Oxford, UK], Philosophy|Logic, Social Science|Philanthropy & Charity, XXII + 277pp softcover in good condition. Scuffing and rubbing to extremities, with a few creases on covers. Soiling to fore-edges, with a well-thumbed appearance. Penned and penciled underlining and marginalia, with notation on back endpaper. Binding sound.
Abebooks.de
Loome Theological Booksellers, Stillwater, MN, U.S.A. [1013535] [Rating: 4 (von 5)]
NOT NEW BOOK Shipping costs: EUR 21.36 Details... |
Foundations Without Foundationalism: a Case for Second-Order Logic (Oxford Logic Guides) - Paperback
2000, ISBN: 9780198250296
ID: 13512603332
Paperback, Fine, 0198250290 LIKE NEW/UNREAD! ! ! Text is Clean and Unmarked! Has a small black line on bottom/exterior edge of pages. Tracking is not available for orders shipped outside of the United States., [PU: Oxford University Press]
Alibris.com |
Author: | |
Title: | Foundations Without Foundationalism: A Case for Second-Order Logic |
ISBN: | 9780198250296 |
Details of the book - Foundations Without Foundationalism: A Case for Second-Order Logic
EAN (ISBN-13): 9780198250296
ISBN (ISBN-10): 0198250290
Paperback
Publishing year: 2000
Publisher: OXFORD UNIV PR
304 Pages
Weight: 0,422 kg
Language: eng/Englisch
Book in our database since 12.06.2007 12:52:52
Book found last time on 27.09.2016 00:07:22
ISBN/EAN: 9780198250296
ISBN - alternate spelling:
0-19-825029-0, 978-0-19-825029-6
< to archive...
Nearby books
- "God and Goodness", from "Rice, Hugh Ashton Lawrence / Rice, Hugh" (9780198250289)
- "Diachronic Syntax: Models and Mechanisms", from "Pintzuk, Susan, Tsoulas, George, Warner, Anthony" (0198250274)
- "A History of Philosophy in America, 1720-2000", from "Kuklick, Bruce" (0198250312)
- "Diachronic Syntax", from "Pintzuk, Susan; Tsoulas, G.; Warner, A." (0198250266)
- "Sorting Out Ethics", from "Hare, R. M." (0198250320)
- "The Oxford Handbook of Aesthetics (Oxford Handbooks)", from "Jerrold Levinson" (0198250258)