Desvendando Enigmas e Ressignificando Paradoxos: uma investigação em lógicas não-clássicas

• Processo: 24/00807-6
• Modalidade de apoio: Bolsas no Brasil - Doutorado
• Data de Início da vigência: 01 de julho de 2024
• Data de Término da vigência: 31 de março de 2028
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Walter Alexandre Carnielli
• Beneficiário: Rafael dos Santos Ongaratto
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Bolsa(s) vinculada(s): 25/01892-0 - Lógica Epistêmica Dinâmica Paraconsistente: enigmas sobre conhecimento inconsistente e informação, BE.EP.DR
• Assunto(s): Lógicas não clássicas
• Palavra(s)-Chave do Pesquisador: Lógicas não-clássicas | paradoxos lógicos | Puzzles lógicos | Lógicas não-Clássicas

Resumo

Puzzles e paradoxos lógicos são problemas que nos inclinam a raciocinar rigorosamente, sendo sua solução, muitas vezes, fruto do esclarecimento do pensamento sobre suas inferências possíveis. Tradicionalmente, eles são pensados tendo como base a lógica clássica, seguindo a trilha de nosso raciocínio natural. No entanto, o desenvolvimento de lógicas não-clássicas permitiu a adaptação do pensamento a diferentes sistemas de raciocínio, cobrindo diferentes contextos.Puzzles e paradoxos, nessa medida, são maneiras de forçar nosso pensamento a adotar diferentesperspectivas lógicas. Neste trabalho, pretendo construir enigmas lógicos em lógicas paraconsistentes, paracompletas, polivalentes e não-determinísticas, e explorar paradoxos clássicos emcontextos não-clássicos. A viabilidade dessas ideia, dessa maneira, está condicionada ao sucessoda construção de tais enigmas e paradoxos