Genealogia, Ontologia e Paradigma Da Informática (Revista Encontros Bibli) PDF

GENEALOGIA , ONTOLOGIA E PARADIGMA DA INFORMTICA
GENEALOGY, ONTOLOGYAND INFORMATICS PARADIGM
Murilo Cardoso de Castro

Pesquisador em Geoprocessamento e SIG da UFRJ
Mestre e Doutor pelo Geoheco UFRJ
murilocdecastro@gmail.com
Raquel Cardoso de Castro

Mestre pelo IBICT/MCT
Doutrora pela ECO/UFRJ
raquelcdecastro@gmail.com
Joo Cardoso de Castro

Mestre pelo NUTES UFRJ
joaocardosodecastro@gmail.com
Resumo
Este trabalho procura explorar o conceito de mquina universal. Ns escolhemos ter como foco a
abordagem de Pierre Lvy para introduzir sua teoria inicial e pouco conhecida sobre tecnologias
da informao e da cultura digital que vem crescendo desde ento.
Palavras-Chaves: Mquina universal. Lgica. Wittgenstein.
1 INTRODUO
A informtica surge no cenrio cientfico-tecnolgico, aps a Segunda Grande Guerra, como a

manifestao concreta da meta-arquitetura da Razo Moderna. Em elaborao desde a
Renascena, de forma subjacente e singular ao Ocidente, a mquina universal capaz de encerrar
a lgica do pensamento humano, e assim reproduzi-lo. Segundo Pierre Lvy (1987), a
informtica revela um dos segredos da histria do pensamento ocidental, a forma oculta de seu
Esta obra est licenciada sob uma Licena Creative Commons.

DOI 10.5007/1518-2924.2009v14n27p1
Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf., ISSN 1518-2924, Florianpolis, v. 14, n. 27, p.1-21, 2009.
1
ideal democrtico, o motor invisvel de sua arte, o selo de sua potncia industrial e cientfica -
talvez a prpria essncia do que se chama Ocidente.
A mquina universal, como conceito elaborado no campo da lgica matemtica, se apresenta
como um engenho capaz de tratar a informao: transformar, segundo uma lei determinada,
uma mensagem de entrada (entendida como um conjunto de dados) em uma mensagem de sada.
O computador, seu suporte material, nada mais do que a ponta atualmente visvel deste imenso
iceberg, a insinuante manifestao tcnica desta configurao subterrnea (Ibid.), de
domesticao e reproduo do pensar humano.
Ao se falar em mquina universal, cabe entender que a diferena entre um tratamento industrial
e um tratamento informacional reside primeiramente no campo onde atuam - material e
intelectual - e tambm na quantidade de energia aplicada no processo de transformao de um e
de outro campo. Rigorosamente os dois tratamentos so de informao, entretanto, no tratamento
informacional, a energia aplicada mnima, e destina-se a conhecer, supervisionar, controlar,
comandar, direta ou indiretamente, processos de um nvel de energia superior.
O fato da mquina universal atuar no campo intelectual faz com que o aprendizado de suas
operaes, como no caso das denominadas tecnologias da inteligncia - que dela decorrem
como implementaes de seus princpios, como a informtica, por exemplo - seja uma
empreitada sem fim, onde o que se transmite em qualquer processo educacional apenas a
maneira de manipular a tecnologia. Logo fica geralmente de fora a metodologia que rege sua
aplicao, assim como o potencial de desenvolvimento na sua adoo, que s se vai aprender por
um longo e rduo processo pessoal de experimentao em uso (o que explica, em grande parte,
as dificuldades de concluso satisfatria de qualquer projeto de informatizao).
Uma pesquisa do MIT publicada h alguns anos (fig. 1), comparou o processo de aprendizado de
tecnologias industriais e intelectuais, chegando constatao maior de que nas tecnologias
industriais o ensino bsico de sua aplicao praticamente cobria toda a capacidade oferecida pela
tecnologia, permitindo sua adoo plena; o aprendizado em uso, embora existisse, era mnimo
(CURLEY; PYBURN, 1982). Com as tecnologias intelectuais passava-se justamente o oposto: o
ensino bsico servia apenas para orientar sua adoo e manipulao mais comum, cabendo ao
uso efetivo a responsabilidade (a cargo de seu usurio) pelo aprendizado do potencial da
tecnologia (em alguns casos indeterminado, a priori).
2
COMPUTADOR
AVIO
CARRO
CALCULADORA
TECNOLOGIAS INDUSTRIAIS TECNOLOGIAS INTELECTUAIS
TREINAMENTO
APRENDIZADO COM O USO
Figura 1: Aprendizado do potencial da tecnologia

Fonte: CURLEY e PYBURN, 1982. p.36
2 A PRIMAZIA DO ALGORITMO NA MQUINA UNIVERSAL
O tratamento da informao por excelncia o clculo, que encerra em si o conceito de operao,

