Você está na página 1de 3

UNIVERSIDADE FEDERAL RURAL DO RIO DE JANEIRO

INSTITUTO DE CINCIAS HUMANAS E SOCIAIS


DEPARTAMENTO DE FILOSOFIA

Lgica
Prof. Dr. Robinson Guitarrari
robinson.guitarrari@gmail.com

PLANO DE AULAS
AULA

DATA

ASSUNTO
Apresentao da disciplina:

Objetivo e perspectivas da anlise lgica (formal e informal)

Validade e verdade

Deduo e induo

Contedo programtico. Avaliaes. Bibliografia. Plano de aulas.


Lgica Clssica: Preliminares
1. Domnio de aplicao: Princpios e contexto extensional.
2. Uso e meno; Linguagem e Metalinguagem
PARTE I: Lgica Proposicional: vocabulrio e gramtica.

LEITURA
MORTARI, C.A. Introduo
lgica, Caps. 1 e 2.

29/07

26/08

01/09

Lgica Proposicional: semntica (tabela de verdade).

MORTARI, C.A. Introduo


lgica, Cap. 9 (9.2, 9.3, 9.4).

09/09

Tipos de sentenas: tautologias, contradies e contingncias.

MORTARI, C.A. Introduo


lgica, Cap. 9 (9.5).

16/09

Definio de validade (consequncia tautolgica). Teste de validade.

MORTARI, C.A. Introduo


lgica, Cap. 9 (9.6).

23/09

30/09

Falcias formais. Condio Necessria e Condio Suficiente.


Equivalncias teis.
Tradues de proposies e de argumentos.
Relaes entre propriedades semnticas da Lgica Proposicional.
Estratgias de demonstrao de sentenas condicionais.

07/10

Exerccios

14/10

1 AVALIAO

10

21/10

Ausncia do Professor: Participao em Evento (ANPOF)

11

28/10

FERIADO
PARTE II: Lgica de Predicados
[A]. Introduo: Teoria de conjuntos
1. Elemento, conjunto e pertinncia
2. Relao entre conjuntos (subconjuntos)
3. Operaes sobre conjuntos
4. Identificao de relaes e funes
[B]. Linguagem
1. Identificao de frmulas e frmulas bem-formadas (sintaxe)
2. Traduo de sentenas da linguagem natural para linguagem
formalizada (sintaxe)
B]. Linguagem
3. Identificao de verdades lgicas, falsidades lgicas e contingncias
(semntica)
4. Modelo (interpretao) e verdade (semntica)
[C]. Consequncia semntica: anlise validade de um raciocnio
5. Modelo (interpretao) e consequncia lgica (semntica)
[D]. Consequncia sinttica: sistema dedutivo
6. Deduo natural I (sintaxe). Definio e exemplos.

12

04/11

13

11/11

14

18/11

15

25/11

16

02/12

17

09/12

2 AVALIAO

18

16/12

PROVA SUBSTITUTIVA

6. Deduo natural II (sintaxe). Estratgias de deduo

MORTARI, C.A. Introduo


lgica, Caps. 3 e 9 (9.1).

SALMON, W. Lgica, Cap. 2,


Seo 6.

MORTARI, C.A. Introduo


lgica, Caps. 4 e 5.

MORTARI, C.A. Introduo


lgica, Caps. 6 e 7.
MORTARI, C.A. Introduo
lgica, Cap. 8.
MORTARI, C.A. Introduo
lgica, Cap. 14.
MORTARI, C.A. Introduo
lgica, Cap. 15.

PROGRAMA DE ENSINO
1. Objetivo
Introduzir o aluno aos conceitos bsicos da lgica proposicional e da lgica de predicados clssicas.
2. Contedo Programtico
Argumentos: viso geral
1. Noo de argumento
2. Identificao de argumentos
3. Lgica Formal e Lgica Informal (Lgica Pragmtica)
Lgica Formal Clssica: Proposicional e de Predicados
Introduo: domnio de aplicao
Parte I: Lgica Proposicional
1. Identificao de frmulas e frmulas bem-formadas (sintaxe)
2. Traduo de sentenas da linguagem natural para linguagem formalizada (sintaxe)
3. Tabelas de verdade (semntica)
4. Identificao de tautologias, contradies e contingncias (semntica)
5. Identificar consequncia lgica e equivalncia lgica (semntica)
Parte II: Lgica de Predicados
[A]. Introduo: Teoria de conjuntos
1. Elemento, conjunto e pertinncia
2. Relao entre conjuntos (subconjuntos)
3. Operaes sobre conjuntos
4. Identificao de relaes e funes
[B]. Linguagem
1. Identificao de frmulas e frmulas bem-formadas (sintaxe)
2. Traduo de sentenas da linguagem natural para linguagem formalizada (sintaxe)
3. Identificao de verdades lgicas, falsidades lgicas e contingncias (semntica)
4. Modelo (interpretao) e verdade (semntica)
[C]. Consequncia semntica: anlise validade de um raciocnio
5. Modelo (interpretao) e consequncia lgica (semntica)
[D]. Consequncia sinttica: sistema dedutivo
6. Deduo natural (sintaxe)
3. Bibliografia
3.1. Bibliografia Bsica
MORTARI, C. A. Introduo Lgica. 1a.ed. So Paulo: Unesp, 2001. 394 p. ISBN 8570601824
SALMON, W. Lgica. Rio de Janeiro: Prentice-Hall, 1984 (cap. 2)

3.2. Bibliografia complementar


BISPO, C.A.; CASTANHEIRA L.B.; MELO, O. Introduo lgica matemtica. So Paulo:
Cengage Learning, 2011.
COPI, I. Introduo Lgica. Traduzido por lvaro Cabral, SoPaulo: Mestre Jou, 1981.
(complementar)
SMULLYAN, R. Alice no pas dos enigmas. Rio de Janeiro: Jorge Zahar Editor, 2000.
SMULLYAN, R. O enigma de Sherazade. Rio de Janeiro: Jorge Zahar Editor, 1998.
4. Avaliaes
Sero realizadas duas provas durante o semestre letivo. A nota final ser a mdia aritmtica das
notas de ambas as avaliaes. (As datas esto no Plano de Aulas). Haver uma prova substitutiva
para os interessados, com data registrada no calendrio institucional.
5. Procedimentos didticos
Aulas expositivas voltadas a questes centrais da disciplina, seguidas de discusses sobre textos
bsicos de filosofia da cincia.