Lógica

Código:

CINF022

Sigla:

LOG_CI

Áreas Científicas
Classificação	Área Científica
OFICIAL	Filosofia

Ocorrência: 2022/2023 - 1S

Ativa?	Sim
Unidade Responsável:	Departamento de Filosofia
Curso/CE Responsável:	Licenciatura em Ciência da Informação

Ciclos de Estudo/Cursos

Sigla	Nº de Estudantes	Plano de Estudos	Anos Curriculares	Créditos UCN	Créditos ECTS	Horas de Contacto	Horas Totais
CINF	59	Plano Oficial em vigor (2022)	1	-	6	41	162

Língua de trabalho

Português - Suitable for English-speaking students

Objetivos

A lógica é o estudo sistemático da inferência válida. Nesta unidade curricular faz-se uma introdução a esse estudo, que inclui a lógica proposicional e a lógica de predicados. Pretende-se que os estudantes dominem alguns dos conceitos essenciais da lógica, bem como empreguem certos métodos formais para representar e avaliar argumentos, raciocínios, com vista à sua posterior aplicação na estruturação de linguagens de indexação, na análise de sistemas de informação e na recuperação de informação.

Resultados de aprendizagem e competências

Após a conclusão bem-sucedida desta unidade curricular, os estudantes vão:
• Determinar a estrutura lógica dos argumentos em linguagem natural identificando premissas e conclusões.
• Entender conceitos básicos de lógica, tal como: argumento, premissa, conclusão, proposição, forma lógica, função de verdade, validade, solidez, contraexemplo, tautologia, contradição, contingência, equivalência, consistência, dedução, indução, consequência lógica.
• Traduzir argumentos da linguagem natural para a linguagem da Lógica Proposicional e da Lógica de Predicados.
• Determinar a validade dos argumentos utilizando (i) tabelas de verdade, (ii) derivações/dedução natural, e (iii) árvores.

Modo de trabalho

Presencial

Pré-requisitos (conhecimentos prévios) e co-requisitos (conhecimentos simultâneos)

Não aplicável.

Programa

1. Introdução à lógica
1.1. O que é a lógica?
1.2. Argumentos e proposições
1.3. Validade e solidez
1.4. Dedução vs. indução
1.5. Lógica clássica vs. lógicas não-clássicas

2. Lógica proposicional (LP)
2.1. Linguagem da LP
2.2. Semântica da LP
2.3. Tabelas de verdade
2.4. Inferências válidas e derivações em LP
2.5. Método das árvores para LP

3. Lógica de predicados (LPr)
3.1. Linguagem da LPr
3.2. Semântica da LPr
3.3. Derivações em LPr
3.4. Método das árvores para LPr
3.5. LPr com identidade

Bibliografia Obrigatória

Nicholas Smith; Logic: The Laws of Truth, Princeton University Press, 2012. ISBN: 0691151636
Richard Jeffrey; Formal Logic: Its Scope and Limits, Hackett Publishing Company, 2006. ISBN: 0872208133
Russell Marcus; Introduction to Formal Logic, Oxford University Press, 2018. ISBN: 0190861789
Tim Button & P.D.Magnus; forall x: An Introduction to Formal Logic, https://forallx.openlogicproject.org/, 2021

Bibliografia Complementar

Beall, Jc; Logic: the basics, Routledge, 2010
Harry J. Gensler; Introdução à Lógica, Paulus Editora, 2016. ISBN: 8534940835
Desidério Murcho; Lógica Elementar, Edições 70, 2019. ISBN: 9789724421063
Newton-Smith, W. H.; Lógica. ISBN: 972-662-609-9
Peter Smith ; An Introduction to Formal Logic, Cambridge University Press, 2020

Métodos de ensino e atividades de aprendizagem

Aulas teórico-práticas. Aulas expositivas e discussão em turma de casos e exemplos especialmente relevantes; realização de exercícios com análise e/ou comparação dos resultados obtidos. A participação dos estudantes é requerida na discussão de exemplos e na resolução de exercícios.

Palavras Chave

Ciências Físicas > Matemática > Lógica matemática
Humanidades > Filosofia > Lógica

Tipo de avaliação

Avaliação distribuída sem exame final

Componentes de Avaliação

Designação	Peso (%)
Participação presencial	10,00
Teste	90,00
Total:	100,00

Componentes de Ocupação

Designação	Tempo (Horas)
Estudo autónomo	120,00
Frequência das aulas	42,00
Total:	162,00

Obtenção de frequência

De acordo com as normas em vigor.

Fórmula de cálculo da classificação final

Avaliação do Semestre: Três testes escritos presenciais (30% + 30% + 30%) e participação oral (10%).
Exame Recurso: Os estudantes que não efetuarem a avaliação do semestre, ou que tenham nela uma classificação negativa, podem ainda realizar um exame de recurso.

Provas e trabalhos especiais

Não aplicável.

Trabalho de estágio/projeto

Não aplicável.

Avaliação especial (TE, DA, ...)

De acordo com as normas em vigor.

Melhoria de classificação

De acordo com as normas em vigor.

Observações