Gottfried Wilhelm Leibniz (1646-1716) foi um grande pensador polímata alemão que fez bastante reconhecimento por suas contribuições ao desenvolvimento da matemática e da filosofia. Na filosofia este filosofo é reconhecido por seu conceito de mônadas e por seu otimismo metafísicos explicitado na doutrina de “Melhor dos mundos possíveis”.
Leibniz também foi um importante pensador na disputa acirrada em sua época entre os Racionalistas x Empiristas. Leibniz um racionalista, ao lado por exemplo, de Descartes, estes acreditavam que a razão é a principal fonte de conhecimento e da verdade. Essa vertente filosófica surgiu em contrapartida aos empiristas, como John Locke, David Hume e Berkeley. Estes defendiam que todo o conhecimento se baseia e se é construído na experiência sensorial.
O que para este artigo não é muito importante. Mas de fundamental importância para o desenvolvimento da ciência moderna, como a conhecemos hoje.
Além destas (e outras contribuições à filosofia) Leibniz fez contribuições significativas à lógica, propondo a ideia de uma linguagem simbólica universal (Characteristica Universalis) e um cálculo lógico universal (Calculus Ratiocinator). Ele também é creditado pela invenção da calculadora mecânica conhecida como Stepped Reckoner. estas ideias influenciaram o desenvolvimento da lógica, da matemática e, mais tarde, da computação e da inteligência artificial. E por isso, poderíamos dizer que Leibniz, foi um precursor da inteligência artificial.
O Calculus Ratiocinator é um sistema de cálculo lógico universal que poderia ser usado para realizar inferências e resolver problemas de forma mecânica. Este seria um tipo de cálculo lógico que poderia resolver problemas dos mais diversos, como filosóficos, científicos e matemáticos.
A linguagem simbólica universal de Leibniz (Characteristica Universalis) foi imaginada como um sistema de símbolos lógicos universais e matemáticos que permitiriam expressar e resolver qualquer problema, simplesmente por meio de cálculos. Bem próximo do que as Inteligências artificiais fazem hoje em dia.
Para o filosofo, esse sistema seria teria símbolos representando diversos axiomas, ou seja, verdades claras e distintas e, uma vez alimentados, se poderia calcular respostas verdadeiras de forma automáticas, tudo de forma mecânica, apenas juntando informações e dando as respostas mais claras possíveis.
Um exemplo dessa evolução desse pensamento da lógica simbólica é a Máquina de Turing, que foi um sistema abstrato de computação que também se utilizou de símbolos para realizar operações lógicas e matemáticas.
Leibniz via nessa questão não só um meio de se alcançar conhecimentos sólidos em diversas áreas, mas também, como uma grande ferramenta para a invenção e análise em diversas áreas. Ele argumenta:
[...] por este método chegar-se-ia não unicamente a um conhecimento sólido sobre várias verdades importantes, mas que além disso atingiríamos [uma] Arte de inventar admirável e uma análise que faria algo de semelhante noutras matérias, ao que a Álgebra faz em relação aos Números.9 (LEIBNIZ, 1686).
O Cálculo Rationador e a Característica Universal, como verificado, são conceitos cujo intuito é tão somente a busca de uma linguagem universal da qual se pudesse extrair de maneira segura, clara e indubitável, todo o conhecimento humano. Claro que não é o que entendemos como a inteligência artificial como a conhecemos hoje, ele foi só um precursor de uma máquina que pudesse fazer tais investigações.
Mas é evidente que Leibniz, séculos antes, pensou meios de se chegar a algo próximo. A MARIA, Inteligência Artificial do STF, lançada recentemente é muito próximo do que Leibniz queria: uma ferramenta com uma linguagem que poderia criar “conceitos” de conceitos universais. A MARIA, sigla para Módulo de Apoio para Redação com Inteligência Artificial, é uma máquina que já têm em sua memória uma linguagem (sentenças processos, ementas e outros textos) e assim pode gerar, de forma automática: Resumos de votos, Relatórios em processos recursais e Análise inicial de processos de reclamação. Tudo o que Leibniz pensou que fosse possível, mas isso ainda no século XVIII.
Outro ponto interessante da vida do autor em foco é que, em sua época, ele foi um pensador subestimado, esquecido e não valorizado.
Um dos grandes motivos foi a controvérsia com Isaac Newton, a qual houve uma disputa grande sobre a invenção do cálculo, o qual ambos desenvolveram de forma independente. Mas, por Leibniz ser tido como um “caipira” (naquela época a Alemanha era ainda vários principados quase que feudais) e Newton um grande cientista, a comunidade cientifica deu apoio a Newton e ofuscou como pode Leibniz.
Mas no século XIX e XX, Leibniz é colocado em seu devido lugar, tanto na filosofia quanto na lógica, e como explicitado neste artigo, principalmente na lógica, na matemática e na computação, como no desenvolvimento das inteligências artificias, Leibniz, com suas ideias especialmente no que diz respeito ao Cálculo Rationador e à Característica Universal, foi de importância sem igual.
REFERÊNCIAS
MODAL. Uma brevíssima história da inteligência artificial: de Leibniz a Turing, e até hoje. 2019. Disponível em: https://www.modal.org.br/2019/08/27/uma-brevissima-historia-da-inteligencia-artificial-de-leibniz-a-turing-e-ate-hoje/?form=MG0AV3. Acesso em: 25 fev. 2025.
PONTIFÍCIA UNIVERSIDADE CATÓLICA DE SÃO PAULO. Disputa entre Newton e Leibniz sobre o cálculo: uma divergência, analisada sobre as correspondências na Royal Society. Disponível em: https://tede2.pucsp.br/handle/handle/13321/?form=MG0AV3. Acesso em: 25 fev. 2025.
SUPREMO TRIBUNAL FEDERAL. STF lança "Maria", ferramenta de inteligência artificial que dará mais agilidade aos serviços do Tribunal. Disponível em: https://noticias.stf.jus.br/postsnoticias/stf-lanca-maria-ferramenta-de-inteligencia-artificial-que-dara-mais-agilidade-aos-servicos-do-tribunal/. Acesso em: 25 fev. 2025.
Comments