Sumários
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.
A identidade como predicado lógico
6 Dezembro 2018, 18:00 • Ricardo Santos
Sentidos do verbo ‘ser’ – predicativo, existencial e identitativo – e sua representação na linguagem da lógica de predicados. Problemas filosóficos em torno dos conceitos de predicação, de existência e de identidade. Identidade entendida como identidade numérica – ser a mesma coisa. A identidade como predicado lógico, representado pelos símbolos = e ¹, cuja extensão é constante em todas as interpretações: uma relação que cada objecto do domínio tem consigo mesmo e só consigo mesmo. Formalizações com identidade.
Interpretações e contramodelos com predicados de n lugares
4 Dezembro 2018, 18:00 • Ricardo Santos
Interpretações para fórmulas com predicados de n lugares. Contramodelos para formas de argumento com predicados de n lugares. Trabalhar com pares (e triplos, etc.) ordenados de objectos do domínio. Mais exercícios de formalizações.
Formalizações e deduções na lógica de predicados
3 Dezembro 2018, 18:00 • Ricardo Santos
Exercícios de formalização e de dedução natural na lógica de predicados.
Predicados de n lugares
29 Novembro 2018, 18:00 • Ricardo Santos
Enriquecimento da linguagem formal com predicados de dois ou mais lugares. A expressão de relações. Formalização de frases com quantificação múltipla.