Si "la verdad es una relación entre una proposición y la ...

Si "la verdad es una relación entre una proposición y la realidad" fuera verdad, entonces "la verdad es una relación entre una proposición y la realidad" sería una relación entre una proposición y la realidad, lo que es evidentemente falso.

Asimismo, si no existiera la realidad, sería verdad que no existe la realidad. Por lo que no es cierto que la verdad sea una relación entre una proposición y la realidad.

Asimismo, si la necesaria existencia de la realidad no puede ser probada y la verdad depende de la realidad, entonces la necesidad de la verdad no puede ser probada. Por tanto, la verdad es siempre contingente. Lo que es tanto como afirmar que "la verdad es contingente" es una verdad necesaria. Queda, pues, reducido al absurdo. 

Incluso si resultara admisible que la verdad es contingente, ello conllevaría que "la verdad es una relación entre una proposición y la realidad" no sería una verdad necesaria, lo que a su vez implica que su opuesto, "la verdad no es una relación entre una proposición y la realidad", sería posiblemente verdadero. Por consiguiente, no sería siempre falso que la verdad es independiente de la realidad.

Además, si la verdad fuera la relación entre una proposición y la realidad, la verdad no estaría ni en la realidad ni en la proposición. Del mismo modo que, si el matrimonio es la relación entre un hombre y una mujer, el matrimonio no está ni en el concepto de hombre ni en el de mujer. Debería, pues, aclararse si "la verdad es una relación" es un aserto que establece una relación entre el lenguaje y la realidad o entre el lenguaje y el lenguaje mismo. Si establece una relación entre el lenguaje y la realidad, debería haber algo común entre ambos para que la relación fuera válida, esto es, algo distinto de la realidad y el lenguaje que esté presente en ambos. Si, por el contrario, establece una relación entre el lenguaje y el lenguaje mismo, la verdad no es más que una norma gramatical sin valor extrínseco. Luego, si la verdad es la relación entre una proposición y la realidad y tiene un valor extrínseco y no meramente gramatical, debe ser algo distinto de la realidad y del lenguaje que esté presente en ambos. 

Si dos entes son distintos entre sí, o bien uno es anterior al otro o bien ambos existen simultáneamente. Está fuera de duda que la realidad es anterior al lenguaje. Por tanto, si algo es común a la realidad y al lenguaje pero distinto de ambos, deberá ser anterior al lenguaje o posterior a la realidad. Dado que, si es simultáneo a la realidad o anterior a ella, será anterior al lenguaje. Si, en cambio, es posterior a la realidad, la verdad empezará a existir y no será necesaria, por lo que tampoco será una verdad necesaria que la verdad empiece a existir. O lo que es lo mismo: o bien la verdad empezará a existir o bien no empezará a existir y será siempre o no será nunca. Pero esto carece de sentido, ya que, si la verdad es siempre o no es siempre, es posible que sea necesaria, cuando la necesidad excluye la posibilidad; y si la verdad nunca es, entonces nunca es verdad que la verdad nunca es. En consecuencia, la verdad no empieza a existir y no es posterior a la realidad.

Sentado que el lenguaje es posterior a la realidad, si fuera cierto que la verdad es común a la realidad y al lenguaje, resultado de la correspondencia entre ambos, y que, por ello, no hay verdad sin lenguaje, se seguiría que la verdad no podría ser simultánea a la realidad, ya que ésta es anterior al lenguaje. Pero hemos visto que tampoco puede ser posterior a la realidad. Por tanto, es fuerza admitir que la verdad es anterior a la realidad y al lenguaje, y que la verdad no es una relación entre una proposición y la realidad.