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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Stewart Shapiro is Professor of Philosophy at Ohio State University.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : Brit Books, Milton Keynes, Royaume-Uni
Paperback. Etat : Used; Very Good. ***Simply Brit*** Welcome to our online used book store, where affordability meets great quality. Dive into a world of captivating reads without breaking the bank. We take pride in offering a wide selection of used books, from classics to hidden gems, ensuring there is something for every literary palate. All orders are shipped within 24 hours and our lightning fast-delivery within 48 hours coupled with our prompt customer service ensures a smooth journey from ordering to delivery. Discover the joy of reading with us, your trusted source for affordable books that do not compromise on quality. N° de réf. du vendeur 4446984
Quantité disponible : 1 disponible(s)
Vendeur : medimops, Berlin, Allemagne
Etat : very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. N° de réf. du vendeur M00198250290-V
Quantité disponible : 1 disponible(s)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur be65ddd6fda2ce304e75cc889c410bee
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New. N° de réf. du vendeur 71712-n
Quantité disponible : Plus de 20 disponibles
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Paperback. Etat : new. Paperback. Stewart Shapiro presents a distinctive and persuasive view of the foundations of mathematics, arguing controversially that second-order logic has a central role to play in laying these foundations. To support this contention, he first gives a detailed development of second-order and higher-order logic, in a way that will be accessible to graduate students. He then demonstrates that second-order notions are prevalent in mathematics as practised, and that higher-orderlogic is needed to codify many contemporary mathematical concepts. Throughout, he emphasizes philosophical and historical issues that the subject raises. Foundations without Foundationalism is a keycontribution both to philosophy of mathematics and to mathematical logic.'In this excellent treatise Shapiro defends the use of second-order languages and logic as framework for mathematics. His coverage of the wide range of logical and philosophical topics required for understanding the controversy over second-order logic is thorough, clear, and persuasive. . . . Shapiro recognizes that it is unlikely that he has had the last word on these controversial philosophicalsubjects. Nevertheless, his book is certainly an excellent place to start work on them.' Michael D. Resnik, History and Philosophy of Logic This view of the foundations of mathematics argues that second-order logic has a central role. After a detailed development of second-order and higher-order logic the text demonstrates that second-order notions are prevalent in mathematics and that higher-order logic is needed to codify concepts. This item is printed on demand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability. N° de réf. du vendeur 9780198250296
Quantité disponible : 1 disponible(s)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
PF. Etat : New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. N° de réf. du vendeur 6666-IUK-9780198250296
Quantité disponible : 20 disponible(s)
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780198250296
Quantité disponible : Plus de 20 disponibles
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 71712
Quantité disponible : Plus de 20 disponibles
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9780198250296
Quantité disponible : Plus de 20 disponibles
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Paperback. Etat : new. Paperback. Stewart Shapiro presents a distinctive and persuasive view of the foundations of mathematics, arguing controversially that second-order logic has a central role to play in laying these foundations. To support this contention, he first gives a detailed development of second-order and higher-order logic, in a way that will be accessible to graduate students. He then demonstrates that second-order notions are prevalent in mathematics as practised, and that higher-orderlogic is needed to codify many contemporary mathematical concepts. Throughout, he emphasizes philosophical and historical issues that the subject raises. Foundations without Foundationalism is a keycontribution both to philosophy of mathematics and to mathematical logic.'In this excellent treatise Shapiro defends the use of second-order languages and logic as framework for mathematics. His coverage of the wide range of logical and philosophical topics required for understanding the controversy over second-order logic is thorough, clear, and persuasive. . . . Shapiro recognizes that it is unlikely that he has had the last word on these controversial philosophicalsubjects. Nevertheless, his book is certainly an excellent place to start work on them.' Michael D. Resnik, History and Philosophy of Logic This view of the foundations of mathematics argues that second-order logic has a central role. After a detailed development of second-order and higher-order logic the text demonstrates that second-order notions are prevalent in mathematics and that higher-order logic is needed to codify concepts. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9780198250296
Quantité disponible : 1 disponible(s)