UNIVERSIDADE DE SO PAULO

FACULDADE DE FILOSOFIA, LETRAS E CINCIAS HUMANAS

DEPARTAMENTO DE FILOSOFIA

LGICA II
2 Semestre de 2017
Disciplina Optativa
Destinada: alunos de Filosofia e de outros departamentos
Cdigo: FLF0259
Pr-requisito: FLF0258
Profa. Dra. Edelcio Gonalves de Souza
Carga horria: 120h
Crditos: 06
Nmero mximo de alunos por turma: 80

TTULO: Introduo ao Clculo de Predicados

I OBJETIVO:
Familiarizar o aluno com os conceitos e tcnicas bsicas do Clculo de predicados com
Identidade e Smbolos Funcionais.

II CONTEDO
1) Do que se pode falar na linguagem do Clculo de Predicados: as Estruturas de
primeira Ordem
2) Duas tarefas bsicas da linguagem: nomeao e declarao.
3) Vocabulrio categorial e Interpretaes
4) Termos e suas extenses em interpretaes dadas
5) Frmulas atmicas e suas extenses em interpretaes dadas
6) Sentenas e Frmulas abertas
7) Definio de verdade de Tarski
8) Significado formal de sentenas e conjuntos-soluo de frmulas abertas
9) Expresso de universos e conjuntos finitos usando a identidade.
10) Os conceitos lgicos definidos por via semntica
11) De retorno sintaxe: os conceitos de deduo e prova.
12) Breve exposio dos principais resultados tericos referentes ao Clculo de
Predicados.
 UNIVERSIDADE DE SO PAULO
FACULDADE DE FILOSOFIA, LETRAS E CINCIAS HUMANAS
DEPARTAMENTO DE FILOSOFIA

III MTODOS UTILIZADOS

Aulas expositivas, listas de exerccios, correes das listas em monitorias e provas.

IV ATIVIDADES DISCENTES
Listas de exerccios.

V CRITRIOS DE AVALIAO
Provas

VI BIBLIOGRAFIA

Benson Mates. Lgica elementar. Companhia Editora Nacional. EDUSP. 1968.

Cezar A. Mortari. Introduo lgica. Editora UNESP. 2001.
Raymond M. Smullyan. Lgica de primeira ordem. Editora UNESP. Discurso Editorial.
2002.
Elliot Mendelson. Introduction to mathematical logic. Wadsworth & Brooks/Cole
Advanced Books & Software. Trird edition. 1987.
A. G. Hamilton. Logic for mathematicians. Cambridge University Press. Revised
edition. 1995.