1- questões introdutórias: definição, objeto de estudo e divisão da lógica; Reconhecimento e elaboração de argumentos; verdade e validade; o ponto de vista formal; teoria da argumentação



Baixar 24.82 Kb.
Encontro30.03.2018
Tamanho24.82 Kb.


LÓGICA

Prof. Marco Aurélio Sousa Alves

marcoaurelioalves@utexas.edu
FG.01.02 Lógica – Ementa
1- Questões introdutórias: definição, objeto de estudo e divisão da lógica; Reconhecimento e elaboração de argumentos; verdade e validade; o ponto de vista formal; teoria da argumentação (lógica, retórica e dialética); Filosofia da lógica.

2- Elementos de lógica tradicional: as proposições categóricas; a doutrina do silogismo; avaliação da validade com diagramas; limites e deficiências da lógica aristotélica.

3- Elementos de lógica clássica: cálculo proposicional (operadores lógicos, tabelas de verdade e dedução natural); cálculo de predicados ou de lógica de primeira ordem (linguagem, quantificadores e noções de cálculo de predicados); extensões e alternativas à lógica clássica.
Programa


  1. Questões introdutórias

    1. O que é lógica? Algumas questões de filosofia da lógica

    2. Definições introdutórias

      1. Argumento, raciocínio e inferência

      2. A forma canônica de um argumento

      3. Proposição e sentença

      4. Ambigüidade e vagueza

    3. Verdade e Validade

    4. Forma lógica

    5. Lógica e Teoria da Argumentação

      1. Lógica, retórica e dialética

      2. Lógica informal

      3. Argumentos não-dedutivos




  1. História da Lógica

    1. Lógica aristotélica

      1. Proposições categóricas

      2. Quadro de oposições

      3. Diagramas de Venn

      4. Teoria do silogismo

      5. Limites e deficiências

    2. A construção da lógica clássica (séc. XIX-XX)

      1. Relação entre lógica e matemática: o projeto logicista

      2. Boole, Frege e Russell




  1. CPC – Cálculo proposicional clássico ou cálculo sentencial

    1. Poder e limite da lógica proposicional

    2. Operadores lógicos

    3. Tabelas de verdade

    4. Dedução natural




  1. CQC – Cálculo quantificacional clássico ou de predicados de primeira ordem

    1. Poder e limite da lógica de predicados

    2. Linguagem da lógica de primeira ordem

    3. Noções básicas de cálculo de predicados




  1. Para além da lógica clássica

    1. Noções de lógicas heterodoxas ou não-clássicas

    2. Introdução à lógica modal



Sistema de Avaliação


  • Listas de exercícios: 5 (cinco) pontos cada [Total de 8 listas: 40 pontos]

  • 1ª Prova: individual, sem consulta, sobre a unidade 3 [Valor: 30 pontos]

  • 2ª Prova: individual, sem consulta, sobre a unidade 4 [Valor: 30 pontos]

Exame Especial:




    • Apenas para os alunos que não obtiverem o mínimo necessário para aprovação (60%).

    • Apenas para os alunos que tiveram a frequência mínima exigida (75%)

    • Prova individual, sem consulta e com matéria cumulativa.



Bibliografia

1 - Questões introdutórias
ALMEIDA, Aires. Lógica Informal. Disponível em http://criticanarede.com/.

DA COSTA, Newton. Ensaio sobre os fundamentos da lógica. São Paulo: HUCITEC/EdUSP, 1980 (cap I: Razão, lógica e linguagem, p. 17-64).

MORTARI, Cezar. Introdução à lógica. São Paulo: Ed. UNESP, 2001. (Cap. 1: Introdução, p. 1-15; Cap. 2: Lógica e argumentos, p. 16-30; Cap. 3: Preliminares, p. 31-41).

MURCHO, Desidério. “Lógica e Argumentação”. In: O lugar da lógica na filosofia. Disponível em http://criticanarede.com/.

