Artículos relacionados a Foundations without Foundationalism: A Case for Second-Order...
Foundations without Foundationalism: A Case for Second-Order Logic: 17 (Oxford Logic Guides) - Tapa dura
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 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.
"Sinopsis" puede pertenecer a otra edición de este libro.
Acerca del autor
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
"Sobre este título" puede pertenecer a otra edición de este libro.
Comprar nuevo
Ver este artículo
EUR 49,00
EUR 12,00 gastos de envío desde Belgica 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: A Case for Second-Order Logic: 17 (Oxford Logic Guides)
Librería: Krüger books, Leuven, Belgica
Calificación del vendedor: 2 de 5 estrellas
Hardcover. Condición: New. No Jacket. POD, new with very minor shelfwear. Nº de ref. del artículo: 000049
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations Without Foundationalism: A Case for Second-Order Logic (Volume 17)
Publicado por
Oxford Clarendon Press, 1991
ISBN 10: 0198533918
ISBN 13: 9780198533917
Antiguo o usado
Tapa dura
Librería: Anybook.com, Lincoln, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: 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 ref. del artículo: 5577721
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations Without Foundationalism: A Case for Second-Order Logic (Oxford Logic Guides)
Publicado por
Oxford University Press, 1991
ISBN 10: 0198533918
ISBN 13: 9780198533917
Antiguo o usado
Tapa dura
Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Cloth. Condición: 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 ref. del artículo: 054527
Cantidad disponible: 1 disponibles
Imagen de archivo
Foundations without Foundationalism: A Case for Second-Order Logic
Publicado por
Oxford University Press, 1991
ISBN 10: 0198533918
ISBN 13: 9780198533917
Nuevo
Tapa dura
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Hardback. Condición: New. New copy - Usually dispatched within 4 working days. 689. Nº de ref. del artículo: B9780198533917
Cantidad disponible: 15 disponibles
Imagen de archivo
Foundations without Foundationalism: A Case for Second-Order Logic (eng)
Publicado por
Oxford University Press, 1991
ISBN 10: 0198533918
ISBN 13: 9780198533917
Nuevo
Tapa dura
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
Calificación del vendedor: 5 de 5 estrellas
Condición: new. Questo è un articolo print on demand. Nº de ref. del artículo: 0380ec89dfa6ecc0af734ea9c1c6a313
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, 1991
ISBN 10: 0198533918
ISBN 13: 9780198533917
Nuevo
Tapa dura
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: ria9780198533917_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Foundations Without Foundationalism: A Case for Second-Order Logic: 17 (Oxford Logic Guides)
Publicado por
Oxford University Press, 1991
ISBN 10: 0198533918
ISBN 13: 9780198533917
Nuevo
Tapa dura
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
HRD. 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: L1-9780198533917
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Foundations without Foundationalism
Publicado por
Oxford University Press, 1991
ISBN 10: 0198533918
ISBN 13: 9780198533917
Nuevo
Tapa dura
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
HRD. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L1-9780198533917
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Foundations Without Foundationalism : A Case for Second-Order Logic
Publicado por
Oxford University Press, 1991
ISBN 10: 0198533918
ISBN 13: 9780198533917
Nuevo
Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5025557-n
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Foundations without Foundationalism (Hardcover)
Publicado por
Oxford University Press, Oxford, 1991
ISBN 10: 0198533918
ISBN 13: 9780198533917
Nuevo
Tapa dura
Librería: AussieBookSeller, Truganina, VIC, Australia
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: 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 ref. del artículo: 9780198533917
Cantidad disponible: 1 disponibles