Abstract
Bolzano propôs uma teoria da verdade que se diferencia das restantes por defender que as proposições são objetivas (não são juízos nem frases) e, consequentemente, que também as proposições verdadeiras (e as falsas) são objetivas (não constituem a correspondência entre um juízo/uma frase e um facto objetivo nem uma qualquer relação entre juízos/frases). Para além disso, considero que propõe uma teoria metafísica da correspondência (à qual não adiro), de acordo com a qual a verdade consiste na correspondência entre uma proposição objetiva e um facto.