Argumentos Exuberantes e sua retificação
Palavras-chave:
Prova, Informação, Lógica ProposicionalResumo
“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
Edição
Seção
Licença
Os autores que publicam nesta revista concordam com os seguintes termos:
- Os autores mantêm os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Atribuição-SemDerivações 4.0 Internacional (CC BY-ND 4.0), que permite a redistribuição, comercial ou não comercial, desde que a obra original não seja modificada e que seja atribuído o crédito ao autor.
- Os autores têm autorização para assumir contratos adicionais separadamente para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
- Os autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).
