Apri il menu principale

Modifiche

→‎Conclusioni: corr disamb
 
=== Conclusioni ===
Un sistema logico dove siano valide le comuni [[regola di inferenza|regole di inferenza]] e dove sia anche presente una [[contraddizione]], ossia sia VERA (completamente vera) una affermazione e anche la sua negazione, è privo di [[logica]], di [[Struttura (semiotica)|struttura]] e di [[informazione]], poiché tutte le affermazioni sono vere (comprese le loro negazioni). E quindi non può essere interessante poiché non comunica informazione.
Questo risultato è anche noto come '''principio di esplosione'''.
La banalizzazione di un sistema in cui sia presente contraddizione può essere evitata solo a patto di indebolire il sistema stesso, scartando regole di inferenza o assiomi. Questo avviene nelle cosiddette [[logica paraconsistente|logiche paraconsistenti]].