Lógica Simbólica

Ano
0
Ano lectivo
2017-2018
Código
01013385
Área Científica
Filosofia
Língua de Ensino
Português
Modo de Ensino
Presencial
Duração
Semestral
Créditos ECTS
6.0
Tipo
Opcional
Nível
1º Ciclo - Licenciatura

Conhecimentos de Base Recomendados

NA

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 (50%).

3) Deveres de trabalho de casa.

Resultados de Aprendizagem

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.

Estágio(s)

Não

Programa

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.

Docente(s) responsável(eis)

Alexander Kovacec

Métodos de Avaliação

Avaliação contínua
Avaliação ao longo do semestre, sendo a soma dos restantes itens igualmente: 100.0%

Avaliação final
Exame: 100.0%

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 University.

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.