Paraconsistencia, modalidades e cognoscibilidade
Alexandre Fernandes Batista Costa Leite
DISSERTAÇÃO
Português
(Broch.)
T/UNICAMP C824p
Campinas, SP : [s.n.], 2003.
91f.
Orientador: Walter Alexandre Carnielli
Dissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Filosofia e Ciencias Humanas
Resumo: 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,...
Ver mais
Resumo: 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
Ver menos
Abstract: 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...
Ver mais
Abstract: 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
Ver menos
Paraconsistencia, modalidades e cognoscibilidade
Alexandre Fernandes Batista Costa Leite
Paraconsistencia, modalidades e cognoscibilidade
Alexandre Fernandes Batista Costa Leite
Exemplares
Nº de exemplares: 3
Não existem reservas para esta obra