Sumários
Motivação para as quatro regras primitivas adicionais
20 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
O problema da Implicação Existencial.
Interpretações e contramodelos na lógica de predicados
19 Novembro 2018, 18:00 • Ricardo Santos
Avaliação de fórmulas complexas em interpretações dadas. As noções de verdade-numa-interpretação e falsidade-numa-interpretação. Construção de interpretações para fórmulas dadas. A demonstração da invalidade de formas argumentativas pela construção de contra-modelos (i.e., interpretações nas quais as premissas são verdadeiras, mas a conclusão é falsa).
Negação de fórmulas quantificadas
19 Novembro 2018, 10:00 • Maria Adriana Sequeira da Silva Graça
Negação de fórmulas quantificadas. Compatibilidade entre os resultados da lógica contemporânea e da lógica aristotélica a este propósito.
Interpretações da linguagem da lógica de predicados
15 Novembro 2018, 18:00 • Ricardo Santos
Interpretações da linguagem da lógica de predicados. Os elementos essenciais de uma interpretação: um domínio de objectos; as referências dos nomes; as extensões dos predicados. Esclarecimentos: o domínio não pode ser vazio; cada nome refere um único objecto (não há ‘nomes vazios’, mas pode haver objectos com mais do que um nome); a extensão de um predicado de dois (ou três) lugares é um conjunto de pares (ou de triplos) ordenados. Instâncias de uma quantificação universal e instâncias de uma quantificação existencial. A necessidade de garantir que todos os objectos (do domínio de uma interpretação) têm (pelo menos) um nome. As condições de verdade de uma quantificação universal e de uma quantificação existencial.