Racionalidade, lógica e probabilidade: RatioLog

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ísticas e 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ógica padrão para sistemas de lógicas não-clássicas. (AU)