Da consequência lógica à probabilidade

• Processo: 11/05870-8
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 03 de julho de 2011
• Data de Término da vigência: 31 de agosto de 2011
• Área de conhecimento: Ciências Humanas - Filosofia - Lógica
• Pesquisador responsável: Juliana Bueno
• Beneficiário: Juliana Bueno
• Pesquisador Anfitrião: Graham Priest
• Instituição Sede: Centro de Ciências Naturais e Humanas (CCNH). Universidade Federal do ABC (UFABC). Ministério da Educação (Brasil). Santo André , SP, Brasil
• Instituição Anfitriã: University of Melbourne, Austrália
• Vinculado ao auxílio: 10/51038-0 - Logical consequence, reasoning and computation - LOGCONS, AP.TEM
• Assunto(s): Probabilidade Lógica paraconsistente
• Palavra(s)-Chave do Pesquisador: consequência lógica | lógicas paraconsistentes | Probabilidade | Lógicas Não-Clássicas

Resumo

Este projeto pretende iniciar o estudo dos fundamentos da noção de probabilidade do ponto de vista das lógicas modais anódicas (sem negação) e catódicas (lógicas para consistentes com graus de negação, as quais são extensões modais das lógicas da inconsistência formal, já bastante estudadas na literatura). Apesar de se tratar de uma proposta com viés teórico, os problemas abordados são de interesse de métodos voltados a aplicações, em particular a problemas relacionados à satisfatibilidade probabilística e à probabilidade condicional. (AU)