logica paraconsistente logica paraconsistente tipo di logica caratterizzato dalla compatibilità con le contraddizioni. Generalmente i sistemi formali non sono compatibili con le contraddizioni perché [...] 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 ... Leggi Tutto

Logiche non standard Claudio Pizzi Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] idee anticipate degli anni Trenta da Nicolai Vasiliev e Stanislaw Jaskowski, dava impulso a una nuova logica, la logica paraconsistente, il cui obiettivo era quello di creare sistemi che ammettono contraddizioni senza perciò essere banalizzati dalla ... Leggi Tutto

Jaskowski Jaśkowski Stanisław (Varsavia 1906-65) logico polacco. Allievo di J. Łukasiewicz e membro della scuola di logica di Leopoli-Varsavia, si occupò di → logica paraconsistente. Si iscrisse alla [...] egli cerca sistemi formali che permettano di esaminare tali incoerenze, attraverso una teoria che ne contenga una. Se una logica paraconsistente L è estesa a una teoria contenente una contraddizione, la teoria risultante T = L ∪ {A, ¬A} non è banale ... Leggi Tutto

Costa Costa Newton Carneiro Affonso da (Curitiba 1929) matematico e logico brasiliano. È noto soprattutto per i suoi lavori di → logica paraconsistente e le relative applicazioni in teoria della calcolabilità, [...] e in intelligenza artificiale ... Leggi Tutto