Defesa de Doutorado de Henrique Antunes Almeida

Nesta tese, proponho uma interpretação de teorias matemáticas e científicas contraditórias segundo a qual (i) embora algumas dessas teorias possam ser tomadas como sendo literalmente verdadeiras, (ii) nós não devemos nos comprometer com a existência de objetos contraditórios. De acordo com essa interpretação, portanto, é possível subscrever a uma versão semântica do dialetheísmo - sustentanto, assim, que algumas contradições podem ser verdadeiras - sem, ao mesmo tempo, violar uma versão ontológica da Lei de Não- Contradição, que estabelece que nenhum objeto existente pode ter propriedades contraditórias. Também proponho um aparato lógico para regimentar teorias contraditórias, quando interpretadas de acordo com (i) e (ii).