LÓGICA SIMBÓLICA

LÓGICA SIMBÓLICA
DOCENTE RESPONSÁVEL:
Prof. Doutor Henrique Jales Ribeiro
MODO DE ENSINO:
Presencial
OBJETIVOS DA UNIDADE CURRICULAR E COMPETÊNCIAS A DESENVOLVER:
Os alunos devem ser capazes de:
1) descrever as propriedades específicas da lógica como sistema dedutivo;
2) dominar eficazmente as técnicas de formalização e de aplicação de esquemas de inferência na lógica das
proposições e na lógica dos predicados.
CONTEÚDOS PROGRAMÁTICOS:
A. Lógica das proposições
1. A lógica como cálculo e sistema dedutivo
2. Exemplos extra-lógicos de sistemas dedutivos
3. A ideia de uma lógica formal: as noções de inferência e de validade
4. Noções básicas de lógica proposicional:
4.1. O cálculo
4.2. Tábuas de verdade
5. A linguagem da lógica e a linguagem da vida corrente
6. Tautologias, contradições e expressões contingentes
7. Leis
B. Lógica dos Predicados
1. Distinção entre lógica das proposições e lógica dos predicados
2. Predicados e quantificadores
3. A lógica dos predicados de primeira-ordem
4. Leis da lógica dos predicados monádicos
5. Formalização.
MÉTODOS DE ENSINO:
1) Exposições teóricas e aplicadas por parte do professor (50%).
2) Construção e resolução sistemática de exercícios lógicos por parte dos alunos (50%).
3) Deveres de trabalho de casa.
MÉTODOS DE AVALIAÇÃO:
Dado o elevado número de alunos inscritos, não haverá avaliação contínua (i.é, testes para esse tipo de avaliação)
e todos serão sujeitos a EXAME FINAL.
BIBLIOGRAFIA:
Deaño, A. (1989). Introducción a la lógica formal. Madrid: Alianza Universidade Textos.
Garrido, M., Lógica simbólica. Madrid: Tecnos, 1974;
Hodges, W. (1977). Logic. London: Penguin Books.
Montaner, P., & Arnau, H. (1984). Teoria y prática de la lógica proposicional. Barcelona: Vicens-Vives.
Newton-Smith, W. H. (1998). Lógica: Um curso introdutório, trad. D. Murcho. Lisboa: Gradiva.
Salem, J. (1994). Introduction à la logique formelle et symbolique avec des exercices et leurs corrigés. Paris:
Nathan.
Suppes, P. (1973). Primer curso de lógica matemática. Barcelona: Reverté, 1973.
Tymoczko, U., & Henle, J. (1995). Sweet Reason: A Field Guide to Modern Logic. New York: Freeman and Company.