O Realizmo Modal de David K. Lewis e suas Implicações Epistêmicas

Uma das dificuldade encontradsa na lógica modal diz respeito à semântica. Geralmente, não é possível calcular o valor de necessário alfa a partir de alfa, ou seja, se alfa é falsa parece claro que necessário alfa também o é, uma vez que necessário alfa significa que alfa é necessariamente verdadeira. Se pelo contrário, alfa é verdadeira, como saber se é contingente e necessária? O mesmo sedá com possível alfa. Se alfa é verdadeira, possível alfa é verdadeira. Mas qual será o valor de possível alfa se alfa é falsa? Mesmo falsa, alfa poderia ser possível. Posta esta dificuldade, foi criada por Saul Kripke a semântica dos mundos possíveis. Enquanto na lógica proposicional clássica uma interpretação consiste na atribuição de valores {V,F} às letras sentenciais e, por extensão, uma atribuição de valores a todas as fórmulas, em lógica modal uma interpretação consiste em um conjunto de mundos possíveis com uma atribuição de valores às fórmulas em cada um deles. Chamamos esta interpretação de modelo de mundos possíveis ou modelo de lógicas modais acarreta muitas objeções entre as quais uma epistemológica. Podemos afirmar nosso conhecimento sobre questões modais, uma vez que tal teoria afirma que não há relações espaço-temporais e causais entre os mundos? É possível conhecer algo que não está acessível à inspeção direta? Lewis faz sua defesa utilizando-se de argumentos a favor e contra-argumentam de muitas formas. O objetivo geral do trabalho, além de expor da maneira mais clara possível a discussão em torno do tema, é mostrar que, mesmo que uma defesa cabal do realismo modal seja muito complicada, pelo menos no caso das objeções epistemológica formuladas por Tom Richards, Willian Lycan e Brian Skyrms, Lewis se sai bem na defesa apresentada por Lewis a seus críticos não o satisfez e a resposta à objeção de Chihara deixou de ser dada por Lewis.