Re: 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.