Uma investigação acerca das regras para a negação e o absurdo em dedução natural

Detalhes bibliográficos
Ano de defesa: 2006
Autor(a) principal: Sanz, Wagner de Campos
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Tese
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: [s.n.]
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Lógica - Estudo e ensino
Teoria das demonstrações
Dedução natural
Negação (Lógica)
Deductive logic
Proof theory
Negation (Logic)
Deduction (Logic)
Link de acesso: https://hdl.handle.net/20.500.12733/1603137
Resumo: Orientador: Marcelo Esteban Coniglio
id UNICAMP-30_6ac0fc72a5c819e0954cd2b25e89d4ca
oai_identifier_str oai::372920
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 Uma investigação acerca das regras para a negação e o absurdo em dedução naturalLógica - Estudo e ensinoTeoria das demonstraçõesDedução naturalNegação (Lógica)Deductive logicProof theoryNegation (Logic)Deduction (Logic)Orientador: Marcelo Esteban ConiglioTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias HumanasResumo: O objetivo desta tese é o de propor uma elucidação da negação e do absurdo no âmbito dos sistemas de dedução natural para as lógicas intuicionista e clássica. Nossa investigação pode ser vista como um desenvolvimento de uma proposta apresentada por Russell há mais de cem anos e a qual ele parece ter abandonado posteriormente. Focaremos a atenção, em primeiro lugar, sobre a negação e, depois, como conseqüência das propostas para a negação, sobre a constante de absurdo. Nosso ponto de partida é, na verdade, um problema de natureza conceitual. Questionaremos a correção e a adequação da análise da negação e do absurdo atualmente predominante no meio-ambiente de dedução natural de estilo gentzeniano. O questionamento dessas análises adota como ponto focal o conceito de hipótese. O conceito de hipótese é uma noção central para os sistemas de dedução natural e a nossa proposta de análise desse conceito servirá de esteio para a formulação das propostas elucidatórias para a negação e o absurdo dentro dos sistemas de dedução naturalAbstract: The purpose of this thesis is to present an elucidation of negation and absurd for intuitionist and classical logics in the range of natural deduction systems. Our study could be seen as a development of a proposal presented by Russell over a hundred years ago, which he presumably abandoned later on. First, we will focus on negation and then on the absurd constant, as a consequence of the claims we are making for negation. As a matter of fact, our starting point is a problem of a conceptual nature. We will question the correctness and the adequacy of the analysis of negation and absurd, prevailing nowadays in the Gentzen-style natural deduction circle. The concept of hypothesis is the focus point in questioning these analyses. The concept of hypothesis is a central notion for natural deduction systems and the purpose of our analysis of this concept is to support the formulation of elucidative propositions for negation and absurd in natural deduction systemsDoutoradoDoutor em Filosofia[s.n.]Coniglio, Marcelo Esteban, 1963-Pereira, Luiz Carlos Pinheiro DiasSilva, Geiza Maria Hamazaki daErtola Biraben, Rodolfo CristianAlves, Daniel Durante PereiraUniversidade Estadual de Campinas (UNICAMP). Instituto de Filosofia e Ciências HumanasPrograma de Pós-Graduação em FilosofiaUNIVERSIDADE ESTADUAL DE CAMPINASSanz, Wagner de Campos20062006-07-28T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdf521p. : il.(Broch.)https://hdl.handle.net/20.500.12733/1603137SANZ, Wagner de Campos. Uma investigação acerca das regras para a negação e o absurdo em dedução natural. 2006. 521p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1603137. Acesso em: 27 fev. 2025.https://repositorio.unicamp.br/acervo/detalhe/372920porreponame: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-18T04:36:23Zoai::372920Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2017-02-18T04:36:23Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Uma investigação acerca das regras para a negação e o absurdo em dedução natural
title Uma investigação acerca das regras para a negação e o absurdo em dedução natural
spellingShingle Uma investigação acerca das regras para a negação e o absurdo em dedução natural
Sanz, Wagner de Campos
Lógica - Estudo e ensino
Teoria das demonstrações
Dedução natural
Negação (Lógica)
Deductive logic
Proof theory
Negation (Logic)
Deduction (Logic)
title_short Uma investigação acerca das regras para a negação e o absurdo em dedução natural
title_full Uma investigação acerca das regras para a negação e o absurdo em dedução natural
title_fullStr Uma investigação acerca das regras para a negação e o absurdo em dedução natural
title_full_unstemmed Uma investigação acerca das regras para a negação e o absurdo em dedução natural
title_sort Uma investigação acerca das regras para a negação e o absurdo em dedução natural
author Sanz, Wagner de Campos
author_facet Sanz, Wagner de Campos
author_role author
dc.contributor.none.fl_str_mv Coniglio, Marcelo Esteban, 1963-
Pereira, Luiz Carlos Pinheiro Dias
Silva, Geiza Maria Hamazaki da
Ertola Biraben, Rodolfo Cristian
Alves, Daniel Durante Pereira
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 Sanz, Wagner de Campos
dc.subject.por.fl_str_mv Lógica - Estudo e ensino
Teoria das demonstrações
Dedução natural
Negação (Lógica)
Deductive logic
Proof theory
Negation (Logic)
Deduction (Logic)
topic Lógica - Estudo e ensino
Teoria das demonstrações
Dedução natural
Negação (Lógica)
Deductive logic
Proof theory
Negation (Logic)
Deduction (Logic)
description Orientador: Marcelo Esteban Coniglio
publishDate 2006
dc.date.none.fl_str_mv 2006
2006-07-28T00: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 (Broch.)
https://hdl.handle.net/20.500.12733/1603137
SANZ, Wagner de Campos. Uma investigação acerca das regras para a negação e o absurdo em dedução natural. 2006. 521p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1603137. Acesso em: 27 fev. 2025.
identifier_str_mv (Broch.)
SANZ, Wagner de Campos. Uma investigação acerca das regras para a negação e o absurdo em dedução natural. 2006. 521p. Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1603137. Acesso em: 27 fev. 2025.
url https://hdl.handle.net/20.500.12733/1603137
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/372920
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
521p. : 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_ 1829137461729558528

Registros relacionados