Pons Asinorum para a Lógica Proposicional Clássica

• Sautter, Frank Thomas ^[1]
  1. [1] Universidade Federal de Santa Maria

     Universidade Federal de Santa Maria

     Brasil

     
• Localización: Principia: an international journal of epistemology, ISSN-e 1808-1711, Vol. 27, Nº. 2, 2023
• Idioma: portugués
• Títulos paralelos:
  • Pons Asinorum for Classical Propositional Logic
• Enlaces
  • Texto completo (pdf)
• Resumen
  • 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.