Core Inconsistency

Tennant, Neil tennant.9 at
Fri Jan 15 07:29:05 EST 2021

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,

Get Outlook for iOS<>
From: FOM <fom-bounces at> on behalf of Joseph Vidal-Rosset <joseph.vidal.rosset at>
Sent: Thursday, January 14, 2021 9:04:05 AM
To: Foundations of Mathematics <fom at>
Cc: Tennant Neil <neilt at>
Subject: Core Inconsistency<;!!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>

More information about the FOM mailing list