Post #2526989

My *next* talk in this spring/summer of research combines some longstanding interests of mine (Graham Priest’s Logic of Paradox) and more recent interests (natural deduction and the sequent calculus). I bet you didn’t think that you could creatively apply Gentzen’s thoroughly standard rules of natural deduction to give you a sound and complete calculus for Priest’s LP, but it turns out that you can. https://consequently.org/presentation/2026/lp-subst-arche/ #prooftheory #NaturalDeduction #paradox #philosophy