Seminario sobre Teoría del Lenguaje y fundamentos de Lenguajes de Programación
El seminario tiene por objetivo establecer lazos entre lógica, filosofı́a y lingüı́stica utilizando conocimientos de computación teórica.
Para consultar material sobre cálculo lambda y programación funcional revisar el libro interactivo del proyecto OpenDSA acá
Todos los jueves al mediodía en modalidad híbrida:
presencial en el salón de seminarios S-104 del Departamento de Matemáticas de la Facultad de Ciencias, UNAM.
a distancia en zoom (enviar un correo a luglzhuesca [at] ciencias.unam.mx para recibir los datos)
Calendario detallado con las temáticas y material de las sesiones.
Este calendario es flexible y se adaptará a lo largo del semestre.
Discutir y desarrollar un enfoque simple y uniforme para estudiar cuestiones de lógica, filosofı́a y lingüı́stica usando herramientas de computación teórica, en particular fundamentos de lenguajes de programación.
Durante las sesiones se buscará comprender las ideas relevantes de computación teórica, incluída la teoría de tipos dependientes, las mónadas, la mutación y las continuaciones para estudiar el enfoque "relacional" de Jim Pryor dirigido a enriquecer las relaciones entre lógica formal, filosofía y lingüística. El cálculo lambda con tipos simples de Church puede servir como base para la semántica intensional. Además, iniciando con el trabajo de Nathan Salmón, desarrollaremos un enfoque unificado, entre otras cosas, de la semántica composicional de los informes de vinculación variable, reflexividad y actitud proposicional.