Explicaremos o que é uma teoria semântica e discutiremos o interesse e as motivações de tratar a verdade como uma noção puramente semântica, definida apenas em termos de coisas próprias da linguagem. Tal abordagem colocará o problema de definir satisfatoriamente a expressão “sentença verdadeira” em moldes bem distintos daqueles em que o problema é comumente tratado na filosofia, onde normalmente as respostas a essa questão estão comprometidas com concepções da realidade. Mostraremos como uma solução é possível com a teoria semântica de Alfred Tarski, expondo-a em linhas bem gerais, e não técnicas, além de algumas de suas consequências e possíveis aplicações.
