Lógica Clássica I (Guilherme Wyllie)

I. Disciplina: Lógica Clássica (2013/1)

II. Professor: Guilherme Wyllie

III. Horário: Segunda-feira (9h – 11h) e Quarta-feira (9h – 11h)

IV. Objetivos: Expor as noções fundamentais da lógica e familiarizar o estudante com a linguagem da lógica de primeira ordem a fim de habilitá-lo a realizar os procedimentos dedutivos mais básicos.

V. Programa:

Parte I: Noções fundamentais

1. Introdução

1.1. A lógica e seu objeto

1.1.1. A noção de inferência

1.1.1.1. A forma das inferências

1.1.2. A justificação de uma inferência

1.1.2.1. Verdade e validade

2. Conjuntos

2.1. Notação dos conjuntos

2.2. Relação de pertinência

2.3. Relações entre conjuntos

2.4. Tipos de conjuntos

2.5. Operações sobre conjuntos

2.6. Relações

2.7. Funções

Parte II: Lógica elementar

1. Cálculo quantificacional de primeira ordem

1.1. Linguagem

1.1.1. Sintaxe

1.1.2. Semântica

1.2. Dedução natural

1.2.1. Regras de inferência

1.2.2. Derivações

1.3. Validade

1.3.1. Validade e conseqüência lógica semântica

1.3.2. Validade e conseqüência lógica sintática

1.4. Metateoria

VI. Avaliação: O aluno será avaliado em 3 provas. A primeira valerá 2,0 pts e abrangerá o conteúdo da primeira parte do programa, ao passo que as restantes (valendo 4,0 pts cada uma) versarão sobre a matéria da segunda parte.

VII. Bibliografia básica em língua portuguesa:

A. Livro-texto:

MORTARI, C. Introdução à lógica. São Paulo: Edunesp, 2001.

B. Bibliografia complementar:

BRANQUINHO, J., MURCHO, D., GOMES, N. (ed.) Enciclopédia de termos lógico-filosóficos. São Paulo: Martins Fontes, 2006.

COPI, I. Introdução à lógica. Rio de Janeiro: Mestre Jou, 1981.

FEITOSA, H., PAULOVICH, L. Um prelúdio à lógica. São Paulo: Edunesp, 2005.

MATES, B. Lógica elementar. São Paulo: Edusp, 1968.

NEWTON-SMITH, W. Lógica: um curso introdutório. Lisboa: Gradiva, 1998.

NOLT, J., ROHATYN, D. Lógica. São Paulo: McGraw-Hill, 1991.

OLIVEIRA, A. J. Lógica e aritmética. Brasília: EdUnb, 2004.