Logica paraconsistente

In logica, per logica paraconsistente si intende un sistema formale in cui possono verificarsi in modo controllato delle eccezioni al principio di non contraddizione, cioè possono presentarsi delle contraddizioni, senza però che con questo sia possibile derivare nel sistema ogni proposizione, evitando quindi il principio di esplosione.

Il termine fu coniato nel 1976 durante la Third Latin America Conference on Mathematical Logic dal filosofo peruviano Francisco Miró Quesada (1918-2019). Anche se il dibattito riguardo a sistemi logici in cui si verifichino contraddizioni risale agli Analitici primi di Aristotele, i primi autori che hanno contribuito a sviluppare le logiche paraconsistenti sono Nikolaj Aleksandrovic Vasil'ev (1880-1940), Ivan Orlov (1886-1936), Stanisław Jaśkowski (1906-1965) e Newton da Costa (1929-).

Bibliografia

• (EN) Jean Yves Béziau, Walter Carnielli e Dov Gabbay, eds., Handbook of Paraconsistency, Londra, King's College, 2007, ISBN 978-1-904987-73-4.
• Nikolaj Aleksandrovic Vasil'ev, Logica immaginaria, Roma, Carocci, 2012, ISBN 9788843066667.

Voci correlate

• Contraddizione
• Logica classica
• Consistenza (logica matematica)

Collegamenti esterni

• Logica paraconsistente, in Enciclopedia della scienza e della tecnica, Roma, Istituto dell'Enciclopedia Italiana, 2007-2008. URL consultato il 22 maggio 2019.
• Paraconsistent Logic, su plato.stanford.edu. URL consultato il 22 maggio 2019.
• Paraconsistent Logic, su iep.utm.edu. URL consultato il 22 maggio 2019.

Controllo di autorità	Thesaurus BNCF 69980 · GND (DE) 4226190-9