Expresabilidad, validez y recursos lógicos

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.

Keywords

• la paradoja de la validez
• lenguajes de orden superior
• verdad transparente
• autorreferencia
• lógica no clásica