Inconsistency, paraconsistency and ω-inconsistency
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 interest...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2018 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/97256 |
| Acceso en línea: | http://hdl.handle.net/11336/97256 |
| Access Level: | acceso abierto |
| Palabra clave: | PARACONSISTENCY SUBSTRUCTURAL THEORIES OF TRUTH ω-INCONSISTENCY https://purl.org/becyt/ford/6.3 https://purl.org/becyt/ford/6 |
| Sumario: | 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. |
|---|