Abstract

La construcción de un lenguaje formal en el que sea posible llevar a cabo fonnulaciones sobre la verdad de los enunciados deI propio lenguaje se ha revelado en extremo problemático, puesto que los llamados enunciados deI mentiroso conducen a paradojas. En su libro The Liar, Barwise y Etchemendy afirman haber solucionado el problema mediante su semántica russelliana y semantica austiniana. Sin embargo, en este articulo va a ser demostrado que la semántica russelliana fracasa en solucionar el problema por las mismas razones que planteamientos clásicos suelen fracasar, y que la semantica austiniana fracasa totalmente puesto que esta semantica no contiene ningún predicado veritativo.Formal languages with truth predicates are seriously affected by paradoxes in the form of Liar sentences. In their best-seller The Liar, Barwise and Etchemendy achieved to convince a respectable part of the philosophical world that they have solved this problem by means of their Russellian- and Austinian semantics. The aim of this paper is to stop the rumour that the Liar paradox is solved. lt will be shown that Russellian semantics fails because of the same reasons classical approaches use to fail, and that Austinian semantics fails totally since it contains no truth predicate, i.e. in Austinian semantics it is generally impossible to express the truth or falsehood of a proposition.