Predikát pravdy - Truth predicate
![]() | tento článek ne uvést žádný Zdroje.Prosince 2009) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) ( |
Ve formálních teoriích pravda, a predikát pravdy je základní koncept založený na věty a formální jazyk jak je interpretováno logicky. To znamená, že formalizuje koncept, který je obvykle vyjádřen tím, že věta, výrok nebo myšlenka „je pravdivá“.
Jazyky, které umožňují predikát pravdy
Na základě „Chomského definice“ se za jazyk považuje jazyk a spočetná sada vět, každá s konečnou délkou, vytvořených z počitatelné sady symbolů. Teorie syntaxe se předpokládá k zavedení symbolů a pravidel pro konstrukci dobře tvarovaný věty. Jazyk se nazývá plně interpretovaný, pokud jsou k jeho větám připojeny významy, takže všechny jsou pravdivé nebo nepravdivé.
Plně tlumočený jazyk L který nemá predikát pravdy, lze rozšířit na plně interpretovaný jazyk Ľkterý obsahuje predikát pravdy T, tj. věta A ↔ T(⌈A⌉) platí pro každou větu A z Ľ, kde T(⌈A⌉) znamená „větu (označenou) A je pravda. “Hlavními nástroji k prokázání tohoto výsledku jsou obyčejný a transfinitní indukce, rekurzivní metody a Teorie množin ZF (srov.[1] a [2]).
Viz také
Reference
![]() | Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |
![]() | Tento lingvistika článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |