Sumários

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

I.4.1. Falácias semânticas;

I.4.2. Falácias sintácticas;

I.4.3. Falácias mistas (sintácticas e semânticas).

Regras de inferência: SD e SH

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

Regras de inferência: SD e SH - estudo das regras Silogismo Disjuntivo e Silogismo Hipotético.

Realização de demonstrações no Cálculo Proposicional usando apenas as quatro regras estudadas.

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.

Regras de Inferência: MP e MT

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

Regras de inferência: formas argumentativas dedutivamente válidas.

Modus Ponens (MP) e Modus Tollens (MT).

Falácias da negação do antecedente e da afirmação do consequente.

A inferência vista como uma implicação lógica.

I. Lógica Aristotélica - 5

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

I.3. Teoria do Silogismo - 2

I.3.5. Demonstração de que qualquer silogismo válido da IIª Figura tem que ter uma conclusão negativa.

I.3.6. Demonstração de que qualquer silogismo válido da IIIª Figura tem que ter uma conclusão particular.

I.3.7. Silogismos complexos..