La lógica intuicionista es la primera y más estudiada de las lógicas no-clásicas. 

A casi cien años desde su primera formulación, todavía sigue siendo un sistema formal muy estudiado y relevante para la matemática, la filosofía y la ciencia de la computación. 

Pero, ¿sabemos realmente qué es lo que la hace tan especial? ¿Acaso hay algo más que eso de "rechazar" el Principio del Tercero Excluido? ¿Qué distingue a la lógica intuicionista de otras lógicas paracompletas?

Esta Clase Magistral estará enfocada a revisar y comentar las diferencias entre la lógica clásica y la lógica intuicionista. Veremos qué esquemas y propiedades formales distinguen sus fragmentos proposicional y de predicados, y comentaremos sobre las distintas interpretaciones filosóficas que se han hecho de ellas. Intentaremos elucidar por qué este sistema lógico sigue siendo tan relevante a día de hoy, y por qué podría interesarnos conocerlo más a fondo.

Todo lo que siempre quisiste saber sobre lógica intuicionista

Ciclo de Clases Magistrales 2026

Fecha del encuentro: 05 de septiembre de 2026

Horario: 12:00 PM (🇦🇷) / 11:00 AM (🇨🇱)

Plataforma: Google Meet

Se recomienda tener conocimientos básicos de lógica clásica (proposicional y de primer orden).

Requiere inscripción previa.

ENTRADA REMUNERADA. (Consulta valores en "Contacto")

¡Llena el formulario de Contacto y asegura tu participación!