진리의 의미론

Semantic theory of truth
"컨벤션 T"는 여기서 리디렉션된다. T-schema와 혼동하지 않도록.

진리의 의미론이란 진리는 문장의 속성이라고 하는 언어철학의 진리론이다.[1]

기원

대응적 개념과 디플레이션적 개념 모두에 다른 방식으로 관련되는 진리의 의미적 개념은 폴란드 논리학자 알프레드 타르스키의 작품 때문이다. 타르스키는 '공식어 진리의 개념에 대하여'(1935년)에서 거짓말쟁이의 역설을 해결하기 위해 새로운 진리의 이론을 정립하려 했다. 이 과정에서 그는 몇 가지 변태적인 발견을 하였는데, 가장 두드러지게는 타르스키가 불완전성 이론에서 사용한 것과 같은 형식적 기법을 사용한 정의 불가능한 정리를 했다. 대략, 이것은 주어진 언어의 문장에 대한 진실-명확한 규약 T를 만족시키는 것은 그 언어 내에서 정의될 수 없다고 말한다.

타르스키의 진리론

거짓말쟁이 역설과 같은 의미론적 역설이 없는 언어이론을[2] 공식화하려면 일반적으로 말하는 언어(목적어)와 말하는 언어(금속어)를 구분하는 것이 필요하다. 다음에서 인용된 텍스트는 목적어를 사용하는 반면 인용되지 않은 텍스트는 금속구를 사용하는 것이다. 인용된 문장(예: "P")은 단순히 목적 언어에서 제공된 문장 P가 되도록 문장에 대한 금속 언어의 이름이다. 이러한 방식으로 금속언어는 목적어 언어에 대해 말하는 데 사용될 수 있다. 타르스키의 진리론(Alfred Tarski 1935)은 대상 언어가 금속구에 포함되도록 요구했다.

Tarski의 물질적 적정성 조건(Convention T라고도 함)은 모든 문장 "P"에 대해 다음과 같은 형태의 문장("형식 (T"로 알려져 있음)을 수반해야 한다고 주장한다.

(1) "P"는 P일 경우에만 참이다.

예를 들어,

(2) '눈은 하얀색'은 눈이 하얀 경우에만 진실이다.

이 문장들 (1과 2 등)은 "T-Sents"라고 불리게 되었다. 그들이 사소해 보이는 이유는 목적어와 금속언어가 둘 다 영어이기 때문이다. 여기 목적어가 독일어이고 금속언어가 영어인 예가 있다.

(3) 'Schnee ist weiß'은 눈이 흰 경우에만 참이다.

타르스키가 원래 그것을 공식화한 것처럼 이 이론은 형식적인 언어에만 적용된다는 점에 유의해야 한다. 그는 자신의 이론을 자연언어로 확장하지 않는 여러 가지 이유를 제시했는데, 여기에는 주어진 자연언어의 문장이 잘 형성되어 있는지 여부를 결정하는 체계적 방법이 없고 자연언어가 폐쇄되어 있다는 문제(즉, 자연언어는 그 자체 원소의 의미적 특성을 설명할 수 있다는 문제)가 포함된다. 그러나 타르스키의 접근방식은 데이빗슨에 의해 자연언어에 대한 의미이론에 대한 접근방식으로 확장되었는데, 여기에는 "진리"를 정의된 개념이 아닌 원시적인 개념으로 취급하는 것이 포함된다. (진리 조건 의미론 참조)

타르스키는 다음과 같이 진리에 대한 귀납적 정의를 내리도록 이론을 발전시켰다. (T-schema 참조)

¬("없음"), ∧("and"), ∨("or"), ∀("또는"), ∀("모두") 및 ∃("존재")을 포함하는 언어 L에 대해 타르스키의 진리에 대한 귀납적 정의는 다음과 같이 보인다.

  • (1) 원시적 진술 "A"는 A일 경우에만 참이다.
  • (2) "A"는 "A"가 사실이 아닌 경우에만 참이다.
  • (3) "A∧B"는 "A"가 참이고 "B"가 참일 경우에만 참이다.
  • (4) "A"가 참이거나 "B"가 참이거나 ("A"가 참이고 "B"가 참인 경우에만 "A"가 참이다.)
  • (5) "fx(fx)"는 모든 객체에 대해 true인 경우에만 true이고, "Fx"는 true이다.
  • (6) "Fx(Fx)"는 "Fx"가 참인 객체 x가 있는 경우에만 참이다.

이들은 복잡한 문장(연결사와 정량자로 구축된)의 진실 조건이 어떻게 구성원의 진실 상태로 축소될 수 있는지를 설명한다. 가장 간단한 구성 요소는 원자 문장이다. 진리의 현대적 의미적 정의는 다음과 같이 원자 문장에 대한 진리를 정의할 것이다.

  • 변수의 해당 값이 F라는 술어로 표현된 관계를 갖는 경우, 원자 문장 F(x1, ..., x)는 참이다(x1, ..., xnn 변수에 대한 값의 할당과 관련).

타르스키 자신은 위의 "표현자"와 같이 의미론으로부터 어떠한 기술적 용어도 사용하지 않는 변형된 방식으로 원자 문장에 대한 진리를 정의했다. 이러한 의미적 용어를 진리의 맥락에서 정의하고 싶었기 때문이다. 따라서 그 중 하나를 진리의 정의 자체에 사용하는 것은 순환적일 것이다. 타르스키의 진리에 대한 의미론적 개념은 현대 논리와 현대 언어 철학에서도 중요한 역할을 한다. 타르스키의 의미론을 대응 이론으로 계산해야 할지 아니면 디플레이션 이론으로 계산해야 할지 다소 논란의 여지가 있는 대목이다.[3]

크립케의 진리론

참고 항목: 진실 § 크립크의 의미론

크립케의 진리론(Saul Kripke 1975년)은 강력한 클레네 평가 체계와 함께 부분 논리(Tarski의 완전히 정의된 진리 술어 논리 대신 부분적으로 정의된 진리 술어의 논리)에 바탕을 두고 있다.[4]

참고 항목

참조

  1. ^ Hale, Bob; Wright, Crispin, eds. (1999). "Theories of Truth". A Companion to the Philosophy of Language. pp. 309–330. doi:10.1111/b.9780631213260.1999.00015.x. ISBN 9780631213260., 326 페이지
  2. ^ 일부 구간은 1992년 커크햄에서 개조한 것이다.
  3. ^ 켐프, 게리. Quine 대 Davidson: 진실, 참고, 그리고 의미. 영국 옥스퍼드: 옥스퍼드 대학 출판부, 2012 페이지 110.
  4. ^ 자명적 진실 이론(스탠포드 철학 백과사전)

추가 읽기

외부 링크