This philosophy of logic reformulates existing ideas on a new basis ---

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