A significant philosophical justification for the development of paraconsistent logics is the observation that there are theories (and, more generally, datasets) which are informative in their respective domains and yet allow for the derivation of contradictions, either on their own or when combined with other theories. A system of logic can represent deductive reasoning within such theories while avoiding triviality, i.e. it can be designed in such a way that the presence of a contradiction is not sufficient for deriving everything whatsoever. The underlying idea is that inconsistent theories typically contain consistent sub-theories which are legitimate for studying their own domains and should not be affected by contradictions involving propositions that are out of their scope. The framework employed here is a proposal to formally capture this intuition in a precise way, thanks to the possibility of comparing the scope of theories both in the syntax and in the semantics.

Giordani, A., Pascucci, M., A logic of topic inconsistency, Poster paper, in Proceedings of the Sixth World Congress of Paraconsistency, (Torun, 05-08 September 2022), The Nicolaus Copernicus University Scientific Publishing House, Torun 2022: 94-98 [http://hdl.handle.net/10807/214766]

A logic of topic inconsistency

Giordani, Alessandro;
2022

Abstract

A significant philosophical justification for the development of paraconsistent logics is the observation that there are theories (and, more generally, datasets) which are informative in their respective domains and yet allow for the derivation of contradictions, either on their own or when combined with other theories. A system of logic can represent deductive reasoning within such theories while avoiding triviality, i.e. it can be designed in such a way that the presence of a contradiction is not sufficient for deriving everything whatsoever. The underlying idea is that inconsistent theories typically contain consistent sub-theories which are legitimate for studying their own domains and should not be affected by contradictions involving propositions that are out of their scope. The framework employed here is a proposal to formally capture this intuition in a precise way, thanks to the possibility of comparing the scope of theories both in the syntax and in the semantics.
Inglese
Proceedings of the Sixth World Congress of Paraconsistency
Sixth World Congress of Paraconsistency
Torun
Poster paper
5-set-2022
8-set-2022
The Nicolaus Copernicus University Scientific Publishing House
Giordani, A., Pascucci, M., A logic of topic inconsistency, Poster paper, in Proceedings of the Sixth World Congress of Paraconsistency, (Torun, 05-08 September 2022), The Nicolaus Copernicus University Scientific Publishing House, Torun 2022: 94-98 [http://hdl.handle.net/10807/214766]
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: http://hdl.handle.net/10807/214766
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact