- Quel est le principe du théorème de l'explosion?
- Quel est le principe ex-falso quodlibet?
- Qu'est-ce que la logique explosive?
Quel est le principe du théorème de l'explosion?
Le principe de l'explosion dit simplement que si une théorie contient une seule incohérence, une telle théorie est triviale - c'est-à-dire qu'elle peut prouver tout. Par conséquent, selon le principe de l'explosion, il n'y a qu'une seule théorie incohérente: la théorie triviale qui a chaque phrase comme théorème.
Quel est le principe ex-falso quodlibet?
Ex Falso Quodlibet est latin pour «du mensonge, n'importe quoi». Il est également appelé le principe de l'explosion. Dans la logique, il fait référence au principe selon lequel une contradiction peut être dérivée dans un système, alors toute proposition suit. Dans la théorie des types, c'est la règle d'élimination du type vide.
Qu'est-ce que la logique explosive?
Une relation de conséquence logique est explosive si, selon elle, une conclusion arbitraire \ (b \) est impliquée par une contradiction arbitraire \ (a \), \ (\ neg a \) (ex contradictione quodlibet (ECQ))). La logique classique, et les logiques «non classiques» standard, telles que la logique intuitionniste, sont explosives.