Argumentos Exuberantes e sua retificação

Authors

  • Frank Thomas Sautter UFSM
  • Bruno Ramos Mendonça Unicamp

Keywords:

Prova, Informação, Lógica Proposicional

Abstract

“Argumento exuberante” é qualquer argumento dedutivamente válido tal que ele se mantém dedutivamente válido se enfraquecemos ou eliminamos uma ou mais premissas. “Retificação de um argumento exuberante” é qualquer procedimento que enfraquece ou elimina uma ou mais de suas premissas e, ao mesmo tempo, preserva sua validade dedutiva. Propomos dois procedimentos de retificação de argumentos exuberantes da Lógica Proposicional Clássica que, em geral, não descaracterizam esses argumentos exuberantes.

Downloads

Download data is not yet available.

References

CHURCH, A. 1956. Introduction to Mathematical Logic. Volume 1. Princeton: Princeton University Press.

LASSALLE CASANAVE, A.; VAZ, B.; SCHULTZ, S. 2009. Diagramas e provas. Dois Pontos, Curitiba, São Carlos, v. 6, n. 2, pp. 13-25, outubro.

QUINE, W. van O. 1959. On cores and prime implicants of truth functions. American Mathematical Monthly, Washington, v. 66, n. 9, pp. 755-760, November.

SAUTTER, F.T. 2012. A dinâmica da argumentação sob uma perspectiva lógica. Dissertatio, Pelotas, v. 35, pp. 195-207, inverno.

SAUTTER, F.T. 2013. Un tema de Hilbert y Ackermann: formas normales para la prueba de validez. In: ESQUISABEL, O.M.; SAUTTER, F.T. (orgs.) Conocimiento simbólico y conocimiento gráfico. História y teoría, Ciudad Autónoma de Buenos Aires: Academia Nacional de Ciencias de Buenos Aires.

SAUTTER, F.T.; SANZ, W. de C. 2013. Teorias axiomáticas: o problema da ampliação da base. Fundamento: Revista de Pesquisa em Filosofia, Ouro Preto, n. 6, pp. 11-21, janeiro-junho.

WANG, H. 1996. A Logical Journey: From G¶del to Philosophy. Cambridge, London: The MIT Press.

Published

2015-12-22

How to Cite

SAUTTER, Frank Thomas; MENDONÇA, Bruno Ramos. Argumentos Exuberantes e sua retificação. Analytica - Revista de Filosofia, [S. l.], v. 18, n. 2, p. 109–121, 2015. Disponível em: https://revistas.ufrj.br/index.php/analytica/article/view/2739. Acesso em: 27 dec. 2025.