Paraconsistencia, modalidades e cognoscibilidade

Detalhes bibliográficos
Autor(a) principal: Leite, Alexandre Fernandes Batista Costa
Data de Publicação: 2003
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1594308
Resumo: Orientador: Walter Alexandre Carnielli
id UNICAMP-30_a135258b703ac4c6317a7628ea272989
oai_identifier_str oai::284873
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Paraconsistencia, modalidades e cognoscibilidadeFilosofiaLinguagem e línguas - FilosofiaEpistemologiaModelos matemáticosParadoxoOrientador: Walter Alexandre CarnielliDissertação (mestrado) - Universidade Estadual de Campinas. Instituto de Filosofia e Ciencias HumanasResumo: 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ássicaAbstract: 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 paradoxoMestradoMestre em Filosofia[s.n.]Carnielli, Walter Alexandre, 1952-Fuhrmann, AndreBrunner, Andreas Bernhard MichaelUniversidade Estadual de Campinas. Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação não informadoUNIVERSIDADE ESTADUAL DE CAMPINASLeite, Alexandre Fernandes Batista Costa20032003-04-28T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf91f.(Broch.)https://hdl.handle.net/20.500.12733/1594308LEITE, 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: https://hdl.handle.net/20.500.12733/1594308. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/284873porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2017-02-18T03:47:49Zoai::284873Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T03:47:49Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Paraconsistencia, modalidades e cognoscibilidade
title Paraconsistencia, modalidades e cognoscibilidade
spellingShingle Paraconsistencia, modalidades e cognoscibilidade
Leite, Alexandre Fernandes Batista Costa
Filosofia
Linguagem e línguas - Filosofia
Epistemologia
Modelos matemáticos
Paradoxo
title_short Paraconsistencia, modalidades e cognoscibilidade
title_full Paraconsistencia, modalidades e cognoscibilidade
title_fullStr Paraconsistencia, modalidades e cognoscibilidade
title_full_unstemmed Paraconsistencia, modalidades e cognoscibilidade
title_sort Paraconsistencia, modalidades e cognoscibilidade
author Leite, Alexandre Fernandes Batista Costa
author_facet Leite, Alexandre Fernandes Batista Costa
author_role author
dc.contributor.none.fl_str_mv Carnielli, Walter Alexandre, 1952-
Fuhrmann, Andre
Brunner, Andreas Bernhard Michael
Universidade Estadual de Campinas. Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação não informado
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Leite, Alexandre Fernandes Batista Costa
dc.subject.por.fl_str_mv Filosofia
Linguagem e línguas - Filosofia
Epistemologia
Modelos matemáticos
Paradoxo
topic Filosofia
Linguagem e línguas - Filosofia
Epistemologia
Modelos matemáticos
Paradoxo
description Orientador: Walter Alexandre Carnielli
publishDate 2003
dc.date.none.fl_str_mv 2003
2003-04-28T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv (Broch.)
https://hdl.handle.net/20.500.12733/1594308
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: https://hdl.handle.net/20.500.12733/1594308. Acesso em: 2 set. 2024.
identifier_str_mv (Broch.)
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: https://hdl.handle.net/20.500.12733/1594308. Acesso em: 2 set. 2024.
url https://hdl.handle.net/20.500.12733/1594308
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/284873
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
91f.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1809188888357371904

Registros relacionados