한국논리학회는 논리학의 발전을 위해 학술 성과 교류, 정보 교환, 논리학 교육 논의를 목적으로 1976년에 창립되었다. 현재는 2세대·3세대 논리학자들이 중심이 되어 창립 당시 목표를 지속적으로 실천하고 있다. 학회는 매월 논리학 연구모임을 운영하며 매년 2회 이상 학술발표회를 정기적으로 개최하고 있다. [홈페이지 바로가기]
MLt: 항등원 없는 단조 논리 MLt: An identity-less monotone logic 가장 기본적인 준구조 논리 GL은 잔여 항등원을 갖는 속-순서 그룹포이드에 기반한다. 여기서 우리는…
Two Senses of ‘Not True’ and the Intuitionistic Natural Deduction System. ‘참이 아님’의 두 가지 뜻과 직관주의 자연연역 체계 The present article argues…
실천적 고려는 믿음의 동기적 이유가 될 수 있는가? Can Practical Considerations Be Motivating Reasons for Belief? 실용주의자들은 실천적 고려가 행위뿐만 아니라 믿음에 대해서도…
엄격한 고유성과 허용가능한 의견 집합 Strict Propriety and Permissible Opinion Sets 엄격한 고유성은 인식적 결정이론의 핵심 제약 조건이다. 그렇다면 이러한 엄격한 고유성은 받아들일 만한…
술어적 이름 사용과 프레게 퍼즐은 변항주의를 옹호하는가? Do Predicative Name Uses and Frege’s Puzzle Support Variabilism 변항주의는 이름이 변항으로 기능한다고 보는 견해이다. 이러한…
Categorical Abstractions for Representing Temporal Organizations of Type Mechanisms 유형 메커니즘의 시간적 구조를 표상하기 위한 범주적 추상화 Craver’s diagram, comprising symbols such as…
증명적 귀납과 엄격한 시험 Demonstrative Induction and Severe Tests 귀납에 관한 직관으로 볼 때, 가설을 지지하는 증거의 수는 많으면 많을수록 좋을 것으로 보인다. 하지만…