Articles liés à Foundations without Foundationalism: A Case for Second-order...
Synopsis
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.
À propos de l?auteur
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.
Acheter neuf
Afficher cet article
EUR 56,45
EUR 4,62 expédition depuis Royaume-Uni vers France
Destinations, frais et délais
Résultats de recherche pour Foundations without Foundationalism: A Case for Second-order...
Image d'archives
Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)
Edité par
Oxford University Press, 2000
ISBN 10 : 0198250290
ISBN 13 : 9780198250296
Neuf
Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780198250296_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundations without Foundationalism
impression à la demandeVendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
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
Image d'archives
Foundations without Foundationalism
impression à la demandeVendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
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
Image d'archives
Foundations Without Foundationalism: A Case for Second-Order Logic
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9780198250296
Quantité disponible : 10 disponible(s)
Image d'archives
Foundations without Foundationalism: A Case for Second-Order Logic
Edité par
Oxford University Press, 2000
ISBN 10 : 0198250290
ISBN 13 : 9780198250296
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 471. N° de réf. du vendeur C9780198250296
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations without Foundationalism
Edité par
Oxford University Press|Clarendon Press, 1999
ISBN 10 : 0198250290
ISBN 13 : 9780198250296
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Stewart Shapiro presents a distinctive original view of the foundations of mathematics, arguing that second-order logic has a central role to play in laying these foundations. He gives an accessible account of second-order and higher-order logic, paying spe. N° de réf. du vendeur 446842118
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations Without Foundationalism : A Case for Second-Order Logic
Edité par
Oxford University Press, 2000
ISBN 10 : 0198250290
ISBN 13 : 9780198250296
Neuf
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 71712-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations Without Foundationalism : A Case for Second-Order Logic
Edité par
Oxford University Press, 2000
ISBN 10 : 0198250290
ISBN 13 : 9780198250296
Neuf
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 71712-n
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations Without Foundationalism : A Case for Second-Order Logic
Edité par
Oxford University Press, 2000
ISBN 10 : 0198250290
ISBN 13 : 9780198250296
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 71712
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Foundations without Foundationalism (Paperback)
Edité par
Oxford University Press, Oxford, 2000
ISBN 10 : 0198250290
ISBN 13 : 9780198250296
Neuf
Paperback
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
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. 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)