Path: ...!3.eu.feeder.erje.net!feeder.erje.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
Subject: Euklid: Am I a joke to you? (Was: The curse of Negri & Plato)
Date: Sat, 13 Jul 2024 08:17:31 +0200
Message-ID: <v6t65q$j3lc$1@solani.org>
References: <v67685$6fr5$1@solani.org> <v67k2b$6l2j$2@solani.org>
 <v67k4s$6l2j$3@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 13 Jul 2024 06:17:30 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="626348"; 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:3lGU/WwoEMrr8v2IieTJqg6zwCQ=
In-Reply-To: <v67k4s$6l2j$3@solani.org>
X-User-ID: eJwFwQkBwDAIA0BLQElgcloe/xJ2h0NlhRN0LJboa2yO9jItWW/ywFpkNuwCcvel1qmHTXd4c7Pl84l0/QFbhhVx
Bytes: 2735
Lines: 55

Hi,

Generally speaking it is not “elements” if
its only classical logic:

 > Plato (p. 83 of Elements of Logical
 > Reasoning) … excellent book

The ancient Greek had a well developed sense
of constructivity in their geometry, for example
they distinguished between compass-and-straightedge
constructions, and neuseis constructions.

Constructive logic somehow appeals to this sense,
but its not the only way to do non-classical logics.
In a broader sense in mathematical logic its just
the same discipline as the axiomatic method which

is already found in Euklids geometry but applied
to logic itself. Now it is evident, by the correspondence
that I had, that there are people employed in philosophy
departments saying a A <=> B is void if we have:

CL |- A
CL |- B
-------------------
CL |- A <=> B

They never played the axiomatic method and replaced
classical logic (CL) by something else. Lets make an
example from Euclids geometry. Thales theorem and
Pythagroas theorem are both true? So they are equivalent?

So why bother even write a booklet like Euklid elements?

if you need to find the center of a circle
https://youtube.com/shorts/iQeFCnSo41g

Bye

Mild Shock schrieb:
> Hi,
> 
> I am not halucinating that Negri is nonsense:
> 
> This calculus does not terminate (e.g. on Peirce’s
> formula). Negri [42] shows how to add a loop-checking
> mechanism to ensure termination. The effect on complexity
> isn’t yet clear; but the loop-checking is expensive.
> 
> Intuitionistic Decision Procedures since Gentzen
> The Jägerfest - 2013
> https://apt13.unibe.ch/slides/Dyckhoff.pdf
> 
> Bye
>