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

On 2025-03-20 02:42:53 +0000, olcott said:

It is stipulated that analytic knowledge is limited to the
set of knowledge that can be expressed using language or
derived by applying truth preserving operations to elements
of this set.

A simple example is the first order group theory.

When we begin with a set of basic facts and all inference
is limited to applying truth preserving operations to
elements of this set then a True(X) predicate cannot possibly
be thwarted.

There is no computable predicate that tells whether a sentence
of the first order group theory can be proven.
--
Mikko