Sumários
Aspectos criticáveis da lógica proposicional clássica
13 Fevereiro 2025, 09:00 • Ricardo Santos
Exercícios com árvores: testar a validade de
argumentos na lógica proposicional clássica. Encontrar e verificar
contra-modelos para inferências inválidas. Análise de três contra-exemplos à
teoria clássica da condicional material. Os paradoxos da condicional material.
A incapacidade de dar conta das condicionais contrafactuais. O princípio
clássico da 'explosão' (ou 'ex contradictione quodlibet').
Apresentações pessoais e da disciplina. A lógica proposicional clássica.
11 Fevereiro 2025, 09: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) Conjunto de mini-testes
de 15 minutos no decurso do semestre (30%)
b) Um teste escrito
presencial de 90 minutos (30%)
c) Ensaio final até 3.000
palavras sobre a questão de saber qual é a lógica correcta (30%)
d) Assiduidade e
participação (10%)
A lógica como teoria da consequência (que procura
responder à pergunta “O que se segue do quê?”). Três componentes de uma teoria
lógica: uma linguagem formal, uma semântica e um método lógico. A lógica
proposicional clássica. O método das árvores. As duas noções teóricas de
validade: consequência semântica e consequência sintáctica (´proof-theoretic').
Sanidade e completude de um método lógico. Contra-exemplos à lógica
proposicional clássica.