Path: ...!feeds.phibee-telecom.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: Re: What is your truth maker? (Ws: Truth Bearer or Truth Maker)
Date: Thu, 25 Jul 2024 20:05:42 +0200
Message-ID: <v7u45l$bn3h$2@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> <v7u3mm$bn3h$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Thu, 25 Jul 2024 18:05:41 -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:RK/8uOvzvJeYlBS/3tVT1mw+5Ho=
In-Reply-To: <v7u3mm$bn3h$1@solani.org>
X-User-ID: eJwFwYEBwDAEBMCVGvGPcQj2H6F3uDx8pgQVi21WWV0tRDq1mBpi8/VLH8payGpf8d3BABLIdHtx0tJO/2LHFdw=
Bytes: 2678
Lines: 45

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