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-