Alfred Tarski ficou conhecido por sua teoria semântica da verdade. Este volume reúne vários dos textos centrais em que Tarski expõe a teoria, suas conseqüências e possíveis aplicações. Alguns desses artigos são mais técnicos e requerem conhecimentos de lógica; em outros, mais acessíveis, os aspectos filosóficos da teoria são mais explorados. Além dos textos retirados de 'Logic, semantics, metamathematics' - coletânea de textos do autor, este livro reúne 'A concepção semântica da verdade e os fundamentos da semântica', publicado em 'Philosophy and phenomenological research', bem como 'Verdade e demonstração', artigo de divulgação publicado em 'Scientific American'.