I. Lógica Aristotélica - 7

20 Outubro 2020, 15:30 • António José Teiga Zilhão

Sistematização da arquitectura dedutiva da Lógica Aristotélica por Leibniz: os 4 modos não redundantes da Iª figura tomados como axiomas; derivação dos modos válidos da IIª e da IIIª figuras dos modos válidos da Iª figura por reductio ad impossibile, i.e., usando apenas o princípio da não contradição como regra extra de inferência; derivação das regras da teoria da conversão de modos da IIª e da IIIª figuras tomando a "lei da identidade" (i.e., 'Todo a A é A') como regra extra de inferência; derivação dos modos válidos da IVª figura de modos das outras figuras e das regras da teoria da conversão. 

Falácias: algumas considerações acerca do conceito de falácia. Tipologia breve de falácias: falácias semânticas, sintácticas e mistas.