ao organizada e metdica com vistas produo de um resultado determinado. No entanto,
possvel estender a definio de clculo alm do conjunto de operaes matemticas, se forem
consideradas outras aes organizadas e metdicas, como: selecionar, classificar, permutar,
combinar, comparar, substituir, codificar, etc.
O algoritmo se apresenta, desta maneira, como uma seqncia finita ( preciso que o clculo
atinja um resultado) e ordenada (convenientemente disposta para se atingir o resultado desejado)
de operaes (regras ou instrues), com vistas resoluo de uma determinada classe de
problemas (realizando um conjunto de tarefas).
Uma vez formalizado um algoritmo, pela dissecao interpretativa de um fenmeno, em seus
dados simblicos e no conjunto de operaes sobre estes (algoritmo propriamente dito), corre-se
3
o risco de se perder a percepo global do fenmeno em si, diante do rigor extremo na descrio
formal, que por sua vez passa a ser a explicao. O fenmeno, enquanto recorte da realidade, se
submete a uma lgica puramente operatria, perdendo eventuais plos de significao.
Um programa de computador , portanto, uma equao tima combinando algoritmo (ou
algoritmos) com uma estrutura de dados simblicos dentro de um computador, visando a
consecuo de uma ou mais tarefas que traduzem um problema.
Foi em 1936, quase dez anos antes da construo do primeiro computador, que o matemtico
ingls Alan Turing (1936) props um modelo simples do que seria talvez o prottipo
informtico de uma mquina universal - a mquina de Turing. Uma mquina para
tratamento de informao, segundo as seguintes premissas (LVY, 1987):
todos os processos passveis de decomposio em uma seqncia finita e ordenada de
operaes sobre um alfabeto restrito, que alcanam ao resultado buscado, em um tempo finito,
podem ser realizados por uma mquina de Turing;
todos os trabalhos que uma mquina de Turing capaz de realizar, so algoritmos ou
procedimentos efetivos;
uma mquina de Turing pode se encontrar em um nmero finito de estados distintos e
predeterminados, correspondendo cada estado a uma maneira diferente da mquina reagir s
mensagens de entrada;
para cada problema calculvel corresponde ao menos uma mquina Alan Turing (uma
tabela de instrues) capaz de resolv-lo;
existe uma classe de mquinas, as mquinas universais, capazes de resolver todos os
problemas calculveis ou de realizar todos os procedimentos efetivos. O poder da mquina
universal reside em sua tabela de instrues, que lhe permite imitar o comportamento de qualquer
mquina particular.
As bases estavam lanadas para, em 1945, John von Neumann (1947) apresentar uma proposta de
construo de uma mquina, que teria registrado em sua memria a tabela de instrues
juntamente com o conjunto de dados para tratamento. Tomava forma o prottipo de mquina
universal idealizado por Alan Turing, que pouco tempo depois se materializaria no primeiro
computador. Vale salientar algumas caractersticas da mquina universal, arqutipo do
computador, de interesse para esta reflexo (LVY, 1987):
4
potncia de todos os possveis, com a vocao de abarcar e recapitular a totalidade,
mesmo o que dela ainda no se manifestou;
trabalho lgico formal (operatrio) sobre sinais; a mquina universal deixa de fora desta
operao toda considerao sobre a significao, interpretao dos sinais ou smbolos que opera.
S um ser humano, atuando como observador consciente, e no como mero perifrico desta
mquina, pode interpretar ou projetar alguma significao sobre um sistema formal;
o conhecimento do universo objetivo cada vez mais se fragmenta em diminutos tomos
de informao, registrados sob uma codificao impalpvel. O objeto pulverizado, representado
por dados simblicos elementares sobre os quais trabalha a mquina universal, est aqum (ou
alm) do patamar da percepo imediata;
novos dispositivos para captura digital do que nos cerca no apreendem uma forma global
(no sentido platnico), mas apenas uma imagem, um padro, uma medida, traduzida
imediatamente em uma seqncia de impulsos binrios, um cdigo a ser registrado na memria
da mquina;
os objetos, os processos, as palavras so decompostas, analisadas, tratadas pela
informtica, em um nvel abstrato de cdigos binrios, e no h mais para ns imagem
diretamente perceptvel, somente uma srie interminvel de ocorrncias de smbolos, clulas,
pixels, tomos de circunstncias, que se opem aos elementos macros e micros de nossa vida
ordinria, com seus nomes, suas coisas e suas unidades de sentido imediatamente sensveis;
a dissoluo do objeto global e intuitivamente sensvel acompanha a informatizao;
correlativamente, o sujeito, que entretinha relaes diretas de conhecimento e ao com as coisas,
cede seu lugar a um mediador: um programa e sua base de dados, ou seja, uma srie de
operaes elementares, formuladas como algoritmos, sobre dados simblicos.
3 IDIAS MENTORAS DA MQUINA UNIVERSAL: MATEMTICAS E SISTEMAS

