Lógica - 2. semestre
Código
711031079
Unidade Orgânica
Faculdade de Ciências Sociais e Humanas
Departamento
Filosofia
Créditos
6
Professor responsável
Paulo Melo
Horas semanais
4
Língua de ensino
Português sem apoio tutorial em LE
Objectivos
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.
Pré-requisitos
Não aplicável
Conteúdo
A partir da formalização de raciocínios expressos na linguagem natural, estudam-se os métodos operativos de análise dicotómica (técnica de decisão) e das tabelas semânticas (método das árvores), como instrumentos de certificação de validade para a lógica proposicional e para a lógica de primeira ordem com identidade, respectivamente.
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
Método de ensino
Aulas teórico-práticas.
Ensino presencial
Método de avaliação
Prova escrita de frequência (50%) e exame final escrito (50%).