Ser (algo) ou não ser: existência e predicação na lógica e na metafísica de Aristóteles

This paper offers a new interpretation of Aristotle’s logical system that allows us to break away from a presumably inescapable dilemma inherent to any attempt of justification from a strictly formal standpoint; namely, either the system stands apart from any standard system of mathematical logic — propositional logic, class theory, quantification theory, etc. — or it is lacking in consistency. While some other attempts have been made that seem to avoid this dilemma, they have always resulted in an intolerably strong restriction of the Semantics underpinning the Aristotelian system. These are, therefore, unsatisfactory solutions that undermine some of the key principles of Aristotelian metaphysics. One by-product of the solution presented here is a reappraisal of some elements in Aristotle’s theory of Being that breaks down several contemporary misconceptions on the subject. Key words: logic, Aristotle, justification, mathematical logic.Este artigo oferece uma nova interpretação do sistema lógico de Aristóteles que nos permite tomar distância de um dilema supostamente sem escapatória inerente a qualquer tentativa de justificação desde um ponto de partida estritamente formal; mais especificamente, ou o sistema se identifica com algum sistema lógico-matemático – lógica proposicional, teoria de classes, teoria da quantificação, etc. – ou é considerado inconsistente. Embora tenham sido feitas outras tentativas que parecem evitar este dilema, sempre resultaram numa restrição intoleravelmente forte à Semântica que dá sustentação ao sistema aristotélico. Estas são, consequentemente, soluções insatisfatórias que minam alguns princípios chaves da metafísica aristotélica. Uma das soluções propostas aqui é uma revalorização de alguns elementos da teoria aristotélica do Ser que derruba alguns mal-entendidos contemporâneos sobre o tema. Palavras-chave: lógica, Aristóteles, justificação, lógica matemática