Sumários

Exercício de sintaxe

1 Outubro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Exercício de sintaxe no Cálculo Proposicional: A partir de que formas proposicionais podemos gerar fórmulas do cálculo? Determinação exaustiva destas formas para cada fórmula dada.

I. Lógica Aristotélica - 5

30 Setembro 2024, 13:00 • António José Teiga Zilhão

I.3. A Teoria do Silogismo - 2

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

I.3.6.1. Sintaxe

I.3.6.1.1. Regras de formação

I.3.6.1.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.1.2. Regras de inferência

I.3.6.1.2.1. Regras da conversão simples e da conversão per accidens;

I.3.6.1.2.2. As 4 regras do silogismo perfeito;

I.3.6.1.2.3. A regra da reductio ad impossibile.

I.3.6.1.3. Tipos de demonstração da silogística

I.3.6.1.3.1. Demonstração directa - definição

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

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

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.

As quatro primeiras Regras de Inferência

30 Setembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

As quatro primeiras Regras de Inferência: Modus Ponens (MP), Modus Tollens (MT), Silogismo Disjuntivo (SD) e Silogismo Hipotético (SH). Falácia da negação do antecedente. Distinção entre condição necessária (sine qua non) e condição suficiente: a condição necessária é o consequente da implicação; a suficiente é o seu antecedente. Tabelas de verdade para verificar a validade das regras de inferência (ou das formas argumentativas dedutivamente válidas). Representação de uma inferência por meio de uma única fórmula do cálculo que consiste numa implicação cujo antecedente é a conjunção das premissas e o consequente é a conclusão do argumento: a inferência é validade se e somente se esta fórmula é uma tautologia.

I. Lógica Aristotélica - 4

26 Setembro 2024, 13:00 • António José Teiga Zilhão

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

Tabelas de Verdade

26 Setembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Tabelas de Verdade: construção de tabelas de verdade para proposições moleculares complexas (que contêm até 4 variáveis proposicionais). Tautologias, contradições e proposições contingentes. Tabela de verdade como meio para testar a validade de inferências. Modus Ponens e falácia da afirmação do consequente de uma implicação - teste de, respectivamente, validade e invalidade por meio de tabelas de verdade.