Sujet : 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, 18:57:42
Autres entêtes
Message-ID : <v7u3mm$bn3h$1@solani.org>
References : 1 2 3 4 5 6 7 8
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
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.