##### Detailseite wird geladen...

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... |

ISBN: 9780198250296

ID: 9780198250296

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. Books, [PU: Oxford University Press]

Wordery.com
Nr. Shipping costs:, , zzgl. Versandkosten, plus shipping costs
Details... |

Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)

*- Paperback*

2000, 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: 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: | |

ISBN: |

** 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 13.09.2017 21:04:08

ISBN/EAN: 9780198250296

ISBN - alternate spelling:

0-19-825029-0, 978-0-19-825029-6

< to archive...

##### Related 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)