Sumários

L. Aristotélica

10 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

Teoria do Silogismo.

III. Lógica Proposicional - 3

10 Novembro 2025, 09:00 • António José Teiga Zilhão

2. Álgebra das Proposições

2.8.3. Método sintáctico de resolução do Problema da Decisão.
2.8.3.1. Conceito de Forma Normal de uma qualquer fórmula da Álgebra das Proposições.
2.8.3.2. Recondução de fórmulas da álgebra das proposições às suas Formas Normais Conjuntiva e Disjuntiva.
2.8.3.3. O Teorema T - enunciado e demonstração.
2.8.3.4. O Critério T - enunciado e demonstração. 
2.8.3.5. Exemplos de aplicação do critério T à forma normal conjuntiva de fórmulas da álgebra das proposições como método sintáctico de resolver o problema da decisão.
2.8.4. O Critério Sigma.

L. Aristotélica

6 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

O problema da implicação existencial. Teoria da Conversão.

Seminário História e Filosofia das Ciências

6 Novembro 2025, 09:00 • António José Teiga Zilhão


Conferência: Fronteiras da Consciência

Lógica Aristotélica

5 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça

Introdução ao estudo da Lógica Aristotélica.

Os quatro tipos de proposição predicativa categórica. O quadrado da oposição.