주남저수지, © 창원시청 - 창원관광
한국 논리학자들이 다 함께 모여 세계 논리학의 날을 축하하고 논리학의 다양한 분야와 여러 분야에서의 논리학의 역할에 대해 소개하고 의견을 공유하는 자리를 마련하려고 합니다.
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, 베이징교통대학교 : Introduction to continuous logic (발표자료1, 발표자료2, 발표자료3)
초청 발표
- Carl-Fredrik Nyberg Brodda, 고등과학원 : Some decision problems in finitely presented groups and semigroups (발표자료)
- 김동우, 한국과학기술원 : 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 형식화와 건전성 및 완전성 정리의 증명 (발표자료)
발표 초록
일정
1월 13일 월요일
| 발표자 | 발표제목 | |
|---|---|---|
| 14:00-14:20 | - | 등록 |
| 14:20-14:30 | - | 개회 |
| - | - | 세션 1 좌장: 이정욱 (국립창원대학) |
| 14:30-15:45 | Shichang Song | Tutorial 1 Introduction to continuous logic |
| 15:45-16:00 | - | 휴식시간 |
| 16:00-17:00 | 박세원 | Real functions are continuous, continuously, computationally |
| 17:00-18:00 | Carl-Fredrik Nyberg Brodda | Some decision problems in finitely presented groups and semigroups |
| 18:30- | - | 저녁 |
1월 14일 화요일
| 발표자 | 발표제목 | |
|---|---|---|
| - | - | 세션 2 좌장: 이효윤 (서강대학교) |
| 09:00-10:15 | Shichang Song | Tutorial 2 Introduction to continuous logic |
| 10:15-10:30 | - | 휴식시간 |
| 10:30-11:00 | 김연홍 | Standard completeness of weak-u-associative uninorm logics |
| 11:00-11:30 | 백지선 | Graphs on Infinite Cardinals: The Erdős-Dushnik-Miller theorem |
| 11:30-12:00 | 서민철 | Multi-Agent Simulative Belief Ascription |
| 12:00-12:30 | 임기정 | 고전일차논리의 새로운 Coq 형식화와 건전성 및 완전성 정리의 증명 |
| 12:30-14:30 | - | 점심 |
| - | - | 세션 3 좌장: 김준희 (고등과학원) |
| 14:30-15:45 | Shichang Song | Tutorial 3 Introduction to continuous logic |
| 15:45-16:00 | - | 휴식시간 |
| 16:00-17:00 | 김동우 | Reference and Analysis in Frege |
| 17:00-18:00 | - | 대한수리논리학회 회의 |
| 18:30- | - | 연회 |
1월 15일 수요일
| 발표자 | 발표제목 | |
|---|---|---|
| - | - | 세션 4 좌장: 안진후 (국립창원대학) |
| 10:00-11:00 | 전한울 | On proof-theoretic dilator and Pohlers’ characteristic ordinals |
| 11:00-11:15 | - | 휴식시간 |
| 11:15-12:15 | 최승락 | Formalizing intuitionistic negations in natural deduction system |
| 12:15-12:30 | - | 단체사진 |
참가 신청
참가자 전원에게 제4회 한국 논리학의 날 동안의 숙식이 제공됩니다.
학생 신청자는 지도교수님의 추천서를 제출해야 합니다. 추천서는 마감일까지 korea-logic-day@googlegroups.com로 추천인이 직접 발송해야 합니다. 학생 참가자는 2인 1실로 배정받으며, 참가 신청서에서 희망하는 룸메이트를 지정할 수 있습니다.
확정된 참가자는 신청서에 기입해주신 이메일 주소로 안내드릴 예정입니다.
참가 신청 주소: https://forms.gle/JQinHA4oNcepZjMx8
학생 발표 신청
학생들의 참여를 촉진하기 위해, 학생들이 논리학과 관련된 본인의 진행중인 연구를 소개하는 세션을 마련할 예정입니다. 각 발표는 약 15분에서 30분 정도로, 발표 수에 따라 시간이 조정될 수 있습니다. 발표를 희망하는 학생 신청자는 참가 신청과 함께 발표 제목과 초록을 제출해주세요.
확정된 발표는 신청서에 기입해주신 이메일 주소로 안내드릴 예정입니다.
장소
‘그랜드 머큐어 앰배서더 창원’ 호텔 지하 3층 퍼스트하우스 ‘티파니’ 룸
교통
-창원 중앙역에서 호텔 221번 버스 (시티7 정류장 하차), 또는 220번 버스 (창원컨벤션센터 정류장 하차)
-김해공항에서 호텔 좌석 예약 후 창원/마산행 시외버스(리무진)를 이용해 남산동(남산시외버스정류소)에서 하차. 이후 17번 또는 109번 버스를 타고 시티7 정류소에서 하차하시면 됩니다.
자세한 사항은 호텔 홈페이지 참조
숙소
숙소는 ‘그랜드 머큐어 앰배서더 창원’ 호텔이며, 1월 13일 월요일 15:00시부터 입실가능하며, 1월 15일 수요일 12시까지 퇴실부탁드립니다. 자세한 사항은 프론트에 문의바랍니다.
단체사진
폐회 후 촬영한 단체 사진입니다.
주최 및 주관
제4회 한국 논리학의 날은 대한수리논리학회 (KAML)가 주최하며 다음의 조직위원들이 주관합니다.
문의사항 등은 korea-logic-day@googlegroups.com으로 이메일 바랍니다.
지원
제4회 한국 논리학의 날 행사는 한국연구재단 및 국립창원대학교 G-램프(LAMP) 사업단의 지원을 받아 진행됩니다.
