Três vezes não: um estudo sobre as negações clássica, paraconsistente e paracompleta
Autor(a) principal: | |
---|---|
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 |