I. Lógica Aristotélica - 8

2 Outubro 2025, 09:00 • António José Teiga Zilhão

Resolução de exercícios no âmbito da Lógica Aristotélica.

---

Regras de inferência: Adição e Dilema Construtivo

1 Outubro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

---

I. Lógica Aristotélica - 7

30 Setembro 2025, 09:00 • António José Teiga Zilhão

I.3. Teoria do Silogismo - 4

I.3.7. A sistematização leibniziana da arquitectura dedutiva da Lógica Aristotélica

I.3.7.1. A lei da identidade e a lei da não contradição como os princípios lógicos básicos;

I.3.7.2. Validade axiomática dos modos válidos da Iª Figura (os silogismos perfeitos);

I.3.7.3. Demonstração da validade dos silogismos imperfeitos pelo método indirecto (reductio ad impossibile);

I.3.7.4. Demonstração da validade das regras da teoria da conversão à custa da silogística e da lei da identidade.

I.4. Falácias

---

Regras de Inferência: SD e SH

29 Setembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

---

I. Lógica Aristotélica - 6

29 Setembro 2025, 09:00 • António José Teiga Zilhão

I.3. A Teoria do Silogismo - 3

I.3.6. A Silogística como um sistema dedutivo

I.3.6.1. A apresentação da silogística como um sistema dedutivo por Aristóteles:

I.3.6.1.1. Demonstração da validade dos silogismos imperfeitos pelo método da recondução à Iª Figura;

I.3.6.1.2. Demonstração da validade dos silogismos imperfeitos pelo método da reductio ad impossibile

I.3.6.2. A apresentação moderna da silogística como um sistema dedutivo completo e consistente:

I.3.6.2.1. Vocabulário

I.3.6.2.2. Sintaxe 

I.3.6.2.2.1. Regras de formação

I.3.6.2.2.1.1. Qualquer concatenação de 2 termos obtida de acordo com os 4 esquemas proposicionais presentes no quadrado da oposição é uma fórmula bem formada da silogística.

I.3.6.2.2.2. Regras de inferência

I.3.6.2.2.2.1. Regras da conversão simples e da conversão per accidens (C1, C2, C3); 

I.3.6.2.2.2.2. As 4 regras do silogismo perfeito (S1, S2, S3, S4); 

I.3.6.2.1.2.3. A regra da reductio ad impossibile.

I.3.6.2.2.3. Tipos de demonstração

I.3.6.2.2.3.1. Demonstração directa - definição;

I.3.6.2.2.3.2. Demonstração indirecta - definição.

I.3.6.2.2.3.3. Exemplos de demonstrações directas e indirectas da validade de diferentes silogismos imperfeitos. 

I.3.6.3.Codificação da estrutura dedutiva descrita em I.3.6.1. na nomenclatura dos modos dos silogismos válidos introduzida pelos lógicos medievais.  

---