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

On 3/23/2025 10:24 AM, joes wrote:

Am Sat, 22 Mar 2025 14:15:48 -0500 schrieb olcott:

On 3/22/2025 2:10 PM, joes wrote:

Am Sat, 22 Mar 2025 14:07:17 -0500 schrieb olcott:

 

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.

But not for unknown truths.

Is it really that hard to understand that knowledge does not include
unknowns?

No, but unknowns are still true.
 

When we define the set of all general knowledge
that can be expressed using language then we
have the basis for creating artificial general
intelligence.
--
Copyright 2025 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer