Lógica
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
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
Método de avaliação
Prova escrita de frequência e exame final escrito