논리연구

한국논리학회 · Korean Journal of Logic

• 등재등재
• 창간1998년
• ISSN1598-7493
• 홈페이지https://www.logicalkorea.com/
• 학술지논리연구 · (무료) · 목록에서 보기

논문 291편

• Park’s Critiques of Hume’s Argument against Induction
  이병덕
• The Normalization Theorem for Full First-Order Classical Natural Deduction with Generalized Elimination Rules
  최승락
• Two Types of Structure as Constraints in Mechanistic Modeling
  김진영
• 비결합, 비교환 미아놈
  양은석

• 라틴어 계사 esse의 중국어 번역: 《명리탐》의 번역 전략 (1631)
  허민준
• 준구조 퍼지 술어 논리 MICAL∀ 의 표준 완전성
  김연홍
• 지적인 테니스 경기: 톰슨과 베나세라프의 재대결
  최훈
• 함의적 토노이드 (퍼지) 논리와 린덴바움 행렬 의미론
  양은석
• 힐버트- 암묵적 정의와 구조적 정의
  박준용

• MLt: An identity-less monotone logic
  양은석

• Two Senses of ‘Not True’ and the Intuitionistic Natural Deduction System.
  최승락
• 실천적 고려는 믿음의 동기적 이유가 될 수 있는가?
  박성수
• 엄격한 고유성과 허용가능한 의견 집합
  정재민

• Categorical Abstractions for Representing Temporal Organizations of Type Mechanisms
  김진영
• 술어적 이름 사용과 프레게 퍼즐은 변항주의를 옹호하는가?
  박성수
• 증명적 귀납과 엄격한 시험
  전영삼

• Is the Liar Paradox Never Strictly Classical?
  최승락
• 정확성주의는 정확성에만 호소하는가?
  정재민

• Proof-Theoretic Justification for Deduction and the Fundamental Assumption
  이종현
• 허구적 이름, 대화적 함의, 그리고 밀주의
  박성수

• A Defense of A Posteriori Essentialism Concerning Particular Substances
  한성일
• 양진주의에서의 폭파원리와 사소성에 대한 거부
  이진희
• 이론 선택, 귀납들의 통섭, 그리고 엄격한 시험
  전영삼

• Which Paradox is Genuine in Accordance with the Proof-Theoretic Criterion for Paradoxicality?
  최승락
• 규범은 능력에 의해 제한을 받지 않는가?: OIC 원리에 관한 최근의 실험철학적 연구 분석 및 비판
  이주한
• 복수문제 다시 생각하기
  이진희

• Implicational Partial Gaggle Logics and Matrix Semantics
  양은석
• 복합 명제의 참에 대한 근거주의 옹호
  한성일

• Relational Semantics for Fuzzy Extensions of R: Set-theoretic Approach
  양은석
• 비트겐슈타인의 말하기/보여주기 구분에 관하여
  박정일
• 아리스토텔레스 진리 정의와 동일론
  김동현

• Fuzzy R Systems and Algebraic Routley-Meyer Semantics
  양은석
• Infinitely Iterated Possibility: Worlds Reachable Only With Infinitely Many Transfers
  이충형
• 기바드의 와해 증명과 조건문
  최원배
• 설명적 연결과 엄격한 시험
  전영삼

• Fixed-pointed Involutive Micanorm-based Logics
  양은석
• The Indeterminacy of Quantified Sentences and The Paradigm Concept of Vagueness
  이진희
• 베이즈주의와 과학혁명: 새로운 이론과 비정밀 확률주의
  박일호

• RMt, Pretabularity, and Kripke-Style Semantics
  양은석
• 예측주의에 대한 베이즈주의적 접근과 엄격한 시험
  전영삼
• 웨이슨 선택 과제와 믿음의 정확성
  박일호

• Benardete’s Less Radical Puzzles: Collective Causation or Retrocausation?
  이충형
• Micanorm-Based Logics with Fixed-Point
  양은석
• The Identity of Proofs and the Criterion for Admissible Reductions
  최승락
• 은폐된 대응으로서의 동일성
  김동현

• Kripke-style semantics for pretabular fuzzy logics: Involutive idempotent fuzzy logics
  양은석
• The Normalization Theorem for the First-Order Classical Natural Deduction with Disjunctive Syllogism
  최승락
• 생성주의와 미결정적 동일성
  정대휘

• Involutive extensions of fixpointed mianorm-based logics
  양은석
• Tennant’s Conjecture for Self-Referential Paradoxes and its Classical Counterexample
  최승락
• 비고전논리학과 반예외주의
  이진희
