Semantiline tõeteooria

Semantiline tõeteooria on keelefilosoofias ja  matemaatilises loogikas arusaam tõe seotusest lause tähendusega.

Semantlise tõe mõistet kasutas matemaatik Alfred Tarski 1933. aastal artiklis "Pojęcie prawdy w językach nauk dedukcyjnych" (poola keelest  -  "Tõe mõiste deduktiivteaduste keeltes").

Üldjuhul on vaja eristada keelt, mida räägitakse (objektkeel), keelest, millest räägitakse (metakeel).

Alfred Tarski tõeteooria ("Tõe mõistest formaal keeltes" 1935) püüdis ületada tähenduse vastuolusid nõudega, et objektikeel sisalduks metakeeles.

D. Davidson laiendas Tarski lähenemist  loomulike keelte tähendusteooriatele (vt tõetingimus).

Epistemoloogia