Curso de Formação de Professores: LÓGICA FORMAL PROPOSICIONAL
Formador
Álvaro Balsas
Destinatários
Professores do ensino secundário do grupo disciplinar 410 (Filosofia).
Outras Informações
ACREDITADO POR: Conselho Científico-Pedagógico da Formação Contínua (CCFC/ACC 103276/19)
Nº HORAS ACREDITADAS: 25 h
DATA LIMITE DE INSCRIÇÃO: 28 de setembro de 2020
Nº MÍNIMO DE INSCRIÇÕES: 13
PERIODICIDADE: semanal - às terças-feiras; 17h-19h
INÍCIO: 6 outubro 2020
FINAL: 19 janeiro 2021
LOCAL: UCP-Braga
CUSTO: 120€ (90€ para antigos alunos)
Apresentação
“Argumentação e lógica formal” – enquadrada no âmbito mais amplo da temática da Racionalidade Argumentativa e Filosofia – constitui o primeiro tema do programa de Filosofia do 11º ano, o que indica a sua importância vital para a compreensão dos restantes temas desse programa.
Esta acção de formação visa, precisamente, fornecer aos docentes meios e técnicas que lhes permitam leccionar a unidade temática de lógica formal proposicional, de modo a que, no processo de ensino-aprendizagem, os alunos adquiram as competências adequadas que lhes permitam adoptar uma atitude racionalmente fundada, reflexiva e crítica quer na análise de argumentos filosóficos, quer na discussão dos seus pontos de vista em situações da sua vida diária.
Objetivos
Este curso pretende melhorar as competências dos professores para:
- Formalizar argumentos da linguagem natural em linguagem simbólica proposicional.
- Reconhecer e utilizar os operadores lógicos fundamentais na avaliação de funções de verdade.
- Conhecer formas de inferência válida.
- Aplicar correctamente os princípios da lógica para avaliar a (in)validade de argumentos.
- Construir argumentos válidos e detectar falácias formais.
- Robustecer a coerência lógica no acto de raciocinar.
Conteúdos da acção
1. Noções básicas de lógica
1.1. A ciência do logos (lei universal do mundo, faculdade humana, linguagem).
1.2. Lógica e Filosofia: a racionalidade filosófica como racionalidade argumentativa.
1.3. Forma e conteúdo. Lógica formal e lógica material. A Lógica e as outras ciências. Validade e verdade.
1.4. Conceitos (termos), juízos (proposições), raciocínios.
1.5. Argumentos e raciocínios. Indicadores de premissa e de conclusão. Entinema e ruído. Solidez e cogência argumentativa. Falácias. Persuasão e manipulação.
2. Lógica Proposicional
2.1. Objecto da lógica proposicional. Frases e proposições. Proposições simples e complexas. Forma lógica e validade formal.
2.2. Variáveis proposicionais. Operadores proposicionais e verofuncionais. Os seis operadores proposicionais verofuncionais (negação, conjunção, disjunção, disjunção exclusiva, condicional e bicondicional) e suas tabelas de verdade. Variáveis e constantes lógicas. Os 16 operadores binários. O âmbito dos operadores. Funções de verdade. Fórmulas tautológicas, contraditórias e contingentes.
2.3. Formalização e avaliação de argumentos por meio de tabelas de verdade e de inspectores de circunstâncias. O método dos grafos semânticos (ou dos contra-exemplos).
2.4. Formas de inferência válida: os silogismos não-categóricos (hipotético, conjuntivo, disjuntivo, o dilema), o modus ponens, o modus tollens, lei da contraposição e leis de De Morgan. Formas falaciosas (falácias formais) de inferência: afirmação da consequente, negação da antecedente e inversão da condicional.
2.5. Formas Complexas: Negação de formas proposicionais (condicional, bicondicional); equivalências proposicionais. Variáveis de fórmula. Validades surpreendentes. Validades dedutivas informais.
2.6. Derivações. Método sintáctico ou da dedução natural. Regras primitivas e derivadas de inferência. Redução ao absurdo.
Metodologia
A Lógica proposicional tem uma forte componente de domínio de regras formais, que exige uma necessária e competente exercitação das mesmas. Por isso, o curso terá um cariz teórico-prático, de modo a que a exposição teórica dos vários conteúdos seja complementada com partes mais práticas, nas quais se resolvem exercícios, individualmente e em grupo, permitindo, deste modo, que os formandos aprofundem e cimentem a compreensão, domínio e competências do cálculo proposicional, da formalização e avaliação de argumentos e do raciocínio lógico. Serão usados recursos como textos e apresentações em PowerPoint. Em suma, combinam-se as seguintes metodologias:
- Exposição sistemática dos conteúdos.
- Análise e avaliação de argumentos.
- Aulas Práticas com resolução de exercícios, individualmente e em grupo.
- Realização de um trabalho final de reflexão crítica, tendo por objectivo consolidar as competências adquiridas.
Regime de avaliação dos formandos
Os formandos serão avaliados de forma qualitativa e quantitativa, na escala de 1 a 10 valores, nos termos da Carta Circular CCPFC-3/2007 de Setembro de 2007, tendo por base os seguintes parâmetros e respectivos valores percentuais:
- Assiduidade, participação nos encontros e resolução individual de exercícios na sala de aula – 50%
- Relatório final de aplicação de conceitos de lógica proposicional a uma aula do 11º ano ou teste final – 50%
Obrigatoriedade de frequência de 2/3 das horas de formação. Encontros semanais.
Modelo de avaliação da acção
Em conformidade com os documentos aprovados em sede de Comissão Pedagógica, a saber:
• Relatório/reflexão crítica do Formando;
• Relatório do Formador
• Inquérito para avaliação da acção e do formador.
Bibliografia
• John P. BURGESS. Philosophical Logic. Princeton, NJ: Princeton University Press. 2009.
• Patrick J. HURLEY, A Concise Introduction to Logic. 9th ed. Belmont, CA: Wadsworth/Thomson Learning. 2006.
• Desidério MURCHO. O Lugar da Lógica na Filosofia. Lisboa: Plátano. 2003.
• W. H. NEWTON-SMITH. Lógica: Um Curso Introdutório. Lisboa: Gradiva. 1998.
• Philippe THIRY. Noções de Lógica. 2ª ed. Lisboa: Edições 70. 2010.
