Semantiline tõeteooria
 | Artikkel vajab vormindamist vastavalt Vikipeedia vormistusreeglitele. |
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).