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 de diciembre de 2025
- Inglés
- Castellano
Introducción
UNILOG explora la lógica en relación con una amplia gama de dominios, incluyendo física, biología, economía, derecho, lingüística, ciencias cognitivas, inteligencia artificial, música, literatura y más allá. Cada edición combina una escuela y un congreso, y presenta elementos distintivos como el Concurso de Premios Mundiales de Lógica, fomentando tanto el aprendizaje como el intercambio creativo.
La 8.ª edición de UNILOG tendrá lugar en la Universidad Nacional de San Antonio Abad del Cusco (UNSAAC), la antigua capital de los Incas. La escuela se celebrará del 4 al 8 de diciembre de 2025, seguida del congreso del 9 al 14 de diciembre de 2025. Esta edición será organizada por la Logica Universalis Association (LUA) y la Sociedad de Epistemología y Lógica (SEPLO, Perú). UNILOG 8 es un evento 100% presencial, ofreciendo una excelente oportunidad para reunirse y debatir con colegas de todo el mundo en el hermoso e inspirador entorno de Cusco.
Escuela
La 8vo Escuela de Lógica Universal contará con aproximadamente 15 tutoriales sobre todos los aspectos de la lógica. Cada tutorial tendrá una duración de 3 horas distribuidas en 3 sesiones presentadas en 3 días diferentes. Los tutoriales están dirigidos a estudiantes, pero también a cualquier persona interesada en aprender más sobre lógica. Los tutoriales que se presentarán en este evento incluyen:
- Paradoxes, por Piotr Łukowski (UJ, PL)
- Medieval Logic, por Wolfgang Lenzen (UOS, DE)
- Classical Propositional Logic from a Universal Logic Perspective, por Jean-Yves Beziau (UFRJ / CNPq / LUA, BR)
- Relating Logic and Relating Semantics. Theory and Applications, por Tomasz Jarmużek (NCU, PL)
- Managing and Communicating Identities in Knowledge Representation and Information Systems, por David Toman and Grant Weddell (UWaterloo, CA)
- A Syntax-Independent Approach to Paraconsistency, por Sankha S. Basu (IIIT-D, IN)
- Sketches for a Paraconsistent Epistemology, por Rafael Ongaratto (UNICAMP, BR)
- Theories of Definition in Islamicate Philosophy, por Sherif Salem (UCW, CA)
- Epistemic Modality, por Tuukka Tanninen (UH, FI)
- Introducción a la Lógica Algebraica, por Martín Figallo (UNS, AR)
- Lógica y Geometría, por Bruno Poizat (UCBL, FR)
- Introducción a la Lógica Difusa, por Gino Gustavo Maqui Huamán (UNSAAC, PE)
- Lenguajes Formales en Lógica, por Luis F. Bartolo Alegre (MCMP / LMU, DE)
- La lógica categórica de Ammonio Hermiae: Negaciones, Conectivos y Cuantificadores, por José David García-Cruz (UVP, MX)
- Syllogistic: Aristotle, Leibniz, Boole, De Morgan, Łukasiewicz, and Beyond, por Vladimir Sotirov (BAS, BG)
- On the Proof Theory of Atomic and Molecular Logics, por Guillaume Aucher (UR / CNRS, FR)
Congreso
El 8vo Congreso de Lógica Universal durará seis días y contará con una serie de talleres que explorarán una variedad de temas que abarcan todos los aspectos de la lógica, incluyendo:
- Artificial Intelligence, organizado por Maíra de Cinque (UCW / BCIT, CA) y Flawê de Lara Bone (ESPM / UFRJ, BR)
- Non-Classical Logics y Philosophy, organizado por Luis F. Bartolo Alegre (MCMP-LMU, DE)
- History of Logic, organizado por Andrew Schumann (UITM, PL) y Ioannis Vandoulakis (OUC, GR)
- Philosophy of Notation, organizado por Sandra Visokolskis (UNC, AR) y María Gabriela Fulugonio (UBA, AR)
- Logic Paradoxes, organizado por María José Frápolli (UGR, Spain) y Enrique Alonso (UAM)
- Logic y the Empirical Sciences, organizado por Daniel A. Diaz Carrion y Eliot A. Flores Pillaca (UNMSM, PE)
- Frege y Beyond, organizado por Julio Silva-Cespedes (OkState, USA) y Luis F. Bartolo Alegre (MCMP-LMU, DE)
- Logic y Spirituality, organizado por Ricardo Sousa Silvestre (UFCG / UNB / UFRJ, BR)
- Logics in all its dimensions – JYB60, organizado por Ioannis Vandoulakis (OUC, GR) y Tatiana Denisova (UA, GR)
El evento también incluirá la tercera edición del concurso por el Premio Mundial de Lógica.
Información adicional
Más información sobre este evento puede encontrarse en su sitio web dedicado.
