El Departamento de Matemáticas realizará hoy jueves 6 de mayo en el Salón Y-207 a las 4:00 p.m., en el marco del Coloquio de Matemáticas, la charla La lógica gráfica de C. S. Peirce, a cargo del dr. Arnold Oostra, profesor de la Universidad del Tolima.
Resumen
Charles S. Peirce fue un científico, filósofo y lógico estadounidense quien vivió en la segunda mitad del siglo XIX y la primera década del XX. Realizó muchos aportes significativos a la ciencia y la filosofía y además de ello fue, junto con Frege, el creador de la teoría de cuantificadores tan importante en la Lógica Matemática actual. Un trabajo quizás más notable aún fue llevar esa teoría a una versión del todo gráfica, cristalizada en el sistema de los Gráficos Existenciales.
Esta conferencia es una presentación panorámica de los Gráficos Existenciales. Se comenzará con el sistema de los gráficos Alfa, que permite demostrar mediante diagramas todas las tautologías y deducciones formales del Cálculo Proposicional Clásico. Luego se mostrarán las ideas básicas de los sistemas Beta y Gama así como algunos desarrollos investigativos muy recientes en este tema.
El objetivo central de esta exposición es motivar el interés y el estudio de un maravilloso sistema gráfico para la lógica.