A Prova por Redução ao Absurdo na Lógica Clássica

Autores

  • Maria da Paz Nunes de Medeiros

Resumo

 

Embora a logica seja, de urn modo geraJ, concebida como um ramo da filosofia, suas aplic~oes via muito alemdos limites de qualquer disciplina isoladamente considerada (SALMON, 1993). Seu papel principal efomecer meios para determinar a rel~o de consequencia que vige entre as premissas e a conclusao de urn dado argumento. Dentre as tecnicas utilizadas que possibihtarn garantir esta rel~o destaca-se a tecnica por redu¢oao absurdo por ser amplamente aplicada nas cienciasdesde aantiguidade. Suaideiabasics residenofatodequeumaproposi~ nio pode ser verdadeira se dela deduzimos umacontradi~o. Pretende-se, entio, apresentar a estrutura logica de tal teeniea de demonstracao a partir de urn dado sistema formal da logica classica.

Downloads

Não há dados estatísticos.

Downloads

Publicado

06-10-2010

Como Citar

MEDEIROS, M. da P. N. de. A Prova por Redução ao Absurdo na Lógica Clássica. Princípios: Revista de Filosofia (UFRN), [S. l.], v. 2, n. 02, p. 120–125, 2010. Disponível em: https://periodicos.ufrn.br/principios/article/view/740. Acesso em: 7 nov. 2024.