Lógica
Código
711031079
Unidade Orgânica
Faculdade de Ciências Sociais e Humanas
Departamento
Filosofia
Créditos
6
Professor responsável
Nuno Carlos Venturinha
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
Introdução à Lógica Formal
O curso tem início com uma introdução à lógica de proposições não analisadas. Depois de expor os operadores verofuncionais da lógica proposicional e noções fundamentais como as de validade, consistência e inconsistência, incidimos particular atenção no método das tabelas de verdade e no método dos quadros semânticos. Segue-se uma introdução à lógica de predicados de primeira ordem com aplicação do método dos quadros semânticos. Posteriormente é estudado o cálculo de dedução natural para a lógica de primeira ordem. O curso termina com uma análise de questões relativas à filosofia da lógica, nomeadamente identidade e negação, assim como de temas concernentes à lógica epistémica.
Bibliografia
Halbach, V. (2010). The Logic Manual. Oxford: Oxford University Press.
Quine, W. V. O. (1982). Methods of Logic. Cambridge, MA: Harvard University Press.
Sàágua, J. (2001). Lógica para as Humanidades. Lisboa: Colibri.
Smith, P. (2003). An Introduction to Formal Logic. Cambridge: Cambridge University Press.
Wittgenstein, L. (1933). Tractatus Logico-Philosophicus. London: Routledge; (1987). Tratado Lógico-Filosófico. Lisboa: Fundação Calouste Gulbenkian.
Método de ensino
O método de ensino adotado combina a exposição baseada em textos de apoio com exercícios propostos aos alunos.
Método de avaliação
A avaliação consiste em duas provas, uma no meio e outra no final do semestre, cada uma com um peso de 50%.