Teoria de Modelos num Ambiente Paraconsistente
Enviado por secr_pos_filosofia em ter, 10/11/2020 - 08:50O propósito desta tese é desenvolver uma Teoria de Modelos paraconsistente a partir das bases lançadas por Walter Carnielli, Marcelo Esteban Coniglio, Rodrigo Podiack e Tarcísio Rodrigues no artigo ‘On the Way to a Wider Model Theory: Completeness Theorems for First-Order Logics of Formal Inconsistency’ de 2014. A busca por uma compreensão mais profunda do fenômeno da paraconsistência de um ponto de vista epistemológico leva a um sistema de raciocínio baseado nas ”Lógicas de Inconsistência Formal” (LFI’s).