| Processo: | 20/16353-3 |
| Modalidade de apoio: | Auxílio à Pesquisa - Temático |
| Data de Início da vigência: | 01 de fevereiro de 2023 |
| Data de Término da vigência: | 31 de janeiro de 2028 |
| Área do conhecimento: | Ciências Humanas - Filosofia - Lógica |
| Pesquisador responsável: | Marcelo Esteban Coniglio |
| Beneficiário: | Marcelo Esteban Coniglio |
| Instituição Sede: | Centro de Lógica, Epistemologia e História da Ciência (CLE). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil |
| Pesquisadores principais: ( Atuais ) | Walter Alexandre Carnielli |
| Pesquisadores principais: ( Anteriores ) | Marcelo Esteban Coniglio |
| Pesquisadores associados: | Abilio Azambuja Rodrigues Filho ; Carlile Campos Lavor ; Fábio Maia Bertato ; Francesc Esteva ; Henrique Antunes Almeida ; Juan Carlos Agudelo Agudelo ; Juliana Bueno ; Julio Michael Stern ; Lluis Godo ; Mariana Matulovic da Silva Rodrigueiro ; Newton Marques Peron ; Rodolfo Cristian Ertola Biraben ; Tommaso Flaminio |
| Bolsa(s) vinculada(s): | 24/18577-7 - Uma (nova) abordagem baseada na teoria de hiper reticulados aplicada a sistemas lógicos e probabilidades,
BP.PD 24/07687-6 - Teorias de Probabilidade não-convencionais, sua importância e aplicações, BE.PQ |
| Assunto(s): | Lógicas não clássicas Lógica paraconsistente Probabilidade Racionalidade Evidência |
| Palavra(s)-Chave do Pesquisador: | Evidência | Filosofia das CIências Formais | Lógica | Lógicas Modais | Lógicas não clássicas | Lógicas Paraconsistentes | Métodos Não-Determinísticos e Multiálgebras | Probabiliade e Possibilidade | Probabilidade | Racionalidade | Lógica Filosófica |
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)
| 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) |