Abstract

BARRIO, Eduardo Alejandro. Expresabilidad, validez y recursos lógicos. Crítica (Méx., D.F.) [online]. 2014, vol.46, n.138, pp.3-36.  Epub Jan 13, 2020. ISSN 0011-1503.

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.