Orzeczenie prawdy - Truth predicate
W formalnych teorii prawdy , o predykat prawdy jest podstawowym pojęciem na podstawie zdań o języku formalnym jak interpretować logicznie. Oznacza to, że formalizuje pojęcie, które zwykle wyrażane jest przez stwierdzenie, że zdanie, stwierdzenie lub idea „są prawdziwe”.
Języki, które pozwalają na orzeczenie prawdy
W oparciu o „Definicję Chomsky'ego” zakłada się, że język jest policzalnym zbiorem zdań, z których każde ma skończoną długość i jest skonstruowane z policzalnego zbioru symboli. Zakłada się, że teoria składni wprowadza symbole, a zasady konstruowania dobrze sformułowanych zdań. Język jest nazywany w pełni zinterpretowanym, jeśli do jego zdań przypisane są znaczenia, tak że wszystkie są prawdziwe lub fałszywe.
W pełni zinterpretowany język L, który nie ma predykatu prawdziwościowego, można rozszerzyć do w pełni zinterpretowanego języka Ľ zawierającego predykat prawdziwościowy T , tzn. zdanie A ↔ T (⌈ A ⌉) jest prawdziwe dla każdego zdania A z Ľ , gdzie T (⌈ A ⌉) oznacza „zdanie (oznaczone przez) A jest prawdziwe”. Głównymi narzędziami do udowodnienia tego wyniku są indukcja zwyczajna i nieskończona , metody rekurencji i teoria zbiorów ZF (por. i ).
Zobacz też
Bibliografia