Path: ...!weretis.net!feeder9.news.weretis.net!news.quux.org!eternal-september.org!feeder2.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory,sci.logic
Subject: This philosophy of logic reformulates existing ideas on a new basis
 ---
Date: Fri, 8 Nov 2024 15:26:12 -0600
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <vglvlk$3c426$1@dont-email.me>
References: <vfli1h$fj8s$1@dont-email.me> <vgg7tk$26klj$1@dont-email.me>
 <vggjtb$1f3u$1@news.muc.de> <vggund$2am72$1@dont-email.me>
 <vgkudf$1lrm$1@news.muc.de> <vgl78d$37h38$2@dont-email.me>
 <vgl9cm$6e3$1@news.muc.de> <vgl9uh$37h38$9@dont-email.me>
 <vglcnh$agb$1@news.muc.de> <vgldr3$38uph$1@dont-email.me>
 <vglfui$agb$2@news.muc.de> <vglhij$39mg2$1@dont-email.me>
 <vgljtm$1mlg$1@news.muc.de> <vglkfc$3a6hn$2@dont-email.me>
 <vgllf0$1mlg$2@news.muc.de> <vglukk$3bn2s$1@dont-email.me>
 <vglv80$2hp4$1@news.muc.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 08 Nov 2024 22:26:13 +0100 (CET)
Injection-Info: dont-email.me; posting-host="c2fa6bf0e4c95fa4383978e96b35b7f1";
	logging-data="3543110"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/UGhAbCmf9TOTdO85JjK30"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:7KI5Ij0I+iggOCeF8GpoZdo6yA8=
Content-Language: en-US
In-Reply-To: <vglv80$2hp4$1@news.muc.de>
X-Antivirus-Status: Clean
X-Antivirus: Norton (VPS 241108-10, 11/8/2024), Outbound message
Bytes: 3017

On 11/8/2024 3:18 PM, Alan Mackenzie wrote:
> olcott <polcott333@gmail.com> wrote:
>> On 11/8/2024 12:32 PM, Alan Mackenzie wrote:
> 
> [ .... ]
> 
>>> Much of what you say is wrong.  That you strongly assert false things
>>> outside your understanding is a form of lying.  For what it's worth, I
>>> find you highly disagreeable, and your contempt for truth and knowledge
>>> truly despicable.
> 
> [ Material which is off-topic for this subthread deleted. ]
> 

*THIS philosophy of logic reformulates existing ideas on a new basis*
*THIS philosophy of logic reformulates existing ideas on a new basis*
*THIS philosophy of logic reformulates existing ideas on a new basis*
*THIS philosophy of logic reformulates existing ideas on a new basis*
*THIS philosophy of logic reformulates existing ideas on a new basis*

https://www.liarparadox.org/Haskell_Curry_45.pdf
"an elementary theorem is an elementary statement which is true"

My key point is that when truth preserving operations are applied
to Haskell Curry elementary theorems of system F then they derive
every expression true in F.

That you want to disagree with this semantic tautology on the
basis of Ad Hominem attacks makes you look like a nitwit.


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