Há uma disciplina invisível que sustenta a matemática pura e também o telemóvel que levas no bolso. O Dia Mundial da Lógica assinala-se a cada 14 de janeiro por proclamação da UNESCO. Foi adotada na sua 40.ª Conferência Geral de novembro de 2019, em parceria com o Conselho Internacional de Filosofia e Ciências Humanas. O objetivo é lembrar que raciocinar bem é uma das ferramentas mais poderosas da humanidade.
História e origem
A efeméride nasceu da comunidade académica antes de nascer dos governos. A 14 de janeiro de 2019 celebrou-se um primeiro Dia Mundial da Lógica de forma informal. Foi impulsionado pela Logica Universalis Association, que incentivou lógicos de todo o planeta a organizar iniciativas independentes.
O sucesso dessa primeira edição chegou às deliberações da UNESCO, que a oficializou nesse mesmo ano.
O 14 de janeiro coincide com a morte de Kurt Gödel, em 1978, e com o nascimento de Alfred Tarski, em 1901. São dois dos lógicos mais influentes da história recente, e esse duplo aniversário é o que fixou a data.
Distinguir uma prova de uma opinião é hoje uma defesa cívica
A lógica costuma passar despercebida precisamente porque está em todo o lado. Estrutura o método científico, o direito, a programação, o debate democrático e até a conversa quotidiana quando dizemos «se isto, então aquilo».
A UNESCO sublinha que a informática e a tecnologia digital, que dão forma ao nosso modo de vida, estão enraizadas no raciocínio lógico e algorítmico.
Numa época de desinformação e de decisões automatizadas por inteligência artificial, reforçar o pensamento lógico tornou-se uma necessidade cívica. Detetar quando um argumento parte de premissas falsas é uma defesa imprescindível perante as notícias falsas que circulam nas redes. A lógica não pertence apenas aos matemáticos: é uma alfabetização básica do cidadão do século XXI.
De Aristóteles à inteligência artificial
A história da lógica é uma linha longa e surpreendente. Aristóteles, no século IV a. C., sistematizou o silogismo e fundou a lógica como ciência.
Mais de dois mil anos depois, George Boole traduziu o raciocínio em operações matemáticas e Gottlob Frege criou a lógica moderna de predicados.
No século XX, Gödel mostrou os limites do que é demonstrável e Alan Turing transformou a lógica em máquina: o seu modelo teórico de computação é o antepassado direto de qualquer computador. Hoje os algoritmos de inteligência artificial continuam a apoiar-se nessa cadeia que começou na Grécia clássica.
Como se vive em Portugal e no Brasil
Universidades, sociedades científicas e museus de todo o planeta organizam conferências, olimpíadas de lógica, oficinas para alunos e mesas-redondas abertas ao público.
No espaço lusófono participam departamentos de filosofia e matemática de Portugal e do Brasil, além de grupos de investigação dedicados à lógica matemática e à filosofia da ciência. Muitas iniciativas dirigem-se a estudantes do ensino secundário, para mostrar que a lógica é um jogo de engenho com aplicações imediatas.
A rede do CIPSH coordena todos os anos um programa internacional com eventos em dezenas de países, pelo que a efeméride serve também para tecer colaborações entre investigadores de continentes diferentes.
Há ainda um lado prático que costuma escapar. As profissões que hoje pagam melhor, da programação à análise de dados, assentam em raciocínio formal. E a lógica é a porta de entrada mais barata para essas áreas: não exige laboratório nem equipamento, apenas papel e atenção.
Como participar
- Resolve um enigma lógico e explica em voz alta cada passo do teu raciocínio.
- Aprende a reconhecer as falácias mais comuns, como o espantalho ou a falsa causa.
- Consulta a biografia de Gödel, Tarski, Boole ou Turing e partilha o que descobrires.
- Acompanha em linha as iniciativas promovidas pela UNESCO e pelo CIPSH.
- Introduz um desafio de lógica na sala de aula ou à mesa em família.
Celebrar a lógica é celebrar a capacidade de pensar com clareza e de defender as ideias com argumentos e não com ruído. Quem domina as regras do raciocínio domina metade do caminho até à verdade. Vê o que mais se assinala no calendário de 14 de janeiro. #DiaMundialDaLogica
Verificado pela redação de Dia Internacional
Revisto a