Logic for the Friendship of Nations
In Celebration of the UNESCO World Logic Day 2022 and the
International Year of Basic Sciences and Sustainable Development
Time: January 14-15, 2022
Venue: Virtual via Zoom
Description:
In the year 2019, UNESCO has proclaimed 14 January World Logic Day in order to draw attention to the importance of logic in the development of knowledge. Also, the year 2022 is designated by UNESCO as the International Year of Basic Sciences and Sustainable Development. During the past few years, the World Logic Day ceremonies were largely limited to separate national events. A complete list of the World Logic Day events is available on the International Council for Philosophy and Humanistic Studies (CIPSH) website.
We, the representatives of several logic communities around the world, plan to change the trend and prepare the ground for the World Logic Day to become an international summit of logicians addressing aspects of human life that logical thinking can play a positive role in. We advocate for the role of the logical dialogue between people of different cultural backgrounds to enhance friendship and mutual understanding; a much-needed feature to tackle increasingly global problems that our planet faces in the unfolding century.
Logic for the Friendship of Nations is a global annual initiative in this direction by the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS) and its domestic and international partners including the United Nations Educational, Scientific and Cultural Organization (UNESCO), UNESCO Club at the University of Malaya, Centre for Civilizational Dialogue at the University of Malaya (UMCCD), Scandinavian Logic Society (SLS), Korean Association for Mathematical Logic (KAML), Logic Association of Malaysia (PMM), College of Arts at Al-Mustansiriya University, MOBIN Innovation Center at Arak University, and Malaysian Society for Philosophy Education and Thought (PPFPM).
Additionally, the event is intended to put researchers of different regions and disciplines, who normally don't interact with each other, in touch in order to make new professional and personal bonds. We encourage all interested associations and institutions around the world to join us in this global effort so that we can arrange even more comprehensive and inclusive events in the upcoming years.
Speakers:
Thomas Ågatnes,
University of Bergen, Norway
Mohua Banerjee,
Indian Institute of Technology Kanpur, India
Laura Crosilla,
University of Oslo, Norway
Anuj Dawar,
University of Cambridge, United Kingdom
Jamshid Derakhshan,
University of Oxford, United Kingdom
Mirna Džamonja,
IRIF (CNRS & Université de Paris), France
Mohammad Mohsin Ebaish,
Al-Mustansiriya University, Iraq
Larry Moss,
Indiana University Bloomington, United States
Koji Nakatogawa,
Hokkaido University, Japan
Norbert Preining,
Fujitsu Research Labs
S.P. Suresh,
Chennai Mathematical Institute, India
Zu Yao Teoh,
Logic Association of Malaysia, Malaysia
Athipat Thamrongthanyalak,
Chulalongkorn University, Thailand
Layth Atheer Yousef,
Al-Mustansiriya University, Iraq
Nidal Zakir Azab,
Al-Mustansiriya University, Iraq
Martin Ziegler,
KAIST and the Korean Association for Mathematical Logic, Republic of Korea
Organizers:
Mohammad Alinor Abdul Kadir,
Malaysian Society for Philosophy Education and Thought, Malaysia
Ali Sadegh Daghighi,
Institute for Interdisciplinary Research in Fundamental Sciences, Iran
Øystein Linnebo,
University of Oslo, Norway
Rohit Parikh,
City University of New York, United States
Esmaeil Peyghan,
Arak University, Iran
Mehran Shahmansouri,
Arak University, Iran
Zu Yao Teoh,
Logic Association of Malaysia, Malaysia
Layth Atheer Yousef,
Al-Mustansiriya University, Iraq
Conference Schedule:
January 14th, 2022
(07:30 – 08:00 UTC) Organizers: Introduction
(08:00 – 09:00 UTC) Laura Crosilla: The infinite, between philosophy and logic
(09:00 – 10:00 UTC) Thomas Ågotnes: Reasoning about Group Knowledge
(10:00 – 10:30 UTC) Break
(10:30 – 11:30 UTC) Martin Ziegler: Logic of Deterrence?
(11:30 – 12:30 UTC) Layth Atheer Yousef: Yasin Khalil ,the distinguished Iraqi Logician
(12:30 – 13:00 UTC) Break
(13:00 – 14:00 UTC) Mohua Banerjee: A journey through algebras of rough sets and their logics
(14:00 – 15:00 UTC) S.P. Suresh: Inference in Nyaya
(15:00 – 15:30 UTC) Break
(15:30 – 16:30 UTC) Jamshid Derakhshan: On some applications of mathematical logic in algebra and number theory
(16:30 – 17:30 UTC) Larry Moss: A Place for Logic in the Computer Processing of Language
January 15th, 2022
(07:30 – 08:00 UTC) Organizers
(08:00 – 09:00 UTC) Norbert Preining: Gödel Logics - a short survey
(09:00 – 10:00 UTC) Koji Nakatogawa: Cantor's paradise, Vairocana, and Tarski-Grothendieck-Lawvere Semantics
(10:00 – 10:30 UTC) Break
(10:30 – 11:30 UTC) Athipat Thamrongthanyalak: Trace problems in tame expansions of the real field
(11:30 – 12:30 UTC) Zu Yao Teoh: Logic in Malaysia, A Journey
(12:30 – 13:00 UTC) Break
(13:00 – 14:00 UTC) Mohammad Mohsin Ebaish: The image of logician in Islamic culture
(14:00 – 15:00 UTC) Nidal Zakir Azab: Analytical reading on the logical books of Islamic Philosophers
(15:00 – 15:30 UTC) Break
(15:30 – 16:30 UTC) Anuj Dawar: Complexity and the Expressive Power of Logics
(16:30 – 17:30 UTC) Mirna Džamonja: Trees in set theory and contributions to the subject by the (ex-)Yugoslav mathematicians
Registration & Practical Information:
The event will take place virtually via Zoom online conference platform. Participation is free but registration is required. In order to register, please fill this form. You will receive the participation link via email a few days before the event. A certificate will be issued for all registered participants within a few weeks after the conference. So please make sure the information that you provide during your registration is accurate. Should you have any questions, reach out to the organizers via a.s.daghighi@gmail.com.
