Sujet : Re: Truth Bearer or Truth Maker
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 25. Jul 2024, 01:41:04
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v7s6v0$1v7h9$1@dont-email.me>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
On 7/24/2024 6:56 PM, Richard Damon wrote:
On 7/24/24 6:07 PM, olcott wrote:
On 7/24/2024 4:44 PM, Mild Shock wrote:
But obviously sometimes sentences are
decidable, and sometimes not. Since
this depends on "True" and "L".
>
>
But when we talk about "decidability" this is actually
only a misnomer for self-contradictory.
But it isn't, and you only think that because you don't understand it.
>
Actually modern logic does it much simpler,
you don't need to prescribe or explain what
a "True" and "L" does, in that you repeat
>
>
Tarski "proved" that True(L,x) cannot be consistently defined
because he was simply too stupid to know that the Liar Paradox
is not a truth bearer. Most of the greatest experts in this
field are still too stupid.
No, he PROVED that the grammer of the system allowed the formation of the sentence.
The "True" predicate doesn't need the expression to be a truth bearer, just and expression that fits the grammer of the language.
*That is a ridiculously stupid thing to say*
I can't imagine anyone with an IQ over 100 saying
that without a short-circuit in their brain.
In other words there really is no such thing as true
because "a fish" is neither true nor false in English.
This is just like that episode of HBO Westworld where
Bernard couldn't see a door right in front of his face
because his brain has been programmed to not see that door.
https://www.forbes.com/sites/erikkain/2016/11/14/one-of-the-biggest-westworld-fan-theories-just-came-true/ --
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer