Sumários
II. Teoria dos Conjuntos - 1
28 Setembro 2023, 09:30 • 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 e definições da Teoria dos Conjuntos: 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), Axioma da Extracção e Axioma do Conjunto Vazio. Definições de conjunto vazio, conjunto singular e conjunto universo.
I. Lógica Aristotélica - 7
26 Setembro 2023, 09:30 • António José Teiga Zilhão
I.3. Teoria do Silogismo - 2
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.
I.4. Falácias
Apresentação
25 Setembro 2023, 14:00 • Maria Adriana Sequeira da Silva Graça
Apresentação do programa e da bibliografia da disciplina.
I. Lógica Aristotélica - 6
25 Setembro 2023, 09:30 • António José Teiga Zilhão