PLANO DE ENSINO DE LÓGICA Curso: Filosofia

COPI, Irving M. Introdução à Lógica. São Paulo: Mestre Jou, 1978. SOARES, Edvaldo. Fundamentos de Lógica: elementos de lógica formal e teoria da argum...

63 downloads 523 Views 370KB Size
PLANO DE ENSINO DE LÓGICA Curso: Filosofia Disciplina: Lógica Área: Filosofia Período: 2º Ano: 2015 Professor: Reginaldo José Horta

Semestre: 2º

Horas: 72

Créditos: 04

1. Ementa: Introdução à Lógica: usos da argumentação; tipos de argumento; análise do argumento demonstrativo. Validade e Verdade. Lógica aristotélica: teoria do silogismo. Lógica Simbólica: Cálculo Proposicional; uso dos operadores funcional-veritativos; determinação de validade dos argumentos por meio das tabelas de verdade; Cálculo dos Predicados. 2. Objetivos: a) Desenvolver a habilidade de construção, avaliação e crítica de argumentos; b) Desenvolver a capacidade de reconhecer os principais operadores lógicos e suas respectivas funções; c) Desenvolver maior capacidade de determinar a validade de argumentos por meio do instrumental fornecido pela Lógica Moderna. 3. Métodos Didáticos: Aulas expositivas; Resolução de exercícios; Realização de leituras complementares. 4. Processo de Avaliação: 1. Avaliações parciais................................................................................... 70 pontos 2. Avaliação final........................................................................................... 30 pontos 3. Grade Horária do Programa: Unidades de Ensino I – Noção de Lógica 1. Argumentação e demonstração 2. O que é argumento 3. Análise de argumentos 4. Conceito de Lógica 5. Divisão da Lógica

Rua Itutinga, 340 | Minas Brasil | Belo Horizonte-MG | 30535-640 Tel 31 3419 2800 | fax 31 3419 2818 | [email protected] | www.ista.edu.br

II – Lógica aristotélica ou Lógica tradicional 1. A Lógica ou Órganon 2. As categorias ou termos 3. Proposições e juízos 4. Os Analíticos e a teoria do silogismo III – Lógica Simbólica 1. A Lógica depois de Aristóteles 2. Cálculo Proposicional 3.1 Pontuação 3.2 Procedimento-de-decisão 3.3 Validade dos argumentos 3.4 Determinação da validade por tabelas-de-verdade 4. Cálculo dos Predicados 4.1 Termos: variáveis e constantes 4.2 Predicados 4.3 Enunciado aberto ou função enunciativa 4.4 Instanciação 4.5 Quantificação

5.

Bibliografia:

Básica: CERQUEIRA, Luiz A.; OLIVA, Alberto. Introdução à Lógica. Rio de Janeiro: Zahar Editores, 1979. MORTARI, Cezar A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001. PINTO, Paulo Roberto Margutti. Introdução à Lógica Simbólica. Belo Horizonte: UFMG, 2006. Complementar: NOLT, John; ROHATYN, Dennis. Lógica. São Paulo: McGraw-Hill, 1991. NAHRA, Cinara; WEBER, Ivan H. Através da Lógica. Petrópolis: Vozes, 1997. COPI, Irving M. Introdução à Lógica. São Paulo: Mestre Jou, 1978. SOARES, Edvaldo. Fundamentos de Lógica: elementos de lógica formal e teoria da argumentação. São Paulo: Atlas, 2003. HEGENBERG, Leônidas. Lógica Simbólica. São Paulo: Editora Herder, 1966.

Rua Itutinga, 340 | Minas Brasil | Belo Horizonte-MG | 30535-640 Tel 31 3419 2800 | fax 31 3419 2818 | [email protected] | www.ista.edu.br