Verdad o referencia : Consecuencias Semánticas del Lema A de Tarski

Trataremos de mostrar dos resultados paradójicos en la teoría semántica. El primero contradice la esperanza que abrigamos "naturalmente" de que una oración verdadera tenga un sólido asidero en la realidad; es decir, que los referentes de sus términos estén unívocamente fijados cuando sabemos que ella es verdadera. Se trata del teorema de Putnam . El segundo, es que una oración abierta verdadera, contrariamente a lo esperado, sí fija su referente. El resultado se deriva del Lema A de Alfred Tarski.