초록 ▼

AI-Helper

논리학의 목표 중 하나는 논리적 진리라는 특별한 종류의 진리를 특징규정하는 것이다. 논리적 진리를 다른 종류의 진리들과 구분시켜주는 논리적 진리의 중요한 특징 중 하나는 그것의 양상적 특성이다. 논리적 진리에 대한 우리의 직관적인 이해의 중심에 이런 양상적 특성이 있다는 것은 비교적 분명하다. 그러나 형식화된 양상논리의 구문론적이며 의미론적인 많은 발전에도 불구하고 우리는 아직도 양상개념에 대한 분명한 이해를 가지고 있지 못한 것처럼 보인다. 심지어 논리적 양상에서조차 우리가 논리적 진리를 무엇이라고 이해하는지에 따라서 양상의 중...

논리학의 목표 중 하나는 논리적 진리라는 특별한 종류의 진리를 특징규정하는 것이다. 논리적 진리를 다른 종류의 진리들과 구분시켜주는 논리적 진리의 중요한 특징 중 하나는 그것의 양상적 특성이다. 논리적 진리에 대한 우리의 직관적인 이해의 중심에 이런 양상적 특성이 있다는 것은 비교적 분명하다. 그러나 형식화된 양상논리의 구문론적이며 의미론적인 많은 발전에도 불구하고 우리는 아직도 양상개념에 대한 분명한 이해를 가지고 있지 못한 것처럼 보인다. 심지어 논리적 양상에서조차 우리가 논리적 진리를 무엇이라고 이해하는지에 따라서 양상의 중첩이나 변항의 해석에 대한 서로 다른 이해들을 만나게 된다. 현재 많은 양상 논리 교과서에서 크립키식 의미론을 주로 다루고 있다는 사실은 크립키 의미론이 논리적 양상을 위해 옳다는 방증이 될 수는 없다. 현재 비표준적 양상논리라고 불리는, 크립키식 양상논리와는 다른 양상논리들 역시 논리적 양상에 관해 우리가 가지고 있는 한 직관을 반영한다. 논리적 진리가 무엇인지 그리고 형식화된 논리와 자연언어와의 관계가 어떠한지에 대해서 분명한 동의가 있지 않는 이상, 논리적 양상 및 그것을 포착하는 올바른 논리가 무엇인지에 대한 질문 역시 섣불리 답하기 어려울 것이다.

주제어