Expresabilidad, validez y recursos lógicos



Document title: Expresabilidad, validez y recursos lógicos
Journal: Crítica (México, D.F.)
Database: CLASE
System number: 000407697
ISSN: 0011-1503
Authors: 1
Institutions: 1Universidad de Buenos Aires, Buenos Aires. Argentina
Year:
Season: Dic
Volumen: 46
Number: 138
Pages: 3-36
Country: México
Language: Español
Document type: Artículo
Approach: Analítico
Spanish abstract 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
English abstract 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
Disciplines: Filosofía
Keyword: Lógica,
Gnoseología,
Filosofía del lenguaje,
Validez,
Verdad,
Lenguajes formales,
Autorreferencialidad,
Predicado,
Segundo orden
Full text: Texto completo (Ver HTML)