카이스트, © 카이스트 도서관
한국 논리학자들이 다 함께 모여 세계 논리학의 날을 축하하고 논리학의 다양한 분야와 여러 분야에서의 논리학의 역할에 대해 소개하고 의견을 공유하는 자리를 마련하려고 합니다.
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일까지 등록이 필요합니다.
등록 주소: https://docs.google.com/forms/d/e/1FAIpQLScIz32zS-PwApobhxtLYc_x9uDX6KXLtRZ-HBe-exSPmMLALA/viewform
장소
카이스트 대전 본교 디지털인문사회과학부 (N4 건물) 1층 시청각실
교통
카이스트 홈페이지 에서 확인할 수 있습니다.
주최 및 주관
주최 기관
주관 기관
조직위원회
행사 관련 문의: dw.kim@kaist.ac.kr (김동우)
지원
제5회 한국 논리학의 날 2026 행사는 카이스트 디지털인문사회과학부, 한림대학교 인문학부 철학전공, 그리고 국립창원대학교 G-LAMP 사업단의 지원을 받아 진행됩니다.
