A History of Formal Logic (Classic Reprint) - Softcover

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.