Synopsis
Intuitionism challenges the traditional foundations of math and logic, offering a fresh view of what counts as a proof.
From the perspective of formal logic, this book explains how intuitionists view the limits of formal systems. It discusses why the law of the excluded middle is treated with caution in intuitionistic mathematics and what this means for constructing mathematical theories. The discussion situates these ideas in a historical arc, tracing early work in logic to modern debates about consistency, interpretation, and the meaning of mathematical truth.
- How intuitionistic logic differs from classical formalism and why that matters for proofs.
- What it means for a formula to express a correct mathematical proposition under a given interpretation.
- Key ideas about the limits and scope of logical laws in constructive mathematics.
- The historical development from Boole and De Morgan to 20th‑century debates on foundations.
Ideal for readers of the history of logic, the philosophy of mathematics, and anyone curious about how different schools of thought approach proof and truth in mathematics.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour A History of Formal Logic (Classic Reprint)
Image fournie par le vendeur
A History of Formal Logic (Classic Reprint)
impression à la demandeVendeur : Forgotten Books, London, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. Print on Demand. This book delves into the fascinating history of formal logic, tracing its evolution from its ancient Greek origins through the Scholastic period and beyond. It explores the diverse forms logic has taken across cultures and time, highlighting the unique contributions of each period. Readers will encounter the ideas of influential thinkers like Aristotle, the Stoics, and medieval Scholastics, gaining insight into their approaches to fundamental logical concepts like propositions, truth values, and inference. The author sheds light on the development of key logical systems, including the syllogism and propositional logic, and examines how these systems were applied to philosophical and scientific thought. By exploring the historical trajectory of formal logic, this book ultimately reveals the enduring power and relevance of this field in shaping our understanding of the world and how we reason within it. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item. N° de réf. du vendeur 9781330376508_0
Acheter neuf
EUR 23,56
Livraison gratuite
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
A History of Formal Logic (Classic Reprint)
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur LW-9781330376508
Acheter neuf
EUR 34,76
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
A History of Formal Logic (Classic Reprint)
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. Established seller since 2000. N° de réf. du vendeur LW-9781330376508
Acheter neuf
EUR 28,93
Expédition à EUR 6,78
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
A History of Formal Logic (Classic Reprint)
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 601 pages. 8.43x5.85x0.73 inches. This item is printed on demand. N° de réf. du vendeur zk1330376501
Acheter neuf
EUR 40,55
Expédition à EUR 14,45
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
HIST OF FORMAL LOGIC (CLASSIC
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. KlappentextrnrnExcerpt from A History of Formal LogicrnrnIn this edition of the most considerable history Of formal logic yet published, the Opportunity has Of course been taken to make some adjustments seen to be necessary in the original, with. N° de réf. du vendeur 2147755624
Acheter neuf
EUR 33,29
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles