A Note on a Modified Catuskoti

TL;DR

This paper explores a modified formalization of the Buddhist logical concept catuskoti, demonstrating how slight adjustments can enable its interpretation within classical propositional logic, contrasting with recent many-valued approaches.

Contribution

It introduces a modified formalization of catuskoti that fits within classical propositional calculus, offering an alternative to recent many-valued paraconsistent logic models.

Findings

Modified catuskoti formalization fits classical logic

Provides an alternative to paraconsistent logic models

Enhances understanding of Buddhist logic in modern formal systems

Abstract

The `catuskoti' or tetralemma in Buddhist logic is a problematic subject from the modern logical point of view. Recently a many-valued paraconsistent logic was proposed in order to formalize catuskoti adequately by G. Priest. On the other hand a slight modification of the formalization of catuskoti seems to allow an appropriate interpretation in the framework of the classical propositional calculus in the mathematical logic developed by Russell-Whitehead and Hilbert-Ackermann.