Tempo, modalidade e sistemas formais não-clássiicos

Resumo: A pesquisa objetiva investigar as relações entre tempo e modalidade em diferentes sistemas lógicos não-clássicos, como lógicas polivalentes, temporais-modais e paraconsistentes, de modo a clarificar essas noções metafísicas. Em particular, analisaremos as contribuições de Charles S. Peirce e de A. N. Prior para os estudos lógicos e filosóficos de problemas envolvendo o determinismo e o fatalismo lógico, a saber, o problema dos futuros contingentes, conforme exposto por Aristóteles em De Interpretatione IX, e o Argumento do Dominador, de Diodorus Cronus. A pesquisa se desdobrará em três fases distintas: na primeira, avaliaremos o emprego de sistemas polivalentes no tratamento dessas questões, em específico mediante um estudo comparativo entre as lógicas trivalentes de Peirce e Łukasiewicz; na segunda parte faremos um exame detalhado dos trabalhos de Prior a respeito de lógica temporal e de suas doutrinas filosóficas, contemplando-as com teses similares defendidas por Peirce; na terceira parte avaliaremos a abordagem paraconsistente em paralelo com os demais sistemas lógicos citados anteriormente, possibilitando assim, a composição de um quadro elucidativo sobre o assunto.

Data de início: 01/01/2017
Prazo (meses): 36

Participantes:

Papel	Nome
Aluno Mestrado	HENIO SANTOS DE ALMEIDA
Coordenador	JOSÉ RENATO SALATIEL