티 스키마

T-schema

T-schema("진실 스키마")는 알프레드 타르스키의 진리의 의미론 실현의 핵심인 진리의 귀납적 정의를 제공하기 위해 사용된다. 일부 저자들은 그것을 마이클 더밋이 도입한 동의어인 "평등한 스키마"라고 부른다.[1]

T-schema는 자연어로 표현되는 경우가 많지만, 여러 가지 종류의 술어 논리 또는 모달 논리로 공식화할 수 있다. 이러한 공식화를 "T-이론"이라고 한다.[citation needed] T-이론들은 철학적 논리에 있어서 매우 근본적인 연구의 기초를 형성하고, 분석철학에서 몇 가지 중요한 논쟁에 적용되고 있다.

반자연어(여기서 'S'는 S로 축약된 문장의 이름이다): 'S'는 S의 경우에 한해서만 참이다.

예: '눈은 하얀색'은 눈이 하얀 경우에만 해당된다.

귀납적 정의

스키마를 사용함으로써 복합 문장의 진실에 대한 귀납적 정의를 내릴 수 있다. 원자 문장은 불합리하게 진리값을 할당받는다. 예를 들어, '눈은 흰색이다'라는 문장은 '눈은 흰색이다'라는 문장과 물질적으로 동등하게 된다. 즉, '눈은 흰색이다'라는 문장은 눈이 흰색일 경우에만 진실이다. 보다 복잡한 문장의 진실은 문장의 구성요소에 따라 정의된다.

  • "A와 B" 형식의 문장은 A가 참이고 B가 참일 경우에만 참이다.
  • "A 또는 B" 형식의 문장은 A가 참이거나 B가 참인 경우에만 참이다.
  • "A가 거짓이거나 B가 참인 경우에만 "A가 그 다음 B" 형식의 문장이 참이다. 중요한 의미를 참조하라.
  • A가 거짓인 경우에만 "A가 아니다"라는 형식의 문장이 참이다.
  • "모든 x에 대해, A(x)" 형식의 문장은 x의 모든 가능한 값에 대해 A(x)가 참인 경우에만 참이다.
  • "일부 x(x)의 경우, A(x) 형식의 문장은 x(x)의 일부 가능한 값이 참인 경우에만 참이다.

자연어

조셉 히스는 "타르스키 스키마 T가 제공하는 진리 술어의 분석은 자연어로 된 진리 술어의 모든 발생을 처리할 수 있는 능력이 없다"고 지적했다[2]. 특히 Schema T는 완전한 문장에 적용할 때 술어의 "자유롭게" 사용을 다루기만 한다. 그는 "확실한 문제"로 다음과 같이 판결한다.

  • 빌이 믿는 모든 것은 사실이다.

히스는 T-schema를 사용하여 이 문장을 분석하는 것은 논리적인 쌍동설의 8번째 측면에 "빌이 믿는 모든 것"이라는 문장 파편을 생성한다고 주장한다.

참고 항목

참조

  1. ^ Wolfgang Künne (2003). Conceptions of truth. Clarendon Press. p. 18. ISBN 978-0-19-928019-3.
  2. ^ Joseph Heath (2001). Communicative action and rational choice. MIT Press. p. 186. ISBN 978-0-262-08291-4.

외부 링크


Stub icon

이 철학 관련 기사는 단조롭다. 위키피디아를 확장하여 도울 수 있다.

Stub icon

이 논리와 관련된 글은 단조롭다. 위키피디아를 확장하여 도울 수 있다.