Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: sci.logic
Subject: Re: Undecidability based on epistemological antinomies
Date: Wed, 1 May 2024 10:19:54 -0500
Organization: A noiseless patient Spider
Lines: 62
Message-ID: <v0tmiq$37lgj$2@dont-email.me>
References: <uvq0sg$21m7a$1@dont-email.me> <uvs70t$1h01f$1@i2pn2.org>
 <uvsgcl$2i80k$1@dont-email.me> <uvsj4v$1h01e$1@i2pn2.org>
 <uvubo2$34nh3$1@dont-email.me> <uvvsap$3i5q8$1@dont-email.me>
 <v00mf6$3nu0r$1@dont-email.me> <v02gu5$6quf$1@dont-email.me>
 <v038om$bitp$2@dont-email.me> <v05b0k$sivu$1@dont-email.me>
 <v05r5e$vvml$2@dont-email.me> <v05vl4$1165d$1@dont-email.me>
 <v0679k$12sq2$1@dont-email.me> <v07r2j$1h57l$1@dont-email.me>
 <v08gn4$1lpta$2@dont-email.me> <v0ag7u$27jkb$1@dont-email.me>
 <v0b8np$2d4ja$1@dont-email.me> <v0d372$2t7ec$1@dont-email.me>
 <v0do5i$31mkn$1@dont-email.me> <v0frdr$3jhng$1@dont-email.me>
 <v0gka2$3pm6f$1@dont-email.me> <v0idnn$91b6$1@dont-email.me>
 <v0ivqh$d40l$1@dont-email.me> <v0l3a0$vanr$1@dont-email.me>
 <v0lin5$12ip9$1@dont-email.me> <v0np15$1llt9$1@dont-email.me>
 <v0ob1e$1pbn5$7@dont-email.me> <v0ocuq$1qcqi$1@dont-email.me>
 <v0odv3$1qgpk$1@dont-email.me> <v0qmi5$2eont$1@dont-email.me>
 <v0r4tg$2hb7o$8@dont-email.me> <v0t0n4$32utt$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 01 May 2024 17:19:55 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="3f141e693eb79f63ff43fad97c070154";
	logging-data="3397139"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19Zpa8PWKGY8bEQlR+kdDW8"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:GbrFqY5Fr1guLoNO63h/SGdS8ow=
In-Reply-To: <v0t0n4$32utt$1@dont-email.me>
Content-Language: en-US
Bytes: 4101

On 5/1/2024 4:06 AM, Mikko wrote:
> On 2024-04-30 16:06:08 +0000, olcott said:
> 
>> On 4/30/2024 7:01 AM, Mikko wrote:
>>> On 2024-04-29 15:22:11 +0000, olcott said:
>>>
>>>> On 4/29/2024 10:04 AM, Mikko wrote:
>>>>> On 2024-04-29 14:32:13 +0000, olcott said:
>>>>>
>>>>>> On 4/29/2024 4:24 AM, Mikko wrote:
>>>>>>> On 2024-04-28 13:24:52 +0000, olcott said:
>>>>>>>
>>>>>>>> Translated into a syllogism:
>>>>>>>>
>>>>>>>> All A are True
>>>>>>>> No A are True
>>>>>>>> Therefore B
>>>>>>>
>>>>>>> Which inference rule of syllogistic logic permits that inference?
>>>>>>>
>>>>>>
>>>>>> (1) That is a correct translation from this POE argument:
>>>>>> Proposition A is True.
>>>>>> Proposition A is False.
>>>>>> Therefore B
>>>>>> https://en.wikipedia.org/wiki/Principle_of_explosion
>>>>>>
>>>>>> (2) That as a syllogism it is the non-sequitur error proves
>>>>>> that the POE was the non-sequitur error all along.
>>>>>
>>>>> What you call a "syllogism" isn't one as it has none of the forms
>>>>> of valid syllogism as listed by Aristotle.
>>>>>
>>>>
>>>> https://en.wikipedia.org/wiki/Categorical_proposition
>>>
>>> That page does not tell what a syllogism is. Instead, the page
>>>    https://en.wikipedia.org/wiki/Syllogism
>>> does.
>>>
>>
>> This is the part of the page on syllogism that links to that link
>> https://en.wikipedia.org/wiki/Syllogism#Basic_structure
> 
> THat's right. That section says what the form of a syllogism is.
> Your "syllogism" has not that form.
> 

*This part is correct*
Each part is a categorical proposition, and each categorical proposition 
contains two categorical terms.

*This part is incorrect only because the POE expression is incorrect*
"Each of the premises has one term in common with the conclusion:"

By retaining the same lack of a common term as the POE expression we
see that the POE expression has the non-sequitur error.

-- 
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer