Subject:
|
Re: Figure This One Out... Kinda Neat
|
Newsgroups:
|
lugnet.off-topic.geek
|
Date:
|
Wed, 22 Nov 2000 14:50:59 GMT
|
Viewed:
|
312 times
|
| |
|
|
In lugnet.off-topic.geek, Dave Schuler writes:
> In lugnet.off-topic.geek, David Martineau writes:
>
> > > > 1. substitute are for is
> > > > 2. errors is misspelled.
> > > > 2. there are only two errors in the sentence.
>
> > Yes you are... But I was hoping to start a discussion on whether or not the
> > third error is untrue.
>
> This is a restating of the "Liar Paradox" a la "Everything I say is a
> lie." If I recall my Logic course correctly, a statement of that sort has
> no distinct truth value one way or the other, in that (in context) it cannot
> be definably true or definably false. Can anyone else confirm this?
I agree. c.f. Goedel.
This statement has the truth value "undecidable"
|
|
Message has 1 Reply:
Message is in Reply To:
 | | Re: Figure This One Out... Kinda Neat
|
| (...) This is a restating of the "Liar Paradox" a la "Everything I say is a lie." If I recall my Logic course correctly, a statement of that sort has no distinct truth value one way or the other, in that (in context) it cannot be definably true or (...) (24 years ago, 22-Nov-00, to lugnet.off-topic.geek)
|
19 Messages in This Thread:
  
 
- Entire Thread on One Page:
- Nested:
All | Brief | Compact | Dots
Linear:
All | Brief | Compact
This Message and its Replies on One Page:
- Nested:
All | Brief | Compact | Dots
Linear:
All | Brief | Compact
|
|
|
|
