Conteúdo Existencial nas Lógicas Aristotélica e Clássica

• Dias, Diogo Henrique Bispo ^[1]
  1. [1] Universidade Estadual do Norte do Paraná

     Universidade Estadual do Norte do Paraná

     Brasil

     
• Localización: Perspectiva Filosófica: PF, ISSN-e 2357-9986, ISSN 0104-6454, Vol. 47, Nº. Extra 2, 2020 (Ejemplar dedicado a: Número Especial sobre Filosofia da Lógica), págs. 93-112
• Idioma: portugués
• Títulos paralelos:
  • Existential content in aristotelian and classical logics
• Enlaces
  • Texto completo
• Resumen
  • English

    It is commonly said that Aristotelian logic is incompatible with classical lo-gic, and the reason for this is the way in which Aristotelian logic deals with the existential import of its propositions. According to the standard position, Aristotle assumes that all categorical propositions have existential import and, without such an assumption, Aristotelian logic would be inconsistent. The purpose of this article is to show, from an analysis of Aristotle's texts, that this thesis is false. We will argue that Aristotle recognized the possibility of categorical propositions with empty terms, and that this does not affect the internal consistency of Aristotelian logic. Finally, we will show that, even so, Aristotelian logic remains incompatible with classical logic.

  • português

    É comumente dito que a lógica aristotélica é incompatível com a lógica clássica, e o motivo para tal é o modo com o qual a lógica aristotélica lida com o conteúdo existencial de suas proposições. Segundo a posição padrão, Aristóteles pressupõe que todas as proposições categoriais têm conteúdo existencial e, sem tal pressuposto, a lógica aristotélica seria inconsistente. O objetivo deste artigo é mostrar, a partir da análise dos textos de Aristóteles, que esta tese é falsa. Argumentaremos que Aristóteles reconhecia a possibilidade de proposições categóricas com termos vazios, e que isso não afeta a consistência interna da lógica aristotélica. Por fim, mostraremos que, ainda assim, a lógica aristotélica continua sendo incompatível com a lógica clássica.