Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail
From: Keith Thompson <Keith.S.Thompson+u@gmail.com>
Newsgroups: comp.theory
Subject: Re: Refutation of =?utf-8?Q?Strachey=E2=80=99s?= 1965 Proof Based
 on Self-Referential Conflation as a Category (Type) Error
Date: Tue, 22 Apr 2025 03:23:31 -0700
Organization: None to speak of
Lines: 26
Message-ID: <878qnsze8s.fsf@nosuchdomain.example.com>
References: <3%oNP.2703666$nb1.805417@fx01.ams4>
	<130c384bc4881eb654343d0ccf3ced6905a90fbb@i2pn2.org>
	<3QpNP.1081604$B61.671277@fx02.ams4> <vu7kke$7o3q$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Tue, 22 Apr 2025 12:23:32 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="e72db596057d83171632e4a496618536";
	logging-data="391305"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19F2uXuM1TaRF08UuU4aso0"
User-Agent: Gnus/5.13 (Gnus v5.13)
Cancel-Lock: sha1:ly7hHFX83VgzFNLbdljLNXInHJQ=
	sha1:DShsZA7bOKiFcCpYc/l4R66T1sY=
Bytes: 2157

Mikko <mikko.levanto@iki.fi> writes:
> On 2025-04-21 11:18:23 +0000, Mr Flibble said:
[...]
>> A circular dependency is like a circular argument or circular
>> reasoning:
>> not logically sound.
>
> A circular argument is not like a circular argument.

Are you sure about that?  8-)}

I think you meant to write that a circular *dependency* is not like a
circular argument.

>                                                      A circular argument
> means either that there is an unjustified assumption and thus the argument
> is fallacious or that the proof is redundant and therefore not needed.
>
> Dependency is not a logical concept. Statements of dependency always involve
> an extra-logical knowledge or assumption. Whether such statements are are
> true or false must be determined from such extra-logical knowledge or
> assumptions with valid use of logic.

-- 
Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
void Void(void) { Void(); } /* The recursive call of the void */