Chance Chapman

The Modal Catuṣkoṭi: Formalizing Emptiness in Classical Modal Logic

Nāgārjuna’s arguments in the Mūlamadhyamakakārikā rely extensively on modus tollens, yet this inference is invalid in the paraconsistent frameworks typically used to formalize the catuṣkoṭi. We develop a modal extension of Belnap-Dunn semantics to address this, expressed as: ¬□(v(P) = t) ∧ ¬□(v(P) = f) ∧ ¬□(v(P) = b) ∧...