주남저수지, © 창원시청 - 창원관광
한국 논리학자들이 다 함께 모여 세계 논리학의 날을 축하하고 논리학의 다양한 분야와 여러 분야에서의 논리학의 역할에 대해 소개하고 의견을 공유하는 자리를 마련하려고 합니다.
2019년 1월 14일에 제1회 세계 논리학의 날이 개최되었습니다. 매년 논리학의 날을 기념하기 위해 UNESCO 산하 국제 철학 및 인문학 협의회 는 매년 1월 14일을 ‘세계 논리학의 날’로 제정하였습니다.
왜 1월 14일이 세계 논리학의 날이 되었을까요? 알프레드 타르스키 와 쿠르트 괴델 은 20세기 논리학 발전에 지대한 역학을 한 논리학자입니다. 알프레드 타르스키 는 1901년 1월 14일에 태어났으며 쿠르트 괴델 은 1978년 1월 14일에 생을 마감하였습니다. 이 두 20세기 논리학의 거장을 기리기 위해 1월 14일이 세계 논리학의 날로 제정되었습니다.
지난 행사들은 한국 논리학의 날 홈페이지에서 찾아보실 수 있습니다.
중요일정
- 초청 강연 및 튜토리얼 공개:
- 제목: 2024년 12월 3일
- 초록: 2024년 12월 10일
- 참가 및 학생 발표 신청 마감: 2024년 12월 11일
- 참가자 명단 확정 및 공지: 2024년 12월 13일
- 제4회 한국 논리학의 날: 2025년 1월 13일 ~ 15일
발표자 및 발표 목록
튜토리얼 발표
- Shichang Song, 베이징교통대학교 : Projective Fraisse limits and profinite groups
초청 발표
- Carl-Fredrik Nyberg Brodda, 고등과학원 : Some decision problems in finitely presented groups and semigroups
- Javier de la Nuez González, 고등과학원
- 김동우, 한국과학기술원 : Reference and Analysis in Frege
- 박세원, 교토대학교 : Real functions are continuous, continuously, computationally
- 전한울, Cornell University : On proof-theoretic dilator and Pohlers’ characteristic ordinals
- 최승락, 한림대학교 : Formalizing intuitionistic negations in natural deduction system
학생 발표
- 김연홍, 전북대학교 : 약-u-결합 유니놈 논리의 표준 완전성
- 백지선, 연세대학교 : Graphs on Infinite Cardinals: The Erdős-Dushnik-Miller theorem
- 서민철, 성균관대학교 : Multi-Agent Simulative Belief Ascription
- 임기정, 전남대학교 : 고전일차논리의 새로운 Coq 형식화와 건전성 및 완전성 정리의 증명
발표 초록
일정
공개 예정
참가 신청
참가자 전원에게 제4회 한국 논리학의 날 동안의 숙식이 제공됩니다.
학생 신청자는 지도교수님의 추천서를 제출해야 합니다. 추천서는 마감일까지 korea-logic-day@googlegroups.com로 추천인이 직접 발송해야 합니다. 학생 참가자는 2인 1실로 배정받으며, 참가 신청서에서 희망하는 룸메이트를 지정할 수 있습니다.
확정된 참가자는 신청서에 기입해주신 이메일 주소로 안내드릴 예정입니다.
참가 신청 주소: https://forms.gle/JQinHA4oNcepZjMx8
학생 발표 신청
학생들의 참여를 촉진하기 위해, 학생들이 논리학과 관련된 본인의 진행중인 연구를 소개하는 세션을 마련할 예정입니다. 각 발표는 약 15분에서 30분 정도로, 발표 수에 따라 시간이 조정될 수 있습니다. 발표를 희망하는 학생 신청자는 참가 신청과 함께 발표 제목과 초록을 제출해주세요.
확정된 발표는 신청서에 기입해주신 이메일 주소로 안내드릴 예정입니다.
장소
제4회 한국 논리학의 날은 창원시에서 오프라인으로 개최됩니다. 장소에 대한 자세한 내용은 추후 공지될 예정입니다.
교통
공개 예정
숙소
공개 예정
주최 및 주관
제4회 한국 논리학의 날은 대한수리논리학회 (KAML)가 주최하며 다음의 조직위원들이 주관합니다.
문의사항 등은 korea-logic-day@googlegroups.com으로 이메일 바랍니다.
지원
제4회 한국 논리학의 날 행사는 한국연구재단 및 국립창원대학교 G-램프(LAMP) 사업단의 지원을 받아 진행됩니다.
