Pesquisa
MULTIÁLGEBRAS E SEMÂNTICAS NÃO-DETERMINÍSTICAS APLICADAS A LÓGICAS PARACONSISTENTES
ESTE TRABALHO ESTÁ DIVIDIDO ENTRE DUAS GRANDES ÁREAS: NA TEORIA DE MULTIÁLGEBRAS, FOCAMOS MAJORITARIAMENTE EM UMA NOVA DEFINIÇÃO DO QUE UM OBJETO LIVREMENTE GERADO DEVERIA SER EM SUA CATEGORIA E EM COMO ESTA CATEGORIA É EQUIVALENTE A OUTRA COM ÁLGEB…
PROBABILIDADE DO CONDICIONAL E PROBABILIDADE CONDICIONAL: LEIS DO EXCESSO E RESULTADOS DE TRIVIALIZAÇÃO NA LÓGICA LFI1
DESDE CEDO NAS INVESTIGAÇÕES SOBRE A VIABILIDADE DA INCORPORAÇÃO DA TEORIA DA PROBABILIDADE À LÓGICA, PERCEBEU-SE QUE EXPRESSÕES CONDICIONAIS DA LINGUAGEM NATURAL TÊM DUAS FORMALIZAÇÕES INTUITIVAS. SEJAM ; PROPOSIÇÕES E 0 X 1 UM VALOR DE PROBABILIDA…
SEMÂNTICAS DE JOGOS PARA LÓGICAS DE INCONSISTÊNCIA FORMAL E A PRAGMÁTICA DA PARACONSISTÊNCIA
NESTA DISSERTAÇÃO APRESENTO SEMÂNTICAS DE JOGOS ADEQUADAS PARA AS LÓGICAS DE INCONSISTÊNCIAS FORMAL (LIFS) CONHECIDAS COMO MBC E MBCCIW, E ENTÃO DISCUTO COMO ESSAS SEMÂNTICAS PERMITEM A CONSTRUÇÃO RIGOROSA DE EXEMPLOS QUE ILUSTRAM A PRAGMÁTICA DESSA…
A LÓGICA DA VERDADE PRAGMÁTICA EM UM SISTEMA TABLEAUX
O PROFESSOR NEWTON C. A. DA COSTA, NOTÁVEL LÓGICO BRASILEIRO, E COLABORADORES INTRODUZIRAM A NOÇÃO DE QUASE-VERDADE NO CONTEXTO DAS CIÊNCIAS EMPÍRICAS, ONDE HÁ INCOMPLETUDE DO CONHECIMENTO. TAL ABORDAGEM É CONSIDERADA UMA GENERALIZAÇÃO PARA CONTEXTO…
PROGRAMAÇÃO LÓGICA PARACONSISTENTE EM LÓGICAS TRÊS E QUATRO VALORADAS
A PARTIR DA INTERAÇÃO ENTRE ÁREAS COMO CIÊNCIA DA COMPUTAÇÃO, LÓGICA E DEDU ÇÃO AUTOMÁTICA NASCE UMA IMPORTANTE NOVA ÁREA DENOMINADA PROGRAMAÇÃO LÓGICA. ESTA VEM SENDO UTILIZADA CONTINUAMENTE NO ESTUDO TEÓRICO E EM APLICAÇÕES CONCRETAS EM DIVERSOS R…
REVISÃO DE CRENÇAS PARACONSISTENTE BASEADA NO OPERADOR FORMAL DE CONSISTÊNCIA
A REVIS~AO DE CRENCAS ESTUDA COMO AGENTES RACIONAIS MUDAM SUAS CRENCAS AO RECEBEREM NOVAS INFORMAC~OES. O SISTEMA AGM, TRABALHO MAIS IN UENTE DESTA AREA APRESENTADO POR ALCHOURRON, GARDENFOS E MAKINSON, POSTULA CRITERIOS DE RACIONALIDADE PARA OS DI…
INCONSISTÊNCIAS EM CIÊNCIA
NOS ÚLTIMOS ANOS, MUITOS FILÓSOFOS DA CIÊNCIA (LAKATOS 1978, FEYERABEND 1988, PRIEST 1987, DA COSTA E FRENCH 2003, DA COSTA E KRAUSE 2011) DEFENDERAM QUE CERTAS TEORIAS CIENTÍFICAS SÃO EXTREMAMENTE ÚTEIS E BEM SUCEDIDAS, APESAR DE SEREM INCONSISTENT…
SOBRE A HISTÓRIA DA PARACONSISTÊNCIA E A OBRA DE DA COSTA : A INSTAURAÇÃO DA LÓGICA PARACONSISTENTE
A INSTAURAÇÃO DA LÓGICA PARACONSISTENTE, O LEVANTAMENTO E A DESCRIÇÃO DE SEUS ANTECEDENTES HISTÓRICOS, BEM COMO A ANÁLISE DE SEUS FUNDAMENTOS FILOSÓFICOS SÃO AQUI APRESENTADOS SOB A ÓTICA DA HISTORIOGRAFIA CONTEMPORÂNEA DA LÓGICA. O ESTÁDIO ATUAL DA…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.