Path: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail
From: Richard Damon <richard@damon-family.org>
Newsgroups: comp.theory
Subject: Re: At least 100 people kept denying the easily verified fact --
 closure
Date: Sat, 8 Jun 2024 09:03:06 -0400
Organization: i2pn2 (i2pn.org)
Message-ID: <v41kqa$3cg3t$4@i2pn2.org>
References: <v3o2dj$jm9q$1@dont-email.me> <v3r6mt$354i9$6@i2pn2.org>
 <v3r7p2$1b63v$1@dont-email.me> <v3r914$354i9$7@i2pn2.org>
 <v3r9ds$1b96e$1@dont-email.me> <v3rb52$354ia$7@i2pn2.org>
 <v3rbaj$1bg3t$1@dont-email.me> <v3rc4m$354i9$8@i2pn2.org>
 <v3rcgn$1bpcn$1@dont-email.me> <v3rcks$354i9$9@i2pn2.org>
 <v3rd3r$1bsem$1@dont-email.me> <v3s5g6$36git$2@i2pn2.org>
 <v3sc8c$1gra7$2@dont-email.me> <v3tq33$388rj$13@i2pn2.org>
 <v3tstr$1td1o$2@dont-email.me> <v3tuqh$388ri$1@i2pn2.org>
 <v3v0qj$22vrk$1@dont-email.me> <v3v85d$39ri5$11@i2pn2.org>
 <v3vacl$242e9$8@dont-email.me> <v3vh9l$a5e$2@news.muc.de>
 <v3vhvq$25ojk$2@dont-email.me> <v3vj8p$39ri6$7@i2pn2.org>
 <v3vk9b$266aq$2@dont-email.me>
 <8c92495d4433776d8ddc4706fb1de05b245f5829.camel@gmail.com>
 <v3vn5u$26d04$1@dont-email.me> <v3vont$a5e$3@news.muc.de>
 <v3vp3j$27d15$2@dont-email.me> <v3vpsg$39ri6$12@i2pn2.org>
 <v400hl$287qb$3@dont-email.me> <v4016m$3avmq$1@i2pn2.org>
 <v401vc$28q9r$2@dont-email.me> <v411c9$2h53q$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 8 Jun 2024 13:03:06 -0000 (UTC)
Injection-Info: i2pn2.org;
	logging-data="3555453"; mail-complaints-to="usenet@i2pn2.org";
	posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg";
User-Agent: Mozilla Thunderbird
Content-Language: en-US
In-Reply-To: <v411c9$2h53q$1@dont-email.me>
X-Spam-Checker-Version: SpamAssassin 4.0.0
Bytes: 3643
Lines: 40

On 6/8/24 3:31 AM, Mikko wrote:
> On 2024-06-07 22:35:24 +0000, olcott said:
> 
>> On 6/7/2024 5:22 PM, joes wrote:
>>> Am Fri, 07 Jun 2024 17:11:00 -0500 schrieb olcott:
>>>> That it is literally impossible to prove that the following is false
>>>> conclusively proves that it is true and the proof really need not be
>>>> wrapped in any tuxedo.
>>> If you consider it unfalsifiable, why do you care?
>>>
>>
>> The entire body of truth is unfalsifiable.
>> https://en.wikipedia.org/wiki/Falsifiability
>>
>> That "cats" <are> "animals" is unfalsifiable because
>> it is inherently true.
>>
>> You are conflating empirical with analytical truth.
> 
> The distinction is not that clear. How do whe know what is the right
> way to identify an analytical truth? Why do we consider certain ways
> right and other wrong? Why do we apply the word "truth" to both
> empirical and analitical truth?
> 

This is actual one of the telling parts of his arguement.

The analytical / empirical distinction is part of the philosophy of 
logic, where the base definitions of what is truth get fuzzier.

In Formal Systems, technically ALL truth is Analytic (except for the 
axioms of the system). Sometimes in formal system will talk about things 
being empirical-like if we are asking if there exists or doesn't exist 
an element with a property, and we determine that by examining each 
element to find one, verse working with logic on the property itself.

Thus the list of prime numbers would be sort of an empirical truth.

That he focuses so much on this shows that he doesn't have a formal 
logic background, but a philosophical background (and not that good of 
one at that) which shows in his other problems, like writing proofs.