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

AUTOR(ES)

Wagner de Campos Sanz

DATA DE PUBLICAÇÃO

2006

RESUMO

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 natural

ASSUNTO(S)

dedução natural deduction (logic) teoria das demonstrações negation (logic) negação (logica) logica proof theory deductive logic

Documentos Relacionados

• Intuição e dedução nas regras para a direção do espirito
• A GENERAL APPROACH TO QUANTIFIERS IN NATURAL DEDUCTION
• Uma discussão acerca das regras eleitorais do sistema político brasileiro e dos incentivos aos comportamento parlamentar
• Sistemas de lógica modal em dedução natural
• Uma investigação acerca das práticas docentes no ensino superior de matemática envolvendo o uso de softwares educacionais