1

UNIVERSIDADE ESTADUAL DE LONDRINA

PROGRAMA DE DISCIPLINA CENTRO CCH DEPARTAMENTO FILOSOFIA DADOS SOBRE A DISCIPLINA CDIGO 6FIL110 CURSO FILOSOFIA NOME LGICA II SRIE 2
ANO LETIVO

2013

CARGA HORRIA

ANUAL SEMESTRAL

SEM/OFERTA

HABILITAO(ES)

T 68

P -

TOTAL

68

1. Ementa

Clculo proposicional. Clculo de predicados. 2. Objetivo

Proporcionar contedos de lgica clssica elementar (sintaxe e semntica dos clculos proposicional e de predicados), acenando para suas aplicaes em diversos ramos da filosofia (filosofia da lgica, epistemologia, filosofia da linguagem, etc.). 3. Contedo programtico

3.1. Introduo 3.2. Clculo proposicional 3.2.1. Sintaxe I 3.2.1.1. Alfabeto 3.2.1.2. Definies: expresso, frmula atmica, frmula, linguagem formal 3.2.2. Semntica

3.2.3. Sintaxe II 3.2.3.1. Definies: axioma, regra de inferncia, postulado, sistema formal, deduo, conseqncia lgica (sinttica), prova, teorema 3.2.3.2. Sistema formal M (Mendelson) 3.2.3.3. Sistema formal DN (deduo natural) 3.3. Clculo de predicados de 1a ordem 3.3.1. Sintaxe 3.3.2. Semntica 4. Procedimentos de ensino

A disciplina ser ministrada atravs de aulas expositivas, resoluo de listas de exerccios fora de sala-de-aula e soluo de exerccios selecionados em sala-de-aula. 5. Formas e critrios de avaliao Quatro provas, com a seguinte exigncia de contedos: prova 1: introduo e clculo proposicional: sintaxe I e semntica; prova 2: clculo proposicional: sintaxe II prova 3: clculo de predicados de 1a ordem: sintaxe; prova 4: clculo de predicados de 1a ordem: semntica. Os critrios de correo das questes de prova sero os seguintes: a) erro no resultado de uma questo acarretar sua anulao; b) incorrees que envolvam passos essenciais para a resoluo do exerccio, independente de o resultado estar correto, i) em aplicaes de regras de inferncia em exerccios de deduo ou em exerccios de prova de teoremas, ii) ou em aplicaes de procedimentos de clculo em exerccios semnticos como rvores de refutao e tabelas-verdade: acarretaro anulao da questo; b) incorrees como nos itens i) e ii) acima, em passos noessenciais resoluo do exerccio, ou erros nas justificativas de um passo qualquer: acarretaro o desconto de (um quarto) do valor da questo. As noes de regra de inferncia, deduo, prova, teorema, rvore de refutao e tabela-verdade, que aparecem na especificao aqui estabelecida de critrios de avaliao, sero formalmente definidas em sala-de-aula. Alm disso, essas definies formais para as mesmas noes constam de um manual da disciplina de lgica II, elaborado pelo professor da mesma, que est citado na bibliografia abaixo com o ttulo Lgica

elementar, e que ser disponibilizado para os alunos da disciplina em questo. Eventuais critrios de correo de questes que no se encaixem nos tipos de exerccios mencionados nos itens a) e b) acima, se houver, sero decididos a critrio do professor da disciplina. 6. Cronograma Considerando que o exato andamento da disciplina depende de caractersticas especficas de cada turma de estudantes, propomos apenas um cronograma aproximado. maro e abril: introduo e clculo proposicional: sintaxe I e semntica maio e junho: clculo proposicional: sintaxe II agosto e setembro: clculo de predicados de 1a ordem: sintaxe outubro e novembro: clculo de predicados de 1a ordem: semntica 7. Bibliografia bsica MANHOLI, Carlos Luciano. Filosofia da lgica. In MACHADO, Nivaldo & SEGATA, Jean (orgs.). Filosofia(s). Rio do Sul: Unidavi, 2010, pp. 85-107. ________________________ Lgica elementar. MATES, Benson. Lgica elementar. So Paulo: Nacional; Edusp, 1967. MENDELSON, Elliott. Introduction to mathematical logic. New York: Van Nostrand Reinhold, 1964. NOLT, John & ROHATYN, Dennis. Lgica. So Paulo: McGraw-Hill, 1991.

8. Bibliografia complementar

CASANOVA, Marco & GIORNO, Fernando & FURTADO, Antnio. Programao em lgica e a linguagem PROLOG. So Paulo: Edgar Blcher, 1987. DA COSTA, Newton. Ensaio sobre os fundamentos da lgica. 2.ed. So Paulo: Hucitec, 1994. QUINE, Willard van Orman. Filosofia da lgica. 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.

_______________________________ PROF. DR. CARLOS LUCIANO MANHOLI APROVADO PELO COLEGIADO. EM ___/___/___ ______________________

APROVADO PELO DEPTO. EM ___/___/____

__________________________