PHILOSOPHY AND NON-CLASSICAL LOGIC SYSTEMS
Summary: 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.
Starting date: 2024-03-04
Deadline (months): 24
Participants:
Role |
Name |
|---|---|
| Student Master * | Conrado Vasconcelos Gonçalves |
