Neste vídeo apresentamos as perguntas fundamentais a serem respondidas por uma teoria da verdade, quais os paradmas que consideraremos, qual a estrutura da série e indicamos a bibliografia básica.
Neste vídeo apresentamos algumas considerações sobre a noção de equivalência extensional e, com isso, elucidamos alguns aspectos do pano de fundo no qual se desenvolvem diversas teorias da verdade.
Neste vídeo apresentamos algumas considerações sobre a noção de equivalência intensional e destacamos o quão "forte" é quando comparada a necessidade e à equivalência extensional. Para isso, motivamos e discutimos a noção de mundo possível.
Neste vídeo justificamos o porquê de considerarmos três equivalências - necessária, intenSional e extensional - em nosso paradigma de desenvolvimento de teorias da verdade. Consideramos, também, estratégias para endossar, refutar ou descartar uma ou mais dessas equivalências.
Neste vídeo discutimos quais são os portadores primários de valor de verdade, isto é, tecemos considerações sobre do que falamos quando dizemos que "algo é verdadeiro". Esse algo é uma proposição, uma crença, uma ideia ou o quê? Ao tentarmos responder a essa pergunta, nos deparamos com dificuldades de natureza terminológica e com a completa ausência de consenso acerca do que é uma proposição, uma ideia, uma crença e demais termos de uso corrente em discussões sobre teorias da verdade. Isso nos motiva a abandonar qualquer tentativa de fixar os portadores de verdade e a adotar um pluralismo utilitário e pragmático. Sob essa ótica, a escolha do portador de verdade depende estritamente da utilidade prática e da adequação às técnicas exigidas por cada teoria da verdade específica. Encerramos o vídeo comentando de modo breve quais são os portadores do valor de verdade para Bertrand Russell, John Austin e Alfred Tarski.