Plausibilidade e Consistência em LEI
Roberto Dumaresq - mestrando CLE/IFCH
Neste seminário, apresentaremos a lógica paraconsistente denominada
LEI (Logic of Epistemic Inconsistency). Ela vale-se de um conectivo de
plausibilidade '?', cuja presença em uma fórmula determina se esta tem
comportamento clássico (irrefutável) ou não-clássico (defensável). Ao
longo do processo de detalhamento das idéias de plausibilidade e
consistência em LEI procuramos observar como estas idéias são
representadas na estrutura desta lógica.
Deste modo, através da semântica de LEI mostramos que ela é uma LFI
não-estrutural.
Nenhum comentário:
Postar um comentário