Logique paraconsistante
La Logique paraconsistante est un système logique qui tolère les contradictions sans que cela entraîne l'explosion logique (le principe selon lequel une contradiction implique tout). Elle remet en question le principe classique de non-contradiction, fondement de la logique aristotélicienne.
Le philosophe russe Nikolaï Vassilev (1880-1940) en est l'un des pères fondateurs, avec son concept de "logique imaginaire" (1910-1913), dans laquelle il propose d'éliminer la loi de non-contradiction comme axiome nécessaire, à la manière dont les géométries non euclidiennes avaient éliminé le postulat des parallèles. Il anticipe ainsi des développements logiques qui ne seront formalisés que des décennies plus tard.
La logique paraconsistante a des applications importantes en informatique (traitement des bases de données incohérentes), en philosophie du langage (paradoxes sémantiques), et en épistémologie (théories scientifiques en conflit). Des logiciens comme Newton da Costa ont formalisé et développé ces idées à partir des années 1960, faisant de la logique paraconsistante un domaine de recherche actif.