En este trabajo se presenta un análisis crítico de la teoría prooracional de la verdad, centrando el estudio en la versión de esta teoría propuesta por Robert Brandom como parte esencial de su defensa del inferencialismo semántico. Este autor defiende que el término ‘verdad’ en el lenguaje natural se utiliza para expresar un compromiso con la oración cuya verdad se está afirmando. Esta defensa del papel expresivo de la verdad se justifica por el funcionamiento gramatical de las expresiones ‘es verdad’ y ‘es verdadero’ como operadores formadores de prooraciones. A continuación, se analiza la definición de verdad de Alfred Tarski a la luz de la teoría prooracional, para valorar qué influencia puede tener esta última en la comprensión de la noción de verdad lógica y en el ejercicio de la lógica formal como disciplina. El objetivo central de este trabajo será extender la propuesta de la teoría prooracional de la verdad, que hasta ahora se ha aplicado al uso de los términos ‘verdad’ y ‘verdadero’ en el lenguaje natural, a la noción de verdad lógica, y valorar la influencia de esta nueva concepción sobre la lógica formal.