Logicas da inconsistencia formal e logicas modais: uma abordagem para o estudo de paradoxos modais.

• Processo: 05/54292-6
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de agosto de 2005
• Data de Término da vigência: 31 de julho de 2006
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Marcelo Esteban Coniglio
• Beneficiário: Newton Marques Peron
• Instituição Sede: Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Assunto(s): Lógica modal Lógica paraconsistente
• Palavra(s)-Chave do Pesquisador: Logica Deontica | Logica Modal | Logica Paraconsistente | Paradoxos

Resumo

O objetivo deste projeto de Iniciação Científica é introduzir o candidato em tópicos importantes da filosofia e da lógica contemporânea, tais como os paradoxos modais e os paradoxos deônticos em particular. Analisando as diversas soluções propostas na literatura para resolver paradoxos o candidato terá oportunidade de estudar as noções básicas de diferentes lógicas denominadas não-clássicas, com particular ênfase nas Lógicas da Inconsistência Formal (LFIs). Entre os objetivos gerais do projeto pode também se destacar a elaboração de uma análise crítica sobre as possibilidades de aplicação da lógica formal contemporânea, em particular das LFIs, à resolução de paradoxos modais. A idéia principal é levantar a questão do alcance da lógica formal na possibilidade de solução do problema dos paradoxos modais (em particular, do paradoxo das obrigações em contrariedade ao dever de Chisholm), contra a visão de que se trata de um problema filosófico transparente ao tratamento lógico. Entre os objetivos particulares, pode se destacar a tentativa de oferecer uma solução ao paradoxo de Chisholm utilizando uma LFI deôntica, numa linha de trabalho similar àquela abordada na literatura para a resolução do paradoxo de Fitch da cognoscibilidade. (AU)