Change the language to 한국어
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.
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.
|Chung, Inkyo||Korea University|
|Kim, Byunghan||Yonsei University|
|Choi, Seungrak||Korea University|
|Kim, Joonhee||Yonsei University|
|Lee, Hyoyoon||Yonsei University|
|Moon, Stella||University of California, Irvine|
|Schin, Seung-Woo||NCSOFT NLP Center|
It is a single day event. The talks are scheduled to be as follows.
|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?|
|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|
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.
The talk abstracts link: https://korealogicday.org/2021/abstracts