sémantická definice pravdy
sémantická definice pravdy [-ty- -ny-], 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ř. 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.