Re: The philosophy of logic reformulates existing ideas on a new basis ---

On 11/8/2024 12:32 PM, Alan Mackenzie wrote:

olcott <polcott333@gmail.com> wrote:
 [ .... ]
 

None of what I say is all that difficult unless one's
primary purpose is to be disagreeable.

 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.
 

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

 

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