FILOSOFIA E SISTEMAS LÓGICOS NÃO-CLÁSSICOS
Resumo: O objetivo geral deste projeto é estudar aspectos filosóficos e formais de sistemas lógicos não-clássicos, como lógicas modais, multivaloradas, paraconsistentes e de relevância. A lógica matemática clássica surgiu na virada do século 20, em um esforço conjunto de matemáticos e filósofos como Peirce, Frege e Russell, e tornou-se um recurso indispensável para o estudo em diversas áreas da filosofia, sobretudo na tradição analítica. Porém, questões formais referentes a esse sistema clássico, assim como problemas filosóficos, levaram à ampliação dessas linguagens formais ou à correção de seus princípios, dando origem a diversos sistemas lógicos chamados não-clássicos. Dentre eles, destacam-se as diferentes lógicas modais (epistêmicas, deônticas, temporais), lógicas intuicionistas, multivaloradas, paraconsistentes e lógicas de relevância, entre outros. Essas lógicas tornaram-se importantes em diferentes áreas da Filosofia, como metafísica, epistemologia, ética, filosofia da linguagem e filosofia da ciência, seja na resolução mais eficiente de problemas ou na proposição de novas problematizações em âmbito filosófico. O problema dessa pesquisa consiste em (i) como fazer aplicações de lógicas não-clássicas na análise e solução de problemas da Filosofia, e (ii) como compreender as lógicas não-clássicas tanto de um ponto de vista formal quanto filosófico. Ela se justifica pela precisão e rigor que a lógica matemática confere à filosofia acadêmica, contribuindo, assim, na formação de pesquisadores e na produção científica de qualidade.
Data de início: 2024-03-04
Prazo (meses): 24
Participantes:
Papel |
Nome |
|---|---|
| Aluno Doutorado | Vinícius Francisco Apolinário |
| Aluno Doutorado | Ian Salles Botti |
| Aluno Doutorado | Jefferson Oliveira Andrade |
| Aluno Doutorado | Henio Santos de Almeida |
| Aluno Mestrado | Conrado Vasconcelos Gonçalves |
