diferencia entre lógica clásica y lógica simbólica
Respuestas a la pregunta
Respuesta:
La distinción entre lógica clásica y lógica simbólica puede llevar a confusiones. Si bien desde un punto de vista histórico sí podemos establecer esta diferencia como indicador metodológico, la nomenclatura actual hace uso de la distinción entre “lógica clásica” y “lógicas no clásicas” para referirse a algo diferente que no tiene que ver con el punto de vista histórico, sino con el tipo de sistema lógico empleado. Esto es importante porque, por ejemplo, desde un punto de vista histórico, podríamos decir que Aristóteles hacía lógica clásica. Sin embargo, desde el punto de vista metodológico, la lógica de Aristóteles también era no clásica. De ahí que haya que delimitar exactamente estas nomenclaturas como paso previo al contacto directo con la lógica y su devenir histórico: de lo contrario, correríamos el riesgo de no saber exactamente qué estamos haciendo.
Así, desde un punto de vista histórico “lógica clásica” hace referencia a la lógica aristotélica con los añadidos que se le hicieron en la Edad Media y que permaneció casi sin variaciones hasta Frege. El término “lógica simbólica” fue introducido por John Venn (1834-1923) para caracterizar el tipo de lógica que daba preeminencia no sólo a los símbolos, sino también a las teorías matemáticas a las que éstos pertenecían. Si bien este término sigue en vigor, su significado ha ido variando a lo largo del tiempo, especialmente en la década de 1870, momento en el que Frege introdujo un nuevo tipo de lógica simbólica a la que Peano dio más publicidad, impartiéndola como disciplina en la Universidad de Turín con el nombre de “lógica matemática”. El término “lógica simbólica” se refiere, tal como hoy lo conocemos, al nuevo tipo de lógica introducido por Frege.