• 연역 논증과 귀납 논증의 구분 기준
  여영서, 홍지호

• Algebraic Routley-Meyer-style semantics for the involutive monoidal t-norm logic IMTL
  양은석
• 필연적 연결과 경험주의
  이재호

• 엄격한 시험과 증거-가설 생성의 메커니즘
  전영삼
• 전기 비트겐슈타인의 수학철학
  박정일

• Mianorm-based Logics with right and left n-potency axioms
  양은석
• ‘부당한 연역 논증’은 형용모순이다!
  최훈

• Involutive Idempotent Uninorm Logics and Pretabularity
  양은석
• 『논리-철학 논고』의 연산 이론에 관하여
  박정일
• 베이즈주의와 헴펠: 베이즈주의자들은 헴펠의 직관을 포착하는가
  이일권

• <논리-철학 논고>의 그림 이론에 관하여
  박정일
• R, Fuzzy R, and Set-Theoretic Kripke-Style Semantics
  양은석
• 조작논증과 어니, 다이애나, 번개
  김세화
• 취소된 서술 행위와 표적 이동
  이승택

• Set-theoretic Kripke-style Semantics for Weakly Associative Substructural Fuzzy Logics
  양은석
• ZFC와 열거불가능성
  안요한
• ‘부당한 연역 논증’은 형용모순인가?
  홍지호, 여영서
• 상호주관적 정당화와 객관적 정당화
  이병덕
• 생겨난 이의 자기의식 정보
  김명석
• 양진주의와 더미 역설
  이진희
• 인과 도구 변수와 조종자 그리고 인과 이행성의 관계
  김준성

• Algebraic Routley-Meyer-style semantics for the fuzzy logic MTL
  양은석
• 자유의지에 대한 조작논증과 근원-양립가능주의의 대응
  김성수
• 주요 원리와 조건화의 상호보완성
  박일호

• Algebraic Kripke-Style Semantics for Weakly Associative Fuzzy Logics
  양은석
• 믿음, 실용적 수용, 그리고 인식적 수용
  이병덕
• 불가능한 가능성은 양상주의를 구원할 수 있는가?
  이재호, 김민석
• 전기 비트겐슈타인과 명제적 태도 진술
  박정일
• 진리담지자와 사실 사이의 동일성에 대하여
  김동현

• Liar-Type Paradoxes and Intuitionistic Natural Deduction Systems
  최승락
• Set-Theoretical Kripke-Style Semantics for an Extension of HpsUL, CnHpsUL
  양은석
• 구문론으로서의 수학: 괴델의 비판과 카르납의 과학적 철학
  이정민
• 전기 비트겐슈타인과 유형 이론
  박정일

• Some axiomatic extensions of the involutive mianorm Logic IMIAL
  양은석
• 소렌센 더미 역설
  이진희
• 입증의 역설 다시 보기
  최원배

• Can Gödel’s Incompleteness Theorem be a Ground for Dialetheism?
  최승락
• Involutive Micanorm Logics with the n-potency axiom
  양은석
• ‘믿음’과 인식적 수용
  이주한
• 전기 비트겐슈타인과 러셀의 역설
  박정일

• Frege’s influence on the modern practice of doing mathematics
  이계식
• Instantaneous Temporal Parts and Time Travel
  김세화, Takeshi Sakon
• 비트겐슈타인과 환원 가능성 공리
  박정일
• 선언 원인에 대한 평가와 대안: 조절 효과 변수, 인과상호작용, 확률 궤적에 토대한 인과 구조의 역할
  김준성
• 자기의식 정보와 관찰 선택 효과
  김명석

• Weakly associative fuzzy logics
  양은석
• 대용어적 ‘그것’ 논증을 둘러싼 영원주의와 일시주의 사이의 논쟁에 대하여
  최동호
• 두 딸 문제와 선택 효과
  김명석
• 무어의 역설과 자기-지시
  권홍우

• Algebraic Kripke-style semantics for substructural fuzzy logics
  양은석
• 『논리-철학 논고』의 동일성 개념에 관하여
  박정일
• 간극이론과 진리에 대한 최소직관
  이진희
• 반 멕기의 반례, 확률, 그리고 애매성
  최원배
• 선결문제 요구의 오류는 왜 오류인가?: 논증의 목적과 선결문제 요구의 오류 평가
  선우환

• Algebraic Kripke-style Semantics for an Extension of HpsUL, CnHpsUL
  양은석
• Kripke vs. Wittgenstein on the Notion of Rule-following and Semantic Contextualism
  오은영
• On Induction Principles in Frege’s Grundgesetze and in Systems Thereafter
  이계식
