Busca avançada
Ano de início
Entree

Da consequência lógica à probabilidade

Processo: 11/05870-8
Linha de fomento:Bolsas no Exterior - Pesquisa
Vigência (Início): 03 de julho de 2011
Vigência (Término): 31 de agosto de 2011
Área do conhecimento:Ciências Humanas - Filosofia - Lógica
Pesquisador responsável:Juliana Bueno
Beneficiário:Juliana Bueno
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
Local de pesquisa : 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

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)