Epimenides was a Cretan who made one immortal statement:
“All Cretans are liars.”Now then, there are two statements that are part of the paradox:
- Epimenides was a Cretan.
- All Cretans are liars.
If we assume that Epimenides said "All Cretans are liars.", there are exactly four possible outcomes:
Epimenides was a Cretan | All Cretans are liars |
---|---|
False | False |
False | True |
True | False |
True | True |
Thomas Fowler (1869) made a major mistake in determining the logic negation of the statement "All Cretans are liars.".
He assumed that the opposite of "All Cretans are liars." is "All Cretans speak the truth.". We, hardcore software designers, of course, do not fall for this trap.
The logical negation of "All Cretans are liars." is "Not all Cretans are liars." This, consequently, can be rewritten as "There is at least one Cretan who speaks the truth."
References
- [1] Wikipedia - Epimenides Paradox
- https://en.wikipedia.org/wiki/Epimenides_paradox
No comments:
Post a Comment