Argumentos Exuberantes e sua retificação

Autores

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

Palavras-chave:

Prova, Informação, Lógica Proposicional

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.

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.

Downloads

Publicado

22-12-2015