논문KCI 등재
크립키식 양상 의미론의 일차 술어 논리를 통한 번역
The Translation of Kripke-style Semantics to Fist Order Logic
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
주제분류철학
초록
본 논문에서는 양상 논리의 정식들이 일차 논리에서 정의가능하다는 사실을 살펴 볼 것이다. 그 중에서도 특히, 크립키식 양상 해석을 중심으로 일차 논리를 통한 정의가능성을 살펴볼 것이다. 여기서 정의가능성이란, 크립키 해석에서 타당한 정식들에 대응하는 일차 논리의 타당한 정식들을 찾을 수 있다는 것을 의미한다.
Abstract
This paper deals with the translation of modal formulas to the fist order logic. Among various modal semantics, I focus on Kripke-style semantics. The translation to first order logic means that we can find the first order system corrsponding Kripke-style, and every formula corresponding the valid fomula in Kripke-style is valid in the first order logic.
참고문헌 (2)
- Hughes, G. E, "A New Introduction to Modal Logic" (1996), Routledge
- Kripke, S.A, "Semantical Considerations on Modal Logic", Acta Philosophica Fennica, XVI, pp.83~94 (1963)
관련 논문AI추천
약한 결합 원리를 만족하는 준선형 논리와 크립키식 의미론양은석중앙철학연구소 · 철학탐구2025 · 제78권 존재 오류의 관점에서 본 전칭 양화사 및 특칭 양화사 번역에 대하여윤흥섭한국영어영문학회 · 영어영문학2020 · 제25권 제2호크립키의 의미회의주의에 관하여최용호인문학연구소 · 건지인문학2018 · 제23호ŁC, LC를 위한 루트리-마이어 의미론양은석한국논리학회 · 논리연구2004 · 제7권 제2호아리스토텔레스의 대립 사각도와 현대 의미론에서 명제 대립에 대하여윤흥섭대한영어영문학회 · 영어영문학연구2018 · 제60권 제2호＂Logical Necessity Based on Carnap's Criterion of Adequacy＂Nino B. Cocchiarella한국논리학회 · 논리연구2002 · 제5권 제2호