Argumentos Exuberantes e sua retificação

Frank Thomas Sautter, Bruno Ramos Mendonça

Resumo


“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.


Palavras-chave


Prova; Informação; Lógica Proposicional

Texto completo:

PDF

Referências


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.




Direitos autorais 2015 Analytica. Revista de Filosofia

Licença Creative Commons
Esta obra está licenciada sob uma licença Creative Commons Atribuição - Compartilhar igual 4.0 Internacional.

ISSN 1414-3004, Qualis A2

Analytica. Revista de Filosofia é indexada pelo Philosopher's Index e pelo GeoDados.