Lógica
Objetivos
a) Adquirir o domínio dos instrumentos teóricos necessários à análise da estrutura lógica dos enunciados.
b) Adquirir a capacidade de cálculo lógico para averiguação da validade formal das inferências.
Caracterização geral
Código
711031079
Créditos
6.0
Professor responsável
João de Deus Santos Sàágua
Horas
Semanais - 4
Totais - 168
Idioma de ensino
Português
Pré-requisitos
Não aplicável
Bibliografia
• Copi, I. M., Introduction to Logic, Collier Macmillan Publ., London, 1982
• Howson, Colin, Logic with Trees, Routledge, London and New York, 1997
• Jeffrey, Richard, Formal Logic / Its Scope and Limits, Hackett Publishing Company, Inc., Indianapolis/Cambridge, 2006
• Newton-Smith, W. H., Logic, Routledge, London, 1991 (corrected edition)
• Quine, W.V., Methods of Logic, Routledge & Kegan Paul, London, 1974
• Sàágua, J., Lógica para as Humanidades, Editora Colibri, 2001
Método de ensino
Aulas teórico-práticas.
Ensino presencial
Método de avaliação
Método de avaliação - Exame final escrito (60%), Prova escrita de frequência(40%)
Conteúdo
Introdução à Lógica de primeira ordem com identidade articulada nos seguintes pontos:
• Análise da forma lógica de frases e raciocínios expressos numa linguagem natural.
• Familiarização com as propriedades sintácticas e semânticas dos operadores lógicos.
• Caracterização sintáctica e semântica de uma linguagem formal.
• Estudo de várias técnicas e procedimentos de formalização de frases do português gradualmente mais complexas.
• Esclarecimento — intuitivo (1º momento) e rigoroso (2º momento) — de noções lógicas centrais: validade, consequência, consistência e modelo.
• Estudo do método de cálculo por dedução natural como instrumento de certificação de validade lógica de um argumento.