Lógica II
Filosofia
(05/06)
Programa
Lógica das Frases, Lógica Predicativa Monádica e Lógica de Primeira Ordem
com Identidade
1.
O que é a lógica?
1.1.
Argumentos
1.2.
Forma lógica e validade
2.
Formalização do português
2.1.
Conectores frásicos
2.2.
Formalização de argumentos
2.3.
Sintaxe da linguagem formal
3.
A semântica da lógica frásica
3.1.
Tabelas de verdade
3.2.
Classificação de fórmulas
3.3.
Métodos de teste da validade
4.
Dedução natural em lógica frásica
4.1.
Noção de demonstração
4.2.
Regras de dedução natural para cada um dos conectores frásicos
4.3. Sequentes e Teoremas
5.
Predicação e quantificação
5.1.
Quantificador existencial
5.2.
Quantificador universal
6. Validade e demonstração em lógica predicativa monádica
7. Formalizações avançadas
Forbes, Graeme (1994), Modern Logic:
a text in elementary symbolic logic, (EUA: OUP).
Bibliografia de apoio:
Sàágua, João (2001), Lógica para as
Humanidades, (Lisboa: Colibri).
Newton-Smith, W. H. (1998), Lógica um
Curso Introdutório, (Lisboa: Gradiva).
Branquinho, J.; Murcho, D. (2001), Enciclopédia
de Termos Lógico-Filosóficos, (Lx: Gradiva).
Nota: durante o semestre, o docente sugere exercícios para resolução sob a
forma de folhas de exercícios.
As aulas funcionam em regime teórico-prático. Na parte teórica das aulas, o docente expõe os conteúdos teóricos do programa da cadeira, sendo resolvidos exercícios exemplificativos. Na parte prática das aulas, os alunos são encorajados à resolução de alguns dos exercícios das folhas práticas sob orientação do docente.