Re: How a True(X) predicate can be defined for the set of analytic knowledge

On 3/22/2025 12:43 PM, Richard Damon wrote:

On 3/22/25 1:40 PM, olcott wrote:

On 3/22/2025 11:32 AM, Mikko wrote:

On 2025-03-21 12:43:39 +0000, olcott said:

On 3/21/2025 3:41 AM, Mikko wrote:

Can you parse "It might be useful if it would return something else
that TRUE for some X, especially if that X contradicts something that
can be inferred from the set of general knowledge." ?

True(X) implements a membership algorithm for elements of the body of
human general knowledge that can be expressed using language.

Then it is Known(x) not True(x).
Sorry, you just admitted to your fraud.

It is pretty stupid to claim that Knowledge "⊂" Truth is an example of
fraud.
True(X) works perfectly within the body of knowledge that can be
expressed using language.