[FOM] A question about dialetheism and sorites

Everdell@aol.com Everdell at aol.com
Fri Nov 15 23:29:24 EST 2002


In a message dated 11/15/02, Charlie Volkstorf writes:

<< Any system that concludes that a particular sentence is both true and 
false is inconsistent, so that everything is provable and there is no 
significance to the system.  It proves false statements.  It is not sound.
The Liar paradox is simply the semantics of a program that gets into an 
infinite loop, expressed in English.  The first thing that "This is false." 
does is to perform a GOTO to itself.  Thus it gets into an infinite loop, it 
never halts, and is neither true nor false.  A Turing Machine can halt yes, 
halt no, or loop.  These semantics expressed in English produce sentences 
that are true, false and neither, respectively.  No Turing Machine can both 
halt yes and halt no, and no English sentence is both true and false.
Both "This is true." and "This is false." (as well as my own, " 'It is false 
of itself.' is true of itself.") express the semantics of programs that get 
into infinite loops.  The difference is, if "This is false." had a truth va
lue (i.e., its program halted), then we would have an inconsistency, and 
English would be inconsistent, whereas there is no inconsistency in "This is 
true." having a truth value.  However, since neither does halt, this fact is 
of no consequence, there is no inconsistency demonstrated in English, and 
neither has a truth value. >>

Sounds right to me, but I'm definitely still learning and with logic like 
this it looks as if I'll never have to stop learning.  How might I deal with 
completeness, consistency and truth on the following recursive proposition:

"The only rule to which there are no exceptions is this one."

-Bill Everdell, St. Ann's School, Brooklyn



More information about the FOM mailing list