Guia de Cursos

Queres conhecer a oferta de cursos da NOVA, nas áreas das licenciaturas, mestrados e doutoramentos?
No nosso Guia de Cursos encontras informação útil sobre Faculdades, Institutos e Escolas.
Podes ainda aceder a informações complementares necessárias a uma completa integração.

saber mais Guia de Cursos

Faculdade de Ciências Sociais e Humanas

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%).

Cursos