⟳ Репост от Juan Diego Rodriguez
My new paper "The Modal Catuṣkoṭi" coherently translates Mahayana Buddhist philosophy's structure into formal modal logic across all relevant systems. It's the first peer-reviewed comparative-philosophy article with central model-theoretic results Lean-verified. scholarworks.sjsu.edu/comparativep...
The Modal Catuṣkoṭi: Formalizing Emptiness in Classical Modal LogicNā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 develo...scholarworks.sjsu.edu