Filosofia · 10.º Ano · Lógica e Argumentação: A Estrutura do Pensamento · 1o Periodo

Introdução à Lógica Formal

Os alunos compreendem a distinção entre validade e verdade, e a importância da forma lógica na avaliação de argumentos dedutivos.

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

Sobre este tópico

A lógica é a espinha dorsal do pensamento racional. Neste tópico, os alunos mergulham na lógica formal, explorando tanto a herança aristotélica (silogismos) como a lógica proposicional moderna. O objetivo é compreender a validade dedutiva: a propriedade de um argumento onde, se as premissas forem verdadeiras, a conclusão tem de ser obrigatoriamente verdadeira. Ferramentas como tabelas de verdade e formas de inferência (Modus Ponens, Modus Tollens) tornam-se instrumentos práticos de análise.

Segundo as Aprendizagens Essenciais, o domínio da lógica permite ao aluno avaliar a forma dos argumentos, independentemente do seu conteúdo. Isto é crucial para detetar erros de raciocínio em discursos complexos. A lógica não é apenas uma disciplina abstrata, mas um filtro contra a incoerência e a contradição.

Os alunos aprendem lógica muito mais depressa quando podem manipular as estruturas. O uso de modelos visuais e a resolução colaborativa de 'puzzles' lógicos transforma o que poderia ser uma aula árida numa experiência de descoberta intelectual e rigorosa.

Questões-Chave

1. Diferencie validade de verdade no contexto da lógica formal, usando exemplos.
2. Explique por que razão um argumento válido pode ter uma conclusão falsa.
3. Analise a importância da forma lógica para determinar a validade de um argumento.

Objetivos de Aprendizagem

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

Antes de Começar

Introdução aos Conceitos de Proposições e Argumentos

Porquê: Os alunos precisam de saber o que é uma proposição e como identificar um argumento antes de poderem analisar a sua validade e verdade.

Identificação de Afirmações e Opiniões

Porquê: A capacidade de distinguir entre afirmações factuais e opiniões é fundamental para compreender a diferença entre verdade e falsidade no contexto de um argumento.

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.

Atenção a estes erros comuns

Erro comum

Se a conclusão é verdadeira, o argumento é válido.

O que ensinar em alternativa

A validade depende apenas da forma, não da verdade da conclusão. Através da criação de argumentos com premissas falsas mas forma válida, os alunos percebem que a validade é uma questão de conexão lógica.

Erro comum

A lógica e a verdade são a mesma coisa.

O que ensinar em alternativa

A verdade refere-se ao conteúdo das proposições; a lógica refere-se à relação entre elas. O uso de tabelas de verdade ajuda a visualizar que a validade é uma garantia de preservação da verdade, não a verdade em si.

Ideias de aprendizagem ativa

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.

40 min·Pequenos grupos

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.

20 min·Pares

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.

45 min·Pequenos grupos

Ligações ao Mundo Real

• Advogados utilizam a lógica formal para construir argumentações em tribunal, assegurando que as suas alegações (premissas) suportam logicamente a conclusão desejada, seja ela a inocência ou a culpa.
• Cientistas da computação aplicam princípios de lógica formal no desenvolvimento de software e na verificação de sistemas, garantindo que os programas funcionam de forma consistente e sem erros lógicos.
• Jornalistas de investigação analisam a estrutura de argumentos apresentados em notícias e discursos políticos para detetar inconsistências ou falácias, assegurando uma reportagem mais precisa e fundamentada.

Ideias de Avaliação

Verificação Rápida

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.

Bilhete de Saída

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.

Questão para Discussão

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.

Perguntas frequentes

O que é o Modus Ponens?

É uma regra de inferência válida que segue a forma: 'Se P, então Q; P; logo, Q'. É um dos pilares da lógica proposicional no 10° ano. Ajuda os alunos a compreenderem como afirmações condicionais permitem extrair conclusões diretas quando o antecedente é confirmado.

Qual a diferença entre validade e verdade?

A verdade é uma propriedade das proposições (está de acordo com os factos). A validade é uma propriedade dos argumentos (a conclusão deriva logicamente das premissas). Um argumento pode ser válido mas ter premissas falsas, resultando num argumento não sólido.

Como as tabelas de verdade ajudam os alunos?

As tabelas de verdade são ferramentas visuais que permitem testar todas as combinações possíveis de valores de verdade para um argumento. Ao preencherem as tabelas de forma colaborativa, os alunos conseguem 'ver' mecanicamente se existe alguma situação onde as premissas são verdadeiras e a conclusão falsa, o que define a invalidade.

Para que serve a lógica aristotélica hoje em dia?

Embora a lógica proposicional seja mais abrangente, a lógica aristotélica (silogismos) é excelente para ensinar a estrutura de categorias e a relação entre termos gerais. Ajuda os alunos a organizar o pensamento classificatório e a entender a quantificação (Todos, Alguns, Nenhum).