Sumários
A Semântica do Cálculo de Predicados
14 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Exercícios.
Formalizações e deduções com descrições definidas
12 Dezembro 2017, 18:00 • Ricardo Santos
Formalização de frases e de argumentos com descrições definidas. Descrições definidas e ambiguidades de âmbito. Exercícios de dedução natural com descrições definidas.
A Semântica do Cálculo de Predicados
12 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Interpretação de fórmulas do Cálculo de Predicados para provar a invalidade de argumentos.
A teoria russelliana das descrições definidas
11 Dezembro 2017, 18:00 • Ricardo Santos
A teoria das descrições definidas (Russell 1905). Nomes próprios na linguagem natural e na linguagem formal da lógica de predicados. Argumentos tradicionais contra a possibilidade de nomear o que não existe. Nomes próprios e descrições definidas. A formalização de frases com descrições definidas. Breve análise dos três problemas apontados por Russell 1905: a barba de Platão, a calvície do rei de França e o mistério do autor de Waverley.
Provar Invalidade
11 Dezembro 2017, 10:00 • Maria Adriana Sequeira da Silva Graça
Provar Invalidade no Cálculo de Predicados.