Lógica I (FIL 120)

Professor Desidério Murcho

Universidade Federal de Ouro Preto
Departamento de Filosofia

Horário: terças-feiras, 8:00-9:40, 10:00-11:40

Documentos

  1. Elementos Básicos de Lógica Proposicional
  2. Lógica proposicional: Regras primitivas e derivadas
  3. Estratégias informais para fazer derivações
  4. Lógica de predicados: Regras primitivas e derivadas
  5. Lógica de predicados: Exercícios resolvidos (pp. 147, 154-155)
  6. Lógica de predicados com identidade: Exercícios parcialmente resolvidos (pp. 182-184)
  7. Aspectos da lógica silogística
  8. Prova-modelo 2
  9. Prova-modelo do exame especial (a realizar dia 19 de fevereiro de 2008, às 08:00 horas)

Descrição

Estuda-se nesta disciplina elementos básicos de lógica proposicional e de predicados, incluindo também aspectos da lógica aristotélica. A abordagem é simplificada e sem perder de vista a linguagem natural e a aplicação da lógica à análise da argumentação e da linguagem filosófica. Inclui-se também alguns elementos de lógica informal.

As aulas de exercícios permitem que o estudante treine as suas aptidões lógicas ao longo do semestre, pois não é possível obter bons resultados nesta disciplina sem fazer muitos exercícios: a lógica tem uma forte componente de habilidade, de saber-fazer. Não basta compreender os conteúdos da disciplina.

Avaliação

Haverá duas provas presenciais obrigatórias com a duração de 120 minutos cada.

A classificação final do estudante é a média aritmética da classificação das duas provas.

Data

Tópico

Leituras

25 de Setembro

Introdução: lógica, argumentação e filosofia. Lógica formal e informal. Forma lógica.

Murcho, O Lugar da Lógica na Filosofia, Caps. 1-2. 

Murcho, “Lógica Informal”

Newton-Smith, Lógica, Cap. 1

2 e 9 de Outubro

Lógica proposicional: operadores verofuncionais, tabelas de verdade e inspetores de circunstâncias.

Newton-Smith, Lógica, Cap. 2.

16 de Outubro

Exercícios

 

30 de Outubro

6 de Novembro

Cálculo proposicional: dedução natural. Regras primitivas e derivadas.

Newton-Smith, Lógica, Cap. 3.

13 de Novembro

Exercícios

 

27 de Novembro

Prova 1: lógica informal e lógica proposicional.

 

4 de Dezembro

Linguagem de predicados. Identidade e descrições.

Newton-Smith, Lógica, Caps. 5-6.

11 e 18 de Dezembro

 

Cálculo de predicados com identidade: dedução natural. Regras primitivas e derivadas.

Newton-Smith, Lógica, Caps. 5-6.

15 de Janeiro

Exercícios

 

22 de Janeiro

Lógica aristotélica: teoria do silogismo e teoria da conversão. Classes vazias.

Murcho, O Lugar da Lógica na Filosofia, Cap. 6.

29 de Janeiro

Prova 2: lógica de predicados e lógica aristotélica.

 

Referências

Murcho, Desidério. 2003. O Lugar da Lógica na Filosofia. Lisboa: Plátano.
Murcho, Desidério. 2006. Lógica Informal. In Enciclopédia de Termos Lógico-Filosóficos, dir. de João Branquinho et al. São Paulo: Martins Fontes.
Newton-Smith, W. H. 1985. Lógica: Um Curso Introdutório. Trad. de Desidério Murcho. Lisboa: Gradiva, 1998.