Artículos relacionados a Foundations without Foundationalism: A Case for Second-order...
Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides) - Tapa blanda
Sinopsis
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Stewart Shapiro is Professor of Philosophy at Ohio State University.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 60,12
EUR 17,21 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 57,19
EUR 4,29 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Foundations without Foundationalism: A Case for Second-order...
Imagen de archivo
Foundations without Foundationalism
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: 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 ref. del artículo: L0-9780198250296
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Foundations without Foundationalism: A Case for Second-order Logic (Oxford Logic Guides)
Publicado por
Oxford University Press, 2000
ISBN 10: 0198250290
ISBN 13: 9780198250296
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9780198250296_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Foundations without Foundationalism
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9780198250296
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Foundations Without Foundationalism: A Case for Second-Order Logic
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9780198250296
Cantidad disponible: 10 disponibles
Imagen de archivo
Foundations without Foundationalism: A Case for Second-Order Logic
Publicado por
Oxford University Press, 2000
ISBN 10: 0198250290
ISBN 13: 9780198250296
Nuevo
Paperback / softback
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 471. Nº de ref. del artículo: C9780198250296
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Foundations Without Foundationalism : A Case for Second-Order Logic
Publicado por
Oxford University Press, 2000
ISBN 10: 0198250290
ISBN 13: 9780198250296
Nuevo
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 71712-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Foundations Without Foundationalism : A Case for Second-Order Logic
Publicado por
Oxford University Press, 2000
ISBN 10: 0198250290
ISBN 13: 9780198250296
Nuevo
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 71712-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Foundations Without Foundationalism : A Case for Second-Order Logic
Publicado por
Oxford University Press, 2000
ISBN 10: 0198250290
ISBN 13: 9780198250296
Antiguo o usado
Tapa blanda
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 71712
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Foundations without Foundationalism (Paperback)
Publicado por
Oxford University Press, Oxford, 2000
ISBN 10: 0198250290
ISBN 13: 9780198250296
Nuevo
Paperback
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: 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 ref. del artículo: 9780198250296
Cantidad disponible: 1 disponibles
Imagen del vendedor
Foundations Without Foundationalism : A Case for Second-Order Logic
Publicado por
Oxford University Press, 2000
ISBN 10: 0198250290
ISBN 13: 9780198250296
Antiguo o usado
Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 71712
Cantidad disponible: Más de 20 disponibles