6FIL110

1
UNIVERSIDADE ESTADUAL DE LONDRINA
PROGRAMA DE DISCIPLINA
CENTRO – CCH
DEPARTAMENTO – FILOSOFIA
DADOS SOBRE A DISCIPLINA
CÓDIGO
NOME
6FIL110
LÓGICA II
CURSO
FILOSOFIA
CARGA HORÁRIA X
T
P TOTAL
68
68
ANUAL
SEMESTRAL
SEM/OFERTA
ANO
2012
SÉRIE
2ª
HABILITAÇÃO(ÕES)
1. Ementa
Cálculo proposicional. Cálculo de predicados.
2. Objetivo
Proporcionar conteúdos de lógica clássica elementar (sintaxe e semântica dos
cálculos proposicional e de predicados), acenando para suas aplicações em diversos
ramos da filosofia (filosofia da lógica, epistemologia, filosofia da linguagem, etc.).
3. Conteúdo programático
3.1. Introdução
3.2. Cálculo proposicional
3.2.1. Sintaxe I
3.2.1.1. Alfabeto
3.2.1.2. Definições: expressão, fórmula atômica, fórmula, linguagem formal
3.2.2. Semântica
3.2.3. Sintaxe II
3.2.3.1. Definições: axioma, regra de inferência, postulado, sistema formal, dedução,
conseqüência lógica (sintática), prova, teorema
2
3.2.3.2. Sistema formal M (Mendelson)
3.2.3.3. Sistema formal DN (dedução natural)
3.3. Cálculo de predicados de 1a ordem
3.3.1. Sintaxe
3.3.2. Semântica
4. Procedimentos de ensino
A disciplina será ministrada através de aulas expositivas, resolução de listas de
exercícios fora de sala-de-aula e solução de exercícios selecionados em sala-de-aula.
5. Formas e critérios de avaliação
Quatro provas, com a seguinte exigência de conteúdos: prova 1: introdução e
cálculo proposicional: sintaxe I e semântica; prova 2: cálculo proposicional: sintaxe II
prova 3: cálculo de predicados de 1a ordem: sintaxe; prova 4: cálculo de predicados
de 1a ordem: semântica.
Os critérios de correção das questões de prova serão os seguintes: a) erro no
resultado de uma questão acarretará sua anulação; b) incorreções que envolvam
passos essenciais para a resolução do exercício, independente de o resultado estar
correto, i) em aplicações de regras de inferência em exercícios de dedução ou em
exercícios de prova de teoremas, ii) ou em aplicações de procedimentos de cálculo
em exercícios semânticos como árvores de refutação e tabelas-verdade: acarretarão
anulação da questão; b) incorreções como nos itens i) e ii) acima, em passos nãoessenciais à resolução do exercício, ou erros nas justificativas de um passo qualquer:
acarretarão o desconto de ¼ (um quarto) do valor da questão. As noções de regra de
inferência, dedução, prova, teorema, árvore de refutação e tabela-verdade, que
aparecem na especificação aqui estabelecida de critérios de avaliação, serão
formalmente definidas em sala-de-aula. Além disso, essas definições formais para as
mesmas noções constam de um manual da disciplina de lógica II, elaborado pelo
professor da mesma, que está citado na bibliografia abaixo com o título Lógica
elementar, e que será disponibilizado para os alunos da disciplina em questão.
Eventuais critérios de correção de questões que não se encaixem nos tipos de
3
exercícios mencionados nos itens a) e b) acima, se houver, serão decididos a critério
do professor da disciplina.
6. Cronograma
Considerando que o exato andamento da disciplina depende de características
específicas de cada turma de estudantes, propomos apenas um cronograma
aproximado.
março e abril: introdução e cálculo proposicional: sintaxe I e semântica
maio e junho: cálculo proposicional: sintaxe II
agosto e setembro: cálculo de predicados de 1a ordem: sintaxe
outubro e novembro: cálculo de predicados de 1a ordem: semântica
7. Bibliografia básica
MANHOLI, Carlos Luciano. ‘Filosofia da lógica’. In MACHADO, Nivaldo & SEGATA,
Jean (orgs.). Filosofia(s). Rio do Sul: Unidavi, 2010, pp. 85-107.
________________________ Lógica elementar.
MATES, Benson. Lógica elementar. São Paulo: Nacional; Edusp, 1967.
MENDELSON, Elliott. Introduction to mathematical logic. New York: Van Nostrand
Reinhold, 1964.
NOLT, John & ROHATYN, Dennis. Lógica. São Paulo: McGraw-Hill, 1991.
8. Bibliografia complementar
CASANOVA, Marco & GIORNO, Fernando & FURTADO, Antônio. Programação em
lógica e a linguagem PROLOG. São Paulo: Edgar Blücher, 1987.
DA COSTA, Newton. Ensaio sobre os fundamentos da lógica. 2.ed. São Paulo: Hucitec,
1994.
QUINE, Willard van Orman. Filosofia da lógica. Rio de Janeiro: Zahar, 1972.
TARSKI, Alfred. Introduction to logic and to the methodology of deductive sciences. 3.ed.
New York: Galaxy; Oxford University Press, 1965.
4
_______________________________
PROF. DR. CARLOS LUCIANO MANHOLI
APROVADO PELO COLEGIADO. EM ___/___/___
APROVADO PELO DEPTO. EM ___/___/____
______________________
__________________________