Resumo
O presente projeto de pesquisa consiste em três grandes esferas inter-relacionadas, denominadas `tarefas'. Essas três tarefas apoiarão as principais questões a serem trabalhadas, relacionadas às noções de consistência, contradição e evidência, que, juntamente com suas interpretações probabilísticas, pretendem levar a uma posição mais sólida sobre a filosofia geral da paraconsistência, seu entendimento, seu impacto e sua importância na filosofia da ciência e na filosofia da matemática.A Tarefa I: Evidência Probabilidade e Lógica pretende investigar semânticas probabilísticase possibilísticas, enfatizando alguns novos sistemas lógicos especialmente concebidos;A Tarefa II: Métodos Não-Determinísticos: Estruturas Hiperalgébricas, Modalidades e Extensões de Probabilidades visa desenvolver e aplicar resultados obtidos em uma teoria de multialgebras a sistemas lógicos específicos e à teoria de probabilidades;A Tarefa III: Contradições, Evidência e Verdade: Rumo a uma Filosofia Global da Paraconsistência busca investigar aspectos técnicos e filosóficos de uma abordagem epistêmica da paraconsistência.As três tarefas apoiarão os objetivos gerais do presente projeto que são o estudo dos vários aspectos da racionalidade formal, lógica e probabilidade com ênfase especial para novos métodos de álgebra, semântica e teoria da probabilidade, envolvendo expansões da lógicapadrão para sistemas de lógicas não-clássicas. (AU)
| Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |