UNIVERSIDADE FEDERAL RURAL DO RIO DE JANEIRO

DECANATO DE ENSINO DE GRADUAÇÃO

DEPARTAMENTO DE ASSUNTOS ACADÊMICOS E REGISTRO GERAL

DIVISÃO DE REGISTROS ACADÊMICOS

PROGRAMA ANALÍTICO

CÓDIGO: IH971

CRÉDITOS: 04

(4T-0P)

Lógica

Cada Crédito corresponde a 15h/ aula

OBJETIVO DA DISCIPLINA:

Apresentar conceitos e procedimentos de análise básicos da lógica de primeira ordem, oferecendo condições ao aluno de concatenar idéias e resolver problemas complexos em lógica.

EMENTA:

Significado e História da Lógica; Identificação de Argumentos Formais e não-Formais; Reconhecimento dos Processos de Inferência Argumentativa; Construção e Formalização de Argumentos; As modalidades contemporâneas da lógica; Logicismo e Intuicionismo.

CONTEÚDO PROGRAMÁTICO:

1. História e significado da Lógica

2. Identificação de argumentos Formais e não-Fromais

3. Inferência argumentativa

4. Modalidades contemporâneas da lógica.

5. Logicismo e intuicionismo.

BIBLIOGRAFIA:

Básica:

ARISTÓTELES. Órganon. SP: EDIPRO, 2005.
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora Unesp, 2001.
SALMON, W. C. Lógica. 3 edição, traduzido por Alvaro Cabral, Rio de Janeiro: LTC Ed., 1993.
SMULLYAN, R. M. Lógica de Primeira Ordem. São Paulo: Editora Unesp, 2009.
WITTGENSTEIN, L. Tractatus Logico-Philosophicus. São Paulo: Edusp, 1993.

Complementar:

COPI, I. M. Introdução à Lógica. 3 edição, São Paulo: Mestre Jou, 1981. (online: 1 exemplar)
da COSTA, N. C. A. Ensaio sobre os Fundamentos da Lógica, São Paulo: Hucitec, 2008.
QUINE, W.O. Filosofia da Lógica, RJ: Zahar, 1972. (online: 1 exemplar)