Summary: 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.

Starting date: 2017-01-01
Deadline (months): 36

Participants:

Role	Name
Coordinator *	José Renato Salatiel
Student Master *	Henio Santos de Almeida