logica paraconsistente

logica paraconsistente

logica paraconsistente tipo di logica caratterizzato dalla compatibilità con le contraddizioni. Generalmente i sistemi formali non sono compatibili con le contraddizioni perché se in un sistema formale è possibile dedurre una contraddizione allora nel sistema stesso è possibile dedurre qualsiasi proposizione, come statuito dal principio ex falso quodlibet legato al connettivo di implicazione. Ciò non accade nelle logiche paraconsistenti. Se L è un sistema formale di una logica paraconsistente allora è possibile estendere L aggiungendo a esso due proposizioni in contraddizione fra loro come per esempio A e ￢A e ottenere un sistema non banale, dal quale cioè non si possa dedurre qualsiasi proposizione B. I primi sistemi paraconsistenti furono formulati nel 1948 dal logico polacco Stanisław Jaśkowski (1906-65); lo sviluppo della teoria e la formulazione di molti altri sistemi si deve principalmente al matematico e logico brasiliano Newton da Costa e ai suoi collaboratori. Le logiche paraconsistenti sono state applicate allo studio della dialettica, dei concetti vaghi e, più recentemente, allo studio delle basi di dati inconsistenti.