Lógica

Código:

CINF022

Sigla:

LOG_CI

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

Ocorrência: 2023/2024 - 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	58	Plano Oficial em vigor (2022)	1	-	6	41	162

Língua de trabalho

Português

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 certos métodos formais para representar e avaliar argumentos e 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, tais como: argumento, premissa, conclusão, proposição, forma lógica, função de verdade, validade, correção/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/ou (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 correção/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 (LPred)
3.1 Referência e predicação
3.2 Linguagem da LPred
3.3 Semântica da LPred
3.4 Métodos de decisão em LPred

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 com 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	121,00
Frequência das aulas	41,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:
- Partes 1 e 2: Dois testes escritos presenciais (45% + 45%) e participação oral (10%);
- Parte 3: Um teste escrito (100%).

Avaliação de 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