II. Teoria dos Conjuntos - 2

10 Outubro 2019, 18:00 • António José Teiga Zilhão

Operações elementares sobre conjuntos: união, intersecção, complementação e complementação relativa. Exemplo de operações não elementares sobre conjuntos: a diferença ou complementação simétrica. Propriedades das operações sobre conjuntos - I.

II. Teoria dos Conjuntos - 1

9 Outubro 2019, 18:00 • António José Teiga Zilhão

Ontologia e conceitos fundamentais da Teoria dos Conjuntos: Conjuntos, objectos, relação de pertença entre objectos e conjuntos e versão conjuntista do princípio lógico do terceiro excluído. Axiomas da Extensionalidade, da Extracção, do Conjunto Vazio e da Potência. Relação de inclusão e suas propriedades. Subconjunto e subconjunto próprio. Conjunto-potência de um conjunto. 

I. Lógica Aristotélica - 7

7 Outubro 2019, 18:00 • António José Teiga Zilhão

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

I. Lógica Aristotélica - 6

3 Outubro 2019, 18:00 • António José Teiga Zilhão

A sistematização da arquitectura dedutiva da Lógica Aristotélica: Aristóteles, Pierre de la Ramée e Leibniz. Derivação leibniziana das regras da teoria da conversão a partir do princípio da identidade e das figuras do silogismo.

Falácias: algumas considerações acerca do conceito de falácia; tipologia breve de falácias.

I. Lógica Aristotélica - 5

2 Outubro 2019, 18:00 • António José Teiga Zilhão

Teoria do Silogismo II: 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; 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.