Optativa:
GFL00073 - LÓGICA II - O1
Professor:
Dirk Greimann
Horário: segunda-feiras,
14-18 horas
Sala:
Objetivos: Conhecer os sistemas lógicos básicos contemporâneos, em particular, a
lógica proposicional e a lógica de predicados de primeira ordem. Treinar as
capacidades lógicas como, por exemplo, determinar a forma lógica de uma
sentença ou provar um teorema. Tomar conhecimento dos problemas e
questionamentos principais da filosofia da lógica.
Metodologia: Na primeira aula de cada semana, será exposto o assunto. Na segunda
aula, os alunos farão exercícios de aprofundamento do assunto.
Avaliações: As
avaliações serão realizadas por meio de provas escritas.
Programa:
UNIDADE 1. Lógica proposicional
1. A linguagem da
lógica proposicional
2. Regras de inferência
3. Conceitos semânticos
e sintáticos da lógica proposicional
4. Metateoremas da
lógica proposicional
UNIDADE 2. Lógica de predicados de primeira ordem
1.
A linguagem da lógica de predicados de primeira ordem
2. Regras de inferência
3. Conceitos semânticos
e sintáticos da lógica de predicados de primeira ordem
4. Metateoremas
UNIDADE 3. Lógicas filosóficas e a Filosofia da lógica
1. Lógica
modal
2. Lógica
intuicionista
3. Lógica
deôntica
4. O
teorema de Gödel e suas conseqüências filosóficas
Cronograma:
03/06/13 - 1ª avaliação
parcial
10/06/13 - 2ª chamada
01/07/13 - 2ª avaliação
parcial
08/07/13 - 2ª chamada
22/07/13 - verificação
suplementar
Bibliografia:
G. Imaguire,
C. Barroso, Lógica. Os Jogos da Razão, UFC,
Fortaleza, 2006.
Ítala Maria
Loffredo D’Ottaviano, Hércules de Araujo Feitosa, “Sobre a história da lógica, a lógica clássica e o surgimento das lógicas
não-clássicas”, 2003, online-script, 34 páginas
A.W. Moore,
“Filosofia da Lógica”, em: Nicholas Bunnin e E.P. Tsui-James (org.), Compêndio de Filosofia, São Paulo,
Edições Loyola, 2002, Cap. 4.
Nenhum comentário:
Postar um comentário