En La Concepción Semántica de la verdad y los Fundamentos de la Semántica, Tarski define su concepción de la verdad como sigue:
"Vamos a considerar arbitraria la sentencia; vamos a sustituir por la letra '$p$.' Se forma el nombre de esta frase y su reemplazo por otra letra, por ejemplo"$X$.' Nos preguntamos ahora, ¿cuál es la relación lógica entre las dos oraciones '$X$ es verdadero' y '$p$.' Está claro que desde el punto de vista de nuestra concepción básica de la verdad de estas sentencias son equivalentes. En otras palabras, la siguiente equivalencia se tiene:
(T) $X$ es verdadera si, y sólo si, $p$."
Ahora, vamos a $h:\mathcal{A}\mapsto\mathbf{2}$, de una interpretación de un álgebra $\mathcal{A}$ de las sentencias de un lenguaje determinado para el álgebra Booleana $\mathbf{2}$ (el álgebra Booleana cuyo dominio es $\{0,1\}$) del mismo tipo.
Tengo una duda acerca de lo que Tarski medio por el "nombre de una frase". Supongamos por ejemplo que $p$ es en el álgebra $\mathcal{A}$. ¿Tarski del esquema (T) significa que:
(T) $h(p)$ es verdadera si, y sólo si, $p$?
Dicho de otra manera, ¿el nombre de una frase corresponden a $h(p)$?
