Sumários

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..

Tabelas de Verdade

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

Tabelas de verdade com três e quatro variáveis proposicionais.

Forma(s) lógica de fórmulas do C. Proposicional.

As letras esquemáticas.

I. Lógica Aristotélica - 4

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

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