• 『논리-철학 논고』의 ‘논리적 공간’에 관하여
  박정일

• Routley-Meyer semantics for R
  양은석
• 긍정논법 반례에 대한 선행연구와 확률
  김신, 이진용
• 무법칙적 일원론은 결과논변에 대응할 수 있는가?
  홍지호
• 인식적 독단론에 제기되는 베이즈주의적 비판에 대한 새로운 제안
  홍예리
• 증명론적 타당성의 사소성 문제
  정인교

• Some Axiomatic Extensions of the Involutive Micanorm Logic IMICAL
  양은석
• 고차 조건화와 믿음 기반 약화
  박일호
• 김세화 교수의 반론과 활성 경로 이론의 제한 및 확장
  김성수
• 베이즈주의는 독단론에 호의적인가?
  윤보석
• 지칭의 대용어 이론과 이에 대한 비판들
  이병덕

• Set-theoretical Kripke-style semantics for three-valued paraconsistent logic
  양은석
• 김성수 교수의 활성 경로 이론에 대한 변호와 그에 대한 반론
  김세화
• 밸러궈의 수학적 플라톤주의와 인식론적 문제
  선우환
• 이행적 인과 경로를 통한 원인 효과에 대한 해명: 구조 방정식에 토대한 인과 모형의 원인 효과 개념에 대한 평가와 대안
  김준성
• 프레게와 전기 비트겐슈타인의 대상 개념
  박정일

• Algebraic Kripke-style Semantics for Three-valued Paraconsistent Logic
  양은석
• The Constructive Interpretation of Probability
  양경은
• 수리기사의 역설, 무엇이 역설적인가?
  원치욱
• 지각적 독단론과 베이즈주의 호의성
  박일호
• 형이상학적 원리로서의 무모순율: 모순이 관찰 가능한가?
  송하석

• A Philosophical Implication of Rough Set Theory
  박창균
• An Axiomatic Extension of the Uninorm Logic Revisited
  양은석
• ‘ANY’와 ‘아무’에 관한 분석
  김한승
• 분석의 역설과 역설회피의 전략
  박준호
• 피노키오 역설에 대하여
  송하석

• Algebraic Kripke-style semantics for weakening-free fuzzy logics
  양은석
• 『논리-철학 논고』의 일반성 개념에 관하여
  박정일
• 고차모호성과 극단적 결정불가능성
  이진희
• 귀납추론에 토대한 직설법적 조건문
  이병덕
• 모형론적 논리적 귀결과 논리상항
  박준용
• 지식가능성 역설과 반사실적 조건 명제에 대한 논파자
  김남중
• 타르스키의 논리적 귀결 정의의 역사적 배경
  박우석

• MTL의 표준 완전성
  양은석
• 비트겐슈타인의 언어 논리와 형이상학
  변영진
• 전기 비트겐슈타인의 프레게 의미이론 비판
  박정일
• 직관주의적 유형론에서의 진리개념
  정인교
• 크립케의 진리론은 복수의 문제를피할 수 있는가?
  송하석

• 더미의 역설과 초평가주의
  이진희
• 사고력 시험으로서의 법학적성시험
  민찬홍
• 원초적 해석의 축소주의적 이해
  김동현
• 조건화와 입증: 조건화 옹호 논증
  박일호
• 존재론의 범위와 책무: 콰인의 존재론적 개입
  박준호

• Can Collective Causation Resolve the Paradox of Before-Effect? : A Critique of Yi’s Solution
  한성일
• Weakening-free fuzzy logics with the connective Δ (II): a variant of Baaz projection
  양은석
• Yagisawa on Peacocke and van Inwagen
  김세화
• 대물(de re) 문맥과 ‘-라고’의 몇 가지 의미론적 특성
  민찬홍
• 두 가지 종류의 직설법적 조건문과 전건 긍정식
  이병덕

• A Note on Kruskal's Theorem
  이계식, 나현숙
• 논란 없는 원리를 재고함
  양은석
• 논란 없는 원리와 전건 긍정식
  최원배
• 직설법적 조건문에 대한 추론주의적 분석과 셀라스-브랜덤 의미론
  이병덕

• R, fuzzy R, and Algebraic Kripke-style Semantics
  양은석
• 논란 없는 원리와 최원배 교수의 반론
  이병덕
• 준거집합 문제와 자격의 문제
  김한승
• 직설법적 조건문에 대한 추론주의적 분석에 대하여
  김세화

• Kripke-style Semantics for UL
  양은석
• Sleeping Beauty: a Garberian Approach
  김남중
• 동전을 던진 후 미녀를 깨우다
  김명석
