Sumários
Breve revisão da lógica proposicional clássica (1)
20 Setembro 2018, 12:00 • Ricardo Santos
Análise e discussão do contra-exemplo ao modus ponens de McGee.
Breve apresentação da linguagem da Lógica Proposicional clássica (LP): os símbolos e as regras sintácticas. Símbolos primitivos e definidos. Convenções sobre o uso dos parêntesis. O carácter recursivo das regras. Exercícios simples de formalização.
Apresentações pessoais e da disciplina
17 Setembro 2018, 12:00 • Ricardo Santos
Apresentações pessoais. Apresentação dos objectivos da disciplina, do programa de conteúdos, da bibliografia, da metodologia e dos elementos e regras de avaliação.
Os elementos de avaliação são os seguintes:
a) Aulas: assiduidade, pontualidade, preparação dos textos indicados, atitude de trabalho e participação na resolução dos exercícios e na discussão das questões propostas (20%)
b) Dois testes escritos presenciais (25%+25%)
c) Um trabalho escrito individual: ensaio argumentativo de 5 páginas sobre um tema previamente combinado (30%)