Core Inconsistency

[Tennant, Neil]

Dear Jo,

If you are right that Core Logic is inconsistent, then so too are Intuitionistic Logic and Classical Logic.

If I can find the time during COVID to do so, I shall let you know where the mistake in your proof is located.

Stay safe and be well,
Regards,
Neil

Get Outlook for iOS<https://aka.ms/o0ukef>
________________________________
From: FOM <fom-bounces at cs.nyu.edu> on behalf of Joseph Vidal-Rosset <joseph.vidal.rosset at gmail.com>
Sent: Thursday, January 14, 2021 9:04:05 AM
To: Foundations of Mathematics <fom at cs.nyu.edu>
Cc: Tennant Neil <neilt at mercutio.cohums.ohio-state.edu>
Subject: Core Inconsistency

https://www.vidal-rosset.net/core_inconsistency.html<https://urldefense.com/v3/__https://www.vidal-rosset.net/core_inconsistency.html__;!!KGKeukY!hgzH9hkO-VXhlbRAV7XapSeRdpvEsm0RMY8AApgOxAI73_KoYFZZZi2TGBqCUYfh$>

Dear colleagues,

My contribution to the World Logic Day: a proof that Core logic (that is Neil Tennant's logical system) entails an inconsistency.

Comments are welcome and, of course, if my argument is not a proof, I will apologize and I will delete this webpage.

Best wishes, and Happy New Year !

Joseph Vidal-Rosset

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20210115/c9da8ae6/attachment-0001.html>