• 반 프라쎈의 경험동등성 논변과 시공간에 대한 해석
  양경은
• 비트겐슈타인과 힐베르트 프로그램
  박정일
• 실체적 속성으로서의 진리의 개념과 역할
  김동현

• 논란 없는 원리를 둘러싼 최근 논란
  최원배
• 비관적 귀납과 시공간 이론
  양경은
• 양의 비율로서 실수
  박준용
• 조건화와 고차 믿음 갱신
  박일호
• 직관주의적 유형론에서의 분석성과 완전성
  정인교
• 확률에 대한 관점주의
  김한승

• 무지에의 호소 다시 보기
  최훈
• 베르나이스와 공리적 방법
  박우석
• 존재 예화 규칙과 보편 조건문화 규칙
  선우환
• 직관주의적 유형론에서의 명제와 판단
  정인교

• On Nominalist Paraphrase
  주요한
• Standard Completeness for the Weak Uninorm Mingle Logic WUML
  양은석
• 모호성과 맥락고정논변
  이준효
• 우연성과 설명의 요구 논증
  김세화
• 잠자는 미녀의 문제, 그의 대답은?
  송하석

• 결과논변과 수반논변
  홍지호
• 공학도를 위한 논리: ‘발표와 토론’을 위한 논리 교수ㆍ학습 모형
  양은석
• 김영정 교수의 비판적 사고론
  최훈
• 김영정 교수의 선제논리 프로그램
  박정일
• 논리학의 존재론적 보수성과 부분전체론
  강수휘
• 무지로부터의 논증, 모두 오류인가?
  송하석
• 소렌센의 더미와 ‘모호함’의 모호함
  이진희

• A Third Way to Interpretations of Probability
  양경은
• A new proof of standard completeness for the uninorm logic UL
  양은석
• Sleeping Beauty’s Reflection: In and Out
  김한승
• 전기 비트겐슈타인의 논리와 형이상학
  박병철
• 행위자 원인은 행위자의 통제력에 도움을 주는가?
  홍지호

• On the Standard Completeness of an Axiomatic Extension of the Uninorm Logic
  양은석
• Reconsidering the Formal Accounts of Continuity in the Theory-Change from Newtonian to Einsteinian Physics
  양경은
• The Status of Scientiae Mediae in the History of Mathematics: Biancani's Case
  박우석
• 수학적 대상의 존재와 우연성
  최원배
• 실천추론에 의한 귀납의 정당화
  이병덕
• 의학의 뉴컴 문제와 인과적 결정 이론
  여영서
• 직설법적 조건문에 대한 스톨네이커의 해석
  송하석

• Non-associative fuzzy-relevance logics: strong t-associative monoidal uninorm logics
  양은석
• ‘가깝다’에 관하여
  이승온, 황인재
• 인과성과 합리성
  이좌용
• 인과의 두 수준에 대한 결정론적 인과의 해명과 그것의 한계
  김준성

• Standard completeness results for some neighbors of R-mingle
  양은석
• Zeno Series, Collective Causation, and Accumulation of Forces
  이병욱
• 『프로슬로기온』 3장 논증의 새로운 해석!
  김세화
• 문법으로서의 논리 ― 비트겐슈타인의 논리관 ―
  이영철
• 원초적 확률주의와 베이즈 인수
  박일호
• 제르멜로와 공리적 방법
  박우석

• Uninorm logic: toward a fuzzy-relevance logic(2)
  양은석
• 반 멕기의 반례와 해결책
  최원배
• 버지스-로젠 딜레마와 유명론
  이진희
• 비트겐슈타인과 모순
  박정일
• 직설법적 조건문의 인식적 수용조건
  원유나

• (weak) R-mingle: toward a fuzzy-relevance logic
  양은석
• 『차이를 만들지 않는다(Makes No Difference)』는 논증과 반사실적 조건문에 대한 분석
  김세화
• 크립키식 양상 의미론의 일차 술어 논리를 통한 번역
  김범인
• 프레게 제한― 수의 정의와 적용 가능성
  박준용
• 흄의 원리와 암묵적 정의
  최원배

• Algebras and Semantics for Dual Negations
  양은석
• 논리적 귀결과 논리 상항의 의미
  이종권
• 수학에 대한 구조주의적 해석과 비공허성의 문제
  권병진
• 인과의 조종가능성 이론과 간섭
  여영서
• 프로슬로기온 3장 논증의 새로운 해석?
  최원배

• Algebraic semantics for some weak Boolean logics
  양은석
• What the gentle murder paradox means to event semantics
  김한승
