Sobre noções de consequência generalizadas e lógicas plurivalentes

Detalhes bibliográficos
Autor(a) principal: Blasio, Carolina, 1984-2017
Data de Publicação: 2017
Tipo de documento: Tese
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/1632498
Resumo: Orientador: Marco Antonio Caron Ruffino
id UNICAMP-30_8f386c2fd807b4aa0135991cf452c5da
oai_identifier_str oai::989590
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 Sobre noções de consequência generalizadas e lógicas plurivalentesOn generalized notions of consequence and plurivalent logicsRelação de consequênciaLógicas multivaloradasRedução de SuszkoLógicas plurivalentesLógicas inferencialmente multivaloradasConsequence RelationMany-valued LogicsSuszko ReductionPlurivalent LogicsInferentially Many-valued LogicsOrientador: Marco Antonio Caron RuffinoTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências HumanasResumo: As denominadas "lógicas multivaloradas" surgem do descontentamento de que o raciocínio lógico deva se limitar apenas a enunciados verdadeiros e falsos, ou seja, não-verdadeiros. O resultado conhecido como Redução de Suszko demonstra, contudo, que todas as lógicas podem ser caracterizadas por semânticas com apenas dois valores-de-verdade. Sendo assim, as lógicas pode ser ditas bivalentes, mesmo que suas semânticas sejam multivaloradas. Como alternativa à imposição da bivalência dada por este resultado, Malinowski (1990a) introduziu uma noção de consequência generalizada, associada a formalismos trivalentes: a quase-consequência. A quase-consequência possibilitou um novo olhar sobre a plurivalência das lógicas, abrindo caminho para a definição de novas noções de consequência tais como a quase-consequência dual (Malinowski, 2000) definida para lógicas inferencialmente paraconsistentes e a consequência plausível (Frankowski, 2004a). Não obstante, estas noções de consequência associadas a lógicas plurivalentes não possuem ao menos uma dentre as propriedades mais básicas da noção de consequência padrão: a reflexividade e a transitividade. Na presente tese, apresentamos as noções de quase-conse quência e de consequência plausível em uma versão com conclusão múltipla e suas respectivas noções duais junto aos resultados de adequação destas a semânticas trivalentes. Propomos também a lógica tetravalente EB inspirada na lógica de Dunn-Belnap First Degree Entailment junto a um cálculo de se- quentes adequado. A lógica EB está associada a uma relação de consequência semântica que expressa diversos tipos de raciocínio ¿ o B-entailment. Apresentamos, a seguir, a contraparte abstrata do B-entailment, a B-consequence, e seus respectivos resultados de adequação a semânticas tetravalentes. A B-consequence generaliza e permite comparar diversas relações de consequência, incluindo a relação de consequência padrão, a quase-consequência e sua dual, a consequência plausível e sua dual, e também as relações de consequência apenas monotônicas. A B-consequence mostra-se, assim, ser um arcabouço conceitual promissor para pesquisas sobre lógicas plurivalentes e semânticas multivaloradas, incluindo semânticas não-determinísticas e parciais. Esta noção é também uma ferramenta robusta para a comparação de diferentes lógicas e para a definição de sistemas lógicos. Os estudos sobre a B-consequence ainda contribuem tanto para a compreensão do conceito de relação de consequência lógica, quanto para os debates sobre o pluralismo lógicoAbstract: The so-called "many-valued logics" arise from the dissatisfaction that the logical reasoning should be limited to only true and false, that is, non-true, statements. However, the result known as Suszko¿s Reduction proves that all logics can be characterized by semantics with only two truth-values. Thus, a logic can be said to be bivalent even if it has a multivalued semantics. As an alternative to the imposed bivalence of the logics given by this result, Mali- nowski (1990a) introduced a generalized notion of consequence associated to trivalent formalisms: the quasi-consequence. The quasi-consequence allowed a new look at the plurivalence of logics, paving the way for new notions of consequence such as the dual quasi-consequence (Malinowski, 2000) defined for inferentially paraconsistent logics and the plausible consequence relation (Frankowski, 2004a). Nevertheless, those notions of consequence associated to plurivalent logics do not enjoy at least one of most basic properties of the standard consequences: reflexivity and transitivity. In this thesis, we present the notions of quasi-consequence, plausible consequence and their respective dual notions together with the results of adequacy of these notions to triva- lent semantics. We also propose the tetravalent logic EB which is inspired on Dunn-Belnap¿s logic "First Degree Entailment". We also present a sequent calculus for EB. The logic EB is associated with an entailment relation that can express different kinds of reasoning ¿ the B-entailment.In the following, we present the abstract counterpart of the B-entailment, the B-consequence and their respective adequacy results to tetravalent semantics. After that, we show that the B-consequence generalizes and allows to compare several con- sequence relations, such as the standard consequence, the quasi-consequence and its dual, the plausible consequence and its dual, and also purely monotonic consequences. The B-consequence thus provides a way of comparing different notions of consequence and seems to be a promising framework for researches on plurivalent logics and many-valued semantics, including non-deterministic and partial semantics. The B-consequence is also a robust tool for comparing different logics and for defining logical systems. Moreover, the investigations on B-consequence also contribute both to the understanding the concept of logical consequence relation and to the debates on logical pluralismDoutoradoFilosofiaDoutora em FilosofiaCNPQ149706/2011-1[s.n.]Ruffino, Marco, 1963-Rodrigues Filho, Abílio AzambujaVenturi, GiorgioFinger, MarceloCardoso, Guilherme AraújoUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASBlasio, Carolina, 1984-201720172017-08-25T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf1 recurso online (181 p.) : il., digital, arquivo PDF.https://hdl.handle.net/20.500.12733/1632498BLASIO, Carolina. Sobre noções de consequência generalizadas e lógicas plurivalentes. 2017. 1 recurso online (181 p.) Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1632498. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/989590Requisitos 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-01-05T11:17:31Zoai::989590Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2018-01-05T11:17:31Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Sobre noções de consequência generalizadas e lógicas plurivalentes
On generalized notions of consequence and plurivalent logics
title Sobre noções de consequência generalizadas e lógicas plurivalentes
spellingShingle Sobre noções de consequência generalizadas e lógicas plurivalentes
Blasio, Carolina, 1984-2017
Relação de consequência
Lógicas multivaloradas
Redução de Suszko
Lógicas plurivalentes
Lógicas inferencialmente multivaloradas
Consequence Relation
Many-valued Logics
Suszko Reduction
Plurivalent Logics
Inferentially Many-valued Logics
title_short Sobre noções de consequência generalizadas e lógicas plurivalentes
title_full Sobre noções de consequência generalizadas e lógicas plurivalentes
title_fullStr Sobre noções de consequência generalizadas e lógicas plurivalentes
title_full_unstemmed Sobre noções de consequência generalizadas e lógicas plurivalentes
title_sort Sobre noções de consequência generalizadas e lógicas plurivalentes
author Blasio, Carolina, 1984-2017
author_facet Blasio, Carolina, 1984-2017
author_role author
dc.contributor.none.fl_str_mv Ruffino, Marco, 1963-
Rodrigues Filho, Abílio Azambuja
Venturi, Giorgio
Finger, Marcelo
Cardoso, Guilherme Araújo
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 Blasio, Carolina, 1984-2017
dc.subject.por.fl_str_mv Relação de consequência
Lógicas multivaloradas
Redução de Suszko
Lógicas plurivalentes
Lógicas inferencialmente multivaloradas
Consequence Relation
Many-valued Logics
Suszko Reduction
Plurivalent Logics
Inferentially Many-valued Logics
topic Relação de consequência
Lógicas multivaloradas
Redução de Suszko
Lógicas plurivalentes
Lógicas inferencialmente multivaloradas
Consequence Relation
Many-valued Logics
Suszko Reduction
Plurivalent Logics
Inferentially Many-valued Logics
description Orientador: Marco Antonio Caron Ruffino
publishDate 2017
dc.date.none.fl_str_mv 2017
2017-08-25T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/20.500.12733/1632498
BLASIO, Carolina. Sobre noções de consequência generalizadas e lógicas plurivalentes. 2017. 1 recurso online (181 p.) Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1632498. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1632498
identifier_str_mv BLASIO, Carolina. Sobre noções de consequência generalizadas e lógicas plurivalentes. 2017. 1 recurso online (181 p.) Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1632498. 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/989590
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 (181 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_ 1809189116205596672

Registros relacionados