1. Historical Origins
Intuitionistic logic emerged in the early twentieth century in the work of the Dutch mathematician Luitzen Egbertus Jan Brouwer (L. E. J. Brouwer).
Brouwer’s key idea:
Mathematical objects exist only when they can be constructed.
In other words, truth is not an abstract state of a proposition, but the result of a constructive proof.
Later, Brouwer’s student Arend Heyting formalized this system and created what is now known as intuitionistic logic.
2. The Main Principle
In classical logic, a proposition can be true regardless of whether it has been proved.
For example, “either P or ¬P” is the law of excluded middle.
But intuitionists maintain that if we have neither a proof of P nor a proof of ¬P, then the proposition P ∨ ¬P may simply be unjustified. In other words, it need not be true.
3. Rejection of the Law of Excluded Middle
The main distinction of intuitionistic logic is that it does not accept the law of excluded middle as a universal principle.
In classical logic:
A ∨ ¬A is always true.
In intuitionistic logic, this proposition is considered proved only if:
- there is a proof of
A, - or there is a proof of
¬A.
If neither exists, the proposition is simply not accepted.
4. An Example of the Difference
Consider the proposition: “There exists a number with property X.”
In classical logic, it can be proved indirectly:
- assume that no such number exists;
- derive a contradiction;
- therefore, the number exists.
Yet the number itself may not have been found. Classical logic allows this.
Intuitionistic logic says: if the existence of an object is asserted, it must be constructed or specified.
5. Constructive Truth
Intuitionism introduces the principle:
truth = the possibility of constructing a proof.
This means that a proposition is true only when there is a construction that confirms it. Not merely a logical argument, but a constructive way of obtaining the result.
6. A New Interpretation of Logical Operations
In intuitionistic logic, operations are understood differently.
Conjunction
A ∧ B
To prove A ∧ B, one must prove:
A,B.
Disjunction
A ∨ B
To prove A ∨ B, one must:
- prove
A, - or prove
B.
And specify which one has been proved.
Implication
A → B
This means that if a proof of A is given, there is a method for constructing a proof of B.
Thus, implication is a function between proofs.
Negation
¬A means:
A → ⊥,
where ⊥ denotes a contradiction.
Thus, negation is a method that derives a contradiction from a proof of A.
7. The Philosophy of Intuitionism
Intuitionism is based on the idea that mathematics is an activity of consciousness.
Mathematical objects do not exist independently: they arise through acts of construction.
Therefore:
- truth is not a ready-made fact,
- truth arises through proof.
8. Influence on Computer Science
Intuitionistic logic has proved extraordinarily important to computer science.
There is a fundamental correspondence, the Curry–Howard correspondence, which states that logical proofs correspond to programs.
For example:
A → B corresponds to a function:
f(A) -> B
Intuitionistic logic thus underlies:
- functional programming,
- proof systems,
- type theory in programming languages.
9. Comparison with Classical Logic
| Classical Logic | Intuitionistic Logic |
|---|---|
| Law of excluded middle | Not universally accepted |
| Indirect proofs are permitted | Constructive proofs take priority |
| Truth is independent of proof | Truth = provability |
| Existence can be proved indirectly | The object must be constructed/specified |
10. Philosophical Significance
Intuitionistic logic reveals something important: logic is not a single, immutable system.
It depends on what we consider to be truth.
If truth is simply a fact, the result is classical logic.
If truth is a constructive act, the result is intuitionistic logic.
11. Connection to the Model of Distinction
Viewed through the model of distinction and the field of meaning, the intuitionistic approach turns out to be particularly close:
- meaning appears through an act of distinction by consciousness,
- truth appears through an act of constructing a proof.
In both cases, reality is not simply “given”: it manifests through the action of the subject.
This opens a natural bridge to Spencer-Brown and Laws of Form, where distinction, negation, and the construction of a structure of meaning also constitute a unified operational scheme.