FORMAIS
Que histria, singular ao Ocidente, foi capaz de conjuminar processos que deram forma filha
5
prdiga da Razo Moderna, a mquina universal? Por que caminhos o algoritmo instrumental
insinuou-se em todo fazimento humano, culminando na sua mais perfeita encarnao, o
computador? Estas questes merecem uma abordagem mnima.
A lenta gestao do que foi denominado clculo pode ser ilustrada a partir de posies
filosficas, cientficas e tcnicas contemporneas, como: a cristalizao de uma viso de mundo
assentada na lgica matemtica, oferecida pelo primeiro Wittgenstein no incio deste sculo; a
ciberntica do final dos anos 40; e a teoria da informao da mesma poca (LVY, 1987).
As matemticas gregas operam um verdadeiro corte epistemolgico sobre as anteriores, por sua
abstrao. Os pontos, retas, superfcies e volumes considerados so figuras ideais, independentes
de todo substrato material. O tringulo desenhado sobre o solo serve para ilustrar a demonstrao
ou estimular a imaginao, mas fica claro que no sobre ele que se argumenta.
Visando s relaes e propores, a Razo encara as figuras independentemente de valores
numricos. A geometria grega terica, no seu sentido original de ser contemplativa. Pode-se
afirmar que os gregos no inventaram a geometria como a conhecemos atualmente, mas sim a
verdade geomtrica, pautada na necessidade de evidenciar, mostrar compreenso, enquanto seus
contemporneos objetivavam a utilidade dos clculos.
A demonstrao matemtica entre os gregos era assemelhada retrica, como uma modalidade
de persuaso, legitimada por uma sociedade fundada em um ideal de democracia, de comunidade
de iguais. Seu sentido, como da justa retrica, no era falsificar a verdade por uma roupagem
de sofismas; mas enaltec-la, elev-la sua dimenso absoluta. O teorema se firmava como a
nica certeza intangvel que um homem livre pode aceitar, pois est fundado no Logos.
Os gregos, desta forma, transubstanciaram tudo o que era (naquela poca) meio de clculo, em
modelo de inteligibilidade racional. Esta mutao est na origem da Cincia, e desde a poca de
Plato, o esforo para descobrir uma coerncia explicativa do real sobre a desordem dos
fenmenos se identifica com a investigao de estruturas matemticas subjacentes.
Os Elementos de Euclides por muito tempo permaneceram sendo um modelo de teoria dedutiva,
onde todos os termos e proposies se encontram definidos, salvo os axiomas e postulados.
Somente no sculo XIX os matemticos reconheceram falhas na arquitetura euclidiana, o que deu
um outro rumo noo de teoria dedutiva, de axiomtica: passou a ser menos importante
demonstrar a verdade categrica de certas proposies do que construir sistemas perfeitamente
6
coerentes.
Com o interesse se deslocando para questes de no contradio e de estrutura interna de
sistemas os axiomas passam a assumir a posio de hipteses, de convenes, alm do verdadeiro
e do falso. Pode-se fazer uma ligao desta mudana radical com alguns dispositivos culturais
que comeam a se instituir no Ocidente: o abandono da referncia religiosa (Deus est
morto...); o interesse antropolgico emergente do estudo cientfico de outras civilizaes,
promovido pelo colonialismo; e a explorao de idias a partir do reconhecimento da relatividade
histrica dos valores.
Eliminado todo apelo intuio nas construes matemticas - por sua vez dissociadas da
consistncia lgica exigida pela verdade categrica - elas paradoxalmente se engajam na via do
rigor crescente (rigor mortis?); substituem-se nestas construes as palavras da linguagem usual
por smbolos virgens de sentido, e, por conseguinte, suscetveis de receber exata e
exclusivamente aquele sentido que os axiomas lhes conferirem.
A especificao das regras segundo as quais devem ser conduzidas as dedues vlidas, constitui
a etapa seguinte dessa formalizao. Explicitadas, as regras de lgica se tornam, por sua vez,
hipotticas e convencionais, como os axiomas; levando a demonstrao de um teorema em um
sistema formal a ter a aparncia de uma transformao regrada de configuraes de smbolos, de
manipulao de signos tipogrficos seguindo procedimentos exatamente definidos. A evidncia
dos encadeamentos lgicos no tem mais lugar na deduo, travestida em um estrito jogo formal.
Por uma volta inesperada, a demonstrao sofre uma metamorfose e vira clculo, algoritmo
cego, mas eficaz manipulao de smbolos em um plano virtual, abstrato e purificado, que
distingue a Razo Moderna ocidental de qualquer outra (LVY, 1987):
a semntica de um sistema formal concerne s interpretaes concretas que dele se podem
fazer; intrinsecamente desprovido de significado, o sistema formal se presta a pr em evidncia
isomorfias estruturais entre domnios concretos aparentemente sem relaes, ou seja, a mesma
axiomtica pode formalizar vrias teorias ou modelos;
a sintaxe de um sistema formal se relaciona unicamente suas caractersticas internas.
dentre as propriedades sintxicas destacam-se a consistncia, a completitude e decidibilidade;
o sistema consistente se no contm frmulas que no possam ser derivadas de seus
axiomas;
7
a completitude ecoa o princpio do tero excluso; ou seja, dada uma expresso bem
formada do sistema, deve-se poder demonstr-la como falsa ou verdadeira;
a decidibilidade exige um mtodo que possa distinguir entre proposies demonstrveis
(ou refutveis) e outras.
Coube ao matemtico Gdel (apud MORIN, 2001), em 1931, a responsabilidade por abalar
definitivamente esta formalizao progressiva, ao demonstrar que um sistema formal
suficientemente poderoso - por exemplo, para codificar a aritmtica - seria incompleto, colocando
um termo na ambio dos matemticos formalistas de codificar a matemtica e o mundo em
sistemas formais dedutivos, perfeitamente coerentes.
Foi justamente abordando a questo da decidibilidade que Alan Turing (1936) elaborou o
modelo de autmato universal, em seguida batizado de mquina de Turing, tratado anteriormente.
A perfeita definio de algoritmo que ele alcanou nesta tentativa, reforou a demonstrao de
Gdel, ao mesmo tempo em que assentava as bases tericas da informtica atravs da mquina
universal. Este fato o levou a participar ativamente da construo de prottipos de computador
na Inglaterra da dcada de 1940.
A construo destes prottipos de computador se beneficiaram, em grande parte, da descoberta de
que processos fsicos podem ser exatamente isomorfos operaes lgicas que se desejam
codificar "eletronicamente. Este princpio teve sua formulao original em uma tese de
doutoramento de 1938, defendida por Claude Shannon (1949), o mesmo da teoria da informao.
Nesta tese, Shannon demonstrava a analogia de estrutura entre o funcionamento de circuitos
eltricos e a lgebra de Boole. A concepo de componentes dos computadores segue ainda hoje
estes princpios fundamentais expostos por C. Shannon (apud LVY, 1987).
4 GENEALOGIA DA MQUINA UNIVERSAL: CARACTERSTICA UNIVERSAL E

CIBERNTICA
Uma genealogia da mquina universal e sua implementao na informtica contempornea

