sémantická definice pravdy



Jazykověda
Definice zavedená A. Tarskim pro formalizované jazyky: „p' je pravdivé právě tehdy, jestliže p“, přičemž p' označuje některý výrok, kdežto p odpovídající skutečnost. Například tvrzení „prší“ je pravdivé právě tehdy, jestliže prší. Věci obsahující predikát „pravdivý“ nespadají do objektového jazyka, ale patří do metajazyka.

Vytvořeno: 14. 3. 2000
Aktualizováno: 2. 10. 2007
Autor: -red-