Il testo mostra come sia possibile costruire una logica di base per teorie inconsistenti ma non banali seguendo l'approccio paraconsistente. Il volume, inoltre, analizza la tematica dell'opposizione in Aristotele utilizzando gli studi di Lukasievicz e di Vasil'ev. La seconda parte del testo mostra come sia possibile costruire non solo una logica dei predicati di primo ordine inconsistente ma non banale, ma anche teorie insiemistiche, geometrie e analisi (cioé una matematica paraconsistente) inconsistenti ma non banali.
Il recupero dell'inconsistenza / Grana, Nicola; N. C. A., DA COSTA. - STAMPA. - (2009).
Il recupero dell'inconsistenza
GRANA, NICOLA;
2009
Abstract
Il testo mostra come sia possibile costruire una logica di base per teorie inconsistenti ma non banali seguendo l'approccio paraconsistente. Il volume, inoltre, analizza la tematica dell'opposizione in Aristotele utilizzando gli studi di Lukasievicz e di Vasil'ev. La seconda parte del testo mostra come sia possibile costruire non solo una logica dei predicati di primo ordine inconsistente ma non banale, ma anche teorie insiemistiche, geometrie e analisi (cioé una matematica paraconsistente) inconsistenti ma non banali.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
