카이스트, © 카이스트 도서관
한국 논리학자들이 다 함께 모여 세계 논리학의 날을 축하하고 논리학의 다양한 분야와 여러 분야에서의 논리학의 역할에 대해 소개하고 의견을 공유하는 자리를 마련하려고 합니다.
2019년 1월 14일에 제1회 세계 논리학의 날이 개최되었습니다. 매년 논리학의 날을 기념하기 위해 UNESCO 산하 국제 철학 및 인문학 협의회 는 매년 1월 14일을 ‘세계 논리학의 날’로 제정하였습니다.
왜 1월 14일이 세계 논리학의 날이 되었을까요? 알프레드 타르스키 와 쿠르트 괴델 은 20세기 논리학 발전에 지대한 역할을 한 논리학자입니다. 알프레드 타르스키 는 1901년 1월 14일에 태어났으며 쿠르트 괴델 은 1978년 1월 14일에 생을 마감하였습니다. 이 두 20세기 논리학의 거장을 기리기 위해 1월 14일이 세계 논리학의 날로 제정되었습니다.
지난 행사들은 한국 논리학의 날 홈페이지에서 찾아보실 수 있습니다.
이번 학술대회는 “AI 시대의 논리학: 철학, 수학, 전산학의 관점 (Logic in the Age of AI: Themes from Philosophy, Mathematics, and Computer Science)”를 주제로 진행됩니다. 인공지능 기술이 급속히 발전하는 오늘날, 논리학은 철학-수학-전산학을 연결하는 학문으로서 그 역할이 더욱 중요해지고 있습니다. 이번 행사는 이 세 분야의 연사들을 초청하여 AI 시대 논리학의 새로운 쟁점과 가능성을 소개하고, 서로의 관점과 방법을 교류하는 장을 마련하고자 합니다.
중요일정
- 초청 강연 공개
- 제목: 2025년 12월 12일
- 초록: 2025년 12월 20일
- 참가 등록 마감: 2026년 1월 5일
- 제5회 한국 논리학의 날 2026 : 2026년 1월 14일
발표자 및 발표 목록
초청 발표
- 백진언 (고등과학원): “수학 연구에 쓰이는 공리들은 얼마나 당연한가?” (발표자료)
- 양은석 (전북대학교): “Towards universal logic: Some examples”
- 이효윤 (서강대학교): “Model theoretic approaches to Szemerédi’s regularity lemma” (발표자료)
초청 발표 (학생)
- 서민철 (성균관대학교): “Mathematical Structuralism and the Univalent Foundations” (발표자료)
- 윤태영 (서울대학교): “분리논리: 프로그램의 안전성에 대한 형식 논증 체계” (발표자료)
- 정일영 (UNIST): “Fraïssé Classes and the First-Order Limit Property” (발표자료)
발표 초록
일정
행사는 2026년 1월 14일에 진행됩니다.
- 발표는 오후 1시부터 6시까지 예정되어 있습니다.
- 발표에 앞서 오후 12시부터 교류를 위한 네트워킹 세션이 있으며, 가벼운 점심(샌드위치)이 제공됩니다.
- 발표 후, 오후 8시(예정)까지 연회가 마련될 예정입니다. 연회 참가비는 없으나 참석 여부는 참가 등록 시 반드시 기입해 주시기 바랍니다.
발표 일정은 다음과 같습니다.
| 발표자 | 발표제목 | |
|---|---|---|
| 12:50-13:00 | - | 개회식 |
| 13:00-13:45 | 백진언 | “수학 연구에 쓰이는 공리들은 얼마나 당연한가?” |
| 13:50-14:35 | 양은석 | “Towards universal logic: Some examples” |
| 14:40-15:25 | 이효윤 | “Model theoretic approaches to Szemerédi’s regularity lemma” |
| 15:35-16:10 | 서민철 | “Mathematical Structuralism and the Univalent Foundations” |
| 16:10-16:45 | 윤태영 | “분리논리: 프로그램의 안전성에 대한 형식 논증 체계” |
| 16:45-17:20 | 정일영 | “Fraïssé Classes and the First-Order Limit Property” |
| 17:30-18:00 | 회의 및 단체사진 |
※ 위의 발표 시간은 5분의 질의응답을 포함한 시간입니다.
참가 등록
행사 참가를 위해서는 2026년 1월 5일까지 등록이 필요합니다.
등록 주소: 등록 마감
장소
카이스트 대전 본교 디지털인문사회과학부 (N4 건물) 1층 시청각실
교통
카이스트 홈페이지 에서 확인할 수 있습니다.
참가자
등록된 참가자 목록:
강동휘 (UNIST), 구준모, 권순태, 김수겸 (한양대학교 철학과 학부), 김연홍 (전북대학교), 김이현 (연세대학교), 김장언 (동국대학교 대학원 철학과), 김준희 (고등과학원), 김진영 (서울대학교), 김형준 (UNIST), 도영민 (UNIST), 문순원 (서울대학교), 문재원 (KAIST), 박성수 (성균관대학교), 박찬진 (UNIST), 박채린 (성균관대학교), 손승윤 (연세대학교), 양승연 (KAIST), 양은석 (전북대 철학과), 여영서 (동덕여자대학교), 우인진 (성균관대학교), 유제인 (KAIST), 이명환 (한양대학교), 이예빈 (인하대학교), 이윤호, 이정욱 (국립창원대학교), 이지현, 이청명 (서울대학교), 이효윤 (서강대학교), 임기정 (연세대학교), 정정민 (전북대학교 철학과), 정정민, 최원범 (경희대학교), 최정담 (한국과학기술원), 현지훈 (KAIST), Alexander Stoimenov, Yvon Bossut (Changwon National University) 외 10 인.
주최 및 주관
주최 기관
주관 기관
조직위원회
행사 관련 문의: dw.kim@kaist.ac.kr (김동우)
지원
제5회 한국 논리학의 날 2026 행사는 카이스트 디지털인문사회과학부, 한림대학교 인문학부 철학전공, 그리고 국립창원대학교 G-LAMP 사업단의 지원을 받아 진행됩니다.
