You are viewing a single comment's thread from:
RE: AIs Can't Handle the Truth! The Complexity of Argumentation for Machines
Is it true that the letter A is the letter A?
Is it true that the letter A is the letter B?
Is it true that the number 2 is the number 2?
Is it true that the number 2 is the letter A?
Is it true that the word true is the word true?
Is it true that the word true is the word false?
It is true that some of those statements are tautologies :P Those would be the "true by definition" items I was referring to (some are false by definition I suppose). Letters, numbers, and words as described above have no intrinsic meaning. They are pointers that we agree have the same meaning so that conversation is possible.
This gets really interesting if you approach these questions as a programmer. If you consider 'A' as a variable, you can set it equal to 'B', in which case the letter A is the letter B.