Pesquisa
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…
TEMPO, MODALIDADE E LÓGICA TRIVALENTE EM PEIRCE E LUKASIEWICZ
A descoberta de sistemas formais polivalentes foi acompanhada de diferentes motivações filosóficas para o abandono da semântica bivalente e de teoremas da lógica clássica, como o Princípio do Terceiro Excluído. Neste artigo analisamos temas correlat…
UM SISTEMA DE TABLEAUX PARA A LÓGICA PARACONSISTENTE J3
A Lógica paraconsistente J3 foi introduzida por D’Ottaviano e da Costa (1970). Tal abordagem foi proposta ao considerar o problema de Jàskowski que tratava de aspectos da paraconsistência. Em (1985) D’Ottaviano apresentou um sistema axiomático corre…
ASPECTOS FILOSÓFICOS DA LÓGICA TRIVALENTE DE PEIRCE
Charles Sanders Peirce, reconhecido como um dos fundadores da lógicamoderna, propôs em 1909 uma lógica trivalente que antecipou em mais de dez anos os primeiros trabalhos em lógicas não-clássicas. No entanto, o filósofo norte-americano não…
Filtros Avançados
Os campos preenchidos abaixo se combinam entre si (E): quanto mais campos, mais restrito o resultado.