rio da Educac

Ministe ao
Universidade Federal do Rio Grande do Norte
Centro de Ciencias Humanas, Letras e Artes
Departamento de Filosofia
1o semestre de 2017

FIL0103 Logica

Professor: Samir Gorsky

Carga horaria: 60hs
Creditos: 4

1 Ementa

Estudo dos elementos de logica proposicional, logica de primeira ordem, teoria de conjuntos
e sistemas formais de acordo com os seguintes topicos:

Conceitos basicos de logica.

Nocoes de sistemas formais.

Sintaxe e semantica da logica classica (proposicional e predicados).

Metodos de prova dos sistemas logicos.

2 Objetivos

Fornecer aos alunos um conhecimento tecnico e introdutorio da logica classica proposicional,

bem como de seus usos e limites.

3 Conde
udo

1. Sistemas Formais, argumentos validos e argumentos corretos.

2. Logica Proposicional Classica.
3. Traducao e Formalizacao.
4. Tabelas de Verdade.

1
 5. Valoracoes.
6. Provas proposicionais.
7. Tableaux.
8. Calculo de Predicados de Primeira Ordem.
9. Nocoes de teoria de conjuntos
10. Logica Silogstica Aristotelica.

4 Compet
encias e habilidades

Reconhecer e avaliar a validade de argumentos.

Compreender o conceito de sistema formal.
Aplicar corretamente as tecnicas de avaliacao de argumentos referentes ao silogismo, a` logica
proposicional e a` logica de primeira ordem.

5 Metodologia

Aulas expositivas com resolucao de exerccios, levantamento de problemas filosoficos rela-

cionados aos conceitos estudados e analise de argumentos e sentencas da linguagem natural
e da linguagem formal. O curso tem por objetivo examinar as nocoes mais elementares da
logica simbolica, como as funcoes proposicionais, predicados, quantificacao, funcao de verdade,
verdade logica, modelo, linguagem formal e metodos de prova. Tratar-se-a tambem de levantar
a questao do alcance e limites da aplicacao de tais nocoes na resolucao de diversos problemas.

6 Avaliac
ao

A avaliacao consistira de tres provas.

06/03/2017 primeira prova (primeira unidade)
24/04/2017 segunda prova (segunda unidade)
19/06/2017 Terceira prova (terceira unidade)
26/06/2017 Quarta prova (Reposicao)

2
Refer
encias

[Cop68] Irving M. Copi. Introducao `a Logica. Editora Mestre Jou, 1968. Traducao: Alvaro
Cabral.

[Men97] Elliott Mendelson. Introduction to Mathematical Logic. Chapman & Hall, London,
Weinheim, New York, Tokio, Melburn, Madras, 1997.

[Mor01] C.A. Mortari. Introducao `a logica. UNESP, 2001.

[Ros50] Paul Rosenbloom. The Elements of Mathematical Logic. Dover Publications, Inc.,
New York, 1950.

[Sho73] Joseph R. Shoenfield. Mathematical Logic. Addison-Wesley, Massachusetts, 1973.