Inconsistency, Paraconsistency and ?-Inconsistency
DOI:
https://doi.org/10.5007/1808-1711.2018v22n1p171Resumo
In this paper I’ll explore the relation between ?-inconsistency and plain inconsistency, in the context of theories that intend to capture semantic concepts. In particular, I’ll focus on two very well known inconsistent but non-trivial theories of truth: LP and STTT. Both have the interesting feature of being able to handle semantic and arithmetic concepts, maintaining the standard model. However, it can be easily shown that both theories are ?- inconsistent. Although usually a theory of truth is generally expected to be ?-consistent, all conceptual concerns don’t apply to inconsistent theories. Finally, I’ll explore if it’s possible to have an inconsistent, but?-consistent theory of truth, restricting my analysis to substructural theories.
Downloads
Publicado
Edição
Seção
Licença
![Licença Creative Commons](http://i.creativecommons.org/l/by-nc-nd/3.0/88x31.png)
A obra Principia de http://www.periodicos.ufsc.br/index.php/principia/index foi licenciada com uma Licença Creative Commons Atribuição-NãoComercial-SemDerivações 4.0 Internacional.
Com base na obra disponível em www.periodicos.ufsc.br.