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

On 2025-03-31 18:29:32 +0000, olcott said:
 

On 3/31/2025 4:04 AM, Mikko wrote:

On 2025-03-30 11:20:05 +0000, olcott said:
>
You have never expressed any disagreement with the starting points of
Tarski's proof. You have ever claimed that any of Tarski's inferences
were not truth preserving. But you have claimed that the last one of
these truth preservin transformation has produced a false conclusion.
>

>
It is ALWAYS IMPOSSIBLE to specify True(X) ∧ ~Provable(X)
(what Tarski proved) when-so-ever True(X) ≡ Provable(X).
https://liarparadox.org/Tarski_275_276.pdf

 Tarski's proof was not about provability. Gödel had already proved
that there are unprovable true sentences. Tarski's work is about
definability.