deve ser capaz de reconhecer no somente sua origem na lgica aristotlica, enquanto um
8
instrumento intelectual autnomo - com o poder de nutrir uma reflexo filosfica diante do
domnio teolgico da Idade Mdia - como tambm na lgica moderna. De fato, um lugar especial
deve ser reservado ao projeto leibniziano de construo de uma caracterstica universal (apud
LVY, 1987).
Apesar do avano progressivo dentro dos enunciados da Lgica (no uso de varveis simblicas
em lugar de termos concretos) ao longo da poca clssica e medieval, a linguagem natural ainda
predominava, ou seja, um mesmo raciocnio poderia ser expresso de vrias maneiras diferentes.
Respondendo a um ideal de univocidade lgica, e influenciado pela filosofia e escrita chinesas,
G. Leibniz (apud LVY, 1987) exps pela primeira vez os princpios de uma escritura
ideogrfica nica, capaz de expressar de forma direta as idias, sem passar pelo intermedirio
fontico - a caracterstica universal.
Segundo Leibniz, a lgebra representava um modelo de escritura racional, com o inconveniente
de s se aplicar aos nmeros. Portanto, fazia-se necessrio uma lgebra geral, uma linguagem
filosfica que permitisse a expresso de todas idias, de forma tal que no mais existiriam
disputas metafsicas ou morais; estas seriam resolvidas por um clculo. Enunciava-se assim,
um percurso da moderna lgica matemtica.
Decorrente da caracterstica universal como sua vertente operatria, Leibniz props o calculus
ratiocinator, recuperando das matemticas seu poder de operar sobre smbolos segundo
procedimentos exatamente especificados; mas estendendo este poder alm do domnio da
quantidade. Para Leibniz, um clculo s pode ser feito sobre uma caracterstica - entendida
como um sistema de signos visveis cujas combinaes e transformaes esto sujeitas a regras
sem ambigidade. Naturalmente, este projeto culminou com sua tentativa de construir uma
mquina de raciocinar, que no teve condies de se realizar com os recursos mecnicos da
poca.
As linguagens de programao da informtica realizaram (com restries significativas) o
sonho de Leibniz, culminando o avano em lgica matemtica na linha reducionista, que substitui
as incertezas da Razo pela infalibilidade do clculo do sistema formal e coerente de signos sobre
o qual opera um conjunto de instrues.
Neste somatrio de influncias que governou o destino da informtica, coube ciberntica uma
contribuio mpar: na concepo dos primeiros computadores; na fundao das bases da
9
inteligncia artificial; na introduo dos conceitos e do formalismo lgico-matemtico das
neurocincias; e mais que tudo, na disseminao de um complexo de idias, conjugando as
noes de sistemas, de informao, de comunicao e de clculo.
O movimento fundador da Ciberntica nasceu em 1943, com a publicao de dois artigos
clssicos (BRETON, 1995):
Comportamento, meta e teleologia, do matemtico Norbert Wiener (1961): sobre uma
possvel base de analogia entre os seres vivos e as mquinas, explica o comportamento animal
pela causalidade circular que religa os organismos e seu ambiente (o famoso feedback); o
inextricvel problema da teleologia do ser vivo comea a ter uma soluo mecanicista;
Um clculo das idias imanente atividade nervosa, do neuropsiquiatra Warren
McCulloch (1943): compara o sistema nervoso a uma mquina lgica e mostra que uma rede de
neurnios formais (simplificados) possui o mesmo poder de clculo que uma mquina universal
de Turing; aqui esto fixados os critrios que doravante iro determinar o estudo do processo
cognitivo.
O movimento da Ciberntica foi marcado pelo selo da lgica matemtica desde sua origem. Seu
principal pensador, N. Wiener, alm de ter estudado em Cambridge com Bertrand Russell,
afirmava categoricamente que o mesmo impulso intelectual que levou ao desenvolvimento da
lgica matemtica conduzia, ao mesmo tempo, mecanizao ideal ou real dos processos do
pensamento.
Da mesma forma possvel identificar nos demais fundadores do movimento a primazia de uma
viso do mundo centrada na lgica matemtica, em suas formaes ou em suas posies a partir
da constituio do movimento.
Fundados na lgica matemtica, todos esses pioneiros tericos da informtica militavam dentro
de um enfoque que buscava reconhecer no ser humano e nas coisas um ser informacional.
Esperavam descobrir uma essncia de natureza informacional, transparente e racional que se
destacaria de um fundo de rudo (diablico, segundo Wiener).
Este modelo informacional sobressai particularmente no pensamento de Wiener, que se empenha
em operar uma separao bem ntida entre a dimenso informacional (nica e essencial para ele)
e os suportes materiais secundrios e sem importncia. ele chega mesmo a imaginar e propor, j
nesta poca, que este modelo poderia se encarnar em uma mquina computacional, e at
10
mesmo ser transmitido como uma mensagem entre mquinas (BRETON, 1995).
A noo de informao defendida pela Ciberntica (enquanto uma teoria comunicacional), foi
enriquecida por Shannon (1949), Wiener (1961) e Turing (1936), durante a dcada de 1940. Eles
aportaram contribuies independentes, mas similares, onde se tendia paradoxalmente a uma
sutilizao e a uma coisificao da informao. A primeira tendncia alimentada por uma
metafsica do ser informacional, e a segunda, pela formulao estatstica de suas formas de
mensurao.
Os caminhos da lgica e da teoria da informao se entrecruzam antes mesmo de suas
formalizaes modernas, quando ento se interligam ainda mais, atravs dos conceitos de
codificao e de operao:
quanto ao conceito de codificao: aps Leibniz, a lgica comea a se aprisionar dentro
de uma viso que prima pela otimizao da codificao, e tende a produzir uma linguagem
monosmica, instrumento ideal para a comunicao. no se deve desprezar tambm as possveis
influncias que foram aportadas por Turing e Shannon, por conta do trabalho que participaram
sobre decifrao de cdigos secretos (criptografia) durante a segunda grande guerra;
quanto ao conceito de operao: pode-se tomar a assertiva de Shannon (1949), de que
informao aquilo que permanece invariante sob todas as codificaes ou tradues invertveis,
e podem ser aplicadas s mensagens produzidas por processos, dado um tradutor que opera sobre
uma mensagem. se a traduo revertvel, sua sada contm a mesma informao que a sua
entrada; a informao , portanto, o que permanece invariante por uma srie de operaes
revertveis. a comunicao passa a ser um caso particular do clculo: uma srie de operaes cujo
sentido pode ser invertido, de tal forma que os dados iniciais possam ser reencontrados.
Como dito anteriormente, a lgica matemtica foi revitalizada por uma associao teoria dos
autmatos, pela Ciberntica e pela Teoria da Informao. Wiener afirmava que a Cincia de hoje
operacional, ou seja, ela considera cada proposio como essencialmente referente s
experincias possveis ou aos processos observveis; desta maneira o estudo da lgica deve se
reduzir ao estudo da mquina lgica.
O j citado artigo de Wiener de 1943 - fundador da Ciberntica - exemplar a este respeito: ao
adotar uma leitura dos fenmenos, que pode se denominar caixa preta, privilegia-se a lgica do
fenmeno passvel de se depreender a partir de uma anlise da estrutura de comportamento
11
expressa no prprio fenmeno; e de sua funcionalidade, refletida nas relaes entre entradas e
sadas. A essncia de um fenmeno qualquer seria, portanto, a organizao dos clculos entre
informao aferente e informao eferente.
Esta proposta de mquina universal - um novo campo unificado de uma pretensa teoria de
tudo - assentada em termos de clculo e informao, se oferece como um novo paradigma
tecnocientfico, capaz de aportar respostas inovadoras a questes clssicas como conhecimento,
sabedoria, ser, teleologia, memria, percepo, cognio, etc.
5 PREMISSAS FILOSFICAS DA MQUINA UNIVERSAL NA FORMULAO DE

