Two-valued Logics for Transparent Truth Theory
It is part of the current wisdom that the Liar and similar semantic paradoxes can be taken care of by the use of certain non-classical multivalued logics. It is also well-known that some of these logics can be characterized by means of two-valued semantics. An immediate consequence of this is that t...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2015 |
| 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/107694 |
| Acceso en línea: | http://hdl.handle.net/11336/107694 |
| Access Level: | acceso abierto |
| Palabra clave: | Truth Paradoxes Non-deterministic semantics Non-classical Logic https://purl.org/becyt/ford/6.3 https://purl.org/becyt/ford/6 |
| Sumario: | It is part of the current wisdom that the Liar and similar semantic paradoxes can be taken care of by the use of certain non-classical multivalued logics. It is also well-known that some of these logics can be characterized by means of two-valued semantics. An immediate consequence of this is that there are two-valued logics that support a transparent truth predicate. In this paper I want to suggest that these logics are not just interesting from a formal point of view but also from a philosophical perspective. In particular, I will argue that the two-valued presentation of these logics has a number of advantages over the more usual presentations. |
|---|