Path: ...!news.mixmin.net!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.logic,comp.theory
Subject: What is your truth maker? (Ws: Truth Bearer or Truth Maker)
Date: Thu, 25 Jul 2024 19:57:42 +0200
Message-ID: <v7u3mm$bn3h$1@solani.org>
References: <v7rohj$9t9k$2@solani.org> <v7rpra$1sv5t$2@dont-email.me>
 <v7rsko$9vkk$1@solani.org> <v7rtu5$1tp9a$1@dont-email.me>
 <e197c26d636042212a7a60c04d8dff0803bb2503@i2pn2.org>
 <v7s6v0$1v7h9$1@dont-email.me> <v7t6m2$b7d9$1@solani.org>
 <v7tmol$2acgd$5@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 25 Jul 2024 17:57:42 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="384113"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Firefox/91.0 SeaMonkey/2.53.18.2
Cancel-Lock: sha1:htF7esWnxipozCht4WQM2jOrgNU=
In-Reply-To: <v7tmol$2acgd$5@dont-email.me>
X-User-ID: eJwFwYEBwCAIA7CXbKWI5wiM/09You3wOuZy02gs+JjCVBu6g8Tn54bemoxOwgK2yNtKO3dra5wZqIWs+AE8cBSY
Bytes: 1991
Lines: 25

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.
>