Sumários
A lógica como teoria da consequência
19 Fevereiro 2026, 11:00 • Ricardo Santos
A lógica como teoria da consequência. Exemplos da relação de consequência. Alguns traços da noção intuitiva de consequência: preservação da verdade, formalidade e necessidade. Três abordagens à lógica: descritiva, normativa-revisionista e a lógica-como-modelo. As teorias lógicas como modelos matemáticos, com três componentes principais: uma linguagem formal (sintaxe), uma semântica e um sistema dedutivo. Breve revisão da lógica proposicional clássica.
A lógica clássica como paradigma do raciocínio correcto
12 Fevereiro 2026, 11:00 • Ricardo Santos
A lógica clássica como paradigma do
raciocínio correcto. Aplicações problemáticas da lógica clássica a assuntos
não-matemáticos. A vagueza e o paradoxo sorites. Argumentos estranhos com
condicionais indicativas. O argumento dos planetas. O paradoxo do mentiroso.
Apresentações pessoais e da disciplina
10 Fevereiro 2026, 11: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)
Dois testes escritos presenciais (30%+30%)
b)
Um trabalho escrito individual: ensaio argumentativo com até 3.000 palavras
sobre um tema previamente combinado (30%)
c) Participação
nas aulas (10%)
A avaliação final alternativa
(disponível para os estudantes que estejam nas condições previstas no
regulamento geral de avaliação) consiste na realização de um exame escrito com
a duração de duas horas.