World Logic Day Banner Image

한국 논리학자들이 다 함께 모여 세계 논리학의 날을 축하하고 철학, 과학, 공학에서 논리학의 역할에 대해 의견을 공유하는 자리를 마련하려고 합니다.

2019년 1월 14일에 제1회 세계 논리학의 날이 개최되었습니다. 매년 논리학의 날을 기념하기 위해 UNESCO 산하 국제 철학 및 인문학 협의회 는 매년 1월 14일을 ‘세계 논리학의 날’로 제정하였습니다. 제 3회 세계 논리학의 날 행사 정보를 위해서는, 세계 논리학의 날 2021을 방문하시기 바랍니다.

왜 1월 14일이 세계 논리학의 날이 되었을까요? 알프레드 타르스키 와 쿠르트 괴델 은 20세기 논리학 발전에 지대한 역학을 한 논리학자입니다. 알프레드 타르스키 는 1901년 1월 14일에 태어났으며 쿠르트 괴델 은 1978년 1월 14일에 생을 마감하였습니다. 이 두 20세기 논리학의 거장을 기리기 위해 1월 14일이 세계 논리학의 날로 제정되었습니다.

중요일정

발표자

하루 일정의 행사인 관계로, 본 행사의 발표자는 초대된 사람만 발표하게 되었습니다.

이름 소속기관
김병한 연세대학교
정인교 고려대학교
Selivanova, Svetlana 한국과학기술원
이름 소속기관
김준희 연세대학교
문샛별 UC Irvine
박세원 한국과학기술원
신승우 엔씨소프트
이효윤 연세대학교
최승락 고려대학교

발표 일정

2021년 1월 14일 당일 행사로 발표 일정은 다음과 같습니다.

  발표명
9:20-9:30 Opening Remark
9:30-10:20 정인교 (고려대학교), The Meanings of Logical Constants and Identity: A Proof-theoretic and Verificationist Account. Slides (pdf)
10:30-11:00 이효윤 (연세대학교, Strong types and the Lascar group. Slides (pdf)
11:05-11:35 박세원 (한국과학기술원), Intuitionistic Logic, Type Theory, and Computer Science. Slides (pdf)
11:40-12:10 문샛별 (UC Irvine), Does Path Induction in HoTT need a Justification?
12:15-13:30 Lunch
13:30-14:20 Selivanova, Svetlana (한국과학기술원), Towards Complexity Classification of Partial Differential Equations. Slides (pdf)
14:30-15:00 최승락 (고려대학교), The Counterexample to the Proof-Theoretic Conjecture for Self-Referential Paradoxes. Slides (pdf)
15:05-15:35 신승우 (NCSOFT NLP Center), Adopting Description Logics to NLP: Towards the Formal Semantics of the Natural Language. Slides (pdf)
15:40-16:10 김준희 (연세대학교), One-variable theorem for antichain tree property. Slides (pdf)
16:15-17:05 김병한 (연세대학교), An introduction to model theory. Slides (pdf)
17:05 Discussion and Closing Remark

등록 및 참가

본 행사는 코로나바이러스19 대유행으로 인하여 Zoom을 이용한 온라인 발표 형식으로 진행됩니다. 원활한 진행을 위해 Zoom 발표장 주소는 ljwhayo [at] kaist.ac.kr (이정욱)으로 연락을 주실 시 메일로 보내드립니다.

발표 초록

발표 초록은 https://korealogicday.org/2021/abstracts 에서 확인할 수 있습니다.

조직 및 운영