[8.11.2021] - Reductio ad Absurdum

14 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

Demonstração por redução ao absurdo.

I. Lógica Aristotélica - 2

11 Outubro 2021, 14:00 • António José Teiga Zilhão

3. A Teoria do Silogismo 

3.1. A inferência silogística

Definições e regras de formação; figuras e modos dos silogismos; regras de inferência silogística; silogismos válidos e silogismos inválidos; silogismos válidos úteis e silogismos válidos redundantes; silogismos simples e silogismos complexos.

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

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. Codificação desta estrutura dedutiva na nomenclatura dos modos dos silogismos introduzida pelos lógicos medievais.

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

[4.11.2021] - Demonstração Condicional

11 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

Demonstração condicional.

I. Lógica Aristotélica - 1

7 Outubro 2021, 14:00 • António José Teiga Zilhão

1. A Teoria Aristotélica da Proposição Declarativa Categórica. 

A estrutura interna da proposição declarativa categórica: a relação predicativa - termos, cópula e negação da relação; lugares para termos; termos singulares e termos gerais; proposições singulares e proposições gerais; qualidade e quantidade nas proposições gerais; o conceito de distribuição de um termo geral no âmbito de uma proposição; relação entre a distribuição dos termos numa proposição e a quantidade e a qualidade das mesmas. 

2. As teorias inferenciais elementares da Lógica Aristotélica

2.1. Quadrado da Oposição 

2.2. Teoria da Conversão 

2.3. Teoria da Obversão

2.4. Teoria da Contraposição.

[28.10.2021] - Regras de Equivalência

7 Outubro 2021, 08:00 • Maria Adriana Sequeira da Silva Graça

As Regras de Equivalência do Cálculo Proposicional: