Veritas (Jan 2020)
Os métodos de prova nos Primeiros Analíticos de Aristóteles e sua natureza normativa = The proof methods in Aristotle’s Prior Analytics and its normative nature = Los métodos de prueba en las Primeras Analíticas de Aristóteles y su naturaleza normativa
Abstract
Este artigo se divide em dois passos. O primeiro passo tem dois objetivos. O primeiro objetivo é apresentar três métodos de prova presentes nos Primeiros Analíticos de Aristóteles: o direto, reductio ad impossibile e ekthesis, além disso, um método de contraprova. O segundo objetivo é fornecer uma notação e esquemas de dedução familiares à lógica contemporânea, de fácil acesso, compreensão e relativamente neutras a interpretações com o objetivo de demonstrar que a silogística preserva interessantes ferramentas de dedução e questões intuitivamente férteis para investigação filosófica hodierna, em especial, àqueles que desejam compreender leituras filosóficas da lógica de Aristóteles como as presentes em Łukasiewicz (1957) e Corcoran (2009). O segundo passo tem o objetivo de fornecer uma interpretação normativa para a silogística aristotélica. Tenho como argumento em favor desta leitura, o modo como os percursos de dedução descritos nos métodos podem ser lidos como autorizações, compromissos e incompatibilidades nas inferências, por sua vez, orientados por princípios lógicos e pelo valor dos componentes do silogismo. Concluo, portanto, que o silogismo tem o papel de explicitar e demonstrar o raciocínio em vista de certas normas
