Construcción de un mapa

(De las lógicas existentes y posibles)

La idea inicial del curso es armar un mapa de las lógicas, de todas las que alcancemos, colectivamente, a lo largo del curso. Arranqué con un mapa inicial y la idea es modificarlo a lo largo del semestre junto con los estudiantes.

Para lograr algo así decidí tener un Eje Central (lógica sobre topos, basado vagamente en una mezcla de Lurie, Caramello y Baez – ellos muy basados en MacLane y Moerdijk y en Makkai y Makkai-Reyes) y hacer la mitad del curso (los martes usualmente) sobre ese Eje Central. Y el resto (lógica infinitaria, continua, no monotónica, difusas, de Gödel, intuicionista(s), etc.) los estudiantes los van exponiendo. Y vamos armando entre todos el mapa. Ya han pasado cosas que me han hecho revaluar cosas que creía en febrero sobre esos temas.

Veremos cómo nos va con eso…

Leave a Reply

Please log in using one of these methods to post your comment:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s