Informações da Disciplina

 Preparar para impressão 
Júpiter - Sistema de Graduação

Faculdade de Filosofia, Letras e Ciências Humanas
 
Filosofia
 
Disciplina: FLF0444 - Lógica III
Logic III

Créditos Aula: 4
Créditos Trabalho: 2
Carga Horária Total: 120 h
Tipo: Semestral
Ativação: 15/07/2016 Desativação:

Objetivos
Introdução aos conceitos e princípios elementares da lógica contemporânea e discussão de questões de filosofia da lógica suscitadas por esses conceitos e princípios.
 
 
 
Docente(s) Responsável(eis)
1142709 - Joao Vergilio Gallerani Cuter
6639521 - Rodrigo Bacellar da Costa e Silva
 
Programa Resumido
Introdução aos conceitos e princípios elementares da lógica contemporânea e discussão de questões de filosofia da lógica suscitadas por esses conceitos e princípios.
 
 
 
Programa
1) O conceito contemporâneo da lógica. A relativização do conceito de forma lógica.
2) Lógica e linguagem: a formalização.
3) A lógica proposicional. Extensionalidade e intensionalidade.
4) A teoria da quantificação: Frege versus Aristóteles.
5) A sintaxe das linguagens de primeira ordem. Definições e provas recursivas.
6) A semântica das linguagens de primeira ordem. A definição lógica de verdade e o conceito de interpretação.
7) Teorias de primeira ordem. Provas formais. Modelos. Os problemas da consistência e completeza.
8) Linguagens e teorias de ordem superior. O conceito de conjunto. Alguns paradoxos.
 
 
 
Avaliação
     
Método
Trabalho escrito e/ou seminário.
Critério
A nota final será aquela da atividade de avaliação proposta. Se houver mais de uma atividade, o peso de cada uma será indicado pelo professor responsável pela disciplina.
Norma de Recuperação
Trabalho escrito, versando sobre conteúdos do curso, cuja nota substituirá a da primeira avaliação.
 
Bibliografia
     
COPI, Irving. Introdução à lógica. São Paulo: Mestre Jou, 1974. FREGE, Gottlob. Lógica e filosofia da linguagem. São Paulo: Cultrix, Edusp, 1978. HALMOS, Paul. Teoria Ingênua dos Conjuntos. São Paulo: Edusp, 1970. MATES, Benson. Lógica Elementar. São Paulo: Companhia Editora Nacional, 1968. QUINE, W.V.O. De um ponto de vista lógico. São Paulo: Edunesp, 2010. _____. Methods of Logic. Nova York: Holt, 1962 (trad. esp.: Metodos de la Logica. Barcelona: Ariel, 1967).
 

Clique para consultar os requisitos para FLF0444

Clique para consultar o oferecimento para FLF0444

Créditos | Fale conosco
© 1999 - 2017 - Superintendência de Tecnologia da Informação/USP