Sujet : Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logic comp.theoryDate : 25. Jul 2024, 20:05:42
Autres entêtes
Message-ID : <v7u45l$bn3h$2@solani.org>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
My friend gave me this handwriting. He was in
the US and bought an old fire-fighting helmet
for a street selling event in New York City.
Inside this helmet, probably the place of the
lining, was an old notebook. He had thin cloth
plates and felt the mold. His yellowish leaves
were burned. In some places the ink was so muddy
that the font was barely recognizable on the
yellow paper. In some places, large parts of
the text were completely damaged by water and
there were only unreadable ink spots. The
handwriting said:
The truth is, there are no truth makers
Mild Shock schrieb:
Simple corollary:
it and its negation are both true
Proof: Assume it and its negation are both not true
as Olcott wrote. Which translates to S is not true and
~S is not true. What is your truth maker?
Some truth maker, like the situational truth maker, has
that M |= A <=> ~(M |= ~A). This means ~S is not true,
is the same like S is true. And S is not true is the
same like ~S is true. And therefore the corollary follows.
Q.E.D.
olcott schrieb:
"This sentence is not true" is indeed not true and
thus satisfies its assertion that it is not true.
>
The fact that it and its negation are both not true
meets the criteria of incompleteness thus proving that
the notion of incompleteness is incorrect.
>