TALLER DE

LÓGICA

TODOS LOS MIÉRCOLES DE 14:30 A 16:00 HORAS EN EL SALÓN 304 DEL ITAM, CAMPUS RÍO HONDO. Están todos invitados. Comenzamos el 25 de Agosto. (Aquí hay una lista de los estudiantes fundadores.) La AML otorgará constancias de participación. Al inicio de cada sesión se otorgarán materiales de estudio.

A lo largo de doce sesiones se verán temas y conceptos como:

· Proposicional: deducción natural (reducción al absurdo, modus ponens, silogismos, etc), falacias, tablas y funciones de verdad, árboles semánticos, mundos posibles, validez, implicación, equivalencia, tautología, contradicción.

· Cuantificacional: cálculo de predicados.

· Teoría de conjuntos: infinitos incontables (Cantor), paradojas (Russell).

· Metalógica: sistemas formales y axiomáticos, axioma, inferencia, demostración, teorema, independencia, indecidibilidad, incompletez.

· Extensiones de la Lógica, historia de la Lógica (de Aristóteles a Gödel) y más.

Aquí está el temario con más detalle y bibliografía.

Porque la Lógica es bella, útil y divertida, ¡anímate! No se requiere ningún conocimiento previo; solo papel, lápiz y muchísimas ganas de sentirte más confundido(a).

“Te quiero más que a mi vida. Mi vida eres tú. Pero si mi vida eres tú, y yo te quiero más que a mi vida, quiere decir que te quiero más que a ti misma.”

Les Luthiers, ‘Manuel Darío’

Informes: christian.alcocer@cide.edu ó alcocer@chessclub.com