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 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur
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.
Revue de presse
'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 philosophical subjects. Nevertheless, his book is certainly an excellent place to start work on them.' Michael D. Resnik, University of North Carolina, History and Philosophy of Logic, 14 (1993)
Clearly written and well produced, making it a pleasure to read . . . Shapiro's excellent book is for just about everyone. Logicians and philosophers of mathematics will certainly want to read it; but metaphysicians and philosophers of science and of language will greatly benefit, too. (Dialogue)
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 49
EUR 9 expédition depuis Belgique 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: 17 (Oxford Logic Guides)
Vendeur : Krüger books, Leuven, Belgique
Évaluation du vendeur 2 sur 5 étoiles
Hardcover. Etat : New. No Jacket. POD, new with very minor shelfwear. N° de réf. du vendeur 000049
Quantité disponible : 1 disponible(s)
Image d'archives
Foundations Without Foundationalism: A Case for Second-Order Logic (Volume 17)
Edité par
Oxford Clarendon Press, 1991
ISBN 10 : 0198533918
ISBN 13 : 9780198533917
Ancien ou d'occasion
Couverture rigide
Vendeur : Anybook.com, Lincoln, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Volume 17. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:0198533918. N° de réf. du vendeur 5577721
Quantité disponible : 1 disponible(s)
Image d'archives
Foundations Without Foundationalism: A Case for Second-Order Logic (Oxford Logic Guides)
Edité par
Oxford University Press, 1991
ISBN 10 : 0198533918
ISBN 13 : 9780198533917
Ancien ou d'occasion
Couverture rigide
Vendeur : Fireside Bookshop, Stroud, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Cloth. Etat : Good. Type: Book N.B. Small plain label to front paste down. Score to spine which has split the cloth otherwise in fine condition. Nice tight binding. Damage stamp to title page. N° de réf. du vendeur 054527
Quantité disponible : 1 disponible(s)
Image d'archives
Foundations without Foundationalism: A Case for Second-Order Logic
Edité par
Oxford University Press, 1991
ISBN 10 : 0198533918
ISBN 13 : 9780198533917
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. New copy - Usually dispatched within 4 working days. 689. N° de réf. du vendeur B9780198533917
Quantité disponible : 15 disponible(s)
Image d'archives
Foundations without Foundationalism: A Case for Second-Order Logic (eng)
Edité par
Oxford University Press, 1991
ISBN 10 : 0198533918
ISBN 13 : 9780198533917
Neuf
Couverture rigide
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 0380ec89dfa6ecc0af734ea9c1c6a313
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundations Without Foundationalism: A Case for Second-Order Logic (Oxford Logic Guides)
Edité par
Oxford University Press, 1991
ISBN 10 : 0198533918
ISBN 13 : 9780198533917
Neuf
Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780198533917_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundations Without Foundationalism: A Case for Second-Order Logic: 17 (Oxford Logic Guides)
Edité par
Oxford University Press, 1991
ISBN 10 : 0198533918
ISBN 13 : 9780198533917
Neuf
Couverture rigide
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
HRD. 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 L1-9780198533917
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundations without Foundationalism
Edité par
Oxford University Press, 1991
ISBN 10 : 0198533918
ISBN 13 : 9780198533917
Neuf
Couverture rigide
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
HRD. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L1-9780198533917
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, 1991
ISBN 10 : 0198533918
ISBN 13 : 9780198533917
Neuf
Couverture rigide
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5025557-n
Quantité disponible : Plus de 20 disponibles
Image d'archives
Foundations without Foundationalism (Hardcover)
Edité par
Oxford University Press, Oxford, 1991
ISBN 10 : 0198533918
ISBN 13 : 9780198533917
Neuf
Couverture rigide
Vendeur : AussieBookSeller, Truganina, VIC, Australie
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. 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 canbe 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 fullyreflect 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 mathematicswill find this a thought-provoking discussion of some of the central issues in this subject. The main 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. 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 9780198533917
Quantité disponible : 1 disponible(s)