Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos

Detalhes bibliográficos
Autor(a) principal: Silva Júnior, Rogério José de Ribamar da, 1983-
Data de Publicação: 2018
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/1634349
Resumo: Orientador: Itala Maria Loffredo D'Ottaviano
id UNICAMP-30_d127875d7d7c00c4e0072cdfc9580f94
oai_identifier_str oai::1051333
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 Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticosParaconsistent modalities as a basis for treating epistemic-doxastic paradoxesModalidade (Lógica)Lógica matemática não-clássicaEpistemologiaParadoxoModality (Logic)Nonclassical mathematical logicEpistemologyParadoxOrientador: Itala Maria Loffredo D'OttavianoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências HumanasResumo: Pretende-se nesta dissertação analisar sistemas de lógicas modais paraconsistentes que sirvam de base para o tratamento formal de Paradoxos no âmbito das Lógicas Epistêmico-Doxásticas, lógicas modais que formalizam as noções de conhecimento e crença. Estas por sua vez são interpretações de lógicas modais baseadas na lógica clássica, na qual demonstra-se o Princípio Ex Falso Sequitur Quodlibet, conhecido também como Princípio de Explosão. A demonstração deste Princípio nestas lógicas contribui para resultados indesejados como o Paradoxo da Cognoscibilidade (ou Paradoxo de Fitch), e o Paradoxo da Credibilidade, ambos resultados que levam aos colapsos dos operadores de crença e conhecimento, respectivamente. Algumas soluções têm sido propostas para lidar com os Paradoxos, dentre elas rejeitar certas hipóteses assumidas, tais como o Princípio de Cognoscibilidade. A presente dissertação segue outra linha, a saber, que busca investigar os efeitos decorrentes de dotar de bases paraconsistentes os sistemas nos quais os Paradoxos ocorrem. O aparato lógico que utilizaremos para esta tarefa são os chamados sistemas catódicos, introduzidos em [Bueno-Soler, 2009]. Estes são sistemas modais que contêm negações subclássicas em suas linguagens e podem ser vistos como combinações entre lógicas modais e paraconsistentes. Especificamente investigamos a possibilidade de que Lógicas da Inconsistência Formal (LFIs), introduzidas em [Carnielli e Marcos, 2002] e desenvolvidas em [Carnielli, Coniglio e Marcos, 2007] possam constituir sistemas catódicos promissores para o tratamento dos Paradoxos Epistêmico-DoxásticosAbstract: The aim of this dissertation is to analyze paraconsistent modal logic systems that serve as the basis for the formal treatment of Paradoxes within the framework of Epistemic-Doxastic Logics, modal logics that formalize the notions of knowledge and belief. These, in turn, are interpretations of modal logics based on classical logic, in which the Ex Falso Sequitur Quodlibet Principle, also known as the Explosion Principle, is demonstrable. The demonstration of this Principle in these logics contributes to unwanted outcomes such as the Paradox of Knowability (or Fitch Paradox), and the Credibility Paradox, both of which results in the collapse of belief and knowledge operators, respectively. Some solutions have been proposed to deal with the Paradoxes, among them rejecting certain assumed hypotheses, such as the Principle of Knowability. The present dissertation follows another line, namely, that seeks to investigate the effects of providing paraconsistent bases with the systems in which Paradoxes occur. The logical apparatus that we will use for this task are the so-called cathodic systems, introduced in [Bueno-Soler, 2009]. These are modal systems that contain subclassic negations in their languages and can be seen as combinations of modal and paraconsistent logics. Specifically, we investigated the possibility that Logics of Formal Inconsistency (LFIs), introduced in [Carnielli and Marcos, 2002] and developed in [Carnielli, Coniglio and Marcos, 2007] may constitute promising cathodic systems for the treatment of Epistemic-Doxastic ParadoxesMestradoFilosofiaMestre em FilosofiaCAPES161480[s.n.]D'Ottaviano, Itala Maria Loffredo, 1944-Bertato, Fábio MaiaFeitosa, Hercules de AraujoUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASSilva Júnior, Rogério José de Ribamar da, 1983-20182018-07-02T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf1 recurso online (100 p.) : il., digital, arquivo PDF.https://hdl.handle.net/20.500.12733/1634349SILVA JÚNIOR, Rogério José de Ribamar da. Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos. 2018. 1 recurso online (100 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1634349. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/1051333Requisitos do sistema: Software para leitura de arquivo em PDFporreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2018-10-02T10:53:30Zoai::1051333Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2018-10-02T10:53:30Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos
Paraconsistent modalities as a basis for treating epistemic-doxastic paradoxes
title Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos
spellingShingle Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos
Silva Júnior, Rogério José de Ribamar da, 1983-
Modalidade (Lógica)
Lógica matemática não-clássica
Epistemologia
Paradoxo
Modality (Logic)
Nonclassical mathematical logic
Epistemology
Paradox
title_short Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos
title_full Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos
title_fullStr Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos
title_full_unstemmed Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos
title_sort Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos
author Silva Júnior, Rogério José de Ribamar da, 1983-
author_facet Silva Júnior, Rogério José de Ribamar da, 1983-
author_role author
dc.contributor.none.fl_str_mv D'Ottaviano, Itala Maria Loffredo, 1944-
Bertato, Fábio Maia
Feitosa, Hercules de Araujo
Universidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências Humanas
Programa de Pós-Graduação em Filosofia
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Silva Júnior, Rogério José de Ribamar da, 1983-
dc.subject.por.fl_str_mv Modalidade (Lógica)
Lógica matemática não-clássica
Epistemologia
Paradoxo
Modality (Logic)
Nonclassical mathematical logic
Epistemology
Paradox
topic Modalidade (Lógica)
Lógica matemática não-clássica
Epistemologia
Paradoxo
Modality (Logic)
Nonclassical mathematical logic
Epistemology
Paradox
description Orientador: Itala Maria Loffredo D'Ottaviano
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-07-02T00: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 https://hdl.handle.net/20.500.12733/1634349
SILVA JÚNIOR, Rogério José de Ribamar da. Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos. 2018. 1 recurso online (100 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1634349. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1634349
identifier_str_mv SILVA JÚNIOR, Rogério José de Ribamar da. Modalidades paraconsistentes como base para o tratamento de paradoxos epistêmico-doxásticos. 2018. 1 recurso online (100 p.) Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1634349. Acesso em: 3 set. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/1051333
Requisitos do sistema: Software para leitura de arquivo em PDF
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
1 recurso online (100 p.) : il., digital, arquivo PDF.
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_ 1809189130230300672

Registros relacionados