Al principio, la pregunta parece extraña, como preguntar qué matemático inventó los números. Muchos filósofos dirían que los números y los valores de verdad se descubrieron en lugar de inventarse. Incluso si evitamos esa pregunta difícil preguntando quién los usó por primera vez, no esperaríamos encontrar el nombre de un individuo. La gente sabía que las cosas que decimos son verdaderas y falsas mucho antes de que alguien inventara las tablas de verdad. El estudio de la lógica deductiva como disciplina comienza con Aristóteles, y tiene mucho que decir sobre la verdad y la falsedad.
Pero si Aristóteles fundó la lógica, en cierto sentido fue refundada en el siglo XIX. Desafortunadamente, nadie puede estar de acuerdo cuando. Algunas personas dirían que la lógica moderna comienza con Una investigación de las leyes del pensamiento de George Boole, 1854, en la que utilizó técnicas matemáticas para estudiar la lógica. Tiene dos valores de verdad, representados por 1 (Verdadero) y 0 (Falso). En palabras de Kneale y Kneale, The Development of Logic , p.413
“La interpretación por referencia a las proposiciones es elaborada por Boole de la manera que acabo de notar, aunque sin referencia a la frase” valor de verdad “, que fue inventada más tarde por Frege”.
En la p.511, Kneale y Kneale dicen de Frege que “el trabajo de Frege, por otro lado, contiene todos los elementos esenciales de la lógica moderna, y no es injusto ni para sus predecesores ni para sus sucesores decir que 1879 es el año más importante en la historia del tema “.
- ¿Qué quiere decir la Biblia con ‘decir la verdad en amor’?
- ¿El mundo está entrando en una nueva Edad Oscura donde la verdad y la racionalidad son desplazadas por la personalidad y el atractivo emocional?
- ¿Cuál es la verdad detrás de convertir a 10 lakh hindúes a musulmanes por un maulvi en la famosa Dargah de Ajmer?
- ¿Cuáles son algunas amargas verdades sobre ser científico?
- ¿Cómo puede alguien honestamente prometer decir toda la verdad y nada más que la verdad?
No todos irían tan lejos como Kneale y Kneale en alabanza a Frege, pero el hecho de que estén preparados para hacer un reclamo como ese indica que su trabajo fue ciertamente muy importante. Fue en 1879 que Frege publicó su Begriffsschift , o Escritura de conceptos . Mientras que Boole intentaba proporcionar una base matemática para la lógica, Frege intentaba proporcionar una base lógica para la aritmética, por lo que su sistema contiene cuantificadores. Su trabajo fue defectuoso, como Russell se dio cuenta, pero proporcionó la inspiración para los Principia Mathematica de Russell y Whitehead y fue inspirador para Wittgenstein, cuyo Tractatus Logico-Philosophicus a menudo se dice que contiene la primera tabla de verdad. (Digo “dicho a” porque no puedo estar seguro de que fue el primero, y alguien podría señalar que no lo llama una tabla de verdad).
Michael Dummett es, por supuesto, el filósofo que más hizo para promover el papel de Frege como fundador de la lógica moderna. Dummett argumenta que Frege proporcionó la primera teoría semántica, mostrando cómo cada expresión en un lenguaje tiene un valor semántico, y en una expresión compleja, el valor semántico de las partes determina el valor semántico del todo. Un valor de verdad es el valor semántico de una oración, y conocer el valor de verdad es saber si es correcto o no afirmar la oración.
Esta interpretación ha sido cuestionada, porque Frege nunca dice que tiene una teoría semántica, y la expresión “valor semántico” es la de Dummett. (Frege usa Bedeutung, la palabra alemana que significa ‘significado’, pero a menudo se ha traducido como ‘referencia’ cuando Frege la usa en su sentido técnico). El objetivo de la interpretación de Dummett es permitirnos ver que Frege ofrece una de las muchas posibles teorías semánticas, de modo que si queremos cuestionar sus afirmaciones, en particular su suposición de que solo hay dos valores de verdad, verdadero y falso, y cada oración es determinantemente verdadero o falso, necesitamos una mejor teoría semántica.
Frege es importante no porque introdujo el término “valor de verdad”, sino por todo el marco teórico que proporcionó. Incluso sus errores han sido importantes, porque la tarea de producir mejores alternativas ha estimulado a los lógicos en la búsqueda de la verdad. Es por su importancia que usamos terminología como “valor de verdad” que originalmente se derivó de sus escritos.