Sumários
AULA CANCELADA
20 Setembro 2018, 10:00 • Ricardo Santos
Por causa das cerimónias de abertura do ano académico, o director decretou que não haveria aulas na FLUL durante a tarde.
Introdução ao Cálculo Proposicional
18 Setembro 2018, 18:00 • Maria Adriana Sequeira da Silva Graça
Distinção entre validade e verdade.
A Lógica como Teoria da Consequência
18 Setembro 2018, 10:00 • Ricardo Santos
Caracterização intuitiva da relação de consequência lógica. Análise e discussão de exemplos de consequência e da sua ausência. A noção de proposição: o conteúdo das asserções, das crenças e dos pensamentos, que pode ser verdadeiro ou falso. As proposições como aquilo que a consequência relaciona. Os argumentos como sequências de proposições: premissas e conclusão. Argumento válido como aquele cuja conclusão é uma consequência lógica das premissas. Caracterização modal da consequência lógica, ou da validade: se as premissas fossem todas verdadeiras, a conclusão teria de ser verdadeira também. A validade depende apenas da forma lógica dos argumentos. A metodologia da Lógica (semelhante à usada noutros domínios científicos): construção de um modelo que representa o fenómeno a estudar. As linguagens formais e os métodos lógicos como modelos explicativos.
Apresentação
17 Setembro 2018, 18:00 • Maria Adriana Sequeira da Silva Graça
Apresentação do programa e da bibliografia da cadeira.
Apresentações pessoais e da disciplina
17 Setembro 2018, 10: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 e regras de avaliação são os seguintes:
Avaliação do Semestre: Três testes escritos presenciais, com a duração de 75 minutos. A classificação final é a média das classificações obtidas nos testes.
Exame Final: Os estudantes que não efectuarem a avaliação do semestre, ou que tenham nela uma classificação negativa, podem ainda realizar um exame final, em Janeiro, com a duração de 120 minutos.