Lógica por Mario Gómez Torrente

Por • 12 may, 2020 • Sección: Crítica

Introducción a la parte I

La lógica de Frege es sin lugar a dudas la parte de su obra de mayor trascendencia. Si bien la importancia del trabajo de Frege para la filosofía del lenguaje y los fundamentos de la matemática es colosal, su obra lógica se distingue por contener contribuciones universalmente aceptadas y universalmente consideradas como las más trascendentes para la disciplina en toda su historia —sólo la obra de Aristóteles se menciona ocasionalmente como una obra de valor comparable—. Estas aportaciones incluyen, entre otras, la introducción de la formalización de las oraciones en términos exclusivamente de funciones y argumentos en lugar de las categorías de la gramática tradicional, la formalización de la cuantificación como una función de una función, que permite una representación útil y perspicua de cuantificaciones múltiples en el alcance unas de otras, y la creación del primer cálculo deductivo puramente sintáctico. En la primera sección de esta introducción describiremos brevemente algunas de esas aportaciones, al hilo de una narrativa plausible sobre su génesis. Michael Dummett, el gran estudioso de Frege, ha dicho que la Conceptografía, el librito que Frege publicó en 1879 a los 31 años de edad y en el que aparecen por primera vez todas esas contribuciones, “parece haber nacido del cerebro de Frege sin fertilización de influencias externas” (Dummett 1981, p. xxxv) y probablemente tiene razón, pero no es menos cierto que hay una dinámica interna en las motivaciones y consideraciones de Frege que permite explicar al menos en cierta medida, aunque quizás sin excesivo detalle, el surgimiento de sus ideas, e intentaremos explicitar esa dinámica.

http://www.filosoficas.unam.mx/~mariogt/2016bGomez-Torrente_ILF.pdf

Post to Twitter

Escribe un comentario