WITTGENSTEIN
A grandeza da filosofia de Wittgenstein reside tanto na sua profunda reflexo sobre a essncia e
aparncia, quanto pela sua precedncia e contribuio na criao de um novo imaginrio. foi uma
nova fundao metafsica para este sculo, interpretada e apropriada (bem ou mal) pela filosofia
analtica e com forte ascendncia sobre as premissas filosficas da grande metamorfose cultural,
representada pela atual informatizao da Sociedade.
Sem qualquer pretenso de desenvolver uma exegese do pensamento de Wittgenstein, faz-se
necessrio, no entanto, estabelecer alguns pontos para uma compreenso (mesmo que superficial)
desta filosofia maior, orientadora da nova configurao ontolgica da informtica enquanto
tecnologia, processo e imaginrio. deve-se tentar ilustrar a precesso deste imaginrio radical
sobre o movimento da informtica, e deste ltimo sobre o atual desenvolvimento das cincias
humanas, seus mtodos e suas tcnicas.
Comeando pelo conceito de fato, constata-se neste sculo sua ascenso a uma centralidade sob
a qual possvel notar certa ideologia: o mundo e as coisas no mundo so completamente neutros
com respeito a significado e valor. A mente humana pode impor tais significados e valores no
mundo externo; mas em si mesmos, o mundo e as coisas do mundo simplesmente existem sem
quaisquer finalidade ou qualidade (seja bom, mal, belo, conscincia ou significado).
Esta viso, com precedentes na histria, teve neste sculo um dado adicional: a crena de que as
verdades sobre o mundo natural podem ser afirmadas pela simples percepo sensorial refinada
12
com ajuda da inferncia lgica, Ou seja, com a separao entre fatos e valores. logo s o
conhecimento emprico dos fatos sobre o mundo se afirma como critrio, pelo qual um homem
ser capaz de orientar-se com respeito sua investigao cientfica, e at sua conduta na vida.
Parece claro que sob esta viso, existe o pressuposto da imparcialidade de que o ser humano pode
observar a realidade, livre da influncia de seu corpo e de suas emoes, enfim, de qualquer
condicionamento (BRETON, 1995).
Ludwig Wittgenstein (1922) e Martin Heidegger (1962), cada qual sua maneira, re-injetaram
na intelectualidade contempornea a idia de dois mundos, junto com a indicao de que o
mundo por trs das aparncias no pode ser visto: todo olhar contm uma viso implcita e
imanente.
Wittgenstein procura separar os dois mundos - denominados mundo da linguagem e mundo do
silncio - praticando esta inciso por meio de uma ateno especial linguagem, segundo ele,
idntica ao pensamento, e, at certo ponto, ao comportamento no mundo.
Para o cientista, Wittgenstein revela a antinomia entre a estrutura lgica do mundo ideal (que sua
linguagem cientfica construiu) e a vida fragmentada e desconexa (que sua linguagem ordinria
verdadeiramente o faz viver). Wittgenstein (1922) questiona a iluso de que as questes
fundamentais de significado e finalidade podem ser resolvidas pelo intelecto ordinrio,
demonstrando que os problemas da filosofia esto justamente enraizados em confuses de
linguagem, ou seja, em uma mistura de nveis de realidade.
O Tratado Lgico-Filosfico (doravante denominado Tratado), sua nica obra publicada
enquanto vivo, em 1922, incorpora a idia do mundo numenal, por meio de uma seqncia de
proposies aparentemente lgico-cientficas, a respeito do instrumental pelo qual o homem
conhece o mundo fenomenal.
O que este instrumental? a linguagem, considerada como o pensar. Em outras palavras, a
essncia da linguagem o pensamento, e este a mesma coisa que a lgica - enquanto conjunto
de regras, estrutura transparente a si mesma, constituda por si mesma. Atravs da linguagem a
mente organiza a si mesma e ordena os dados de uma observao qualquer, cientfica ou no.
Desvendando-se esta estrutura lgica da linguagem pode-se reconhecer a estrutura lgica do
mundo. Trata-se de um trabalho interior, um verdadeiro projeto de libertao, uma revoluo
no sentido etimolgico do termo (NEEDLEMAN, 1983). Wittgenstein (1922) mostra que a
13
lgica no s estrutura o mundo em que vivemos, como tambm o intelecto. A Cincia, por
conseguinte, desenvolve observaes que tomam a forma de fatos, obedientes a leis (regras
lgicas?), pois tudo o que conhecido por definio estruturado pela lgica.
Desta maneira, a lgica no nos diz nada sobre o mundo: apenas um conjunto de regras, pelas
quais se pode conhecer o mundo; regras pelas quais organizam-se as observaes registradas
pelos sentidos. Este conhecimento existe na forma de proposies; afirmaes que tm uma
forma inevitavelmente lgica e que funcionam como uma espcie de modelo do mundo. As
categorias de pensamento de Kant se transformam, no pensamento de Wittgenstein, em
proposies lgicas, determinantes a priori do ser-no-mundo. A meta de uma autntica
filosofia dar significado ao indizvel pela apresentao clara do dizvel.
A mensagem que transparece no pensamento de L. Wittgenstein a de que tudo o que chamamos
pensamento - especialmente depois do domnio da Razo Moderna ocidental - pode ser feito por
uma mquina: a maneira de pensar os fenmenos, maquinal e maquinante, s admite como
categorias de pensamento a lgica, o clculo (o algoritmo), a comunicao, a informao, o dado,
etc.
Segundo esta viso de conformidade entre mundo - pensar - linguagem - lgica, Wittgenstein faz
coincidir a soluo de um problema com a exposio do procedimento efetivo ou do algoritmo
capaz de resolv-lo: cada questo que se pode absolutamente resolver pela lgica, deve poder se
resolver, sem mais (WITTGENSTEIN, 1995, Tratado 5.551). Este o universo estruturado pelo
processo de informatizao, em correspondncia direta com um sujeito transcendental em forma
de autmato finito.
A lgica co-extensiva ao mundo , para Wittgenstein (WITTGENSTEIN, 1995), a verdadeira
essncia da comunicabilidade. Afirmar que o mundo lgico, acima de tudo afirmar sua
transparncia ao Logos (No saberamos pensar nada ilgico, porque ento nos seria necessrio
pensar ilogicamente - Tratado 3.03). Dado o estrito paralelismo estabelecido entre fatos e
proposies, possvel uma tentativa de aproximao destes s noes de processo e de clculo.
Desta forma o pensamento, o simbolismo, os objetos materiais, os processos fsicos, os artefatos,
so todos reunidos sob a estrutura lgica no mesmo plano dos fatos (O mundo o conjunto dos
fatos, no das coisas - Tratado 1.1).
Este mundo de tudo que sucede, o mundo dos eventos, o da teoria da informao, que no
14
tem interesse pelo significado dos smbolos, e sim por sua simples ocorrncia. Uma cincia
articulada pela teoria da informao pressupe a existncia de um universo de eventos
descritveis e traduzveis. Um evento (um estado de coisas, uma ocorrncia, um fato, uma
deciso) se observa (transmite, apresenta) como uma definio operacional - portanto imaterial -
que pode se medir, mas no tem dimenso.
A atribuio de imaterialidade informao (sem ser de todo correta) tem o risco de introduzir o
erro clssico da dualidade cartesiana - mente e extenso: um bit no nem uma partcula de
matria, nem um elemento de idia; um tomo de circunstncia, segundo Lvy (1987). Uma
cincia que analisa seus objetos do ponto de vista da informao, parte de uma viso do mundo
como tudo o que sucede, em uma certa medida a disposio fundada pelo Tratado. De fato,
para Wittgenstein, as proposies so tambm fatos, e esto religadas aos fatos que elas
representam em uma identidade de estrutura, constituindo no prprio pensamento o quadro lgico
dos fatos. O pensamento , portanto, de essncia fatual, como o resto de tudo o que sucede. A
essncia do mundo aquela de toda descrio: lgica - ou no termo mais atual - informacional.
Ao mesmo tempo em que se formulava a filosofia de Wittgenstein, os fundadores da informtica
a traduziam concretamente em projeto constitutivo e instituidor de um mundo sem paradoxo,
inteiramente lgico e descritvel. Um mundo de informao, onde se levado constatao e ao
ideal, dentro deste projeto de informatizao da Sociedade, em curso, de uma nova u-topia
ciberntica, onde no h lugar, onde se afirma a inutilidade de um sujeito pensante
representando este mundo. Paradoxo da alta modernidade: sem sujeito pensante, quem enuncia as
proposies que projetam a u-topia? quem as entende? quem utiliza esta codificao?
O descaminho das teorias da chamada primeira ciberntica (1943-1953), vistos a partir do
pensamento de Wittgenstein, muito claro em certos pontos cruciais, como tambm nas
interpretaes que determinaram certos desdobramentos desde a filosofia analtica.
Primeiramente, se Wittgenstein no reconhece um sujeito metafsico no mundo, pelo menos o
estabelece em seus limites, e at mesmo o identifica com o prprio mundo: Eu sou meu prprio
mundo - Tratado 5.63. Esta viso, encerrando no sujeito todo o universo informacional, est nos
antpodas da conceituao de informao, informtica e ciberntica, de N. Wiener e W.
McCulloch.
Coube denominada segunda ciberntica, originalmente animada por Heinz von Foerster, o
15
ensejo de resgatar e dar alguma expresso noo de sujeito-mundo de Wittgenstein. A partir do
reconhecimento de que a simples retroao no esgota a circularidade do processo biolgico,
buscou-se uma compreenso dos processos de autoreproduo, autoreferncia e auto-
organizao. No suficiente dizer que se um ser vivo age sobre seu ambiente, ele percebe em
retorno os resultados de sua ao: o ser vivo, enquanto conduzido por um processo cognitivo
organiza o que para si o mundo; calcula uma realidade no interior das imposies de seu
sistema nervoso, da disposio de seus captores sensoriais, de sua experincia passada, etc
(BRETON, 1995).
Sua ao, no sentido pleno do termo, sobre seu ambiente ao mesmo tempo percepo,
organizao e elaborao do que , para si, a realidade; e em funo desta realidade calculada
que o ser vivo vai re-perceber, re-organizar e re-elaborar o que ser seu mundo prprio, e assim
indefinidamente. A auto-organizao se apresenta, desta forma, como um processo circular
infinito, coincidindo a organizao de si com organizao da realidade.
Portanto, o universo exterior no pode conter a menor informao. A noo de informao s
pode mesmo ter sentido no interior do mundo do sujeito. Nesta linha de investigao que os
bilogos Humberto Maturana e Francisco Varela vm oferecendo uma instigante conceituao
sobre o processo cognitivo, dentro do que apelidaram de autopoiesis: a construo de si mesmo e
da realidade que o cerca, ou em outras palavras, o nvel de ser determina o mundo em que se vive
(MATURANA, VARELA, 1997).
Outra parte do pensamento de Wittgenstein que no teve desdobramento dentro de uma
epistemologia da informtica foi a que se refere ao indizvel, ao inexprimvel; aquele mundo
que invocado na ltima proposio de sue Tratado: O que no podemos falar, devemos
silenciar - Tratado 7. Assim o mundo de tudo o que sucede, do que pode ser dito, exclui por
baixo nosso meio de vida: o espao, as cores, os sons, as linguagens formando as mdias, os
veculos para eventuais mensagens, enfim toda a espessura sensvel do mundo; e exclui pelo
alto aquilo porque vivemos bem como todas as significaes e valores em geral. O elemento
inexprimvel, vasto e profundo, o ser-to grande, que nos lembra Guimares Rosa e seu
Grande Serto. O mundo estritamente calculvel e comunicvel se reduz a uma fina pelcula do
ser, a dos eventos (fatos) percorrida pelo jogo das tradues e das operaes.
16
6 O PARADIGMA INFORMTICO
O emprego crescente de conceitos informticos e cibernticos nas diversas disciplinas, o uso

