Filosofia · 10.º Ano

Ideias de aprendizagem ativa

Introdução à Lógica Formal

A lógica formal é um tema abstrato que exige abstração e manipulação de símbolos. A aprendizagem ativa funciona porque obriga os alunos a colocarem as mãos na massa, transformando conceitos teóricos em ações concretas. Ao trabalharem em equipa, manipularem tabelas ou simularem situações reais, os alunos ancoram a teoria em experiências tangíveis que solidificam a compreensão da validade dedutiva.

• Aprendizagens Essenciais
• DGE: Secundario - Lógica Aristotélica

• 20–45 min
• Pares → Turma inteira
• 3 atividades

Atividade 01

• Círculo de Investigação
• 40 min · Pequenos grupos

Círculo de Investigação: Detetives da Validade

Os grupos recebem cartões com argumentos. Devem usar tabelas de verdade ou regras de inferência para determinar se o argumento é válido ou inválido, justificando a 'sentença' perante a turma.

Diferencie validade de verdade no contexto da lógica formal, usando exemplos.

Sugestão de Facilitação

Durante a atividade 'Detetives da Validade', circule pela sala e questione os grupos sobre como chegaram às suas conclusões, incentivando-os a explicarem a forma do argumento e não apenas o seu conteúdo.

O que observar

Apresente aos alunos três argumentos curtos. Peça-lhes para identificarem, para cada um, as premissas e a conclusão. Em seguida, solicite que classifiquem cada argumento como válido ou inválido, justificando brevemente a sua escolha com base na forma lógica.

• Analisar
• Avaliar
• Criar
• Autogestão
• Autoconsciência

Atividade 02

• Pensar-Partilhar-Apresentar
• 20 min · Pares

Pensar-Partilhar-Apresentar: Tradutores de Lógica

Os alunos recebem frases da linguagem natural e devem formalizá-las em linguagem proposicional (P → Q). Depois, em pares, comparam as formalizações e discutem as ambiguidades da língua portuguesa.

Explique por que razão um argumento válido pode ter uma conclusão falsa.

Sugestão de Facilitação

Na atividade 'Tradutores de Lógica', forneça exemplos de frases em português que os alunos tenham de traduzir para linguagem lógica proposicional, garantindo que todos entendem a estrutura 'se... então...'.

O que observar

Entregue a cada aluno uma folha com duas colunas: 'Validade' e 'Verdade'. Peça-lhes para escreverem uma frase que defina cada termo e darem um exemplo concreto de um argumento que seja válido mas com premissas falsas.

• Compreender
• Aplicar
• Analisar
• Autoconsciência
• Competências Relacionais

Atividade 03

• Simulação de Julgamento
• 45 min · Pequenos grupos

Simulação de Julgamento: O Tribunal da Lógica

Um aluno apresenta um argumento. O 'promotor' tenta provar que a forma é inválida usando um contraexemplo, enquanto o 'advogado' defende a validade mostrando que a estrutura respeita as regras lógicas.

Analise a importância da forma lógica para determinar a validade de um argumento.

Sugestão de Facilitação

No 'Tribunal da Lógica', atribua papéis específicos aos alunos (juiz, advogado de acusação, advogado de defesa) para que cada um se foque na análise lógica do argumento apresentado.

O que observar

Coloque a seguinte questão no quadro: 'Um argumento com uma conclusão falsa pode ser válido?'. Promova uma discussão em pares ou em pequenos grupos, incentivando os alunos a usarem exemplos para defenderem as suas posições e a explicarem a importância da forma lógica neste contexto.

• Analisar
• Avaliar
• Criar
• Tomada de Decisão
• Consciência Social

Algumas notas sobre lecionar esta unidade

Comece por introduzir exemplos simples e quotidianos de argumentos, como 'Todos os cães latem. O Rex é um cão. Logo, o Rex late.' para mostrar que a validade depende da forma e não do conteúdo. Evite começar com silogismos complexos ou tabelas de verdade até os alunos dominarem a estrutura básica. Pesquisas mostram que a manipulação física de cartões ou diagramas (como tabelas de verdade) melhora significativamente a retenção destes conceitos abstratos. Use sempre exemplos falsos mas forma válida para desconstruir a ideia de que a verdade da conclusão garante a validade do argumento.

No final destas atividades, espera-se que os alunos consigam distinguir claramente entre verdade e validade, identifiquem premissas e conclusões em argumentos e classifiquem argumentos quanto à validade com base na sua forma lógica. A linguagem deve ser precisa, usando termos como 'premissa', 'conclusão', 'válido', 'inferência' e 'tabela de verdade'.

---

Atenção a estes erros comuns

• Durante a atividade 'Detetives da Validade', watch for students who assume that an argument is valid simply because its conclusion is true.

  Peça aos alunos para criarem um argumento com premissas falsas mas forma válida (por exemplo, 'Todos os pássaros voam. O pinguim é um pássaro. Logo, o pinguim voa.') e questioná-los sobre a validade apesar da conclusão falsa.

• Durante a atividade 'Tradutores de Lógica', watch for students who confuse the truth of propositions with the validity of the argument.

  Use a tabela de verdade para mostrar que a validade é uma propriedade da relação entre premissas e conclusão, não da verdade individual de cada proposição. Peça-lhes para preencherem uma tabela para um argumento com premissas verdadeiras e outra com premissas falsas, mas ambas com a mesma forma.

---

Metodologias usadas neste resumo

• Círculo de Investigação
• Pensar-Partilhar-Apresentar
• Simulação de Julgamento