Sumários

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

9 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Tradução de frases da linguagem corrente no C. Predicados de 1ª ordem: 

Tradução standard dos seguintes tipos de proposições: universal afirmativa, universal negativa, particular afirmativa e particular negativa.
Unidade semântica do cálculo: a proposição.
Início do estudo da Lógica Aristotélica: Tipos de proposições e Quadrado da Oposição.
Relações de contrariedade, sub-contrariedade e contraditoriedade.


 

Formalização na linguagem da lógica de predicados

7 Novembro 2017, 18:00 • Ricardo Santos

Exercícios de formalização na linguagem da lógica de predicados, com quantificação e predicados de um e de dois lugares. O estabelecimento de um ‘dicionário’ e o processo de análise lógica de frases complexas da linguagem natural. Exercícios de leitura de fórmulas e de ‘retroversão’.

Sintaxe do C. Predicados.

7 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Quantificadores. O quantificador universal e o quantificador existencial

Âmbito de um quantificador.
Constantes individuais.
Variáveis livres e ligadas.
Funções proposicionais.

A quantificação com predicados diádicos

6 Novembro 2017, 18:00 • Ricardo Santos

Recapitulação dos aspectos essenciais da linguagem da lógica de predicados. Os predicados diádicos ou de dois lugares (que expressam relações, em vez de propriedades). As relações têm uma direcção (‘Rab’ é diferente de ‘Rba’) e podem ser reflexivas (caso em que temos ‘Raa’ e ‘Rbb’). A quantificação com predicados de dois lugares. A subordinação de quantificadores: diferença entre 'Para todo o x existe um y tal que' e 'Existe um y tal que para todo o x'.

Início do Estudo do C. Predicados de 1ª ordem

6 Novembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça

Início do Estudo do C. Predicados de 1ª ordem.

Indivíduos e propriedades.
A sintaxe do Cálculo.