Logic day in Bogotá

Celebrating Logic in Bogotá

January 16, 2026.

Schedule and abstracts of the lectures.

• Why celebrate logic in Bogotá?  (9:00-9:30)

Andrés Villaveces

Abstract:

• On the autonomy in Mathematics (9:30-10:20)

Juliette Kennedy

Abstract:  I will present a paper on the autonomy of mathematics, drawing from sources in continental philosophy and psychoanalytic theory.

• Coffee break (10:20-11:00)

• Mathematical Criticism (11:00-11:50)

Fernando Zalamea

Abstract:

• On the logic of dependence (12:00-12:50)

Jouko Väänänen

Abstract:

Póster