Lógica

Código:

CINF022

Sigla:

LOG_CI

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

Ocorrência: 2014/2015 - 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	52	Plano Oficial a partir de 2008/2009	1	-	6	56	162

Língua de trabalho

Português

Objetivos

Pretende-se que os estudantes (1) desenvolvam o raciocínio de tipo dedutivo efetuado em linguagem natural e (2) dominem alguns dos conceitos essenciais da lógica atual, 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

Os estudantes deverão ser capazes de aplicar estritamente as seguintes noções: argumento, premissa e conclusão; proposição, condições de verdade e valor de verdade; ambiguidade; argumento válido e inválido; argumento dedutivo e indutivo; argumento indutivamente válido e indutivamente inválido; contraexemplo para um argumento; argumento correto e incorreto; contra-argumento; forma lógica; forma de argumento válida e inválida; consequência lógica; sistema formal (cálculo) e linguagem formal; análise lógica; noção lógica fundamental (numa linguagem formal). 
Os estudantes deverão ser também capazes de aplicar de maneira ponderada alguns dos métodos formais da Lógica Proposicional e da Lógica de Predicados, na formalização e estudo de proposições isoladas, em ligação com diferentes métodos para testar a validade de argumentos.

Modo de trabalho

Presencial

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

Não aplicável.

Programa

1. Introdução ao estudo da lógica.
1.1 Argumentos: validade e correcção de um argumento (dedutivo).
1.2 Proposições: condições de verdade e valores de verdade.
1.3 Análise lógica: forma lógica de proposições e argumentos.
1.4 Lógica clássica e lógica moderna (simbólica ou matemática).
1.5 Uma introdução (intuitiva) à teoria dos conjuntos.
2. Lógica Proposicional.
2.1 As operações de negação, conjunção, disjunção, condicionalização (material) e bicondicionalização (material).
2.2 A análise lógica de nível proposicional.
2.3 Testes de validade: inspectores de circunstâncias, implicações lógicas e interpretações invalidantes.
2.4 Introdução aos aspectos dedutivos da Lógica Proposicional.
3. Lógica de Predicados.
3.1 Referência e predicação: constantes, variáveis, predicados e aridade de um predicado, condições, substituição e identidade.
3.2 As operações de quantificação existencial e quantificação universal.
3.3 O nível intraproposicional de análise lógica: semântica lógica e interpretações.
3.4 Introdução aos aspectos dedutivos da Lógica de Predicados.

Bibliografia Obrigatória

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
Piaget, Jean, 1896-1980 300; Lógica e conhecimento científico (Grize, J.-B., “História. Lógica das classes e das proposições. Lógica dos predicados. Lógicas modais.”)

Bibliografia Complementar

Beall, Jc; Logic: the basics, Routledge, 2010
Detlefsen, Michael; Logic from A to Z. ISBN: 0-415-21375-4
Forbes, Graeme; Modern logic. ISBN: 0-19-508029-7
Hodges, Wilfrid; Logic. ISBN: 0-14-013636-3
Hofstadter, Douglas R., 1945- 210; Gõdel, Escher, Bach. ISBN: 972-662-709-5
Kneale, William; O desenvolvimento da lógica. ISBN: 972-31-0532-2
Lemmon, E. J; Beginning logic. ISBN: 0-412-38090-0
Lipschutz, Seymour; Teoria dos conjuntos
Nidditch, P. H; The^development of mathematical logic. ISBN: 1-85506-582-7
Tymoczko, T., Henle, J.; Sweet Reason: a field guide to Modern Logic, Springer, 2000
Walton, D, Reed, C., Macagno, F.; Argumentation Schemes, Cambridge Univ. Press, 2008

Métodos de ensino e atividades de aprendizagem

Aulas expositivas com recurso frequente a metodologias ativas de ensino. Discussão em turma de casos e exemplos especialmente relevantes e/ou complexos; realização de exercícios práticos, com análise e comparação dos resultados obtidos. A participação dos alunos é requerida na discussão dos exemplos e na resolução de exercícios.

Palavras Chave

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

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	102,00
Frequência das aulas	60,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 final por exame: prova escrita, com a duração de 2H30m, 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 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.