Ciência, Geografia e Tecnologia da Informação.

Segundo Hobbes: “a Razão nada mais é que o cálculo” (Leviatã, 1651). Mas, o que é o cálculo? A fórmula simples de Hobbes guarda uma parte deste mistério que é a razão humana (Parrochia, 1992). Para uma justa aproximação é preciso contextualizá-la no movimento da Modernidade, onde outras posições parecem indicar uma orientação para seu entendimento, como por exemplo: Descartes, concebendo os pensamentos como representações simbólicas de partes ou aspectos da realidade; Leibniz, concebendo uma “característica universal”, isto é, um sistema de cálculo simbólico geral permitindo operar, por símbolos interpostos, sobre o conjunto de objetos abstratos e concretos e obter a totalidade das proposições verdadeiras como combinações convenientes de símbolos; e, La Méttrie, exigindo que os cálculos simbólicos efetuados pelo espírito humano resultem de interações mecânicas.

Uma genealogia da informática deve reconhecer não somente sua origem na lógica matemática, enquanto um instrumento intelectual autônomo, como na lógica moderna que emerge especialmente nos trabalhos de Leibniz. Trabalhos que como demonstra Heidegger, criam um problema ao insinuar a possibilidade de se fundamentar a metafísica na lógica, e não o inverso¹). Heidegger defende: a) a lógica fundada na metafísica e b) a lógica como apenas uma metafísica da verdade.

1. A lógica contemporânea mostra uma nova distorção do problema. Não apenas é a metafísica reduzida à lógica, mas a lógica é reduzida à matemática. A lógica contemporânea é simbólica, lógica matemática, e assim uma lógica que segue o método matemático. (Heidegger, 1978/1984, pág. 106 ↩