한국 논리학의 날

English로 언어 바꾸기

제3회 한국 논리학의 날 2024, 2024년 1월 12일

World Logic Day Banner Image

한국 논리학자들이 다 함께 모여 세계 논리학의 날을 축하하고 논리학의 다양한 분야와 여러 분야에서의 논리학의 역할에 대해 소개하고 의견을 공유하는 자리를 마련하려고 합니다.

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

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

지난 행사들은 한국 논리학의 날 홈페이지에서 찾아보실 수 있습니다.

중요일정

(주의) 제3회 한국 논리학의 날 행사는 12일입니다.

행사 Zoom 링크를 발송했습니다. 받지 못하신 경우 조직위원에게 문의바랍니다.

발표자

이름 소속기관 발표 주제
김동우 한국과학기술원 논리철학
김동현 한국교통대학교 논리와 교육
김준희 고등과학원 모델론
배경민 포스텍 전산논리
양은석 전북대학교 철학적 논리
이정욱 창원대학교 모델론
장준영 McGill University 전산논리
전한울 Cornell University 집합론
최승락 서울시립대학교 증명론
유야마 타카오 (湯山 孝雄) 교토대학교 전산논리

발표 일정

각 발표는 30분이며, 발표 후 10분의 질의응답 및 휴식시간이 있습니다.

  발표자 발표 제목
09:00 - 개회: 선우환 (연세대학교), 지글러 마틴 (한국과학기술원)
- - 세션 1, chair: 이효윤 (연세대학교)
09:10-09:40 장준영 Adjoint Logic: Multiple Modalities into a Computational Framework (Slides)
09:50-10:20 전한울 Separating the Wholeness axioms (Slides)
- - 세션 2, chair: 지글러 마틴 (한국과학기술원)
10:30-11:00 유야마 타카오 (湯山 孝雄) Word problem for groups and G-automata (Slides)
11:10-11:40 배경민 Formal specification and analysis of concurrent systems in rewriting logic (Slides)
11:40-13:10 - 점심
- - 세션 3, chair: 박세원 (교토대학교)
13:10-13:40 김동우 On exact truthmaking for modalized statements
13:50-14:20 최승락 Which Reduction Procedures for Classical Reductio are Acceptable? (Slides)
14:20-14:40 - 휴식시간
- - 세션 4, chair: 김형준 (울산과학기술원)
14:40-15:10 이정욱 An introduction to model companion : Infinite sets are NOT trivial! (Slides)
15:20-15:50 김준희 Pre-independence relations induced by Morley sequences in NSOP1 theories (Slides)
- - 세션 5, chair: 최승락 (서울시립대학교)
16:00-16:30 양은석 Fuzzy extensions of Implicational tonoid logics
16:40-17:10 김동현 고등학교 및 대학 교양 논리학 교육 개편 방향 (Slides)
17:10 - 폐회: 김병한 (연세대학교)

등록 및 참가

제3회 한국 논리학의 날 행사는 온라인으로 진행됩니다. 참가를 원하시는 분들은 2024년 1월 10일까지 참가등록을 해주세요. 자세한 참가방법은 2024년 1월 11일 접수해주신 이메일로 공지해드립니다.

참가 등록:

발표 초록

발표 초록은 링크에서 확인하실 수 있습니다.

단체사진

폐회 후 촬영한 단체 사진입니다.

2024 Korea Logic Day group picture

참석자

1월 12일 업데이트

김대희, 김병한 (연세대학교), 김상현 (고등과학원), 김연홍 (전북대학교대학원), 김준희 (고등과학원), 김현준 (고려대학교), 김형준 (울산과학기술원), 김호일 (경북대학교), 남동현 (인하대학교), 도브로볼스키얀 (맨체스터 대학교), 문순원 (인하대학교), 박기효 (Cornell University), 박세원 (교토대학교), 배경민 (POSTECH), 배선복 (숭실대 가치와 문화 연구소), 백지선 (연세대학교), 선우환 (연세대학교), 소한종 (고려대학교), 손승윤 (연세대학교), 안희진 (한국과학기술원), 양은석 (전북대학교), 오서율 (충북대학교), 원치욱 (광주과학기술원), 이승현 (경희대학교), 이일권 (전북대학교), 이재훈, 이정욱 (창원대학교), 이종현 (고려대학교), 이진희 (아주대학교), 이청명, 이현우 (서울대학교), 이효윤 (연세대학교), 임경택 (전북대학교), 임기정 (전남대학교), 전영삼, 전한울 (Cornell University), 정소영, 정인교 (고려대학교), 최정담 (한국과학기술원), 한성일 (서울대학교), Niolay V. Shilov (Innopolis University), Łukasz T. Stępień (University of the National Education Commission, Krakow, Poland), Martin Ziegler (한국과학기술원), Sara Uckelman (Durham University), 외 11인.

주최 및 주관

제3회 한국 논리학의 날은 한국논리학회가 주최하며 다음의 조직위원들이 주관합니다.

문의사항 등은 kld2024-oc@googlegroups.com으로 이메일 바랍니다.