Nāgārjuna desarrolla en el Mūlamadhyamakakārikā (c. 150 CE) el catuṣkoṭi o tetralemma: un sistema lógico de cuatro posiciones mutuamente excluyentes para cualquier proposición — (1) es A, (2) no es A, (3) es ambos A y no-A, (4) no es ni A ni no-A. Este sistema viola el principio aristotélico de no contradicción al permitir que una proposición y su negación sean simultáneamente verdaderas (posición 3), sin que el sistema colapse en trivialidad. La motivación filosófica es la śūnyatā (vacuidad): ninguna entidad tiene existencia intrínseca, todo existe en dependencia relacional, lo que hace que las categorías binarias sean insuficientes para describir la realidad. El catuṣkoṭi es el primer sistema lógico documentado que tolera la contradicción sin explosión lógica. El lógico Graham Priest lo cita explícitamente como precursor histórico de la lógica paraconsistente en In Contradiction (1987). Su transmisión al canon lógico occidental llegó con un retraso de 1.800 años.