I. Lógica Aristotélica - 5

26 Setembro 2022, 09:30 • António José Teiga Zilhão

I.3.5. Silogismos simples e silogismos complexos. Exemplos de silogismos complexos.

I.3.6. Métodos de validação silogística 

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

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

Verdade vs. Validade

22 Setembro 2022, 12:30 • Maria Adriana Sequeira da Silva Graça

Exercício focado na identificação de possíveis formas lógicas por detrás de fórmulas do C. Proposicional.

I. Lógica Aristotélica - 4

22 Setembro 2022, 09:30 • António José Teiga Zilhão

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

Tabelas de Verdade

20 Setembro 2022, 14:00 • Maria Adriana Sequeira da Silva Graça

Consolidação dos conhecimentos adquiridos.

I. Lógica Aristotélica - 3

20 Setembro 2022, 09:30 • António José Teiga Zilhão

I. 2. Inferências elementares no âmbito da Lógica Aristotélica

I.2.3. Obversão

I.2.4. Contraposição.

I.3. A Silogística

I.3.1. Definições e regras de formação dos silogismos; 

I.3.2. Figuras e modos dos silogismos; 

I.3.3. Regras de inferência silogística; 

I.3.4. Silogismos válidos e silogismos inválidos;