한국논리학회는 논리학의 발전을 위해 학술 성과 교류, 정보 교환, 논리학 교육 논의를 목적으로 1976년에 창립되었다. 현재는 2세대·3세대 논리학자들이 중심이 되어 창립 당시 목표를 지속적으로 실천하고 있다. 학회는 매월 논리학 연구모임을 운영하며 매년 2회 이상 학술발표회를 정기적으로 개최하고 있다. [홈페이지 바로가기]
비결합, 비교환 미아놈 Non-associative, Non-commutative Mianorms 최근 가-티-놈에 기반한 (약한 결합의) 미아놈이 구성되었고 그러한 구성의 특성화가 제시되었다. 그러나 비결합, 비교환인 그러한 미아놈은 아직…
The Normalization Theorem for Full First-Order Classical Natural Deduction with Generalized Elimination Rules This paper proves weak normalization, a restricted subformula property, and…
Two Types of Structure as Constraints in Mechanistic Modeling Mechanistic explanation is typically understood as a model-based activity, yet the role of structure…
Park’s Critiques of Hume’s Argument against Induction In his recent book Induction, Science, and Morality, Seungbae Park raises four key objections to David…
지적인 테니스 경기: 톰슨과 베나세라프의 재대결 An Intellectual Tennis Match: The Rematch Between Thompson and Benacerraf 톰슨과 베나세라프는 초능력 작업을 수행하는 톰슨의 전등이…
라틴어 계사 esse의 중국어 번역: 《명리탐》의 번역 전략 (1631) Translating the copula esse into Chinese: The Mingli Tan Approach (1631) 본 연구는 아리스토텔레스의…
힐버트- 암묵적 정의와 구조적 정의 Hilbert on Implicit Definition and Structural Definition 힐버트가 그의 저서 『기하학의 기초』(1899)에서 언급한 공리적 정의 방법에 대해 여전히…
함의적 토노이드 (퍼지) 논리와 린덴바움 행렬 의미론 Implicational tonoid (fuzzy) logics and Lindenbaum matrix Semantics 이 논문에서는 함의적 토노이드 (퍼지) 논리 일반을 위한…
준구조 퍼지 술어 논리 MICAL∀ 의 표준 완전성 Standard completeness of substructural fuzzy predicate logic MICAL∀ 이 글은 비결합 가환 준구조 논리의 라지오와…
MLt: 항등원 없는 단조 논리 MLt: An identity-less monotone logic 가장 기본적인 준구조 논리 GL은 잔여 항등원을 갖는 속-순서 그룹포이드에 기반한다. 여기서 우리는…