Será que a Filosofia é Inútil?

Como o Pensamento Filosófico Deu Origem ao Computador e Desmente o Preconceito

Muita gente, no dia a dia, repete com certa convicção que a filosofia não serve para nada. Afirmam isso porque imaginam o filósofo como alguém que se limita a devanear, a elucubrar ideias abstratas sem qualquer ligação com a realidade concreta, preso unicamente na esfera do pensamento puro. Nada obstante, tal visão revela uma compreensão superficial e equivocada do que realmente significa filosofar.

Aliás, há uma antiga história que ilustra bem esse preconceito. Na Grécia clássica, o termo “idiota”, derivado de ‘idiṓtēs’, designava, originalmente, o cidadão que se retirava da vida pública, ocupando-se apenas de assuntos privados, sem participar das deliberações coletivas da pólis. Com o tempo, o termo ganhou conotação pejorativa, associando-se àquele que, por desinteresse ou incapacidade, não contribuía para o bem comum. De certo modo, o senso comum atual projeta nessa palavra uma crítica à filosofia: seria coisa de quem fica “só pensando”, sem agir, sem produzir algo palpável. Por conseguinte, aos olhos de muitos, o filósofo seria uma espécie de idiota moderno: inofensivo, inútil, distante das urgências da vida prática.

Contudo, se a filosofia fosse realmente tão inócua, por que razão os regimes autoritários, ao longo da história, sempre a perseguiram com tanto vigor? Afinal, quando um governo ditatorial se instala, uma das primeiras medidas costuma ser silenciar vozes dissidentes, entre as quais se destacam precisamente os filósofos. Eles reprimem o pensamento livre, censuram livros, expulsam professores e, em casos extremos, prendem ou eliminam pensadores. Isso demonstra, de forma inequívoca, que a filosofia incomoda. Ela serve, e serve sobremaneira, pois questiona fundamentos, expõe contradições, desperta consciências e, por isso mesmo, ameaça estruturas de poder que se sustentam na obediência cega e na ausência de reflexão crítica. Em virtude disso, nada mais contraditório do que afirmar sua inutilidade: o próprio ato de persegui-la revela seu potencial transformador e, portanto, perigoso para quem deseja impor uma única verdade.

O maior entrave ao ensino da filosofia, atualmente, reside exatamente nessa percepção equivocada de que se trata de mera especulação mental sem consequências práticas. No entanto, arealidade histórica desmente tal juízo com contundência. A própria informática moderna, por exemplo, que permeia todos os aspectos da existência contemporânea, do telefone celular ao sistema bancário, da medicina à comunicação global, tem raízes profundas na reflexão filosófica. Não foi mero acaso que o computador surgiu a partir de indagações lógicas e metafísicas sobre a natureza do cálculo, da mente e da mecânica do raciocínio.

Primeiramente, convém recordar que a filosofia analítica, especialmente forte no mundo anglo-saxão, dedicou-se com afinco ao estudo da lógica formal e da linguagem, buscando clareza conceitual e rigor na análise de problemas. Pensadores como Gottlob Frege, Bertrand Russell e Ludwig Wittgenstein, entre outros, pavimentaram o caminho para uma compreensão precisa do que significa “computar”. Posteriormente, na década de 1930, três nomes se destacam de modo singular: Kurt Gödel, Alonzo Church e Alan Turing. Todos eles, em graus variados, eram filósofos preocupados com os fundamentos da matemática e da lógica, e seus trabalhos culminaram naquilo que hoje chamamos de teoria da computação.

Gödel, com seus famosos teoremas da incompletude, demonstrou limites intrínsecos aos sistemas formais consistentes, abalando a crença em uma matemática completa e decidível. Church desenvolveu o cálculo lambda, um sistema formal que captura a essência de funções computáveis de maneira abstrata e elegante, um verdadeiro algoritmo filosófico-mathemático. Turing, por sua vez, inspirado em parte pelo trabalho de Church ( seu orientador indireto em Princeton ), propôs a célebre Máquina de Turing: um modelo teórico simples, porém universal, capaz de simular qualquer processo algorítmico finito. Ademais, Turing elaborou experimentos mentais profundos, como o famoso Teste de Turing, que questiona se máquinas podem exibir comportamento indistinguível do humano inteligente.

Surpreendentemente, esses raciocínios abstratos, nascidos no seio da filosofia da lógica e da matemática, deram origem direta ao conceito de máquina universal, o ancestral teórico de todo computador digital moderno. A Máquina de Turing, combinada com o cálculo lambda de Church e as limitações reveladas por Gödel, estabeleceu os pilares da computabilidade. Portanto, longe de ser mera elucubração, a filosofia aqui se mostrou fecunda ao extremo: sem ela, o computador simplesmente não teria surgido na forma como o conhecemos.

Em suma, afirmar que a filosofia não presta para nada equivale a ignorar evidências históricas gritantes. Ela não apenas reflete sobre justiça, beleza e verdade — temas eternos —, mas também, em suas vertentes mais rigorosas, como a analítica, gera ferramentas conceituais que revolucionam a tecnologia e a sociedade. De fato, o maior equívoco reside em subestimar o poder do pensamento reflexivo: ele não fica apenas no ar; transforma o mundo material de maneiras profundas e duradouras.

Bibliografia recomendada ( seleção das obras mais relevantes e consolidadas ):

• Hodges, Andrew. Alan Turing: The Enigma ( edição atualizada, 2014 ou posterior ), biografia definitiva de Turing, com excelente contextualização filosófica e técnica.
• Davis, Martin. The Universal Computer: The Road from Leibniz to Turing ( edição revisada, 2011 ), narrativa acessível e profunda sobre como ideias filosóficas levaram à computação moderna.
• Copeland, B. Jack (ed.). The Essential Turing: Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma (2004), coletânea primária essencial.
• The Smith, Peter (ed.). Computability: Turing, Gödel, Church, and Beyond ( MIT Press, 2013 ) — coletânea acadêmica avançada sobre os fundamentos filosóficos da computabilidade.
• Nagel, Ernest & Newman, James R.. Gödel’s Proof ( edição revisada, 2001 ), introdução clássica e clara aos teoremas de Gödel, com implicações filosóficas.
• Church, Alonzo. Artigos originais no Journal of Symbolic Logic ( 1936–1937 ), fontes primárias para o cálculo lambda (acesso via bibliotecas acadêmicas ou JSTOR).
• Turing, Alan M. “On Computable Numbers, with an Application to the Entscheidungsproblem” (1936–1937) — artigo seminal, disponível em coletâneas ou online em domínio público.

Essas obras oferecem uma base sólida, rigorosa e respeitada para aprofundar o tema, combinando história, filosofia e técnica sem perder a profundidade humanista.