Tabelas de verdade, derivações e exercícios de simbolização são recursos importantes. O risco aparece quando o domínio técnico é apresentado sem a pergunta que lhe dá sentido: que relações entre enunciados estamos tentando representar?

Técnica com contexto

Uma aula de lógica ganha profundidade quando cada procedimento é ligado a um problema. A validade deixa de ser apenas uma definição para se tornar um critério que podemos comparar com outras noções de consequência. A formalização deixa de ser tradução mecânica e passa a envolver decisões interpretativas.

Exemplos provenientes de debates filosóficos mostram que uma linguagem formal destaca alguns aspectos e abstrai outros. Essa seletividade não é defeito; é precisamente o que torna a ferramenta útil — desde que seja reconhecida.

Abrir a caixa de ferramentas

Introduzir, ainda que brevemente, a existência de lógicas não-clássicas ajuda a desfazer a impressão de que há apenas um repertório possível de regras. O objetivo não é relativizar tudo, mas mostrar que sistemas lógicos podem ser comparados por propriedades, aplicações e compromissos filosóficos.