Código: | FILO027 | Sigla: | LOG1 |
Ativa? | Sim |
Unidade Responsável: | Departamento de Filosofia |
Curso/CE Responsável: | Licenciatura em Filosofia |
Sigla | Nº de Estudantes | Plano de Estudos | Anos Curriculares | Créditos UCN | Créditos ECTS | Horas de Contacto | Horas Totais |
---|---|---|---|---|---|---|---|
FILO | 76 | FILO - Plano de Estudos | 1 | - | 6 | 4 |
Pretende-se que os estudantes desenvolvam o raciocínio (essencialmente de tipo dedutivo) através da competência no uso de conceitos essenciais da lógica, com vista à sua aplicação
- na análise de teses filosóficas baseadas em argumentos, e
- na compreensão de algumas posições filosóficas para as quais os resultados das investigações lógicas são encarados como fundamentais (ou, pelo contrário, como irrelevantes).
Aplicação rigorosa dos seguintes conceitos essenciais da lógica: argumento, premissa e conclusão; proposição, condições de verdade e valor de verdade; ambiguidade; argumento válido e argumento inválido; argumento dedutivo e argumento indutivo; argumento indutivamente válido e argumento indutivamente inválido; contraexemplo para um argumento; argumento correto e argumento incorreto; contra-argumento; forma lógica; forma de argumento válida e forma de argumento inválida; consequência lógica; sistema formal (ou cálculo) e linguagem formal; análise lógica; noção lógica fundamental (numa linguagem formal da lógica).
Não previstos.
1. Argumentos.
1.1 A ideia de preservação da verdade e a noção de validade de um argumento em geral.
1.2 Algumas questões sobre as análises e avaliações intuitivas de argumentos particulares.
2. O estudo dos movimentos de pensamento caracteristicamente inferenciais no âmbito da Lógica.
2.1 Argumentos dedutivos (válidos ou inválidos) e argumentos indutivos.
2.2 Argumentos (dedutivos) correctos e incorrectos e argumentos (dedutivos) persuasivos.
2.3 As análises e avaliações intuitivas de argumentos e as investigações lógicas em sentido estrito.
3. A forma ou estrutura lógica dos argumentos e a noção de consequência lógica.
3.1 Análise lógica e decisões sobre validade.
3.2 Sistemas formais e linguagens formais.
4. Os níveis interproposicional e intraproposicional de análise lógica no âmbito da Lógica de Primeira Ordem com Identidade.
4.1 Noções e símbolos fundamentais da Lógica Proposicional.
4.2 Noções e símbolos fundamentais da Lógica de Predicados.
Indicações sobre o estudo das obras constantes na bibliografia obrigatória serão fornecidas ao longo das aulas.
Aulas teórico-práticas. Aulas expositivas e discussão em turma de casos e exemplos especialmente relevantes e/ou complexos; 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.
Designação | Peso (%) |
---|---|
Exame | 100,00 |
Total: | 100,00 |
Designação | Tempo (Horas) |
---|---|
Estudo autónomo | 110,00 |
Frequência das aulas | 52,00 |
Total: | 162,00 |
De acordo com as normas em vigor.
Exame final: prova escrita, com a duração de 3H00m, e prova oral, se necessário ou requerido. Nota de exame arredondada. Com testes intermédios de verificação ou consolidação dos conhecimentos, de acordo com o decorrer das aulas.
Não previstos.
Não previsto.
De acordo com as normas em vigor.
De acordo com as normas em vigor.