MODOS DA SILOGÍSTICA: PROVAS DE VALIDADE E INVALIDADE EM ARISTÓTELES

O presente trabalho visa expor os métodos de prova utilizados por Aristóteles na silogística. Por um lado, serão expostas as técnicas para provar silogismos válidos, isto é, as provas diretas e as indiretas. As provas diretas são reduções de silogismos imperfeitos a silogismos perfeitos (àqueles da primeira figura), através do uso de conversões de proposições e inversão da ordem em que aparecem as premissas. Já as provas indiretas se utilizam, ou de redução ao absurdo, ou da técnica conhecida por ekthesis (exposição). Por outro lado, também será explorada a refinada técnica de rejeição de candidatos a silogismos, isto é, a eliminação de silogismos inválidos a partir de contraexemplos.