Lógica

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.

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.  

Cursos

Cursos onde a unidade curricular é leccionada: