Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)

Detalhes bibliográficos
Autor(a) principal: Barrero Guzmán, Tomás Andrés
Data de Publicação: 2004
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/1613954
Resumo: Orientador: Walter Alexandre Carnielli
id UNICAMP-30_e508207b150d8750e867548f25e18bfa
oai_identifier_str oai::782023
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 Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)LógicaParadoxoFilosofiaPositive logicPositive paradoxesPositive trivialityPositive tableauxParatrivialityConstructive completenessOrientador: Walter Alexandre CarnielliDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências HumanasResumo: O trabalho estuda o papel da negação na logica, abordando os fragmentos positivos da logica proposicional, de forma a atender a dois problemas: a obtenção de teoremas de completude independentes da negação e o problema de paradoxos positivos, como o Paradoxo de Curry. Para o fragmento classico, estuda-se o metodo construtivo de completude proposto por Leon Henkin. Investigam-se as razoes pelas quais este metodo nao pode ser estendido para fragmentos nao-classicos que conseguem evitar a ocorrencia da objeção de Haskel Curry como, por exemplo, os das logicas n-valentes de Jan Lukasiewicz e os (por nos denominados) intuicionistas de Wilhelm Ackermann, quer pelas características da implicação, quer pela presença de um tipo de argumento infinito. O estudo conjunto do metodo de Henkin e do fenomeno da trivialidade positiva permite estabelecer um processo de decidibilidade da logica positiva classica através de um sistema de tablos que utiliza somente recursos metalinguísticos positivos, e propor uma rediscussão a respeito do papel da negação em logica atraves do conceito de paratrivialidade. Nesse contexto discutimos, do ponto de vista conceitual, a relação da logica positiva com o infinito, as possibilidades de se obter uma logica de primeira ordem completa sem negação e o vinculo filosofico entre verdade e significadoAbstract: This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive completeness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive method to on-classical fragments equipped with weaker implications (that avoid Curry?s objection). This is the case, for example, of Jan Lukasiewicz?s n-valued logics and Wilhelm Ackermann?s logic of restricted implication. Besides such problems, both Henkin?s method and the triviality phenomenon enable us to propose a new positive tableau proof system which uses only positive meta-linguistic resources, and to motivate a new discussion concerning the role of negation in logic proposing the concept of paratriviality. In this way, some relations between positive reasoning and infinity, the possibilities to obtain a first-order positive logic as well as the philosophical connection between truth and meaning are discussed from a conceptual point of viewMestradoMestre em Filosofia[s.n.]Carnielli, Walter Alexandre, 1952-Coniglio, Marcelo EstebanMariano, Hugo LuizD'Ottaviano, Itala Maria LoffredoUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASBarrero Guzmán, Tomás Andrés2004info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf110 p. : il.https://hdl.handle.net/20.500.12733/1613954BARRERO GUZMÁN, Tomás Andrés. Lógica positiva: plenitude, potencialidade e problemas (do pensar sem negação). 2004. 110 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/1613954. Acesso em: 3 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/782023porreponame: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-18T06:07:02Zoai::782023Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T06:07:02Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
title Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
spellingShingle Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
Barrero Guzmán, Tomás Andrés
Lógica
Paradoxo
Filosofia
Positive logic
Positive paradoxes
Positive triviality
Positive tableaux
Paratriviality
Constructive completeness
title_short Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
title_full Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
title_fullStr Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
title_full_unstemmed Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
title_sort Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação)
author Barrero Guzmán, Tomás Andrés
author_facet Barrero Guzmán, Tomás Andrés
author_role author
dc.contributor.none.fl_str_mv Carnielli, Walter Alexandre, 1952-
Coniglio, Marcelo Esteban
Mariano, Hugo Luiz
D'Ottaviano, Itala Maria Loffredo
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 Barrero Guzmán, Tomás Andrés
dc.subject.por.fl_str_mv Lógica
Paradoxo
Filosofia
Positive logic
Positive paradoxes
Positive triviality
Positive tableaux
Paratriviality
Constructive completeness
topic Lógica
Paradoxo
Filosofia
Positive logic
Positive paradoxes
Positive triviality
Positive tableaux
Paratriviality
Constructive completeness
description Orientador: Walter Alexandre Carnielli
publishDate 2004
dc.date.none.fl_str_mv 2004
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/1613954
BARRERO GUZMÁN, Tomás Andrés. Lógica positiva: plenitude, potencialidade e problemas (do pensar sem negação). 2004. 110 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/1613954. Acesso em: 3 set. 2024.
url https://hdl.handle.net/20.500.12733/1613954
identifier_str_mv BARRERO GUZMÁN, Tomás Andrés. Lógica positiva: plenitude, potencialidade e problemas (do pensar sem negação). 2004. 110 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/1613954. 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/782023
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
110 p. : il.
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_ 1809189044760870912

Registros relacionados