DongWook JUNG
Codex와 함께 “자연 연역 실험실” 웹앱을 제작했습니다. 우리 대학 기호논리학 수업의 교재로 사용하는 이병덕의 『코어 논리학: 논리적 추론과 증명 테크닉』 (성균관대학교출판부, 2019)의 문법과 추론 규칙에 정확히 부합하는 증명 검증기를 만들고 싶었는데, AI 덕분에 상당히 수월하게 만들 수 있었습니다. 아래 웹사이트에 공개해 두었으니 한번 사용해보기 바랍니다. 증명 편집기에서의 특수기호 입력, 보조증명 입력 및 시각화 등의 사용자 […]
힘들었던 2021년 1학기가 무사히 끝나고 여름방학이 시작된 지도 한참 지났네요. 이번 1학기는 작년 1,2학기보다도 몸이 많이 힘든 느낌이었는데요. 아마도 수업을 너무 많이 맡았기 때문인 것 같습니다. 근대철학연습(대학원), 심리철학, 기호논리학, 철학입문, 과학기술과철학(교양), 이렇게 총 5개의 수업을 진행했거든요. 그래도 다행인 것은 학기가 시작되기 전에 투고했던 논문이 『과학철학』 3월호에 실렸다는 점입니다. 그게 없었으면 학기 내내 마음의 부담이 컸을 […]
DongWook JUNG