진릿값 편집하기 (부분)

== 진릿값의 의미론 ==

=== 타르스키의 진리 정의 ===
[[알프레드 타르스키]]는 1936년 형식화된 언어에서의 진리 개념을 정의했다. 타르스키의 '''T-스키마'''는 다음과 같다:

{{인용문|'눈은 희다'는 참이다 ⟺ 눈은 희다}}

이는 '''의미론적 진리 개념'''의 기초가 되었다.

=== 크립키의 가능세계 의미론 ===
[[솔 크립키]]는 '''가능세계 의미론'''(Possible World Semantics)을 통해 양상 논리의 진릿값을 정의했다:

* □P는 모든 가능세계에서 P가 참일 때 참
* ◇P는 어떤 가능세계에서 P가 참일 때 참

'''정의 8''': 크립키 모델 <math>M = ⟨W, R, V⟩</math>
* W: 가능세계들의 집합
* R: 접근 관계 <math>(R ⊆ W × W)</math>
* V: 진릿값 할당 함수

<math>M, w ⊨ □φ ⟺ ∀w'(wRw' → M, w' ⊨ φ)</math>
<math>M, w ⊨ ◇φ ⟺ ∃w'(wRw' ∧ M, w' ⊨ φ)</math>

=== 상황 의미론 ===
'''상황 의미론'''(Situation Semantics)에서는 진릿값이 특정 상황에 상대적으로 결정된다고 본다. 존 바와이즈와 존 페리가 개발한 이 이론에서는:

* 명제의 진릿값이 상황에 따라 달라질 수 있음
* 부분 정보만으로도 진릿값 판단이 가능함