Explosion and Cut Necessary

Joseph Vidal-Rosset joseph.vidal.rosset at gmail.com
Wed May 25 12:34:25 EDT 2022

Le 20/05/2022 à 04:12, Harvey Friedman wrote:
> So what do we learn from Core Logic?

I don't know, because the paraconsistency claim makes Core logic 
inconsistent, as I prove it in this note just published here:


I do not see fallacy in this proof.

Comments are welcome, of course.

Best wishes,


More information about the FOM mailing list