Faculdade de São Bento do Rio de Janeiro
Bacharelado em Filosofia
2009.1
Curso: Filosofia
Disciplina: LÓGICA I
Código: FIL 103
Créditos: 4
Duração: 72 h.a.
Professor: André Campos da Rocha
Semestre/Ano: 1º/2009
_________________________________________________
Objetivo:
O curso tem por objetivo fornecer o instrumental básico necessário para o manuseio das questões relativas ao conceito e método da Lógica como ciência. Isso se dará por meio de discussões histórico-conceituais. A ênfase será sempre a relevância filosófica de tais questões.
Ementa:
Objeto da lógica: as estruturas argumentativas, seus componentes e suas regras. Visão histórica da Lógica; Lógica e Linguagem. Apresentação da distinção entre lógica sentencial e lógica de predicados. Estabelecimento de relações entre as formalizações e problemas semânticos. A noção de verdade na lógica.
Metodologia:
Aulas expositivas.
Critério de Avaliação:
Provas (2) e Listas de Exercícios (2)
Descrição do Programa:
O ato de pensar. Percepção, juízo, raciocínio e argumento. As vantagens de uma linguagem simbólica.
A lógica como estudo de argumentos. Dedução, indução e os seus papéis no contexto da discussão científica.
A formalização do pensamento: conectivos lógicos, quantificadores, expressões bem formadas, linguagens e suas limitações.
A linguagem natural e as linguagens formais. Linguagem e metalinguagem.
Noções básicas de sistemas formais e cálculos lógicos. Exemplos de regras de inferência e de deduções. Simbolização de proposições. Conectivos lógicos e tabelas de verdade. Argumentação válida.
Noções de silogística aristotélica.
O método axiomático e sua importância. Conceitos primitivos e conceitos derivados. Conectivos adequados para o cálculo proposicional clássico.
Noções básicas sobre sistemas formais e sobre cálculos lógicos. Um sistema de axiomas para o cálculo proposicional clássico.
Bibliografia:
COPI, Irving M. Introdução à lógica, Ed. Mestre Jou, 1974.
COSTA, N. da, Ensaio Sobre os Fundamentos da Lógica, São Paulo, HUCITEC, 1994.
HAACK, S., Philosophy of Logics, Cambridge, Cambridge University, 1978.
HEGENBERG, L. Dicionário de lógica. São Paulo: EPU, 1995.
KNEALE, W. & KNEALE, M. O desenvolvimento da lógica. 3a. ed. Lisboa: Fundação Calouste Gulbenkian, 1991.
MARITAIN, J. Lógica Menor - A ordem dos Conceitos. Rio de Janeiro: Agir, 1972.
MATES, B. Lógica elementar. São Paulo: Edusp, 1968.
MORTARI, C.A. Introdução à Lógica. São Paulo: UNESP, 2001.
QUINE, W. V., Philosophy of Logic, Cambridge, Mass.: Harvard University, 1986.
NAGEL, E., Newman, J., Gödel’s Proof, New York, New York University, 1983.
NOLT, J., ROHATYN, D., Varzi, A., Logic (Schaum’s Outlines of Theory and Problems), New York, McGraw-Hill, 1998.
WESLEY, C. Salmon. Lógica. Rio de Janeiro.Zahar Editores.
Obs.: Bibliografia complementar será fornecida durante o curso.
Bacharelado em Filosofia
2009.1
Curso: Filosofia
Disciplina: LÓGICA I
Código: FIL 103
Créditos: 4
Duração: 72 h.a.
Professor: André Campos da Rocha
Semestre/Ano: 1º/2009
_________________________________________________
Objetivo:
O curso tem por objetivo fornecer o instrumental básico necessário para o manuseio das questões relativas ao conceito e método da Lógica como ciência. Isso se dará por meio de discussões histórico-conceituais. A ênfase será sempre a relevância filosófica de tais questões.
Ementa:
Objeto da lógica: as estruturas argumentativas, seus componentes e suas regras. Visão histórica da Lógica; Lógica e Linguagem. Apresentação da distinção entre lógica sentencial e lógica de predicados. Estabelecimento de relações entre as formalizações e problemas semânticos. A noção de verdade na lógica.
Metodologia:
Aulas expositivas.
Critério de Avaliação:
Provas (2) e Listas de Exercícios (2)
Descrição do Programa:
O ato de pensar. Percepção, juízo, raciocínio e argumento. As vantagens de uma linguagem simbólica.
A lógica como estudo de argumentos. Dedução, indução e os seus papéis no contexto da discussão científica.
A formalização do pensamento: conectivos lógicos, quantificadores, expressões bem formadas, linguagens e suas limitações.
A linguagem natural e as linguagens formais. Linguagem e metalinguagem.
Noções básicas de sistemas formais e cálculos lógicos. Exemplos de regras de inferência e de deduções. Simbolização de proposições. Conectivos lógicos e tabelas de verdade. Argumentação válida.
Noções de silogística aristotélica.
O método axiomático e sua importância. Conceitos primitivos e conceitos derivados. Conectivos adequados para o cálculo proposicional clássico.
Noções básicas sobre sistemas formais e sobre cálculos lógicos. Um sistema de axiomas para o cálculo proposicional clássico.
Bibliografia:
COPI, Irving M. Introdução à lógica, Ed. Mestre Jou, 1974.
COSTA, N. da, Ensaio Sobre os Fundamentos da Lógica, São Paulo, HUCITEC, 1994.
HAACK, S., Philosophy of Logics, Cambridge, Cambridge University, 1978.
HEGENBERG, L. Dicionário de lógica. São Paulo: EPU, 1995.
KNEALE, W. & KNEALE, M. O desenvolvimento da lógica. 3a. ed. Lisboa: Fundação Calouste Gulbenkian, 1991.
MARITAIN, J. Lógica Menor - A ordem dos Conceitos. Rio de Janeiro: Agir, 1972.
MATES, B. Lógica elementar. São Paulo: Edusp, 1968.
MORTARI, C.A. Introdução à Lógica. São Paulo: UNESP, 2001.
QUINE, W. V., Philosophy of Logic, Cambridge, Mass.: Harvard University, 1986.
NAGEL, E., Newman, J., Gödel’s Proof, New York, New York University, 1983.
NOLT, J., ROHATYN, D., Varzi, A., Logic (Schaum’s Outlines of Theory and Problems), New York, McGraw-Hill, 1998.
WESLEY, C. Salmon. Lógica. Rio de Janeiro.Zahar Editores.
Obs.: Bibliografia complementar será fornecida durante o curso.
Postagens
Um comentário:
Parabéns gostei muito! Tem muita informação útil e bem organizada, sem excessos.
Postar um comentário