human
Veuillez expliquer ce qu'est la "logique paracohérente"
gpt
Une logique paracohérente est une tentative de système logique pour traiter les contradictions de manière discriminatoire. Alternativement, la logique paracohérente est le sous-domaine de la logique qui s'intéresse à l'étude et au développement de systèmes logiques « tolérants à l'incohérence » qui rejettent le principe d'explosion.
Les logiques tolérantes à l'incohérence ont été discutées depuis au moins 1910 (et sans doute beaucoup plus tôt, par exemple dans les écrits d'Aristote); cependant, le terme paracohérent ("à côté du cohérent") a été inventé pour la première fois en 1976, par le philosophe péruvien Francisco Miró Quesada Cantuarias. L'étude de la logique paracohérente a été surnommée la paracohérence, qui englobe l'école du dialéthéisme.