진리 술어

이 글은 검증을 위해 인용구가 추가로 필요하다. 신뢰할 수 있는 출처에 인용문을 추가하여 이 기사를 개선할 수 있도록 도와주십시오. 공급되지 않은 재료는 도전하여 제거할 수 있다. 출처 찾기: "진실 술어" – 뉴스 · 신문 · 책 · 학자 · JSTOR (2021년 1월) (이 템플릿 메시지를 제거하는 방법과 시기 학습)

진리의 형식 이론에서 진리 술어는 논리적으로 해석되는 형식 언어의 문장에 기초한 기본 개념이다.즉, 문장이나 진술, 관념이 "진실"이라고 하여 통상적으로 표현되는 개념을 공식화한다.

진리 술어를 허용하는 언어

" 촘스키 정의"에 근거하여, 언어는 각각 유한한 길이로 계산 가능한 문장의 집합으로 가정되며, 계산 가능한 기호 집합으로 구성된다.구문론은 기호를 도입하는 것으로 가정되며, 문장이 잘 형성되는 규칙을 도입하는 것으로 가정한다.언어는 의미가 문장에 붙어 있어서 모두 참이거나 거짓이면 충분히 해석된다고 한다.

진리 술어가 없는 완전히 해석된 언어 L은 진리 술어 T를 포함하는 완전히 해석된 언어 ľ까지 확장될 수 있다. 즉, sentence의 모든 문장 A에 대해 A파운드 T(aA sentence)라는 문장은 참이며, 여기서 T(⌈A⌉)는 "A가 가리키는 문장은 참"을 의미한다.이 결과를 증명하는 주요 도구는 일반 및 트랜스파이널 유도, 재귀 방법, ZF 세트 이론(cf.^[1] 및 ^[2])이다.

참고 항목

• 다원론적 진리론

참조