= 27d567bc2d48d9f40e9ccc20ea370b15)
wedrifid comments on Unsolved Problems in Philosophy Part 1: The Liar's Paradox - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (130)
Interesting. If I infer correctly...
Tordmor messed up and wrote "This proposition is true" when he probably would have wanted to have referred to "This proposition is false".
Shokwave correctly notes that "This proposition is true" isn't ambiguous at all, it essentially returns the value True.
Jonii also correctly observes that the person speaking the claim "This proposition is true" could be lying or mistaken (to the extent that the statement has bearing on facts external to the phrase). Apparent disagreement with Shokwave is likely to be due to ambiguity in the casual English representations of logical dereferencing.
How did you determine that the sentence "This proposition is true" returns the value True?
To me it doesn't seem to return any value. Tordmor correctly notes its truth-state is uncertain.
Again, English is messy. Shokwave was noting (and I was acknowledging) that there is the claim of truth.
No he doesn't. He claims it is ambiguous - an entirely different thing. It is an unambiguous claim to be true. Such a claim can itself be false but the meaning is entirely clear. It says it's true!
Contrast with "This statement is false".
These distinctions become relevant when Omega throws you box puzzles like this.