intensivo de processos de modelagem e de simulao para estudar os fenmenos fsicos ou
humanos, ou ainda a tendncia ao aprofundamento do mtodo cientfico pela formulao de
sua cadeia de pensamento atravs de algoritmos, so algumas das manifestaes da emergncia
de um paradigma da informtica.
No se trata de um paradigma assentado apenas sobre um corpo de doutrina sistemtica, tendo
seus partidrios e adversrios declarados. Mais do que isto vem se apresentando tambm como
uma postura intelectual, alimentada por metforas (processo, entrada, sada, memria, etc.),
procedimentos e hbitos de investigao. A prpria utilizao crescente de tecnologias da
informao, de sistemas de informao ou de apoio deciso vem favorecendo a infiltrao deste
paradigma na cultura da alta modernidade.
Algumas interrogaes se impem de imediato: na vertente ontolgica, a reduo do mundo ao
que dele se apreende como informao e a representao de sistemas fsicos, viventes ou
psquicos como mquinas de tratamento de informao; na vertente metodolgica, a velha
questo a respeito da primazia de uma nica racionalidade cientfica, codificvel, programvel e
aplicvel a todas as situaes e coisas, e tambm a indagao a respeito da finalidade da atividade
cientfica, voltada para prever e calcular sempre melhor ou para tornar mais inteligvel e claro o
mundo que nos cerca, uma cincia para manipulao ou para compreenso, como definido em
Schumacher (SCHUMACHER, 1973).
Comeando esta anlise pela insinuativa e freqente prtica de modelagem e de simulao com
uso da informtica, percebe-se de pronto sua incontestvel adoo nos campos mais diversos das
cincias, e at do jogo e do entretenimento. O que logo sobressai desta iniciativa o fator
legitimador do aparato tcnico-cientfico adotado e sua capacidade de facilitar e de conferir um
carter experimental, naturalmente ausente em algumas disciplinas.
De fato, por se tratarem de modelos e simulaes sobre estes modelos, no se pode qualificar isto
17
como uma experincia cientfica. No entanto, deve-se ter em mente que a experincia cientfica
clssica j opera, de certa forma, uma abstrao, uma construo artificial do objeto de estudo.
Logo, nada impede que se considere a simulao digital como um grau suplementar na
idealizao do fenmeno, visando ainda mais sua purificao e controle.
O extraordinrio poder de clculo estatstico e de anlise de dados - aliado capacidade de
modelagem de dados, ambos ofertados pela informtica - imprimem uma funcionalidade mpar
simulao digital, reforando o carter emprico e indutivo da investigao informatizada.
Legitimam-se tratamentos sofisticados e complexos sobre um grande volume e uma diversificada
gama de dados, na tentativa de forar a emergncia de informaes, de fazer os dados falarem
por si mesmos.
Como um clculo (por natureza, discreto) pode sustentar a simulao de um processo,
essencialmente contnuo? De fato, os limites preciso digital persistem ainda, por mais
estendidos que sejam, a cada gerao tecnolgica, obrigando qualquer simulao aplicao de
ajustes compensatrios. Da mesma maneira a simplificao, com risco reducionista, ainda se faz
necessria na modelagem e na simulao digital, o que a distancia da realidade do fenmeno que
pretende modelar, submetido a uma profuso de detalhes e influncias.
A linguagem de modelagem de descrio do fenmeno, geralmente de natureza matemtica ou
estatstica, reveste o objeto de estudo com uma aura cientfica ao mesmo tempo que o
cristaliza dentro de uma rede de pressupostos, formalizando um engenho investigador com
estmulos e respostas previsveis. O que no impede que o pesquisador se surpreenda com as
respostas obtidas, especialmente quanto mais obscuras tenham sido as questes colocadas
originalmente (LVY, 1987).
A informtica se impe como instrumental por excelncia, promovendo um ferramental
matemtico e estatstico sofisticado, dando acesso simulao de modelos digitais, contribuindo
largamente na formalizao dos procedimentos de pesquisa e investigao, e, conferindo um
carter indito de rigor e de exatido s cincias. A informtica ofereceria, portanto, muito mais
do que um artefato cientfico: o recurso de um mtodo nico, to ambicionado pelos positivistas
desde o sculo passado. Ofereceria um engenho, um operador metacientfico, capaz de fazer
passar uma disciplina qualquer de um estado discursivo, qualitativo e pr-cientfico, a um estado
matematizado, quantitativo e cientfico.
18
Esta pretenso fortalecida (e tambm fortalece) tanto pelo matematismo subjacente ao processo
em curso de informatizao da Natureza e da Sociedade, quanto pelo logicismo subentendido na
formalizao da racionalidade cientfica por meio de algoritmos. Fundamenta-se o programa de
um saber capaz de constituir seu objeto como processo em si independente do sujeito,
enquadrado sobre um referencial espao-temporal universal e privado de mistrio, consignado a
categorias indiscutveis e unvocas, expresso em uma linguagem matemtica ou estatstica de
potencial ilimitado, cuja pr-adaptao miraculosa ao fenmeno e a coerncia interna no
parecem provocar questes.
Comeando pela definio dos dados iniciais, que cada vez mais obedece a um procedimento
direta ou indiretamente informatizado; passando pelo algoritmo que opera os smbolos que
representam estes dados, e no seus significados imediatos e informais; e chegando aos
resultados rigorosamente expressos em uma linguagem congruente, o cdigo simblico dos
dados, a programao da racionalidade implica sempre, ao longo deste percurso classificao,
codificao e organizao de todos os dados simblicos, que traduzem as descries dos fatos
relativos ao objeto de estudo.
A informtica que pode ser utilizada para qualquer fim teria assim uma perfeita neutralidade?
Esta uma questo que parece ter sido respondida neste percurso, ficando de certa forma bem
claro que a tecnologia da informao, enquanto instrumental de um processo de informatizao,
carrega consigo e realiza a mquina universal sob este processo. Um dispositivo terico onde
predomina a postura indutiva, a Razo instrumental e o logicismo, em que o modelo operativo o
que apreende e responde melhor ontologia informacional.
A informtica como encarnao atual da mquina universal, como corporificao da Razo
Moderna, se desenvolve e se aprimora dia a dia na representao mais perfeita desta mquina e se
caracteriza progressivamente como o instrumental nico do mtodo cientfico, permitindo e
estimulando a matematizao de qualquer fenmeno, frmula primaz de elucidao de sua
estrutura fundamental, de sua essncia. No debate epistemolgico em curso, a informtica
ressuscita a proposta de unificao metodolgica do positivismo; o campo do mtodo cientfico
nico pela primeira vez efetivamente reforado com os meios mais encantadores e positivos
para suas ambies.
Desta breve exposio percebe-se uma linha quase contnua que religa a descoberta (h mais de
19
vinte sculos) de um espao totalmente abstrato; a exigncia grega da Razo (as investigaes
lgico-matemticas dos ltimos cento e cinqenta anos) e, finalmente, a concepo do
computador moderno. Na gnese de uma ordem dedutiva perfeita, e, portanto, de um modo de
pensar difano, mais transparente ao esplendor da Razo, emerge o algoritmo rigoroso, que
paradoxalmente faz seu ninho em um autmato cego que privilegia o poder operatrio, a
velocidade, a instrumentalidade. O ideal grego volta a ser subjugado viso utilitarista da
matemtica, da contabilidade renascentista, da cincia do Estado - a estatstica, enfim, da filosofia
analtica deste sculo.
REFERNCIAS
BRETON, P. limage de lhomme: du Golem aux cratures virtuelles. Paris: Seuil, 1995.
CURLEY, K. F.; PYBURN, P. J. Intellectual tecnologies: the key to improving white-collar

