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;
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/116047
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact