UNIVERSIDADE ESTADUAL DO SUDOESTE DA BAHIA

Sagres Diário

PLANO DE CURSO Página 1 de 2

quarta-feira, 12 de abril de 2017

Docente: JULIANA DE ORIONE ARRAES FAGUNDES

UESB - Vitória da Conquista Sem.: 20151

Campus: VITÓRIA DA CONQUISTA
Curso: LICENCIATURA EM FILOSOFIA - VC

Código Componente Curricular Créditos Horas

DFCH0078 LOGICA II 4 60

PRÉ-REQUISITOS
Curso Currículo Componente Curricular
LICENCIATURA EM FILOSOFIA - VC 20092 - Not LOGICA I
LICENCIATURA EM FILOSOFIA - VC 20131 - Not LOGICA I
PRÉ-REQUISITO PARA
Curso Currículo Componente Curricular

Ementa do Componente Curricular

O problema dos Universais; Leibniz e a Matemática Universal; Hamilton e a quantificação dos predicados. Juízos analíticos, sintéticos e sintéticos a
priori. Boole e a álgebra da lógica. A teoria dos conjuntos de Cantor. A lógica geral de Frege. Lógica e Ciência.

Objetivo
OBJETIVO GERAL
Realizar um estudo introdutório ao cálculo proposicional e do cálculo de predicados de 1ª ordem.
OBJETIVOS ESPECÍFICOS
- Identificar fórmulas na linguagem proposicional.
- Trabalhar com conectivos lógicos e tabelas veritativas.
- Reconhecer tautologias, contradições e contingências.
- Realizar simbolizações e traduções na Lógica Proposicional e na Lógica de Predicados.
- Utilizar árvores como método de decisão na Lógica Proposicional e na Lógica de Predicados.
- Discutir algumas das limitações das Lógicas Clássicas.

Metodologia
Aulas expositivas, leituras e realização de exercícios em grupos.

Parecer do Colegiado:
Data ____/____/_____
Data: ____/____/_____
Docente
Coordenador(a):
 UNIVERSIDADE ESTADUAL DO SUDOESTE DA BAHIA
Sagres Diário

PLANO DE CURSO Página 2 de 2

quarta-feira, 12 de abril de 2017

Conteúdo Programatico
Aula 1: Apresentação do curso. Revisão: o que é a lógica? Validade e verdade.
Aula 2: Revisão: Validade e forma; proposições. Introdução: Lógica e linguística. (Newton-Smith)
Aula 3: Funções de verdade e tabelas de verdade. Condicionais (Newton-Smith)
Aula 4: O teste de validade: método semântico. Desenvolvimentos complementares. (Newton-Smith)
Aula 5: Tablôs Semânticos (Mortari)
Aula 6: Avaliação A1.
Aula 7: Uma linguagem predicativa (Newton-Smith)
Aula 8: Lógica de predicados de primeira ordem – formalização e tradução
Aula 9: Tablôs analíticos de primeira ordem: O método das árvores para avaliar sentenças complexas na Lógica de predicados.
Aula 10: Tablôs analíticos de primeira ordem: O método das árvores para avaliar sentenças complexas na Lógica de predicados.
Aula 11: Avaliação A2
Aula 12: Desafios e limitações: Adjetivos comparativos; advérbios; tempo (Newton-Smith)
Aula 13: Modalidades; Atitudes proposicionais
Aula14: Intuicionismo; O alcance da lógica
Aula 15: Avaliação A3.
Aula 16: Prova Final
Observação: A depender das necessidades pedagógicas do curso, este cronograma poderá ser alterado.

Avaliação
Exercícios: realização dos exercícios propostos (em grupo)
A1: Prova escrita (individual)
A2: Prova escrita (individual)
A3: Prova escrita (individual)
Nota final: (A1+A2+A3+Exercícios):4
Observação:
(1) Os trabalhos exercícios entregues fora do prazo sofrerão redução de 30% em seu valor.
(2) Se precisar faltar a alguma aula, por favor, pegue o conteúdo com um colega e mantenha-se atualizado.

Referência Básica
MORTARI, C. Introdução à Lógica. Florianópolis: Editora da UFSC, 1996.
NEWTON-SMITH, W.H. Lógica: um curso introdutório. Lisboa: Gradiva, 2011.
SMULLYAN, Raymond. Lógica de Primeira Ordem. São Paulo: Unesp, 2009.

Referência Complementar
ABELARDO, Pedro. Lógica para principiantes. Petrópolis: Vozes, 1994.
ALENCAR FILHO, Edgar de. Iniciação à Lógica Matemática. São Paulo: Nobel, 2002.
BALANCHÉ, Robert. História da Lógica de Aristóteles a Bertrand Russell. Lisboa: Edições 70, 1985.
COPI, Irving M. Introdução à Lógica. 2ª ed. Trad. Álvaro Cabral, São Paulo: Mestre Jou, 1978.
COSTA, Newton C. A. da. Ensaio sobre os Fundamentos da Lógica. 2ª ed. São Paulo: Hucitec, 1992.
DOOP, Joseph. Noções de Lógica Formal. São Paulo: Herder, 1970.
HAACK, Susan. Filosofia das Lógicas. São Paulo: UNESP, 2002.
HAIGHT, Mary. A Serpente e a Raposa. São Paulo: Loyola, 2003.
KENNY, Anthony. A lógica e os fundamentos da matemática. Disponível em: http://criticanarede.com/logicismo.html. Acesso em 16 abr. 2013.
KNEALE, Willian; KNEALE, MARTHA. O Desenvolvimento da Lógica. 3ª ed. Lisboa: Calouste Gulbenkian, 1991.
LIMA, Arlete Cerqueira. Lógica Formal. Salvador: Quarteto, 2010.
MILL, John Stuat. Sistema de Lógica Dedutiva e Indutiva. São Paulo: Nova Cultura, 1989.
PINTO, Paulo Roberto Margutti. Introdução à Lógica Simbólica. Belo Horizonte: UFMG, 2006.
TUGHENDHAT, Ernst; WOLF, Ursula. Propedêudica Lógico-Semântica. Petrópolis: Vozes, 1983.

Parecer do Colegiado:
Data ____/____/_____
Data: ____/____/_____
Docente
Coordenador(a):