Sujet : Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker)
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logic comp.theoryDate : 26. Jul 2024, 15:37:05
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v80cah$2sg5i$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9
User-Agent : Mozilla Thunderbird
On 7/25/2024 12:57 PM, Mild Shock wrote:
Simple corollary:
it and its negation are both true
Toss it out on its ass:
https://www.britannica.com/topic/laws-of-thoughtProof: 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.
>
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer
Truth Bearer or Truth Maker
Re: Truth Bearer or Truth Maker