Explosion and Cut Necessary

[Joseph Vidal-Rosset]

Le   mer.   05/25/22   mai   2022   à   06:53:59   ,   "Tennant,   Neil"
<tennant.9 at osu.edu> a envoyé ce message:
> Gosh, Jo, you  must therefore have proved that  Classical Logic itself
> is  inconsistent.  (Core Logic  is  a  proper subsystem  of  Classical
> Logic.)

Hello Neil,

Thank you for this nice email, both informative and obviously full of
consideration for my work.

But you forget to say  that neither Classical Logic, nor intuitionitic
logic    are     paraconsistent,    by    contrast     with    minimal
logic. Paraconsistency i.e. the antisequent

\(\lnot A, A \nvdash B\)

doest not entail a contradiction in minimal logic, by contrast with Core
logic.  (In  /Core  Logic/,  p.156,  you  wrote  that  Core  logic  is
paraconsistent. Me at least, I read you with attention.)

So, I am afraid  that, if my argument is correct, and  I believe that it
is, Core logic is not a proper subsystem of Classical logic, because, if
it  is paraconsistent,  then  it  is simply  /not/  a  logic, logic  being
consistency, /pace/ Priest.

Jo.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220525/2055b034/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: latexob7eHy_1b374a94f8515f67b52c9440b02eec2e2f5ee3e6.png
Type: image/png
Size: 540 bytes
Desc: not available
URL: </pipermail/fom/attachments/20220525/2055b034/attachment.png>