[논문 리뷰] Logics of Strong Noncontingency

Jie Fan|arXiv (Cornell University)|2015. 05. 15.

Logic, Reasoning, and Knowledge참고 문헌 17인용 수 5

한 줄 요약

이 논문은 강한 비조건부성 연산자 □를 기반으로 하는 새로운 모달 논리 체계를 제안한다. 이 연산자는 어떤 문장이 실제 진리값이 무엇이든 간에 반드시 참이라는 것을 나타낸다. 이 논리는 비정상 모달 논리로서, 새로운 이분산 관계와 프레임 정의 가능성에 의해 특징지어지며, 다양한 프레임 클래스에서 완전한 공리체계를 갖추고 있다. 결과적으로 이 논리는 표준 모달 논리와 비조건부성 논리 사이에서 표현력이 중간임을 보여준다.

ABSTRACT

Inspired by Hintikka's treatment of question embedding verbs in [8] and the variations of noncontingency operator, we propose a logic with strong noncontingency operator $\blacktriangle$ as the only primitive modality. A proposition is strongly noncontingent, if no matter whether it is true or false, it does it necessarily; otherwise, it is weakly contingent. This logic is not a normal modal logic, since $\blacktriangle(ϕ oψ) o(\blacktriangleϕ o\blacktriangleψ)$ is invalid. We compare the relative expressivity of this logic and other logics, such as standard modal logic, noncontingency logic, and logic of essence and accident, and investigate its frame definability. Apart from these results, we also propose a suitable notion of bisimulation for the logic of strong noncontingency, based on which we characterize this logic within modal logic and within first-order logic. We also axiomatize the logic of strong noncontingency over various frame classes. Our work is also related to the treatment of agreement operator in [10].

연구 동기 및 목표

• 힌티카의 질문 포함 동사 분석을 형식화하기 위해 강한 비조건부성에 대한 새로운 모달 연산자를 도입한다.
• 강한 비조건부성 논리를 비정상 모달 논리로서 정의하고, 표준 논리와 비조건부성 논리와 구별하여 연구한다.
• 이 논리의 표현력을 특징짓기 위해 적절한 이분산 관계와 이분산 수축 개념을 개발한다.
• 최소 체계와 확장된 체계를 포함한 다양한 프레임 클래스에서 이 논리의 완전한 공리체계를 제공한다.
• 새로운 논리의 표현력이 비조건부성 논리, 본질 논리, 모달 논리와 비교하여 어떻게 되는지 분석한다.

제안 방법

• 강한 비조건부성 연산자 □φ를 제안하며, 이는 '만약 φ가 참이면 φ는 반드시 참이며, 만약 φ가 거짓이면 φ는 반드시 거짓'임을 의미한다.
• 이 연산자가 진리값에 관계없이 전역적 필연성을 반영하는 프레임을 사용하여 카프리크 스타일의 의미론을 정의한다.
• □-논리에 적합한 새로운 이분산 관계를 도입하여, 강한 비조건부성 하에서 공식의 진리가 유지됨을 보장한다.
• 이 논리가 표준 모달 논리와 일阶 논리에서 이분산에 대해 불변인 조각임을 증명한다.
• 힐베르트 스타일의 공리체계를 개발하며, 이전 체계보다 더 단순한 최소 체계를 제공한다.
• 프레임 정의 가능성 기법을 사용하여 특정 공리(예: 유클리드 프레임에 대해 □5′)를 만족하는 프레임의 클래스를 특징지었다.

실험 결과

연구 질문

• RQ1 강한 비조건부성 논리는 표현력 측면에서 표준 모달 논리와 비조건부성 논리와 어떻게 다를까?
• RQ2 강한 비조건부성 논리의 표현력 불변성 특성을 기반으로 적절한 이분산 관계를 정의할 수 있는가?
• RQ3 다양한 프레임 클래스에서 강한 비조건부성 논리의 공리들을 만족시키는 프레임 조건은 무엇인가?
• RQ4 강한 비조건부성 논리는 비조건부성 논리나 본질 논리보다 표현력이 더 강한가?
• RQ5 강한 비조건부성 논리의 표현력은 본질과 사소성의 논리와 비교하여 어떻게 되는가?

주요 결과

• 강한 비조건부성 논리는 표준 모달 논리와 비조건부성 논리 사이에서 표현력이 중간이며, 후자보다는 더 표현력이 강하고 전자보다는 덜 표현력이 강하다.
• 논리는 비정상적이다. 공식 □(φ→ψ)→(□φ→□ψ)는 무효하므로 표준 모달 논리와 구별된다.
• 이 논리에 적합한 새로운 이분산 관계를 정의하였으며, 이 논리가 정확히 이분산에 대해 불변인 표준 모달 논리의 조각임을 보였다.
• 논리는 일阶 논리에서 이분산에 대해 불변인 조각으로 특징지어지며, 이분산 불변성에 의해 일阶 논리에서 정의 가능함을 확인하였다.
• 최소 체계를 포함한 다양한 프레임 클래스에서 논리의 공리체계를 제공하였으며, 이는 이전 연구보다 더 단순한 최소 체계를 포함한다.
• 본질과 사소성의 논리는 강한 비조건부성 논리만큼 표현력이 강하거나 더 강할 수 있으나, 그 반대는 알려져 있지 않다. 저자는 본질과 사소성 논리가 더 표현력이 강하다고 추측한다.