Truth and Satisfaction in Chihara's Model-theoretic Actualism

Chunghyoung Lee

doi:10.18694/KJP.2022.8.152.59

주제분류

...

저널정보

한국철학회
철학 학술저널
哲學 제152집
2022.8 59 - 85 (27page)
DOI : 10.18694/KJP.2022.8.152.59

저자정보

Chunghyoung Lee (POSTECH)

이용수
내서재: 0

내서재에 추가
되었습니다. 내서재에서
삭제되었습니다.

초록·키워드

오류제보하기

The Worlds of Possibility (1998)에서 찰스 치하라는 S5 양상 양화 논리에 대한 현실주의적 모형 이론 의미론을 제시한다. 치하라의 의미론은 단지 가능하기만한 대상이 존재한다는 가정을 수반하지 않기에 현실주의적이다. 본 논문은 치하라의 의미론의 핵심 개념인 참과 만족 개념에 대해 자세한 분석, 해석, 재정식화를 제시하여, 치하라의 의미론에 대해 제기될 수 있는 여러 문제들을 해결하고자 한다. 치하라의 의미론의 ‘참’ 술어가 단항이 아닌 이항 술어로 이해되어야 하고, 만족 개념은 의미 장치가 있는 준거점과 문장의 진리값이 평가되는 평가점에 상대화된 삼항 관계로 이해되어야 한다고 논증한다.

In The Worlds of Possibility (1998), Charles Chihara presents an actualistic model-theoretic semantics for S5 modal quantificational logic. It is actualistic in the sense that it does not carry any ontological implications of the existence of merely possible entities. The paper aims to provide detailed analyses, interpretations, and reformulations of the notions of truth and satisfaction in Chihara’s semantics, with which we can solve several problems that can be raised against his semantics. The main points are that the truth predicate in Chihara’s system should be understood to be not monadic but dyadic and the satisfaction relation to be triadic, relativized both by the reference point where semantic machinery lies and by the evaluation point where the truth values of sentences in question are evaluated.

#actualism #modal logic #model-theoretic semantics #possible world #Chihara #현실주의 #양상논리 #모형 이론적 의미론 #가능세계 #치하라