Raciocínio diagramático: contribuições para uma lógica das modalidades

• Processo: 12/09190-4
• Modalidade de apoio: Bolsas no Brasil - Pós-Doutorado
• Data de Início da vigência: 01 de agosto de 2012
• Data de Término da vigência: 31 de julho de 2015
• Área de conhecimento: Ciências Humanas - Filosofia
• Pesquisador responsável: Lauro Frederico Barbosa da Silveira
• Beneficiário: Jorge Luiz Vargas Prudêncio de Barros Pires
• Instituição Sede: Faculdade de Filosofia e Ciências (FFC). Universidade Estadual Paulista (UNESP). Campus de Marília. Marília , SP, Brasil
• Assunto(s): Lógica modal Charles Sanders Peirce Pragmatismo
• Palavra(s)-Chave do Pesquisador: Charles S | Grafos Existenciais | Lógica Modal | Peirce | Pragmatismo | Pragmatismo - Grafos Existenciais

Resumo

O presente projeto visa realizar um estudo a respeito do raciocínio diagramático proposto por Charles S. Peirce e suas contribuições para uma lógica das modalidades que possa atuar de modo efetivo para a representação fenomenológica da realidade complexa. Os recursos fundamentais para a construção de um sistema formal com tais características encontram-se disponíveis em sua teoria dos Grafos Existenciais, que é dividida em Alfa (Lógica das Proposições), Beta (Lógica dos Predicados) e Gama (Lógica Modal). Para que o objetivo deste projeto seja alcançado, alguns desafios deverão ser superados, tais como: comparar as Teorias Topológicas de Peirce às Teorias Topológicas contemporâneas; especificar a parte Gama dos Grafos para o estudo das Modalidades, inclusive em seu aspecto temporal; estudar a computabilidade da parte Gama; analisar a complexidade algorítmica dos Grafos para a resolução ótima das relações lógico-topológicas das Modalidades; desenvolver um software que permita a manipulação detalhada dos Grafos em todas as suas partes; e reproduzir e interiorizar nos Grafos aquilo que Peirce e outros lógicos e estudiosos já elaboraram de modo formal, bem como aplicá-los na análise de relações de sistemas reais, a fim de avaliar sua capacidade representativa e operacional. Colaborar para o desenvolvimento desse sistema lógico-matemático é tarefa urgente, dadas as qualidades formais e potencialidades que apresenta. Deduzir diagramas mais afinados com a realidade permitirá avaliar mais adequadamente sua relevância fenomenológica. Caso tal relevância venha a ser confirmada, ter-se-á um instrumento de imenso valor para a representação e diagnóstico do estado do meio ambiente em sua potencialidade evolutiva.