El impacto de la noción de sistema lógico en la ensenanza de la lógica
Teresita Mijangos [email protected] de la Sierra Sur, Oaxaca
Si al iniciar un curso de lógica simbólica se hiciera explicita la noción de sistema lógico, se facilitaria al estudiante de lógica una comprensión más integral del aprendizaje de tal disciplina.
Qué elementos tiene un sistema de lógica?
• Un conjunto de simbolos primitivos
• Reglas de formación
• Reglas de transformación
1. Un conjunto de simbolos primitivos
Enumeración de los simbolos formales del sistema. Estructuralmente esta lista es análoga al alfabeto de un lenguaje.
2. Reglas de formación
Estas reglas especifican cuales secuencias de simbolos tienen sentido dentro del sistema. Es decir, que secuencias son fórmulas bien formadas en el sistema.
3. Reglas de transformación
Estas reglas establecen la forma de pasar de una secuencia de simbolos a otra. Especificamente, indican cómo transformar ciertas fórmulas bien formadas en otras. Dotan al sistema de la estructura de una teoria deductiva.
Consecuencias de no introducir la noción de sistema lógico?
Comprensión aislada de algunos elementos del sistema lógico en cuestión
Una consecuencia negativa (entre otras): Crear muy buenos ejecutantes de reglas de
inferencia por ejemplo, con capacidad casi nula para cuestionar el sistema.