Expresabilidad, validez y recursos lógicos



Título del documento: Expresabilidad, validez y recursos lógicos
Revista: Crítica (México, D.F.)
Base de datos: CLASE
Número de sistema: 000407697
ISSN: 0011-1503
Autores: 1
Instituciones: 1Universidad de Buenos Aires, Buenos Aires. Argentina
Año:
Periodo: Dic
Volumen: 46
Número: 138
Paginación: 3-36
País: México
Idioma: Español
Tipo de documento: Artículo
Enfoque: Analítico
Resumen en español El objetivo de este artículo es investigar diversos resultados limitativos acerca del concepto de validez. En particular, argumento que ninguna teoría lógica de orden superior con semántica estándar puede tener recursos expresivos suficientes como para capturar su propio concepto de validez. Además, muestro que la lógica de la verdad transparente que Hartry Field desarrolló recientemente conduce a resultados limitativos similares
Resumen en inglés The aim of this paper is to investigate various limitative results about the concept of validity. In particular, I argue that higher-order logic with the standard semantics cannot be sufficiently expressive to capture its own concept of validity. Moreover, I show that the logic of transparent truth recently developed by Hartry Field leads to similar limitative results
Disciplinas: Filosofía
Palabras clave: Lógica,
Gnoseología,
Filosofía del lenguaje,
Validez,
Verdad,
Lenguajes formales,
Autorreferencialidad,
Predicado,
Segundo orden
Texto completo: Texto completo (Ver HTML)