Orientador: Itala Maria Loffredo D'Ottaviano

Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas

Resumo: Esta dissertação tem como objetivo a análise de um resultado em lógica aléticoepistêmica, divulgado por Frederic Fitch em 1963, conhecido como Paradoxo da Cognoscibilidade. Segundo este resultado, se todas verdades podem ser conhecidas, então todas verdades são conhecidas. Isto sugere que há...

Resumo: Esta dissertação tem como objetivo a análise de um resultado em lógica aléticoepistêmica, divulgado por Frederic Fitch em 1963, conhecido como Paradoxo da Cognoscibilidade. Segundo este resultado, se todas verdades podem ser conhecidas, então todas verdades são conhecidas. Isto sugere que há alguma verdade impossível de ser conhecida. Descrevemos, nesta dissertação, a lógica modal alética e a epistêmica, que consistem em recursos formais requeridos para a análise do Paradoxo. Também esclarecemos o papel deste no debate filosófico entre as correntes de pensamento realistas e antirealistas. Apontamos e analisamos duas propostas de solução do Paradoxo mais discutidas na literatura. Como principal ojetivo desta dissertação, investigamos o Paradoxo da Cognoscibilidade em sistemas multiagentes. Demonstramos que, apesar de em tais sistemas o Paradoxo ser minimizado, ele ainda não é completamente resolvido. Por fim, também apresentamos várias formas de obter a contraparte doxástica do Resultado, conhecida como Paradoxo da Credibilidade

Abstract: This text studies a result in epistemic-alethic logic, published by Frederic Fitch in 1963, known as Knowability Paradox. According to this result, if all truths are knowable, then all truths are known. This suggests there are unknowable truths. We describe alethic and epistemic modal...

Abstract: This text studies a result in epistemic-alethic logic, published by Frederic Fitch in 1963, known as Knowability Paradox. According to this result, if all truths are knowable, then all truths are known. This suggests there are unknowable truths. We describe alethic and epistemic modal logics, which are formal resources required in order to study the paradox. Also, we examine its role in the philosophical debate between realists and anti-realists. We point out and analize two attempts to solve the Paradox. The main aim of this text is to explore the Knowability Paradox in multi-agents systems. We shoe that, although in these systems the Paradox is weaker, it's not entirely solved. We also show many ways to derive the doxastic counterpart of the result, known as Belivability Paradox