The Knowability Argument and the syntactic type-theoretic approach
Recently, there have been some attempts to block the Knowability Paradox and other modal paradoxes by adopting a type-theoretic framework in which knowledge and necessity are regarded as typed predicates. The main problem with this approach is that when these notions are simultaneously treated as pr...
| Autor: | |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2013 |
| 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/9158 |
| Acceso en línea: | http://hdl.handle.net/11336/9158 |
| Access Level: | acceso abierto |
| Palabra clave: | Knowability Argument Type-theoretic approach Self-reference Multimodal Paradoxes https://purl.org/becyt/ford/6.3 https://purl.org/becyt/ford/6 |
| Sumario: | Recently, there have been some attempts to block the Knowability Paradox and other modal paradoxes by adopting a type-theoretic framework in which knowledge and necessity are regarded as typed predicates. The main problem with this approach is that when these notions are simultaneously treated as predicates, a new kind of paradox appears. I claim that avoiding this paradox either by weakening the Knowability Principle or by introducing types for both predicates is rather messy and unattractive. I also consider the prospect of using the truth predicate to emulate necessity, knowledge and other modal notions. It turns out that this idea works much better. |
|---|