Presuposición i: solo hay una verdad.
Presuposición ii: toda meta científica se orienta a buscar la verdad.
Dichas presuposiciones se dan por hecho en toda disciplina científica. Si no se tuvieran en cuenta, por ejemplo, si considerase que no solo hay una verdad sino varias, o que el objetivo científico no es buscar la verdad sino imponer una determinada estructura sociopolítica (véase el pensamiento que considera que la ciencia solo está al poder de los más poderosos), entonces mantengo una posición relativista. En cambio, si me oriento a buscar la verdad, necesito tener un criterio que me permita identificar lo verdadero de lo falso.
Ahí entra la lógica, una disciplina científica que investiga las leyes que nos permiten expresar que algo sea verdadero. Pero lo verdadero, la naturaleza de la verdad, no es objeto de estudio de la lógica.
¿Por qué la lógica no define lo verdadero?
Frege contesta a esto que la verdad no se puede definir bajo ningún término. Tampoco se define mediante una relación de correspondencia, por la sencilla razón de que lo verdadero no se corresponde con ninguna otra cosa que no sea a sí mismo; es decir, por poner un ejemplo, si lo que veo delante de mí es la catedral de Colonia, y esa catedral es verdaderamente la catedral de Colonia y no la de Hamburgo, no puedo decir que lo verdadero sea la catedral de Colonia, porque si dejase de existir esa catedral, también dejaría de existir lo verdadero, y eso no tendría sentido. Por lo tanto, parece que lo verdadero es indefinible, tanto por medio de un concepto como por medio de una relación de correspondencia.
Por eso, la lógica no busca la naturaleza de lo verdadero sino solo sus leyes, mediante las cuales podemos saber si algo es verdadero o no. O dicho de otra manera, la lógica expresa lo verdadero no de manera semántica, por medio de un concepto, sino de manera sintáctica, por medio de unas leyes.
Pero hay algo más. Lo que cada uno de nosotros considera algo como verdadero, no es lo verdadero sino un proceso subjetivo que todavía ha de contrastarse con otros individuos de manera objetiva. En ese caso estamos hablando de un proceso psicológico que ocurre únicamente en el sujeto a nivel individual. Lo subjetivo no es lo mismo que lo objetivo. Tampoco la lógica se encarga de este ámbito, reservado para la psicología, disciplina cuyo objeto de estudio son nuestros procesos subjetivos.
Por eso, Frege se preocupa por distinguir de manera clara y precisa estos dos márgenes, de manera que se evite la confusión entre estas dos disciplinas, más concretamente, entre sus objetos de estudio, por una parte lo que consideramos como verdadero, y, por otra parte, las leyes de lo verdadero. Esto significa para Frege que las leyes de lo verdadero no son lo mismo que nuestros procesos subjetivos. Con esta idea, Frege combate el idealismo de su época, propio de la filosofía germánica del siglo XIX, cuya teoría reflejaba que las leyes de lo verdadero se encontraban en nuestro “yo”.
FREGE, Gottlob, (1918), “Der Gedanke: eine logische Untersuchung”.
