Lógica
Código
711031079
Unidade Orgânica
Faculdade de Ciências Sociais e Humanas
Departamento
Filosofia
Créditos
6.0
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 tem
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, como instrumentos de certificação da validade para a lógica de enunciados e para a lógica geral, respectivamente.
Bibliografia
NEWTON-SMITH, W. H., Logic, Routledge, London, 1991 (edição corrigida);
COPI, I. M., Introduction to Logic, Collier Macmillan Publ., London, 1982;
COPI, I. M., Symbolic Logic, Collier Macmillan Publ., London, 1979;
HODGES,W., Logic, Penguin Books, 1977;
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.