MPM5601 - Elementos de Lógica e Aplicações (2021)

- Aprimorar a habilidade de identificação de emprego correto ou incorreto da Lógica tanto em situações do cotidiano como em textos matemáticos. - Refletir sobre diferentes concepções de lógica e rigor ao longo da história da Matemática a partir do estudo de soluções matemáticas dadas a problemas relevantes que permitam avaliar tanto o tipo de concepção da época em que foram resolvidos como o impulso que proporcionaram para a mudança de concepção sobre lógica e rigor em épocas posteriores. - Refletir sobre o significado (importância, objetivos) do trabalho com Lógica em sala de aula da Educação Básica e sobre estratégias didáticas que possam ser facilitadoras de uma aprendizagem significativa da Lógica pelos alunos, principalmente no que diz respeito ao desenvolvimento da capacidade de utilização adequada da Lógica na Matemática e no cotidiano. - Aprofundar os conhecimentos em Lógica Formal (ou Matemática): - propiciar uma familiarização com o emprego de linguagem formal; - trabalhar as noções básicas do Cálculo de Predicados de 1ª ordem, como o substrato lógico para o tratamento de Teorias Axiomáticas (de 1ª ordem) na Matemática; - propiciar o desenvolvimento da capacidade de fazer demonstrações, formais ou não; - propiciar a vivência com literatura especializada, de modo a favorecer a autonomia de textos que tratam de Lógica Matemática; - discutir os limites da Lógica de primeira ordem e, eventualmente, propiciar uma introdução ao significado histórico do teorema da incompletude de Gödel e ao escopo de outras lógicas.