Core Inconsistency

Rossberg, Marcus marcus.rossberg at
Fri Jan 15 14:10:13 EST 2021


Isn’t Core Logic a subsystem of intuitionistic logic and hence also of classical logic?
Finding that Core Logic is inconsistent would seem to have much wider ranging consequences.

Best wishes,

On Jan 14, 2021, at 9:04 AM, Joseph Vidal-Rosset <joseph.vidal.rosset at<mailto:joseph.vidal.rosset at>> wrote:

*Message sent from a system outside of UConn.*<>

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/7072e9d7/attachment-0001.html>

More information about the FOM mailing list