WLD en/in Bogotá

¿Por qué celebramos el Día Mundial de la Lógica aquí en Bogotá? Bueno, hay tres razones: una global, una local, y una tercera temporal.

Global: como dice la página web del evento World Logic Day, January 14th, 2026 will mark the 8th year of the worldwide celebration of World Logic Day, created by LUA on January 14, 2019, recognized by UNESCO the same year and included in the UNESCO calendar of international days in 2020. El mundo está entonces celebrando la Lógica en este da, por razones relacionadas con la historia del tema (ver una descripción aquí), en un momento de nuestra historia en el que el impacto del lenguaje y de la lógica en nuestro entendimiento del mundo parece pasar por varias crisis. El Día de la Lógica es por lo tanto importante en muchos lugares del mundo, y nuestro grupo en Bogotá se suma con entusiasmo a este evento global.

Local: Bogotá se ha convertido durante las décadas pasadas en un centro importante de Lógica Matemática a nivel mundial; en pocos lugares trabajan tantos especialistas en el área como en nuestra ciudad (si combinamos los grupos de quienes trabajamos en, y estudiamos, Lógica Matemática en la Universidad de los Andes y en la Universidad Nacional). En Teoría de Modelos, el Grupo de Lógica de Bogotá, en las dos universidades, cubre una gama amplia de sub-áreas, que varían entre las más abstractas y las más aplicadas, desde excelente trabajo en el «mainstream» central hasta incursiones audaces en temas de frontera del conocimiento, y conexiones con áreas más amplias de la cultura. Por otro lado, aspectos filosóficos de la lógica también son importantes en el trabajo de los integrantes del grupo de Bogotá. La manera como la lógica atrapa (o a veces falla en atrapar) aspectos de la complejidad de nuestro mundo también son tema importante en Bogotá. ¡De modo que tenemos muchas razones obvias locales para celebrar aquí en Bogotá!

Temporal: primero que todo, durante parte de enero de 2026 nos visitarán Jouko Väänänen y Juliette Kennedy (ambos de la Universidad de Helsinki). Väänänen es uno de los lógicos matemáticos más prominentes de nuestra época, con resultados importante tanto en los aspectos más puros de la lógica (Lógica de Segundo Orden, Sort Logic, Teoría Abstracta de Modelos, Teoría Combinatoria de Conjuntos, Teoría de Modelos para varios tipos de lógicas, etc.) como en los más aplicados (Lógica de la Dependencia, Semántica de Equipos, e interacciones múltiples con el uso de la lógica para entender y modelos fenómenos complejos del mundo). Kennedy está entre los pensadores más originales, a nivel mundial, sobre las interacciones entre la teoría de modelos, la teoría de conjuntos y problemáticas filosóficas referentes a la manera como la lógica atrapa o describe el mundo. Además de lo anterior, Kennedy ha abierto campo amplio a interacciones avanzadas entre Teoría del Arte, Crítica Artística, Lógica Matemática y varias líneas de pensamiento filosófico. La visita de enero de ambos será un momento perfecto para celebrar WLD 2026 aquí en Bogotá. Además de lo anterior, nuestra celebración abrirá un año importante para la Lógica en Bogotá: en junio, tendremos el XXI SLALM (Simposio Latinoamericano de Lógica Matemática) en Bogotá (en la Universidad de los Andes - ver https://slalm21.uniandes.edu.co/es/).

---

Why do we celebrate the World Logic Day here in Bogotá? Well, three reasons: one global, one local and a third one, temporal.

Global: as the World Logic Day site says, January 14th, 2026 will mark the 8th year of the worldwide celebration of World Logic Day, created by LUA on January 14, 2019, recognized by UNESCO the same year and included in the UNESCO calendar of international days in 2020. The world is indeed celebrating Logic on this day, for reasons linked to the history of the subject (see a description here), at a moment in time when the import of language and logic on our understanding of the world seem to be in various crises. Logic Day is therefore important in many places of the world, and our group in Bogotá gladly joins this global event.

Local: Bogotá has become in the past decades an important center of Mathematical Logic in the world; few places gather as many specialists in the area as our city (combining people working and studying Mathematical Logic at Universidad de los Andes and Universidad Nacional). In Model Theory, the Bogotá Logic Group at the two universities covers a wide range of sub-areas, ranging from the more abstract to the more applied, from excellent work in the core mainstream to daring forays into cutting edge themes and connections to wider areas of culture. On the other hand, philosophical aspects of logic are also important for members of the Bogotá group. The way logic grasps (or why sometimes it fails to grasp) aspects of the complexity of our world are also an important theme in Bogotá. So, we have many obvious local reasons to hold a celebration here in Bogotá!

Temporal: first of all, during part of January 2026, Jouko Väänänen and Juliette Kennedy (both from the University of Helsinki) will be visiting us in Bogotá. Väänänen is one of the foremost mathematical logicians of our time, with important results in both the most pure aspects of logic (Second Order Logic, Sort Logic, Abstract Model Theory, Combinatorial Set Theory, Model Theory for many kinds of logic, etc.) and the most applied ones (Dependence Logic, Team Semantics, with many interactions with the use of logic to understand and model complex phenomena of the world). Kennedy is one of the most original thinkers, worldwide, in the interactions between model theory, set theory and philosophical issues pertaining to the way logic grasps or describes the world. In addition to this, Kennedy has opened a wide room to advanced interactions between Art Theory, Art Criticism, Mathematical Logic and various lines of philosophical thought. Their January visit is a perfect moment to celebrate WLD 2026 here in Bogotá. In addition to this, our celebration will open an important year of Logic in Bogotá: in June, we will hold the 21st SLALM (Latin American Symposium of Mathematical Logic) in Bogotá (at Universidad de los Andes - see https://slalm21.uniandes.edu.co/en/).

16 de enero de 2026. Departamento de Matemáticas - Universidad Nacional de Colombia.

January 16, 2026. Mathematics Department - Universidad Nacional de Colombia.

Horario - Schedule