Departamento de Filosofia
Lógica 1 (137481) - turma B
2011/02
Prof. Alexandre Costa-Leite


programa



lista 01

lista 02

lista 03

lista 04

lista 05

lista 06

PROVA DIA 14 de DEZEMBRO

REVISÂO no DIA 12 de DEZEMBRO

CONTEÚDO:

Introdução à Lógica - Mortari:

p.1-41
p.61-225
p.235-287
p.349-390

Lógica - Nolt:

p.1-343


ATIVIDADES (COMPLEMENTARES) OBRIGATÓRIAS PARA A DISCIPLINA DE 6 CRÉDITOS (LÓGICA BÁSICA).

AS ATIVIDADES DEVEM SER ENTREGUES NO  DIA 07 de DEZEMBRO.

Cada atividade vale uma frequência (eventualmente, as atividades podem ajudar na nota).

ATIVIDADE 1:  QUAL A DIFERENÇA ENTRE "INFERÊNCIA INDUTIVA" E "PROVA POR INDUÇÃO"?

ATIVIDADE 2:  EM QUE CONSISTE O PROBLEMA DE HUME/PROBLEMA DA INDUÇÃO?

ATIVIDADE 3: ENCONTRE TRÊS DECORAÇÕES DISTINTAS PARA O QUADRADO DAS OPOSIÇÕES.

ATIVIDADE 4: EXPLIQUE A TEORIA DA VERDADE ENQUANTO CORRESPONDÊNCIA.

ATIVIDADE 5: O QUE É UMA FALÁCIA? DÊ EXEMPLOS DE TRÊS TIPOS DE FALÁCIAS.

ATIVIDADE 6:  A LÓGICA PROPOSICIONAL É CHAMADA DE LÓGICA DE ORDEM ZERO. A LÓGICA DE PREDICADOS É CHAMADA DE LÓGICA DE PRIMEIRA ORDEM.
O QUE SIGNIFICA "LÓGICA DE SEGUNDA ORDEM"? E "LÓGICAS DE ORDEM SUPERIOR"?

ATIVIDADE 7: NA LÓGICA PROPOSICIONAL, QUAL A RELAÇÃO EXISTENTE ENTRE OS CONCEITOS DE "TAUTOLOGIA" E "TEOREMA"?

ATIVIDADE 8: NA LÓGICA PROPOSICIONAL, FÓRMULA VÁLIDA SIGNIFICA TAUTOLOGIA. POR QUE ISSO NÃO ACONTECE NA LÓGICA DE PREDICADOS?

ATIVIDADE 9: EXPLIQUE PELO MENOS DUAS TEORIAS DE PRIMEIRA ORDEM.

ATIVIDADE 10:  GÖDEL DEMONSTROU A COMPLETUDE DA LÓGICA DE PRIMEIRA ORDEM (E ISSO NÃO PODE SER CONFUNDIDO COM
SEUS TEOREMAS DE INCOMPLETUDE). ENUNCIE O TEOREMA DA COMPLETUDE PARA A LÓGICA DE PRIMEIRA ORDEM E FAÇA O ESBOÇO DE SUA DEMONSTRAÇÃO.

ATIVIDADE 11: EXPLIQUE A REGRA DE ELIMINAÇÃO DO QUANTIFICADOR EXISTENCIAL NA DEDUÇÃO NATURAL PARA A LÓGICA DE PRIMEIRA ORDEM.

ATIVIDADE 12: POR QUE A LÓGICA DE PRIMEIRA ORDEM É INDECIDÍVEL?

ATIVIDADE 13:  O QUE É UMA LÓGICA MODAL? DÊ UM EXEMPLO.

ATIVIDADE 14: O QUE É UMA LÓGICA NÃO-CLÁSSICA? DÊ UM EXEMPLO.

ATIVIDADE 15:  EXPLIQUE PELOS MENOS TRÊS AXIOMAS DA TEORIA AXIOMÁTICA DOS CONJUNTOS ZERMELO-FRAENKEL.