What is your truth maker? (Ws: Truth Bearer or Truth Maker)

Liste des GroupesRevenir à s logic 
Sujet : What is your truth maker? (Ws: Truth Bearer or Truth Maker)
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logic comp.theory
Date : 25. Jul 2024, 19: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.
 

Date Sujet#  Auteur
24 Jul 24 * Truth Bearer or Truth Maker20Mild Shock
24 Jul 24 +* Re: Truth Bearer or Truth Maker17olcott
24 Jul 24 i`* Re: Truth Bearer or Truth Maker16Mild Shock
24 Jul 24 i +- Re: Truth Bearer or Truth Maker1Mild Shock
25 Jul 24 i `* Re: Truth Bearer or Truth Maker14olcott
25 Jul 24 i  +- Re: Truth Bearer or Truth Maker1olcott
25 Jul 24 i  `* Re: Truth Bearer or Truth Maker12Richard Damon
25 Jul 24 i   `* Re: Truth Bearer or Truth Maker11olcott
25 Jul 24 i    +* Re: Truth Bearer or Truth Maker3Richard Damon
25 Jul 24 i    i`* Re: Truth Bearer or Truth Maker2olcott
26 Jul 24 i    i `- Re: Truth Bearer or Truth Maker1Richard Damon
25 Jul 24 i    `* Re: Truth Bearer or Truth Maker7Mild Shock
25 Jul 24 i     +- Re: Truth Bearer or Truth Maker1Mild Shock
25 Jul 24 i     `* Re: Truth Bearer or Truth Maker5olcott
25 Jul 24 i      `* What is your truth maker? (Ws: Truth Bearer or Truth Maker)4Mild Shock
25 Jul 24 i       +* Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker)2Mild Shock
26 Jul 24 i       i`- Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker)1olcott
26 Jul 24 i       `- Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker)1olcott
25 Jul 24 `* Re: Truth Bearer or Truth Maker2Mild Shock
25 Jul 24  `- Re: Truth Bearer or Truth Maker1Mild Shock

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal