Sumários
Formalizações e deduções com descrições definidas
13 Dezembro 2018, 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.
Provar invalidade
13 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Provar invalidade - exercícios.
Descrições definidas.
11 Dezembro 2018, 18:00 • Ricardo Santos
A distinção entre nomes próprios e descrições definidas. Designadores com referente único, designadores com múltiplos referentes e designadores vazios (sem referente). 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. 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.
Aula a ser substituída
11 Dezembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Aula a ser substituída
Eliminação e introdução da identidade. Quantificadores numéricos.
10 Dezembro 2018, 18:00 • Ricardo Santos
Formalizações na linguagem da lógica de predicados com identidade. Dedução natural: as regras de eliminação da identidade e de introdução da identidade. Exemplos de deduções com estas regras. O uso do predicado de identidade para expressar afirmações de carácter numérico (‘pelo menos um’, ‘no máximo um’, ‘exactamente um’, ‘pelo menos dois’, etc.). A possibilidade de definir quantificadores numéricos.