Paraconsistencia, modalidades e cognoscibilidade
Orientador: Walter Alexandre Carnielli === Dissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Filosofia e Ciencias Humanas === Made available in DSpace on 2018-08-03T15:50:26Z (GMT). No. of bitstreams: 1 Leite_AlexandreFernandesBatistaCosta_M.pdf: 4047695 bytes, checksum: e6bef...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
[s.n.]
2003
|
Subjects: | |
Online Access: | LEITE, Alexandre Fernandes Batista Costa. Paraconsistencia, modalidades e cognoscibilidade. 2003. 91f. Dissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/281995>. Acesso em: 3 ago. 2018. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281995 |
Summary: | Orientador: Walter Alexandre Carnielli === Dissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Filosofia e Ciencias Humanas === Made available in DSpace on 2018-08-03T15:50:26Z (GMT). No. of bitstreams: 1
Leite_AlexandreFernandesBatistaCosta_M.pdf: 4047695 bytes, checksum: e6bef39861f93f6478b59af9d4c2b6ec (MD5)
Previous issue date: 2003 === 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 === 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 === Mestrado === Mestre em Filosofia |
---|