Logică paraconsistentă
În logică , pentru logică paraconsistentă înseamnă un sistem formal în care într-o manieră controlată pot apărea excepții de la principiul non-contradicției , care pot apărea din contradicții , fără, totuși, că cu aceasta este posibil să se deducă în fiecare propoziție sistem, evitând astfel principiul exploziei .
Termenul a fost inventat în 1976 în timpul celei de-a treia conferințe din America Latină de logică matematică de către filosoful peruan Francisco Miró Quesada (1918-). Deși dezbaterea cu privire la sistemele logice în care apar contradicții datează de la analiza timpurie a lui Aristotel , primii autori ai cărora au contribuit la dezvoltarea logicii paraconsistente sunt Nikolai Aleksandrovic Vasil'ev (1880-1940), Ivan Orlov (1886-1936), Stanisław Jaśkowski (1906-1965) și Newton da Costa (1929-).
Bibliografie
- ( EN ) Jean Yves Béziau , Walter Carnielli și Dov Gabbay , eds., Handbook of Paraconsistency , Londra, King's College, 2007, ISBN 978-1-904987-73-4 .
- Nikolaj Aleksandrovic Vasil'ev, Imaginary Logic , Rome, Carocci, 2012, ISBN 9788843066667 .
Elemente conexe
linkuri externe
- Logică paraconsistentă , în Enciclopedia științei și tehnologiei , Institutul Enciclopediei Italiene, 2007-2008. Adus la 22 mai 2019 .
- Paraconsistent Logic , pe plato.stanford.edu . Adus la 22 mai 2019 .
- Logică paraconsistentă , pe iep.utm.edu . Adus la 22 mai 2019 .