Pesquisa
A MODAL APPROACH TO LOGICAL CONSISTENCY
NESTA TESE, INVESTIGAMOS O CONCEITO DE CONSISTÊNCIA POR MEIO DE SUAS FORMALIZAÇÕES SEMÂNTICAS E SINTÁTICAS. EM ESPECIAL, MOSTRAMOS QUE TAIS FORMALIZAÇÕES NÃO CAPTURAM INTEIRAMENTE O CONCEITO PRÉ-TEÓRICO, INTUITIVO, DE CONSISTÊNCIA. NOSSA ANÁLISE DO…
MODALIDADES PARACONSISTENTES COMO BASE PARA O TRATAMENTO DE PARADOXOS EPISTÊMICODOXÁSTICOS.
PRETENDE-SE NESTA DISSERTAÇÃO ANALISAR SISTEMAS DE LÓGICAS MODAIS PARACONSISTENTES QUE SIRVAM DE BASE PARA O TRATAMENTO FORMAL DE PARADOXOS NO ÂMBITO DAS LÓGICAS EPISTÊMICODOXÁSTICAS, LÓGICAS MODAIS QUE FORMALIZAM AS NOÇÕES DE CONHECIMENTO E CRENÇA.…
DEDUÇÃO NATURAL ROTULADA PARA LÓGICAS MODAIS E MULTIMODAIS
A DEDUÇÃO NATURAL ROTULADA CONSISTE EM UM MÉTODO DE PROVA DESENVOLVIDO POR DOV M. GABBAY, O QUAL SE DISTINGUE DE OUTROS MÉTODOS DE DEDUÇÃO NATURAL PELA UTILIZAÇÃO DE RÓTULOS. ESTES CONSISTEM EM MARCAÇÕES METALINGUÍSTICAS UTILIZADAS NAS DEMONSTRAÇÕES…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.