Universidade de So Paulo

Faculdade de Filosofia, Letras e Cincias Humanas

Departamento de Filosofia
_______________________________________________________________________________________

LGICA II
2 Semestre de 2014
Disciplina Optativa
Destinada: alunos de Filosofia e de outros departamentos
Cdigo: FLF0259
Pr-requisito: FLF0253
Profa. Dra. Andrea Maria Altino de Campos Loparic
Carga horria: 120h
Crditos: 06
Nmero mximo de alunos por turma: 40

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 Clcuklo de Predicados: as Estruturas de primeira Ordem

a) Os Universos e seus objetos
b) Relaes e funes nesses universos
2) Duas tarefas bsicas da linguagem: nomeao e declarao.
a) Nomeao direta
b) Funes e descries
c) Declaraes e valores de verdade.
3) Vocabulrio categorial e Interpretaes
a) Smbolos interpretveis
b) Smbolos lgicos
c) Smbolos de pontuao
d) Interpretaes

[Digite aqui]
 Universidade de So Paulo
Faculdade de Filosofia, Letras e Cincias Humanas
Departamento de Filosofia
_______________________________________________________________________________________

4) Termos e suas extenses em interpretaes dadas

a) A induo como mtodo de definio de expresses
b) Termos fechados e suas denotaes
c) Funes expressas por termos abertos
d) A univocidade de designao dos termos fechados
e) Termos abertos e fechados como conceitos decidveis
5) Frmulas atmicas e suas extenses em interpretaes dadas
a) Sentenas atmicas e valores de verdade
b) Significado formal de sentenas atmicas
e) Conjuntos expressos por frmulas atmicas abertas
6) Sentenas e Frmulas abertas
a) Definio indutiva de Frmula
b) Frmulas moleculares e gerais
c) Variveis livres e ligadas
d) rvores de composio de frmulas
e) A simplicidade da composio molecular e a complexidade da composio por quantificao.
f) Frmula e Sentena: dois conceitos decidveis
7) Definio de verdade de Tarski
a) Constante especfica associada a uma formula geralli com uma nica varivel livre
b) Interpretaes variantes
c) Definio de sentena verdadeira numa dada interpretao.
8) Significado formal de sentenas e conjuntos-soluo de frmulas abertas
a) Frmulas moleculares construidas a partir de frmulas contendo a mesma e nica varivel livre
b) Significado geral de algumas sentenas gerais paradigmticas
9) Expresso de universos e conjuntos finitos usando a identidade.
a) Universos com no mnimo n elementos; no mximo n elementos e exatamente n elementos
b) Conjuntos com no mnimo n elementos; no mximo n elementos e exatamente n elementos
10) Os conceitos lgicos definidos por via semntica
a) Consistncia e compatibilidade
b) Validade e Consequncia

[Digite aqui]
 Universidade de So Paulo
Faculdade de Filosofia, Letras e Cincias Humanas
Departamento de Filosofia
_______________________________________________________________________________________

11) De retorno sintaxe: os conceitos de deduo e prova.

a) Generalidades sobre sistemas dedutivos
b) Um exemplo de sistema de deduo natural prximo ao de Mates
c) Regras e condies para introduzir premisas com e sem "dvida"
d) Regras de derivao a partir de premissas
e) Regras de eliminao ou "pagamento" de "dvidas"
f) Principais teoremas
12) Breve exposio dos principais resultados tericos referentes ao Clculo de Predicados.

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

[Digite aqui]