Return to search

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: 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

Identiferoai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/281995
Date28 April 2003
CreatorsLeite, Alexandre Fernandes Batista Costa
ContributorsUNIVERSIDADE ESTADUAL DE CAMPINAS, Carnielli, Walter Alexandre, 1952-, Fuhrmann, Andre, Brunner, Andreas Bernhard Michael
Publisher[s.n.], Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Format91f., application/pdf
Sourcereponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0025 seconds