Core Inconsistency

[Rossberg, Marcus]

Hello.

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,
Marcus



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


*Message sent from a system outside of UConn.*


https://www.vidal-rosset.net/core_inconsistency.html<https://nam10.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.vidal-rosset.net%2Fcore_inconsistency.html&data=04%7C01%7Cmarcus.rossberg%40uconn.edu%7Cdf916c3cfcb94cc9929008d8b8f3dce6%7C17f1a87e2a254eaab9df9d439034b080%7C0%7C0%7C637462704831651674%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=aZupvSVJuP8xFqPXZUvRMitGGcBDUGPVJYArubnI5rw%3D&reserved=0>

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>