Lógica I

Código:

FILO027

Sigla:

LOG1

Ocorrência: 2017/2018 - 1S

Ativa?	Sim
Unidade Responsável:	Departamento de Filosofia
Curso/CE Responsável:	Licenciatura em Filosofia

Ciclos de Estudo/Cursos

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

Língua de trabalho

Português

Objetivos

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).

Resultados de aprendizagem e competências

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).

Modo de trabalho

Presencial

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

Não previstos.

Programa

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.

Bibliografia Obrigatória

Deano, Alfredo; Introducción a la lógica formal. ISBN: 84-206-2987-1
Forbes, Graeme; Modern logic. ISBN: 0-19-508029-7
Guttenplan, Samuel; The^languages of logic. ISBN: 1-55786-988-X
Haack, Susan, 1945-; Philosophy of logics. ISBN: 0-521-29329-4
Hodges, Wilfrid; Logic. ISBN: 0-14-013636-3
Newton-Smith, W. H.; Lógica. ISBN: 972-662-609-9
Oliveira, Augusto Franco de; Lógica e aritmética. ISBN: 972-662-504-1

Bibliografia Complementar

Beall, Jc; Logic - the basics, Routledge, 2010. ISBN: 978-0-415-77499-4
Dowek, Gilles; La^logique. ISBN: 2-08-035414-0
Govier, Trudy; Problems in argument analysis and evaluation. ISBN: 90-6765-341-1
Hofstadter, Douglas R., 1945- 210; Gõdel, Escher, Bach. ISBN: 972-662-709-5
Hughes, R. I. G 340; A^philosophical companion to first-order logic. ISBN: 0-87220-181-3

Observações Bibliográficas

Indicações sobre o estudo das obras constantes na bibliografia obrigatória serão fornecidas ao longo das aulas.

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 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.

Palavras Chave

Humanidades > Filosofia > Lógica

Tipo de avaliação

Avaliação por exame final

Componentes de Avaliação

Designação	Peso (%)
Exame	100,00
Total:	100,00

Componentes de Ocupação

Designação	Tempo (Horas)
Estudo autónomo	110,00
Frequência das aulas	52,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

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.

Provas e trabalhos especiais

Não previstos.

Trabalho de estágio/projeto

Não previsto.

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

De acordo com as normas em vigor.

Melhoria de classificação

De acordo com as normas em vigor.