Korea Logic Day

Change the language to 한국어

The first Korea Logic Day 2021, 14 January 2021

World Logic Day Banner Image

We aim to bring logicians in Korea together. We will celebrate World Logic Day proclaimed by UNESCO, and exchange opinions on current roles of logic in philosophy, science, and engineering.

On 14 January 2019, the first World Logic Day was celebrated as an initiative of universities, research institutes, foundations and associations active in mathematics, philosophy, computer science, engineering, economics, and cognitive science. For future annual celebrations of World Logic Day, it was officially claimed the Day by UNESCO, in association with the International Council for Philosophy and Human Sciences (CIPSH) on 13 November 2019. This year is for the third World Logic Day. For more events in other countries, please visit World Logic Day 2021.

Why is 14 January for World Logic Day? Nobody can disagree that Alfred Tarski and Kurt Gödel were most influential logicians in the 20th century. Alfred Tarski was born on 14 January 1901 and Kurt Gödel died on 14, January 1978. In memory of these two greatest logicians in the 20th century, 14 January is decided to be the day.

Important deadlines


For those who are generous to volunteer to offer a talk, we are very sorry that the event being on a single day this time, the scheduled talks are based on invitations only.

Name Affiliation
Chung, Inkyo Korea University
Kim, Byunghan Yonsei University
Selivanova, Svetlana KAIST
Name Affiliation
Choi, Seungrak Korea University
Kim, Joonhee Yonsei University
Lee, Hyoyoon Yonsei University
Moon, Stella University of California, Irvine
Park, Sewon KAIST
Schin, Seung-Woo NCSOFT NLP Center


It is a single day event. The talks are scheduled to be as follows.

9:20-9:30 Opening Remark
9:30-10:20 Chung, Inkyo (Korea University), The Meanings of Logical Constants and Identity: A Proof-theoretic and Verificationist Account. Slides (pdf)
10:30-11:00 Lee, Hyoyoon (Yonsei University), Strong types and the Lascar group. Slides (pdf)
11:05-11:35 Park, Sewon (KAIST), Intuitionistic Logic, Type Theory, and Computer Science. Slides (pdf)
11:40-12:10 Moon, Stella (UC Irvine), Does Path Induction in HoTT need a Justification?
12:15-13:30 Lunch
13:30-14:20 Selivanova, Svetlana (KAIST), Towards Complexity Classification of Partial Differential Equations. Slides (pdf)
14:30-15:00 Choi, Seungrak (Korea University), The Counterexample to the Proof-Theoretic Conjecture for Self-Referential Paradoxes. Slides (pdf)
15:05-15:35 Schin, Seung-Woo (NCSOFT NLP Center), Adopting Description Logics to NLP: Towards the Formal Semantics of the Natural Language. Slides (pdf)
15:40-16:10 Kim, Joonhee (Yonsei University), One-variable theorem for antichain tree property. Slides (pdf)
16:15-17:05 Kim, Byunghan (Yonsei University), An introduction to model theory. Slides (pdf)
17:05 Discussion and Closing Remark

How to Register and Participate

Due to the COVID-19 pandemic, the event will take place virtually on Zoom. In order to avoid any possible Zoombombing, the link will be sent upon request. Please contact to ljwhayo [at] kaist.ac.kr (Junguk Lee) for your participation.

Talk Abstracts

The talk abstracts link: https://korealogicday.org/2021/abstracts