Sumários
IV. Lógica de Predicados - 1
20 Novembro 2025, 09:00 • António José Teiga Zilhão
1. Introdução à Lógica de Predicados
1.1. O carácter não congruente da Lógica Aristotélica e da Lógica Proposicional - a representação de inúmeras inferências válidas da Lógica Aristotélica como sequentes do Cálculo Proposicional origina sequentes inválidos do mesmo.
1.2. Análise fregeana da estrutura da proposição declarativa categórica.
1.2.1. Primitivos ontológicos: objectos e funções. A ideia de saturação - entidades saturadas (objectos) e entidades insaturadas (funções).
1.2.2. Conceitos vistos como funções cujos argumentos são objectos e cujos valores são valores de verdade; a extensão de um conceito vista como a classe de todos os argumentos que são por seu intermédio correlacionados com o valor de verdade Verdadeiro. Relações vistas como conceitos que necessitam de ser saturados por mais do que um argumento.
1.2.3. As proposições singulares, afirmativas e negativas, como expressão da saturação de conceitos por objectos.
1.2.4. Uso das conectivas proposicionais para dar conta do modo como podem obter-se conceitos complexos a partir de conceitos simples; universalidade e particularidade (i.e., quantificações universal e existencial) vistas como conceitos de segunda ordem que exprimem propriedades de conceitos de primeira ordem, a saber, e respectivamente, a propriedade de ser satisfeito por todos os objectos do domínio e a propriedade de não ser vazio.
1.3. A simbologia da Lógica de Predicados como modo de exprimir formalmente a análise fregeana.
1.4. O aumento de poder expressivo possibilitado pela análise fregeana e pela notação da Lógica de Predicados que a exprime: proposições relacionais e proposições de quantificação múltipla.
As quatro regras primitivas
19 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça
As quatro regras primitivas: Instanciação Universal, Instanciação Existencial, Generalização Universal e Generalização Existencial. As duas restrições básicas a GU e as duas restrições básicas a IE. Constantes e variáveis.
III. Lógica Proposicional - 7
18 Novembro 2025, 09:00 • António José Teiga Zilhão
Resolução de exercícios no âmbito do Cálculo Proposicional.
C. Predicados de 1ª Ordem
17 Novembro 2025, 13:00 • Maria Adriana Sequeira da Silva Graça
C. Predicados de 1ª Ordem: indivíduos e propriedades. Os quantificadores universal e existencial. Proposições gerais e singulares.