Paraconsistencia, modalidades e cognoscibilidade





























Autor: Alexandre Fernandes Batista Costa Leite
[pt] Paraconsistencia, modalidades e cognoscibilidade
Instituição de Defesa: Universidade Estadual de Campinas . Instituto de Filosofia e Ciencias Humanas
Data de Defesa: 2003-04-28
Resumo: [pt] Este texto tem por objetivo o estudo sintático e semântico das lógicas da inconsistência formal (LFIs), as quais são lógicas paraconsistentes que permitem o uso de operadores para formalizar as noções de consistência e inconsistência. Além das LFls, são estudadas as lógicas modais normais, as quais possuem operadores para formalizar as noções modais de necessidade, possibilidade e conhecimento. Para estas, mostramos como construir o vários sistemas modais disponíveis na literatura, bem como interpretá-Ios diante da semântica usual de mundos possíveis. A partir dos estudos acima, apresentamos uma lógica que é, ao mesmo tempo, paraconsistente e modal chamada CiT. Investigamos algumas propriedades da lógica, como por exemplo, a completude. Tallógíca foi utilizada para evitar o paradoxo da cognoscibílidade, o qual ocorre em lógicas modais com base na lógica clássica.
[en] This text has the purpose of studying the syntatical and semantical status of logics of formal inconsistency (LFls), which are paraconsistent logícs with linguistic operators to formalize the notions of consistency and inconsistency: It also investigates normal modallogics, whích have operators to formalize the modal concepts of necessity, possibility and knowledge. For these logics, we show how to construct modal systems, as wel1 how to interpret them using possible-world semantics. Given the two studies above, the main purpose of this dissertation is to show a modal paraconsistent logic called CiTo We investigate some properties of this logic, for example, completeness. The logic is used to avoid a trouble with usual modal reasoning based on classicallogíc: the knowability paradoxo.
Titulação: Mestre em Filosofia
Contribuidor(es): Walter Alexandre Carnielli
Walter Alexandre Carnielli
Andreas Bernhard Michael Brunner
Andre Fuhrmann
Assuntos: [pt] Filosofia
[pt] Paradoxo
[pt] Linguagem – Filosofia
[pt] Modelos matematicos
[pt] Epistemologia
Documentos Digitais: Download Arquivo

Deixe uma resposta

O seu endereço de e-mail não será publicado. Campos obrigatórios são marcados com *