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

On 4/1/25 7:26 PM, olcott wrote:

On 4/1/2025 5:31 PM, Richard Damon wrote:

On 4/1/25 2:00 PM, olcott wrote:

On 4/1/2025 1:36 AM, Mikko wrote:

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.
>

>
https://liarparadox.org/Tarski_275_276.pdf
Step (3) is self-contradictory, thus his whole proof fails.
>

>
Yes, and since that step was logically done, it says somewhere we assumed something incorrect. The assumption we made was that a Truth Predicate existed, so that can't be true.
>
You apparently don't understand how logic works.

 That Tarski assumed what is false ruined his proof.
True(X) means that X is derived by applying truth preserving
operations to basic facts.
 

The only thing he assumed was that a Truth Predict could exist.
If you claim that was a false assumption, then you are just agreeing with his conclusion.
Sorry, but you aren't making sense, and it is clear you don't understand how logic works.
The form of "Proof by Contradiction" where you prove that a  statement can't be true, because if it was, we can show that something that can't be true is provable, is a well established principle.
It seems you just don't understand how logic works, probably because you don't understand the role of Definitions and Rules in logic, because you think make-believe and lies are acceptable.
Sorry, you are just proving your stupidity.