el impacto de la noción de sistema lógico en la ensenanza de la lógica teresita mijangos...

12
El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos [email protected] Universidad de la Sierra Sur, Oaxaca

Upload: jacinta-izquierdo

Post on 06-Feb-2015

4 views

Category:

Documents


3 download

TRANSCRIPT

Page 1: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la

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

Page 2: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la

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.

Page 3: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la

Qué elementos tiene un sistema de lógica?

• Un conjunto de simbolos primitivos

• Reglas de formación

• Reglas de transformación

Page 4: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la

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.

Page 5: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la
Page 6: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la

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.

Page 7: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la
Page 8: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la

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.

Page 9: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la

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.

Page 10: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la

La comprensión de lo que es un sistema lógico…

Podria estimular la

creatividad!!!

Page 11: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la

Importancia de los libros de texto de lógica

Page 12: El impacto de la noción de sistema lógico en la ensenanza de la lógica Teresita Mijangos tmijangos@unsis.edu.mxtmijangos@unsis.edu.mx Universidad de la

Gracias