Sumários

Conectivas Proposicionais / Funções de Verdade

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

As cinco conectivas proposicionais: negação, conjunção, disjunção, implicação e equivalência. Tabelas "Wittgenstein".

Funções de verdade.
Disjunção lógica -- inclusiva -- e disjunção exclusiva.
Os paradoxos da implicação material. 
Tabelas de verdade com duas variáveis proposicionais. Significado de uma tabela de verdade. 
Tautologias e contradições.

I. Lógica Aristotélica - 3

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

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

I.2.4. Teoria da Contraposição. 

I.3. Teoria do Silogismo - 1

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

I.3.2. As 4 figuras e os 256 modos; 

I.3.3. Modos válidos e modos inválidos;

I.3.4. Regras de validação.

Conceitos básicos

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

Argumentos e formas argumentativas.
Proposições atómicas e moleculares.
A linguagem do Cálculo Proposicional.

I. Lógica Aristotélica - 2

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

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

I.2.1. Doutrina do Quadrado da Oposição. 

I.2.2. Teoria da Conversão

I.2.3. Teoria da Obversão. 

Apresentação

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

Apresentação da disciplina e definição do objecto da Lógica. Contraste entre dedução, indução e inferência para a melhor explicação. Verdade e validade.


Avaliação: dois testes obrigatórios presenciais a 3 de Novembro e a 5 de Janeiro.