productivity. Sloan Manage Rev, Cambridge, v.24, n.1, p.31-39, fall 1982.
LVY, P. La machine univers: cration, cognition et culture informatique. Paris: La

Dcouverte, 1987.
______. A inveno do computador. In: Serres, Michel (Org.). Elementos para uma Histria
das Cincias III: de Pasteur ao computador. Lisboa: Terramar, 1989.
HEIDEGGER, M. Chemin qui ne mnent nulle part. Paris: Gallimard, 1962.
MCCULLOCH, W. Embodiments of mind. Cambridge: MIT Press, 1988.
MCCULLOCH, W., PITTS, W. A Logical Calculus of the ideas immanent in nervous activity.
Bull. Math. Biophysics. [S.l.], n. 5, p. 115-133, 1943.
MATURANA, H., VARELA, F. De mquinas e seres vivos: Autopoiese, a Organizao do

Vivo. Porto Alegre: Artes Mdicas, 1997.
20
MORIN, E. O Mtodo 4: as idias - habitat, vida, costume, organizao. [S. l.]: Sulina, 2001.
NEEDLEMAN, J. The heart of philosophy. Londres: Routledge, 1983.
SCHUMACHER, E. F. Small is beautiful: economics as if people mattered. New York: Harper

and Row, 1973.
SHANNON, C. The mathematical theory of communication. Illinois: University of Illinois

