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.

• 10° Ano
• O Despertar do Pensamento Crítico: Introdução à Filosofia
• 3 atividades
• 20 min–45 min

Objetivos de Aprendizagem

1. Diferenciar validade e verdade em argumentos dedutivos, identificando exemplos de cada um.
2. Explicar a relação entre a verdade das premissas e a validade de um argumento, utilizando o conceito de inferência necessária.
3. Analisar a forma lógica de argumentos simples para determinar a sua validade, independentemente do conteúdo específico.
4. Identificar falácias formais comuns em argumentos apresentados.

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.

Preparação e detalhes

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.

Setup: Grupos em mesas com acesso a materiais de consulta

Materials: Coleção de fontes documentais, Ficha de trabalho do ciclo de investigação, Protocolo de formulação de perguntas, Modelo de apresentação de resultados

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

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.

Preparação e detalhes

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

Setup: Disposição normal da sala de aula; os alunos viram-se para o colega do lado

Materials: Proposta de discussão (projetada no ecrã ou impressa), Opcional: folha de registo para os pares

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

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.

Preparação e detalhes

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.

Setup: Secretárias reorganizadas de acordo com a disposição de um tribunal

Materials: Cartões de personagem/papéis, Dossiês de provas e evidências, Formulário de veredito para os juízes

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

Ensinar Este Tópico

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.

O Que Esperar

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

Erro comum

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

O que ensinar em alternativa

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.

Erro comum

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

O que ensinar em alternativa

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.

Ideias de Avaliação

Verificação Rápida

Após a atividade 'Detetives da Validade', apresente três argumentos curtos no quadro. Peça aos alunos para identificarem premissas e conclusão, classificarem a validade de cada um e justificarem a sua escolha com base na forma lógica, usando os termos aprendidos.

Bilhete de Saída

Durante a atividade 'Tradutores de Lógica', entregue uma folha com duas colunas ('Validade' e 'Verdade'). Peça aos alunos para escreverem uma frase que defina cada termo e deem um exemplo concreto de um argumento válido mas com premissas falsas, usando a estrutura aprendida.

Questão para Discussão

Após o 'Tribunal da Lógica', coloque a seguinte questão no quadro: 'Um argumento com uma conclusão falsa pode ser válido?'. Promova uma discussão em pares, incentivando os alunos a usarem exemplos do tribunal ou dos exercícios para defenderem as suas posições, focando-se na importância da forma lógica.

Extensões e Apoio

• Peça aos alunos que criem os seus próprios argumentos válidos com premissas falsas e apresentem-nos aos colegas, desafiando-os a identificarem a forma lógica.
• Para alunos com dificuldades, forneça argumentos com apenas uma premissa e peça-lhes para completarem com uma conclusão que mantenha a validade.
• Convide os alunos a explorarem a lógica de predicados, introduzindo quantificadores como 'todos', 'alguns' e 'nenhum', comparando com a lógica proposicional que já dominam.

Vocabulário-Chave

Validade	Propriedade de um argumento dedutivo em que a conclusão segue necessariamente das premissas. Se as premissas forem verdadeiras, a conclusão tem de ser verdadeira.
Verdade	Propriedade de uma proposição que corresponde ao estado de coisas no mundo real. Uma proposição pode ser verdadeira ou falsa.
Argumento Dedutivo	Um argumento em que se pretende que a conclusão se siga com necessidade lógica das premissas. A validade é a sua característica principal.
Forma Lógica	A estrutura de um argumento, expressa em termos de relações entre proposições, independentemente do seu conteúdo específico. É o que determina a validade.
Premissa	Uma das proposições que servem de base a um argumento dedutivo, das quais se pretende inferir a conclusão.
Conclusão	A proposição que se pretende inferir das premissas num argumento dedutivo.