LÓGICA, PROBABILIDADE E CONSEQUÊNCIA

UMA DAS MANEIRAS CONHECIDAS DE REPRESENTAR A INCERTEZA É ATRAVÉS DAS PROBABILIDADES. PARA ESTUDAR O RACIOCÍNIO SOB INCERTEZA DESTE PONTO DE VISTA, MOSTRAMOS COMO É POSSÍVEL ASSOCIAR VALORES DE PROBABILIDADE A SENTENÇAS DE UMA LINGUAGEM FORMAL DEFININDO SEMÂNTICAS PROBABILÍSTICAS COM SUPORTE NA LÓGICA CLÁSSICA E EM ALGUMAS LÓGICAS NÃO-CLÁSSICAS. DEFINIMOS E ANALISAMOS RELAÇÕES DE CONSEQUÊNCIA PROBABILÍSTICA BASEADAS NA SEMÂNTICA PROBABILÍSTICA. PARA TAL, ESTUDAMOS TAMBÉM AS VALORAÇÕES PROBABILÍSTICAS COM AUXÍLIO DE FERRAMENTAS MATEMÁTICAS COMO A ÁLGEBRA LINEAR E A OTIMIZAÇÃO LINEAR. ALÉM DISTO, APRESENTAMOS AS PRINCIPAIS INTERPRETAÇÕES DO CONCEITO DE PROBABILIDADE E INTRODUZIMOS ALGUMAS OUTRAS FORMAS DE COMBINAR LÓGICA E PROBABILIDADES.