Crítica, Revista Hispanoamericana de Filosofía, Volume 46, number 138, diciembre 2014
Expresabilidad, validez y recursos lógicos
[Expressibility, Validity and Logical Resources]
Eduardo Alejandro Barrio
Universidad de Buenos Aires
CONICET

eabarrio@gmail.com

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.
Keywords: validity paradox, higher-order languages, transparent truth, self-reference, non-classical logic

Abstract in Spanish | PDF en Spanish (210 Kb)