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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Anbieter: Forgotten Books, London, Vereinigtes Königreich
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9781330376508_0
Anzahl: Mehr als 20 verfügbar
Anbieter: PBShop.store US, Wood Dale, IL, USA
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781330376508
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000. Bestandsnummer des Verkäufers LW-9781330376508
Anzahl: 15 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Neuware. Bestandsnummer des Verkäufers 9781330376508
Anzahl: 2 verfügbar
Anbieter: moluna, Greven, Deutschland
Zustand: 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. Bestandsnummer des Verkäufers 2147755624
Anzahl: Mehr als 20 verfügbar