Verdad y demostración presenta un estudio pormenorizado de las diferentes teorías de la verdad que se discuten actualmente y ofrece un panorama crítico de las propuestas recientes. A lo largo de esta original investigación se lleva a cabo un análisis formal y semántico y se examina la postura generalizada al respecto con el fin de comprender cómo ha sido asumida en la tradición. También se analizan las condiciones en las que se puede desarrollar una teoría de la verdad y se arroja luz sobre cuestiones tan interesantes como la paradoja del mentiroso y los sistemas autoreferenciales. Por último, se desarrollan algunas consideraciones acerca de los predicados «verdadero» y «demostrable» y se valoran presupuestos empíricos en los que se asientan las teorías de la verdad. Este libro está dirigido tanto a filósofos y especialistas en filosofía del lenguaje así como a todos aquellos interesados en el problema de la verdad y sus consecuencias. El autor aporta una perspectiva completamente nueva en lengua castellana gracias a su larga experiencia en el entorno filosófico anglosajón y alemán.