Unilog 8
- Luis F. Bartolo Alegre (MCMP-LMU, DE)
- Jean-Yves Beziau (UFRJ, BR)
- Fabiola V. Cárdenas Maldonado (UNMSM, PE)
- Gino G. Maqui Huamán (UNSAAC, PE)
- Miguel A. Merma Mora (PUCP, PE)
- Jean-Yves Beziau (UFRJ, BR)
- Marcelo Coniglio (UNICAMP, BR)
- Roy T. Cook (UMN, USA)
- Itala Maria Loffredo D’Ottaviano (UNICAMP, BR)
- Luis Estrada González (UNAM, MX)
- Felipe G. A. Moreira (USP, BR)
- Concha Martínez Vidal (USC, ES)
- Daniel Molto (Sussex, UK)
- Jorge Molina (UERGS, BR)
- Bruno Poizat (UCBL, FR)
- Serge Robert (UQAM, CA)
- María José Frápolli (UGR, ES)
- Melisa Vivanco (UTRGV, USA)
- Melvin Fitting (CUNY, USA)
- Steven S. Gouveia (MLAG/UP, PT)
- Evandro Luis Gomes (UEM, BR)
- Jorge Alejandro Florez-Restrepo (UdeA, CO)
- Carolyn Talcott (SRI, USA)
UNASAAC, Cusco, 4-14 December 2025
- English
- Spanish
Introduction
Since its first edition in 2005 in Montreux, Switzerland, the World Congress and School on Universal Logic (UNILOG) has grown into a global series of events dedicated to logic in all its aspects. Over the years, UNILOG has welcomed many of the world’s leading figures in logic and related fields, creating a unique forum for dialogue across mathematical, philosophical, computational, historical, and interdisciplinary perspectives.
UNILOG explores logic in relation to a wide range of domains — including physics, biology, economics, law, linguistics, cognitive science, artificial intelligence, music, literature, and beyond. Each edition combines a school and a congress, and features distinctive elements such as the World Logic Prizes Contest, fostering both learning and creative exchange.
The 8th edition of UNILOG will take place at the National University of Saint Anthony the Abbot in Cusco (UNSAAC), the ancient capital of the Incas. The school will be held on 4–8 December 2025, followed by the congress on 9–14 December 2025. This edition will be organised by the Logica Universalis Association (LUA) and Peru’s Society for Epistemology and Logic (SEPLO). UNILOG 8 is a 100% in-person event, offering an excellent opportunity to meet and discuss with colleagues from all over the world in the beautiful and inspiring setting of Cusco.
School
The 8th School on Universal Logic will have about 15 tutorials on all aspects of logic. Each tutorial will have a duration of 3h displayed in 3 sessions presented in 3 different days. Tutorials are for students but also for anyone who wants to know more about logic.
The tutorials featured in this event include:
- Paradoxes, by Piotr Łukowski (UJ, PL)
- Medieval Logic, by Wolfgang Lenzen (UOS, DE)
- Classical Propositional Logic from a Universal Logic Perspective, by Jean-Yves Beziau (UFRJ / CNPq / LUA, BR)
- Relating Logic and Relating Semantics. Theory and Applications, by Tomasz Jarmużek (NCU, PL)
- Managing and Communicating Identities in Knowledge Representation and Information Systems, by David Toman and Grant Weddell (UWaterloo, CA)
- A Syntax-Independent Approach to Paraconsistency, by Sankha S. Basu (IIIT-D, IN)
- Sketches for a Paraconsistent Epistemology, by Rafael Ongaratto (UNICAMP, BR)
- Theories of Definition in Islamicate Philosophy, by Sherif Salem (UCW, CA)
- Epistemic Modality, by Tuukka Tanninen (UH, FI)
- Introducción a la Lógica Algebraica, by Martín Figallo (UNS, AR)
- Lógica y Geometría, by Bruno Poizat (UCBL, FR)
- Introducción a la Lógica Difusa, by Gino Gustavo Maqui Huamán (UNSAAC, PE)
- Lenguajes Formales en Lógica, by Luis F. Bartolo Alegre (MCMP / LMU, DE)
- La lógica categórica de Ammonio Hermiae: Negaciones, Conectivos y Cuantificadores, by José David García-Cruz (UVP, MX)
- Syllogistic: Aristotle, Leibniz, Boole, De Morgan, Łukasiewicz, and Beyond, by Vladimir Sotirov (BAS, BG)
- On the Proof Theory of Atomic and Molecular Logics, by Guillaume Aucher (UR / CNRS, FR)
Congress
The 8th Congress of Universal Logic will last six days and will feature a series of workshops exploring a variety of themes encompassing all aspects of logic, including:
- Artificial Intelligence, organised by Maíra de Cinque (UCW / BCIT, CA) and Flawê de Lara Bone (ESPM / UFRJ, BR)
- Non-Classical Logics and Philosophy, organised by Luis F. Bartolo Alegre (MCMP-LMU, DE)
- History of Logic, organised by Andrew Schumann (UITM, PL) and Ioannis Vandoulakis (OUC, GR)
- Philosophy of Notation, organised by Sandra Visokolskis (UNC, AR) and María Gabriela Fulugonio (UBA, AR)
- Logic Paradoxes, organised by María José Frápolli (UGR, Spain) and Enrique Alonso (UAM)
- Logic and the Empirical Sciences, organised by Daniel A. Diaz Carrion and Eliot A. Flores Pillaca (UNMSM, PE)
- Frege and Beyond, organised by Julio Silva-Cespedes (OkState, USA) and Luis F. Bartolo Alegre (MCMP-LMU, DE)
- Logic and Spirituality, organised by Ricardo Sousa Silvestre (UFCG / UNB / UFRJ, BR)
- Logics in all its dimensions – JYB60, organised by Ioannis Vandoulakis (OUC, GR) and Tatiana Denisova (UA, GR)
The event will also include the World Logic Prizes Contest.
Further Information
More information about this event can be found on its dedicated website.