MURCHO, Desidério. Introdução à lógica. Universidade Federal de Ouro Preto.

RODRIGUES, Abílio. Conceitos fundamentais de lógica. (Manuscrito).

RODRIGUES, Abílio. Lógica. São Paulo: WMF Martins Fontes, 2011. (cap. 1: Verdade, validade e forma lógica, p. 15-25).

RUAS, Paulo. Conceitos básicos de lógica. Disponível em http://criticanarede.com/.

RUAS, Paulo. Conceitos, juízos e raciocínios. Disponível em http://criticanarede.com/.

WESTON, Anthony. “O que é a argumentação”. In: A arte de argumentar. Disponível em http://criticanarede.com/.


2 - História da Lógica
ALMEIDA, Aires; TEIXEIRA, Célia; MURCHO, Desidério; GALVÃO, Pedro; MATEUS, Paula. “Lógica silogística”. In: A arte de pensar.

COPI, Irwing. Introdução à lógica. São Paulo: Mestre Jou, 1968. (Cap. 5: Proposições categóricas, p. 139-166; Cap. 6: Silogismos categóricos, p. 167-192).

KENNY, Anthony. “A fundação da lógica”. In: História Concisa da Filosofia Ocidental. Temas e Debates, 1999. Disponível em http://criticanarede.com/.

KENNY, Anthony. “A lógica e os fundamentos da matemática”. In: História concisa da filosofia ocidental. Temas e Debates, 1999. Disponível em http://criticanarede.com/.

MARGUTTI, Paulo Roberto. “A Conceitografia de Frege: uma revolução na história da lógica”. Revista Kriterion, vol. XXV, n. 72, 1984.
3 - CPC – Cálculo proposicional clássico ou cálculo sentencial
MARGUTTI PINTO, Paulo Roberto. Introdução à lógica simbólica. Belo Horizonte: Ed. UFMG, 2006. (Cap. 2: As principais conectivas intersentenciais, p. 49-88).

MORTARI, Cezar. Introdução à lógica. São Paulo: Ed. UNESP, 2001. (Cap. 9: Valorações, p. 129-154; Cap. 13: Sistemas axiomáticos e sistemas formais, p. 226-234; Cap. 14: Dedução natural (I), p. 235-262; Cap. 15: Dedução natural (II), p. 263-267 - trecho).

MURCHO, Desidério. “Regras de dedução natural”. In: BRANQUINHO, João; MURCHO, Desidério; GOMES, Nelson Gonçalves (ed.). Enciclopédia de termos lógico-filosóficos. São Paulo: Martins Fontes, 2006.

RODRIGUES, Abílio. Lógica. São Paulo: WMF Martins Fontes, 2011. (cap. 2: A lógica clássica, p. 26-47).

RODRIGUES, Abílio. Verdade e validade II – lógica sentencial. (Manuscrito).
4 - CQC – Cálculo quantificacional clássico ou de predicados de primeira ordem
MORTARI, Cezar. Introdução à lógica. São Paulo: Ed. UNESP, 2001. (Cap. 5: Introdução ao CQC, p. 61-68; Cap. 6: A sintaxe do cálculo de predicados I, p. 69-97; Cap. 7: A sintaxe do cálculo de predicados II, p. 98-119; Cap. 8: Interpretações, p. 120-128).
5 - Para além da lógica clássica
CUNHA, Marisa. “Lógica, lógicas: uma visão panorâmica”. Caderno Dá Licença, n. 5, ano 6, dezembro 2004.

MORTARI, Cezar. Introdução à lógica. São Paulo: Ed. UNESP, 2001. (Cap. 18: Lógicas não clássicas, p. 349-390).



RODRIGUES, Abílio. Lógica. São Paulo: WMF Martins Fontes, 2011. (cap. 3: Lógica ou lógicas?, p. 48-83).

Compartilhe com seus amigos:


©ensaio.org 2017
enviar mensagem

    Página principal