Resumen: Este trabajo trata sobre el desarrollo de la teoría pro-oracional de la verdad y tiene como objetivo evaluar sus distintas versiones. Según esta teoría, las adscripciones de verdad funcionan como prooraciones, que constituyen un mecanismo para generar variables proposicionales en el lenguaje natural. En la introducción, se aportará un estado de la cuestión en el que se presentarán las motivaciones que sustentan la teoría pro-oracional, así como un repaso histórico de sus diferentes articulaciones. En segundo lugar, se discutirá la teoría de Ramsey sobre la verdad que, pace la lectura tradicional de esta como una teoría de la redundancia, se presentará como el principal antecedente de las teorías prooracionales actuales. Seguidamente, se explicará detalladamente la propuesta original por parte de Grover, Belnap y Camp de la teoría pro-oracional y se plantearán algunas objeciones. También se discutirá la versión alternativa de Robert Brandom: defenderemos que, aunque esta supone una mejoría sobre la propuesta de Grover et al., todavía no constituye un análisis lógico correcto de la noción de verdad. Por último, se presentará la propuesta pro-oracional de C. J. F. Williams y se sostendrá que esta consigue capturar tanto el significado expresivo como el comportamiento lógico de la noción de verdad. 

Abstract: This paper discusses the development of the prosentential theory of truth and aims at evaluating its different versions. According to this theory, truth ascriptions work as prosentences, which provide a mechanism to generate propositional variables in natural language. In the introductory section, a state of the question will be provided, presenting the motivations that sustain the prosentential account of truth as well as a historical overview of the theory. Secondly, Ramsey’s theory of truth will be presented as the main antecedent of contemporary prosententialism, pace the traditional view that his is a redundancy theory. After that, we will explain in detail Grover, Belnap, and Camp’s original articulation of the prosentential account of truth and raise some objections to this particular proposal. Robert Brandom’s alternative prosententialism will also be discussed: we will argue that, although it constitutes an improvement on Grover et al.’s original views, it still does not provide a correct logical analysis of truth ascriptions. The picture will be completed by commenting on C. J. F. Williams’ version of prosententialism, whose account, I will hold, provides a correct explanation of the expressive meaning as well as of the logical behavior of the notion of truth