
As an Amazon Associate and affiliate partner, Menrva Books earns from qualifying purchases. Learn more
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an informal but thorough introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics has been completely revised for this second edition. Brouwer's proof of the Bar Theorem has been reworked, the account of valuation systems simplified, and the treatment of generalized Beth Trees and the completeness of intuitionistic first-order logic rewritten. Readers are assumed to have some knowledge of classical formal logic and a general awareness of the history of intuitionism.
This text investigates the foundational principles and mathematical structures of intuitionism, a school of thought that challenges classical logic by rejecting the law of excluded middle. Sir Michael Dummett, a prominent philosopher of language and logic, provides a rigorous yet accessible framework for understanding intuitionistic mathematics. By synthesizing historical context with formal logical developments, the author argues for the necessity of intuitionistic methods in addressing the limitations of classical systems.
What You Will Find
Experts recognize this work as a foundational text for those studying the intersection of logic and philosophy. Readers frequently note the academic density of the prose, which requires a prior understanding of classical formal logic to fully grasp the arguments presented.
Page Count:
344
Publication Date:
2000-08-17
Publisher:
Clarendon Press
ISBN-10:
0198505248
ISBN-13:
9780198505242
No comments yet. Be the first to share your thoughts!