CÓDIGO: FIL-08965 IDENTIFICA

PROGRAMA
INSTITUIÇÃO: Universidade Federal do Espírito Santo
CAMPUS: Goiabeiras
HABILITAÇÃO:
CÓDIGO: FIL-08965
OB/OP:
IDENTIFICAÇÃO: Lógica II
DISCIPLINA OU ESTÁGIO: Disciplina
DEPARTAMENTO RESPONSÁVEL: Filosofia
HABILITAÇÃO:
CRÉDITO:
04
CARGA HORÁRIA TOTAL
DISTRIBUIÇÃO DA CARGA HORÁRIA
TEÓRICA
EXERCÍCIO
LABORATÓRIO
60
-
-
60
OUTRA
NÚMERO MÁXIMO DE ALUNOS POR TURMA
AULAS TEÓRICAS
AULAS DE EXERCÍCIO
AULAS DE
LABORATÓRIO
OUTRA
EMENTA (Tópicos que caracterizam as unidades dos programas de ensino)
Análise de uma ou mais questões da lógica através do estudo de um ou mais pensadores e/ou escolas da filosofia.
OBJETIVOS: (Ao término da disciplina o aluno deverá ser capaz de:)
Traduzir sentenças e argumentos da linguagem informal para a notação simbólica; demonstrar a validade de argumentos
formais usando diferentes métodos, sintáticos e semânticos; obter uma visão geral da lógica moderna, bem como de sua
aplicação em diferentes áreas da filosofia.
OBJETIVO GERAL:
Propõe-se uma introdução à lógica simbólica, incluindo a lógica proposicional e o cálculo de predicados (ou lógica de primeira
ordem). O curso ainda oferecerá um panorama das chamadas lógicas heterogêneas, que combinam notação sentencial e
diagramática, e a discussão sobre questões epistemológicas e metafísicas colocadas pela lógica contemporânea.
OBJETIVOS ESPECÍFICOS:
Que o(a) estudante seja capaz de: traduzir sentenças e argumentos da linguagem informal para a formal e vice-versa; provar
se um argumento é dedutivamente válido ou não, utilizando diferentes métodos, como tabelas de verdade, tablôs semânticos e
dedução natural; empregar, como a mesma desenvoltura, a linguagem diagramática para representar o raciocínio dedutivo e
demonstrar sua validade; problematizar questões filosóficas oriundas do desenvolvimento da lógica.
CONTEÚDO PROGRAMÁTICO: (Título e descriminação das Unidades)
I. Cálculo Proposicional
1. Introdução à Lógica Simbólica: as contribuições de Peirce e Frege; o logicismo; a filosofia da lógica.
2. Lógica Proposicional Clássica: operadores e funções de verdade;
3. Tabelas de verdade: construção de tabelas; tautologia, contradição e contingência; limites do cálculo proposicional.
II. Cálculo de Predicados
4. Lógica de Primeira Ordem: sintaxe (constantes e individuais); quantificadores; tradução de sentenças e argumentos.
5. Tablôs semânticos: prova para argumentos proposicionais e quantificação.
6. Dedução natural: regras de inferência, diretas e hipotéticas; regras derivadas.
III. Lógicas não-clássicas
7. Lógicas heterogêneas e diagramas: introdução à semiótica; teoria dos diagramas; introdução aos grafos existenciais:
sistemas Alfa e Beta.
8. Lógicas não-clássicas: lógica modal alética e lógicas polivalentes; relevância filosófica.
METODOLOGIA:
Aulas expositivas e exercícios.
CRITÉRIOS DE AVALIAÇÃO DA APRENDIZAGEM:
Provas individuais sem consulta e exercícios em sala de aula.
BIBLIOGRAFIA BÁSICA:
COPI, Irving M. Introdução à Lógica. 3. ed. São Paulo: Mestre Jou, 1981.
HAACK, Susan. Filosofia das Lógicas. São Paulo: UNESP, 2002.
MORTARI, Cezar A. Introdução à Lógica. São Paulo: Fundação Editora da Unesp, 2001.
BIBLIOGRAFIA COMPLEMENTAR:
COSTA, Newton C. A. da. Ensaio Sobre os Fundamentos da Lógica. 3ª ed. São Paulo: Hucitec, 2008.
FREGE, Gottlob. Lógica e Filosofia da Linguagem. Paulo Alcoforado (trad.). São Paulo: Cultrix, 1978.
KNEALE, William; KNEALE, Martha. O Desenvolvimento da Lógica. 2. ed. Lisboa: Fundação Calouste Gulbenkian, 1980.
PEIRCE, Charles Sanders. Semiótica. Jose Teixeira Coelho Neto (trad.). São Paulo: Perspectiva, 1977.
SALMON, Wesley C. Lógica. Rio de Janeiro: Zahar, 1969.
APROVAÇÃO (Número dos respectivos documentos)
CÂMARA DEPARTAMENTAL
ASSINATURA (S) DO(S) RESPONSÁVEL(EIS)
COLEGIADO DE CURSO
CONSELHO
DEPARTAMENTAL