한국논리학회는 논리학의 발전을 위해 학술 성과 교류, 정보 교환, 논리학 교육 논의를 목적으로 1976년에 창립되었다. 현재는 2세대·3세대 논리학자들이 중심이 되어 창립 당시 목표를 지속적으로 실천하고 있다. 학회는 매월 논리학 연구모임을 운영하며 매년 2회 이상 학술발표회를 정기적으로 개최하고 있다. [홈페이지 바로가기]
Two Senses of ‘Not True’ and the Intuitionistic Natural Deduction System.
Two Senses of ‘Not True’ and the Intuitionistic Natural Deduction System. ‘참이 아님’의 두 가지 뜻과 직관주의 자연연역 체계 The present article argues…