I. Lógica Aristotélica - 6

16 Outubro 2020, 14:00 • António José Teiga Zilhão

Teoria do Silogismo II: métodos de validação silogística - distinção entre os modos da Iª figura, tomados como axiomaticamente válidos, e os modos das outras figuras, tomados como teoremas; derivação destes últimos dos modos da Iª figura usando a teoria da conversão e o método da reductio ad impossibile como regras de inferência. Codificação desta estrutura dedutiva na nomenclatura dos modos dos silogismos introduzida pelos lógicos medievais.