Resumen de Pons Asinorum para a Lógica Proposicional Clássica
- English
Contemporary Logic pays little or, even, no attention to the construction of arguments for a given conclusion, unlike what occurs in Aristotle's Prior Analytics. The procedure of Aristotle was later compiled in the form of a logical diagram known as the “Bridge of Asses” (Pons Asinorum). In this paper I propose a procedure for the construction of arguments for a given conclusion, in the context of Classical Propositional Logic, abstracted from Aristotle's procedure. I use the notion of semantic information as Ariadne's thread to obtain the procedure.
- português
A Lógica Contemporânea dá pouca ou, mesmo, nenhuma atenção à construção de argumentos para uma conclusão dada, diferentemente do que ocorre nos Analíticos Anteriores, de Aristóteles. O procedimento de Aristóteles foi, posteriormente, compilado sob a forma de um diagrama lógico conhecido como “Ponte de Asnos” (Pons Asinorum). Neste trabalho proponho um procedimento para a construção de argumentos para uma dada conclusão, no âmbito da Lógica Proposicional Clássica, abstraído do procedimento de Aristóteles. Utilizo a noção de informação semântica como fio de Ariadne para a obtenção do procedimento.