• 매디의 수학적 자연주의의 존재론적 퇴보
  박우석
• 비트겐슈타인과 유아론
  박정일
• 안건훈, 기호논리학과 그 응용
  김한승
• 조건문에 관한 성향적 분석
  노호진

• Algebraic completeness results for sKD and its Extensions
  양은석
• ‘규칙따르기 역설’에 대한 크립키 논증의 비판적 분석
  박만엽
• 뉴컴의 역설과 합리적 선택
  이종권
• 수학적 플라톤주의와 수의 비고유성 문제
  권병진
• 최창선, [집합론 입문]
  정인교
• 포퍼의 확률의 성향 이론
  송하석
• 현재성 문제와 지금의 지표성
  강수휘

• Strong Kleene-Diense Logic: a variant of the infinite-valued Kleene-Diense Logic
  양은석
• 베이즈주의에서의 증거개념
  이영의
• 수학적 참과 증명가능성
  정계섭
• 이좌용의 [존재론 연구 I]
  백도형
• 조건부 확률과 조건문의 확률
  최원배
• 지식귀속은 민감하게 이뤄지는가? - ‘안다’에 대한 맥락주의 및 주체-민감주의 의미론 비판 -
  한성일

• Qine, Wyman, and Buridan: Three Approaches to Ontological Commitment
  Gyula Klima
• 인과적 마코프 조건과 비결정론적 세계
  이영의
• 확률의 상관빈도 이론과 포퍼
  송하석
• 흄의 원리와 '내용의 분할'
  최원배

• ŁC, LC를 위한 루트리-마이어 의미론
  양은석
• 데데킨트 절단, 배중률, 관계
  홍성기
• 베이즈주의와 제거적 귀납주의
  여영서
• 비트겐슈타인 철학의 현상학적 측면
  박병철
• 비트겐슈타인은 왜 [논고]를 포기했는가?
  박정일
• 의미전체론과 의미 불안정성 문제에 관하여
  이병덕

• A procedural Theory of Concepts and the Problem of Synthetic a priori
  M. Duzi, P. Materna
• Algebraic Methods in Philosophical Logic
  양은석
• Kripke's Theory of Truth and the Liar Paradox
  김도식
• 김국태 교수의 [비판과 합리적 의사결정을 위한 실용논리학]
  배선복
• 소여, 현상학, 모순
  김영건
• 수 미결정성, 동일성 기준 그리고 종
  권병진
• 인과성과 인간 동일성
  이좌용
• 행위 문장과 부사어
  송하석

• “E-체계들을 위한 루트리-마이어 의미론”
  양은석
• ““왜” 질문의 논리적 구조“
  선우환
• “베이즈주의와 오래된 증거의 문제”
  여영서
• “선호구조의 질적 순서화”
  이상하
• “자체적으로 정당한 규칙과 논리상항의 의미”
  정인교
• “조합논리 소개”
  정계섭
• “페리의 지표성”
  김한승

• 두 봉투의 역설에 대하여
  송하석
• 사람에의 호소는 오류인가?
  최훈
• 양상 허구주의, 고립된 우주(island universe), 그리고 다우주(multiverse)(Modal Fictionalism, Island Universe, and Multiverse)
  김세화
• 자름규칙(cut)-제거 연역의 증명 길이에 대하여 자름규칙-제거 연역의 증명 길이에 대하여
  김범인

• “개체의 변화와 시간적 부분”
  손병홍
• “괴델의 불완전성 정리: 증명된 신화?”
  홍성기
• “무지에의 호소는 오류인가?”
  최훈
• “튜링의 다리와 비트겐슈타인의 수학철학”
  박정일
• ＂Deduction for LŁC and Its Extension＂
  양은석
• ＂Logical Necessity Based on Carnap's Criterion of Adequacy＂
  Nino B. Cocchiarella
• ＂The Problem of Disjunctive Causal Factors＂
  김준성

• Die Leibniz bin？r e Arithmet ik und das I- Ching Symbolik der Hexagramme vom St andpunkt der modernen Logik
  SunBokBae
• 고차 개념으로서 수
  박준용
• 아리스토텔레스의 논리학과 생물학에서 게노스와 에이도스의 쓰임
  조대호
• 연관 r elevant 논리와 다치논리의 관계 연구: BNc1 과 LLC+의 구문론적 관계 연구
  양은석
• 전건 긍정 규칙의 반례에 대한 카츠의 비판
  최원배
• 컴퓨터 매체를 이용한 논리 교수법에 관한 연구 -이질적 추론을 중심으로-
  김영정
• 포트로얄 논리학에 있어서의 계사의 기능
  송하석