La Logica

La lógica tradicional, de la que derivan diversos tipos, importantes en muchas áreas de la ciencia, nos ayuda a la toma de decisiones en la vida diaria, y sin darnos cuenta, aplicamos un conocimiento científico, expresó el maestro Alfonso Garcés Báez, organizador de la Segundas Jornadas de Lógica "Alejandro Reyes Cristiani", a realizarse este día en la Facultad de Ciencias de la Computación de la BUAP.

Este evento es celebrado en el marco de la conmemoración de los 10 años del fallecimiento del maestro Reyes Cristiani, que fue uno de los fundadores de la Facultad de Ciencias de la Computación y de los académicos que más impulsó fuertemente áreas como Teoría de la Computación, o Lógica Matemática.

"Muchos maestros de la Facultad fueron sus alumnos, fue un maestro de maestros; tenía la particularidad de elevar al nivel de ciencia cada una de las materias que nos entregaba y a raíz de eso se formaron muchos investigadores en el área de la lógica", dijo.

Cabe recordar que la lógica, disciplina científica con carácter matemático ha evolucionado a la par del desarrollo intelectual del ser humano, ya que surge desde que el hombre, al enfrentar a la naturaleza, infiere, deduce, razona y la aprovecha para su supervivencia.

Entre los máximos exponentes de la lógica matemática están los griegos Platón, Aristóteles y Euclides, más adelante en el devenir histórico estuvieron René Descartes e Isaac Newton, llegando a los tiempos modernos con George Boole, Alan Turing y Norbert Wiener, padre de la Cibernética.

Garcés Báez abundó que de los diferentes tipos de lógica, existe la lógica clásica, que muchas veces se aplica en la vida diaria; "el sentido común no va más allá de la lógica clásica, que es lo que conocemos desde la primaria, secundaria, o preparatoria; esta lógica es muy importante para la toma de decisiones, ya sea en un área específica de las matemáticas o en la vida diaria.

La Segunda Jornada de Lógica contará con la participación de investigadores como Guillermo Morales Luna, especialista del Centro de Investigaciones Avanzadas (Cinvestav) del Instituto Politécnico Nacional, que impartirá la plática "Un poco de la Lógica en la Nueva España"; Mauricio Osorio Galindo de la Universidad de las Américas con el tema "Una nueva Lógica Paraconsistente llamada GLu"; y los investigadores de la BUAP Héctor Jiménez Salazar (Ciencias de la Computación) y José Arrazola Ramírez (Físico Matemáticas).

BUAP

...