Liste des Groupes | Revenir à s logic |
On 7/24/24 6:07 PM, olcott wrote:*That is a ridiculously stupid thing to say*On 7/24/2024 4:44 PM, Mild Shock wrote:But it isn't, and you only think that because you don't understand it.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.
>No, he PROVED that the grammer of the system allowed the formation of the sentence.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.
The "True" predicate doesn't need the expression to be a truth bearer, just and expression that fits the grammer of the language.
Les messages affichés proviennent d'usenet.