Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta

Detalhes bibliográficos
Autor(a) principal: Gracher, Kherian Galvão Cesar
Data de Publicação: 2020
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/216054
Resumo: Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2020.
id UFSC_2c5aee63a6cc919c0555f2823422cae5
oai_identifier_str oai:repositorio.ufsc.br:123456789/216054
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompletaIndução (Lógica)Análise (Filosofia)Juízo (Lógica)Negação (Lógica)Lógica simbólica e matemáticaSemântica (Filosofia)Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2020.Poderia haver um único sistema de lógica que permita trabalharmos simultaneamente com negações clássica, paraconsistente e paracompleta? Essas três negações foram separadamente estudadas em lógicas cujas negações levam seus nomes. Inicialmente iremos restringir nossa análise às lógicas proposicionais, analisando a negação clássica, ¬c, tal como tratada pela Lógica Proposicional Clássica (LPC); a negação paraconsistente, ¬p, como tratada através da hierarquia de Cálculos Proposicionais Paraconsistentes Cn (0 = n = ?); e a negação paracompleta, ¬q, como tratada pela hierarquia de Cálculos Proposicionais Paracompletos Pn (0 = n = ?). Ainda que possamos chamar os três conectivos de ?negações?, suas propriedades são distintas de acordo com cada sistema (que, por sua vez, também preservam características metateóricas distintas). Em ?Logics that are both paraconsistent and paracomplete? (1989), Newton da Costa propôs um sistema com características aproximadas ao que buscamos. Na hierarquia de Cálculos Proposicionais Não-Aléticos Nn (0 = n = ?), apenas uma negação é introduzida (como primitiva), chamada de ?não-alética? (¬n), cujo funcionamento pode preservar as propriedades da negação clássica, ou paraconsistente ou paracompleta ? dependendo do bom ou mau comportamento da fórmula a ela conectada. No entanto, como veremos, na hierarquia Nn não podemos reiterar negações com comportamentos diferentes a uma mesma fórmula (e.g., ¬p¬ca ou ¬q¬c¬pa), ou mesmo analisar uma fórmula como ¬ca ? ¬pa. Em vista desses problemas, podemos realmente dizer que a hierarquia Nn nos permite compreender as relações e interações dos três tipos de negações? Para tratarmos disso, posto o problema inicial, apresentaremos quatro sistemas axiomáticos (KG) nos quais, diferente de Nn, as três negações são diretamente introduzidas ? oferecendo também uma semântica e um método de provas por tableaux analíticos. Através dos Sistemas KG mostraremos como as negações interagem, obtendo teoremas não demonstráveis em LPC, Cn, Pn e Nn (0 = n = ?). Por fim, ofereceremos também uma extensão em primeira ordem para os Sistemas KG.Abstract: Could there be a single logical system that would allow us to work simultaneously with classical, paraconsistent, and paracomplete negations? These three negations were separately studied in logics whose negations bear their names. Initially we will restrict our analysis to propositional logics by analyzing classical negation, ¬c, as treated by Classical Propositional Logic (LPC); the paraconsistent negation, ¬p, as treated through the hierarchy of Paraconsistent Propositional Calculi Cn (0 = n = ?); and the paracomplete negation, ¬q, as treated by the hierarchy of Paracomplete Propositional Calculi Pn (0 = n = ?). In ?Logics that are both paraconsistent and paracomplete? (1989), Newton da Costa proposed a system with approximate characteristics to what we are looking for. In the hierarchy of Non-Alethical Propositional Calculi Nn (0 = n = ?), only one negation is introduced (as primitive), called a ?non-alethic? (¬n), whose operation preserves the properties of classical, or paraconsistent or paracomplete negation ? depending on the well or ill behavior of the formula connected to it. However, as we shall see, in the hierarchy Nn we can not reiterate negations with different behaviors in a same formula (e.g., ¬p¬ca or ¬q¬c¬pa), or even analyze a formula like ¬ca ? ¬pa. In view of these problems, can we really say that the hierarchy Nn allows us to understand the relationships and interactions of the three types of negations? In order to deal with this, given the initial problem, we will present four axiomatic systems (KG) in which, unlike Nn, the three negations are directly introduced ? offering a semantics and a method of proofs by analytic tableaux. Through the KG Systems we will show how the negations interact, obtaining non-demonstrable theorems in LPC, Cn, Pn, and Nn (0 = n = ?). Finally, we will also offer a first-order extension for the KG Systems.Krause, DécioCosta Júnior, Newton Carneiro Affonso daUniversidade Federal de Santa CatarinaGracher, Kherian Galvão Cesar2020-10-21T21:25:12Z2020-10-21T21:25:12Z2020info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesis216 p.| il.application/pdf369589https://repositorio.ufsc.br/handle/123456789/216054porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2020-10-21T21:25:12Zoai:repositorio.ufsc.br:123456789/216054Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732020-10-21T21:25:12Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
title Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
spellingShingle Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
Gracher, Kherian Galvão Cesar
Indução (Lógica)
Análise (Filosofia)
Juízo (Lógica)
Negação (Lógica)
Lógica simbólica e matemática
Semântica (Filosofia)
title_short Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
title_full Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
title_fullStr Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
title_full_unstemmed Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
title_sort Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
author Gracher, Kherian Galvão Cesar
author_facet Gracher, Kherian Galvão Cesar
author_role author
dc.contributor.none.fl_str_mv Krause, Décio
Costa Júnior, Newton Carneiro Affonso da
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Gracher, Kherian Galvão Cesar
dc.subject.por.fl_str_mv Indução (Lógica)
Análise (Filosofia)
Juízo (Lógica)
Negação (Lógica)
Lógica simbólica e matemática
Semântica (Filosofia)
topic Indução (Lógica)
Análise (Filosofia)
Juízo (Lógica)
Negação (Lógica)
Lógica simbólica e matemática
Semântica (Filosofia)
description Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2020.
publishDate 2020
dc.date.none.fl_str_mv 2020-10-21T21:25:12Z
2020-10-21T21:25:12Z
2020
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 369589
https://repositorio.ufsc.br/handle/123456789/216054
identifier_str_mv 369589
url https://repositorio.ufsc.br/handle/123456789/216054
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 216 p.| il.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808652136119009280

Registros relacionados