A Cretan Liar: A Philosophical Dilemma

Circa 600 B.C.E, Epimenides the Cretan was at play with logic on a hot day in Crete. He crafted a statement that logically should not hold:

"All Cretans are liars."

By uttering this claim, he believed he had proven that not every Cretan is deceitful. This paradox begs the question: if his assertion is true, then he contradicts himself as a truth-telling Cretan. The Law of the Excluded Middle asserts that a statement must be either true or false, leading us to suggest that his claim cannot hold water.

But shouldn’t historians and archaeologists, rather than logicians, settle such historical claims? This raises the possibility of a false assumption within the Law of the Excluded Middle, suggesting alternative logical frameworks might exist.

An Aside on Logical Principles

It is crucial to distinguish between two commonly confused logical principles:

• Law of the Excluded Middle: A statement is either true or its negation is true.
• Principle of Bivalence: Every statement is either true or false.

Consider rolling a die; the assertion "I will roll a six" is not definitively true or false since it is probabilistic. However, the statement "I will roll a six or I will not roll a six" remains true according to the Law of the Excluded Middle.

The Foundations of Mathematics: A Cause for Alarm

For those entrenched in mathematics, the implications of the Law of the Excluded Middle can be alarming. As the eminent mathematician Hilbert noted, denying this law to mathematicians would be akin to removing an astronomer's telescope or a boxer's fists.

In mathematical contexts, it is often easier to demonstrate contradictions than to construct tangible proofs. Brouwer, the pioneer of intuitionist mathematics, eventually deemed his previous topological findings invalid due to reliance on proof by contradiction.

To illustrate this point, let’s consider a rectangular box. If you throw darts inside the box, drawing circles around each dart landing, can we prove that the entire box will be covered by circles after a finite number of throws? While this may seem intuitively true, proving it universally for all compact shapes requires more than just intuitive reasoning.

A Second Brief Aside on Logic's Nuances

Another critical distinction lies between the Law of Non-Contradiction and the Law of the Excluded Middle:

• Law of Non-Contradiction: The statement (P and not P) is false.
• Law of the Excluded Middle: The statement (P or not P) is true.

When baking a cake that is only partially cooked, we may hesitate to declare it a cake or not—existing in a middle state. Thus, we can allow for some flexibility in our logical categories.

Intuitionism: The Mind as a Builder

Intuitionist mathematicians, led by Brouwer, contend that mathematics consists of constructs of the mind. They argue that proving ¬(¬P) is no longer a valid method of proving P without a concrete construction. Brouwer asserts that one cannot assume a mystical realm of mathematical truths.

To illustrate, consider a scenario where Hilbert, smelling cake, concludes "there is not a cake in the oven" is false and calls everyone to dinner. Brouwer intervenes, insisting on verifying the cake's existence before proclaiming it ready, cautioning against assumptions without tangible evidence.

This philosophical tension between Hilbert and Brouwer encapsulates the divide over the existence and nature of mathematical truths.

Intuitionism’s Implications

Brouwer’s rejection of the Law of the Excluded Middle implies a need for constructed proofs. This leads to the notion that statements can be true, false, or indeterminate. Brouwer advocated for a multi-valued logic accommodating 'undetermined' cases.

Interestingly, experimental quantum physics suggests that indeterminacy may reflect reality, further complicating our understanding of mathematical constructs.

The Practicality of Mathematics

Mathematics serves as a framework for logical deductions based on specific structures and axioms. It is through application that we lend life to these categories, leading to unexpected connections with Derrida’s philosophies (Epilogue IV).

Understanding numbers, particularly negative numbers, becomes intricate when we consider their abstract representation. The square root of negative one (i) might seem elusive initially, yet it gains clarity when applied to real-world phenomena, such as quantum physics, where multiplication translates to rotation on a plane.

Unresolved Questions in Mathematics

While we may find satisfactory answers regarding practical applications, the quest for understanding human curiosity remains unresolved. Abstract mathematical concepts challenge our perception, prompting questions about the nature of reality and our ability to conceive of objects devoid of sensory experience.

An Epilogue of Reflection

The overarching lesson is to reconsider our relationship with logic. Instead of allowing logic to dictate our understanding of categories like 'true' or 'false,' we should refine our conceptual frameworks. This exploration has implications not only for mathematics but also for philosophy.

Dive into the complexities of logic and its limits in this engaging video.

Explore Gödel's legacy and its impact on our understanding of logic and mathematics in this informative presentation.