Press, 1949.
TURING, A. M. On computable numbers, with an application to the Entscheidungs

problem. Proc. London Math. Soc., 1937; s2-42, p. 230-265. Disponvel em:
<http://plms.oxfordjournals.org/cgi/reprint/s2-
42/1/230?maxtoshow=&HITS=10&hits=10&RESULTFORMAT=1&author1=Turing%2C+A&a
ndorexacttitle=and&andorexacttitleabs=and&andorexactfulltext=and&searchid=1&FIRSTINDE
X=0&sortspec=relevance&resourcetype=HWCIT>. Acesso em: 10 maio 2009.
WIENER, N. Cybernetics. New York: MIT Press, 1961.
WITTGENSTEIN, L. (1922). Tratado Lgico-Filosfico: investigaes filosficas. Lisboa:

Fundao Calouste Gulbenkian,1995.
VON NEUMANN, J. Theory of games and economic behavior. Princeton: University Press,
1947.
Abstract
This paper seeks to explore the concept of the universal machine. We choose to focus on Lvys
approach to introduce his little known initial theory about information technology and the digital
culture that is arising thereupon.
Key words: Universal Machine. Logic. Wittgenstein.
Originais recebidos em: 25/09/2008

Texto aprovado em: 08/05/2009
21

Genealogia, Ontologia e Paradigma Da Informática (Revista Encontros Bibli) PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Genealogia, Ontologia e Paradigma Da Informática (Revista Encontros Bibli) PDF

Enviado por

Direitos autorais:

Formatos disponíveis

GENEALOGIA , ONTOLOGIA E PARADIGMA DA INFORMTICA

GENEALOGY, ONTOLOGYAND INFORMATICS PARADIGM

Murilo Cardoso de Castro

Raquel Cardoso de Castro

Joo Cardoso de Castro

Palavras-Chaves: Mquina universal. Lgica. Wittgenstein.

A informtica surge no cenrio cientfico-tecnolgico, aps a Segunda Grande Guerra, como a

Esta obra est licenciada sob uma Licena Creative Commons.

TECNOLOGIAS INDUSTRIAIS TECNOLOGIAS INTELECTUAIS

APRENDIZADO COM O USO

Figura 1: Aprendizado do potencial da tecnologia

2 A PRIMAZIA DO ALGORITMO NA MQUINA UNIVERSAL

O tratamento da informao por excelncia o clculo, que encerra em si o conceito de operao,

3 IDIAS MENTORAS DA MQUINA UNIVERSAL: MATEMTICAS E SISTEMAS

4 GENEALOGIA DA MQUINA UNIVERSAL: CARACTERSTICA UNIVERSAL E

Uma genealogia da mquina universal e sua implementao na informtica contempornea

5 PREMISSAS FILOSFICAS DA MQUINA UNIVERSAL NA FORMULAO DE

O emprego crescente de conceitos informticos e cibernticos nas diversas disciplinas, o uso

CURLEY, K. F.; PYBURN, P. J. Intellectual tecnologies: the key to improving white-collar

LVY, P. La machine univers: cration, cognition et culture informatique. Paris: La

HEIDEGGER, M. Chemin qui ne mnent nulle part. Paris: Gallimard, 1962.

MCCULLOCH, W. Embodiments of mind. Cambridge: MIT Press, 1988.

MATURANA, H., VARELA, F. De mquinas e seres vivos: Autopoiese, a Organizao do

NEEDLEMAN, J. The heart of philosophy. Londres: Routledge, 1983.

SCHUMACHER, E. F. Small is beautiful: economics as if people mattered. New York: Harper

SHANNON, C. The mathematical theory of communication. Illinois: University of Illinois

TURING, A. M. On computable numbers, with an application to the Entscheidungs

WIENER, N. Cybernetics. New York: MIT Press, 1961.

WITTGENSTEIN, L. (1922). Tratado Lgico-Filosfico: investigaes filosficas. Lisboa:

Key words: Universal Machine. Logic. Wittgenstein.

Originais recebidos em: 25/09/2008

Você também pode gostar