2000, ISBN: 9780198250296
ID: 1001004001379917
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 development of higher-order logic, including a comprehensive discussion of its semantics. Professor Shapiro demonstrates the prevalence of second-order notions in mathematics is practised, and also the extent to which mathematical concepts can be formulated in second-order languages . He shows ho..., 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 development of higher-order logic, including a comprehensive discussion of its semantics. Professor Shapiro demonstrates the prevalence of second-order notions in mathematics is practised, and also the extent to which mathematical concepts can be formulated in second-order languages . He shows how first-order languages are insufficient to codify many concepts in contemporary mathematics, and thus that higher-order logic is needed to fully reflect current mathematics. Throughout, the emphasis is on discussing the philosophical and historical issues associated with this subject, and the implications that they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic as might be gained from 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 this subject.Taal: Engels; Afmetingen: 19x234x156 mm; Gewicht: 441,00 gram; Verschijningsdatum: maart 2000; ISBN10: 0198250290; ISBN13: 9780198250296; , Engelstalig | Paperback | 2000, Mens & Maatschappij, Filosofie, Exacte wetenschappen, Wiskunde & Statistiek, Oxford University Press
Bol.com
bol.com
Nieuw, Vermoedelijk 2-3 weken Shipping costs:Vermoedelijk 2-3 weken, plus shipping costs 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... |
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... |
2000, ISBN: 0198250290
ID: 16919891579
[EAN: 9780198250296], Neubuch, [PU: OUP Oxford], Philosophy|Logic, Social Science|Philanthropy & Charity, New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000.
Abebooks.de
PBShop, Secaucus, NJ, U.S.A. [61989342] [Rating: 4 (von 5)]
NEW BOOK Shipping costs: EUR 11.38 Details... |
Lehmanns.de
Shipping costs:Versand in 10-15 Tagen, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details... |
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 31.10.2016 18:06: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)