II. Teoria dos Conjuntos - 3

29 Outubro 2020, 15:30 • António José Teiga Zilhão

Propriedades das operações sobre conjuntos - I.

II. Teoria dos Conjuntos - 2

27 Outubro 2020, 15:30 • António José Teiga Zilhão

Demonstração do modo como, a partir do axioma do conjunto vazio e do axioma da potência, se pode gerar uma infinidade de novos conjuntos de cardinalidade crescente. 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. Resolução de exercícios na Teoria dos Conjuntos.

II. Teoria dos Conjuntos - 1

23 Outubro 2020, 14: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. Noções de conjunto universo e de cardinal de um conjunto. Conjuntos finitos e conjuntos infinitos

I. Lógica Aristotélica - 8

22 Outubro 2020, 15:30 • António José Teiga Zilhão

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

I. Lógica Aristotélica - 7

20 Outubro 2020, 15:30 • António José Teiga Zilhão

Sistematização da arquitectura dedutiva da Lógica Aristotélica por Leibniz: os 4 modos não redundantes da Iª figura tomados como axiomas; derivação dos modos válidos da IIª e da IIIª figuras dos modos válidos da Iª figura por reductio ad impossibile, i.e., usando apenas o princípio da não contradição como regra extra de inferência; derivação das regras da teoria da conversão de modos da IIª e da IIIª figuras tomando a "lei da identidade" (i.e., 'Todo a A é A') como regra extra de inferência; derivação dos modos válidos da IVª figura de modos das outras figuras e das regras da teoria da conversão. 

Falácias: algumas considerações acerca do conceito de falácia. Tipologia breve de falácias: falácias semânticas, sintácticas e mistas.