II. Teoria dos Conjuntos - 1

7 Outubro 2024, 13:00 • António José Teiga Zilhão

II. 1. Ontologia da Teoria dos Conjuntos: conjuntos e objectos. Conceitos fundamentais da Teoria dos Conjuntos: a relação de pertença (que obtém entre um objecto e o conjunto do qual esse objecto é um elemento); a versão conjuntista do princípio lógico do terceiro excluído; definições extensional e intensional de um conjunto. 

II.2. Axiomas da Teoria dos Conjuntos: 1. Axioma da Extensionalidade (e princípios dele decorrentes como o Princípio da Irrelevância da Ordem e o Princípio da Irrelevância da Repetição); 2. Axioma da Extracção; 3. Axioma do Conjunto Vazio. 

II.3. Definições da Teoria dos Conjuntos: definições de conjunto vazio, conjunto singular e conjunto universo.

---

Derivações

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

Demonstrações no Cálculo Proposicional usando as 4 primeiras regras de inferência.

---

I. Lógica Aristotélica - 7

3 Outubro 2024, 13:00 • António José Teiga Zilhão

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

---

Traduções

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

Tradução de enunciados da linguagem corrente para a linguagem do Cálculo Proposicional.

---

I. Lógica Aristotélica - 6

1 Outubro 2024, 13:00 • António José Teiga Zilhão

I.3. Teoria do Silogismo - 3

I.3.7. A sistematização leibniziana da arquitectura dedutiva da Lógica Aristotélica.

I.4. Falácias

---