Introdução à Lógica Formal

A lógica formal exige que os alunos manipulem estruturas abstratas sem se perderem em conteúdos emocionais ou crenças pessoais. Ao trabalharem em estações de raciocínio ou em pares, os alunos praticam a separação entre forma e conteúdo, o que é mais eficaz do que explicações teóricas isoladas. Estas atividades ativas permitem-lhes identificar padrões lógicos em tempo real, consolidando conceitos que, de outra forma, permaneceriam abstratos e difíceis de interiorizar.

• 11° Ano
• O Pensamento Crítico e a Procura da Verdade
• 3 atividades
• 20 min–50 min

Objetivos de Aprendizagem

1. Identificar a estrutura de um argumento dedutivo, distinguindo premissas de conclusão.
2. Comparar a validade formal de um argumento com a verdade das suas proposições constituintes.
3. Explicar como a forma lógica de um argumento determina a sua validade, independentemente do conteúdo.
4. Analisar argumentos comuns para detetar falácias formais e informais.
5. Construir argumentos dedutivos válidos com base em premissas verdadeiras.

Pensar-Partilhar-Apresentar

⏱ 45 min·Pequenos grupos

Estações de Raciocínio: O Laboratório de Validade

Divida a sala em estações onde cada grupo deve resolver um desafio lógico diferente: converter linguagem natural para simbólica, criar tabelas de verdade para formas argumentativas e identificar falácias formais em recortes de jornais.

Preparação e detalhes

Diferencie a validade de um argumento da verdade das suas premissas.

Sugestão de Facilitação: Durante as 'Estações de Raciocínio', circule entre grupos para garantir que todos os alunos estão a preencher corretamente as tabelas de verdade, corrigindo erros de interpretação da simbologia logo que surjam.

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

Pensar-Partilhar-Apresentar

⏱ 20 min·Pares

Pensar-Partilhar-Apresentar: Verdade vs. Validade

Apresente um argumento com premissas falsas mas estrutura válida. Peça aos alunos para refletirem individualmente sobre a sua aceitabilidade, discutirem em pares e depois partilharem com a turma por que razão a lógica aceita o argumento apesar do conteúdo.

Preparação e detalhes

Analise a importância da forma lógica para a correção de um raciocínio.

Sugestão de Facilitação: Nas sessões de 'Think-Pair-Share', peça aos alunos que primeiro anotem individualmente as suas respostas antes de discutirem em pares, garantindo que todos têm tempo para refletir antes da partilha coletiva.

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

Círculo de Investigação

⏱ 50 min·Pequenos grupos

Círculo de Investigação: Detetives de Falácias

Os grupos recebem transcrições de debates parlamentares portugueses e devem encontrar exemplos de afirmação do consequente ou negação do antecedente, justificando a sua classificação perante a turma.

Preparação e detalhes

Explique como a lógica formal nos ajuda a evitar erros de pensamento.

Sugestão de Facilitação: Na atividade 'Detetives de Falácias', forneça exemplos variados de falácias, desde casos óbvios a outros mais subtis, para desafiar os alunos a aplicarem os conceitos de forma rigorosa.

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

Ensinar Este Tópico

Comece por introduzir a lógica formal através de exemplos concretos e familiares, como publicidade ou notícias, para depois desconstruir os argumentos passo a passo. Evite começar pela teoria abstrata, pois isso pode afastar os alunos. Em vez disso, use metáforas visuais, como diagramas de Venn ou árvores de decisão, para ilustrar relações lógicas. Pesquisas mostram que os alunos retêm melhor quando conseguem ver a aplicação imediata dos conceitos, por isso sempre que possível, relacione a lógica formal com situações do dia a dia ou com outros domínios do currículo.

O Que Esperar

No final destas atividades, os alunos devem conseguir distinguir, com confiança, argumentos válidos de inválidos, independentemente do conteúdo das premissas. Espera-se que consigam também identificar falácias comuns em exemplos do quotidiano e justificar as suas observações com recurso a tabelas de verdade ou diagramas. A capacidade de aplicar estas ferramentas em contextos novos, como textos filosóficos ou debates, é o indicador mais claro de sucesso.

Atenção a estes erros comuns

Erro comum

Durante a atividade 'Estações de Raciocínio', watch for alunos que concluem que um argumento é inválido apenas porque a conclusão lhes parece falsa.

O que ensinar em alternativa

Peça-lhes que substituam o conteúdo das premissas por variáveis (ex: P e Q) e verifiquem a estrutura. Use a estação de exercícios de substituição para isolar a forma lógica e corrigir a intuição sobre a verdade.

Erro comum

Durante a atividade 'Think-Pair-Share: Verdade vs. Validade', watch for alunos que negam uma disjunção inclusiva aplicando a negação a cada parte separadamente.

O que ensinar em alternativa

Na fase de pares, distribua folhas com exemplos visuais de tabelas de verdade para que construam juntos a equivalência entre 'não (P ou Q)' e 'não P e não Q', confirmando com valores específicos.

Ideias de Avaliação

Bilhete de Saída

Após a atividade 'Estações de Raciocínio', entregue aos alunos um argumento simples (ex: 'Todos os números pares são divisíveis por 2. 4 é um número par. Logo, 4 é divisível por 2.'). Peça-lhes que identifiquem as premissas, a conclusão e expliquem, num parágrafo curto, se o argumento é válido e porquê.

Verificação Rápida

Durante a atividade 'Think-Pair-Share: Verdade vs. Validade', apresente dois argumentos na lousa: um válido com premissas falsas e outro inválido com premissas verdadeiras. Peça aos alunos, individualmente, que classifiquem cada um e justifiquem as suas escolhas em duas frases, usando a relação entre premissas e conclusão.

Questão para Discussão

Após a atividade 'Detetives de Falácias', coloque a seguinte questão no quadro: 'Um argumento pode ser válido e ter uma conclusão falsa?' Permita 2 minutos de reflexão individual e depois abra uma discussão em plenário, incentivando os alunos a usarem os exemplos analisados na atividade para fundamentar as suas respostas.

Extensões e Apoio

• Peça aos alunos que criem os seus próprios argumentos válidos e inválidos, trocando-os entre pares para análise. Estes podem depois ser discutidos em plenário, incentivando a criatividade e o rigor.
• Para alunos que lutam com a abstração, forneça exercícios com conteúdos mais concretos ou use analogias do quotidiano, como receitas de cozinha para explicar premissas e conclusões.
• Convide os alunos a analisar um artigo de opinião ou um discurso político, identificando falácias e estruturando um argumento alternativo, promovendo a aplicação em contexto real.

Vocabulário-Chave

Argumento dedutivo	Um raciocínio em que a conclusão se segue necessariamente das premissas. Se as premissas forem verdadeiras, a conclusão tem de ser verdadeira.
Validade	Uma propriedade de um argumento dedutivo que indica que a sua estrutura lógica é correta, de tal forma que é impossível que as premissas sejam verdadeiras e a conclusão falsa.
Verdade	Uma propriedade de uma proposição que descreve a sua correspondência com a realidade ou com os factos.
Premissa	Uma das proposições que servem de base ou justificação para a conclusão num argumento.
Conclusão	A proposição que se pretende demonstrar ou provar num argumento, a partir das premissas.