Professional Documents
Culture Documents
Resumo:
O desenvolvimento desse trabalho se fundamentou integralmente nas idias de Pierre Lvy.
Comeamos por uma reflexo sobre a mquina universal, fundamento da informtica e da
informatizao, se passar em revista sua instituio, buscando em Ludwig Wittgenstein suas razes
filosficas, at mesmo metafsicas. Por ltimo, uma breve anlise do paradigma da informtica deve
formalizar as principais concluses desta exposio.
Palavras-Chaves:
Informatizao; Mquina universal; Lgica
Abstract:
The development of this work is entirely based on the ideas of Pierre Lvy. We begin with a
reflection on the "Universal machine", the foundation of informatics and computerization, it will
also review its establishment, seeking their philosophical roots in Ludwig Wittgenstein, even the
metaphysical aspect. Finally, a brief analysis of the informatics paradigm should formalize the main
conclusions of this explanation.
Keywords:
Computerization; Universal machine; Logic
___________________________________________________________________________________________________________ 45
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
Introduo
O fato de atuar no campo intelectual faz com que o aprendizado de uma tecnologia da
inteligncia, 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, ficando geralmente de fora a metodologia que rege sua aplicao, assim como
o potencial de desenvolvimento na sua adoo, que geralmente s se vai aprender por um
longo e rduo processo pessoal de experimentao em uso (o que explica 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 a constatao maior, que
nas tecnologias industriais o ensino bsico de sua aplicao praticamente cobria toda a
___________________________________________________________________________________________________________ 46
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
capacidade oferecida pela tecnologia, permitindo sua adoo plena; o aprendizado em uso
embora existisse, era mnimo (CURLEY e 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).
COMPUTADOR
AVIO
CARRO
CALCULADORA
TREINAMENTO
A Primazia do Algoritmo
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).
___________________________________________________________________________________________________________ 47
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
Uma vez formalizado um algoritmo, pela dissecao de um fenmeno, em seus dados
simblicos e no conjunto de operaes sobre estes (algoritmo propriamente dito), corre-se
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.
z para cada problema calculvel corresponde ao menos uma mquina Allan Turing
(uma tabela de instrues) capaz de resolv-lo;
___________________________________________________________________________________________________________ 48
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
Em 1945, John von Neumann apresentou uma proposta de construo de uma mquina,
que teria registrado em sua memria a tabela de instrues junto com o conjunto de dados
para tratamento. Tomava forma a mquina universal de Allan 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):
z artistas e escritores abandonam a tradio, que procuravam manter e evoluir pela sua
reinterpretao, e passam a recapitular todos os estilos, de todas as pocas, de todos
os pases; no se criam obras, mas sistemas de obras, mquinas produtoras de
obras, sempre reinventadas;
z artista nesta Sociedade da Informao, no quer ser reduzido a uma matriz formal, ele
quer passar ao nvel lgico superior, definir uma nova linguagem, para no ser
ultrapassado pela mquina;
___________________________________________________________________________________________________________ 49
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
z a sensao serve ao conhecimento do universo objetivo, que cada vez mais se
fragmenta em diminutos tomos, registrados sob uma codificao impalpvel;
z novos dispositivos para captura digital no apreendem uma forma global (no sentido
platnico), mas apenas uma imagem, um padro, uma medida, traduzida em uma
seqncia de impulsos binrios;
Que histria, singular ao Ocidente, foi capaz de conjuminar processos que deram forma a
filha 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.
___________________________________________________________________________________________________________ 50
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
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 L. Wittgenstein no inicio
deste sculo, a ciberntica do final dos anos 40, e a teoria da informao da mesma poca
(LVY, 1987).
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 sob a
desordem dos fenmenos se identifica com a investigao de estruturas matemtica
subjacentes.
Eliminado todo apelo intuio nas construes matemticas, estas, por sua vez,
dissociadas da consistncia lgica exigida pela verdade categrica, as matemticas
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):
z a semntica de um sistema formal concerne as interpretaes concretas que dele se
podem fazer; intrinsecamente desprovido de significado, o sistema formal se presta a
por em evidncia isomorfias estruturais entre domnios concretos aparentemente sem
relaes; ou seja, a mesma axiomtica pode formalizar vrias teorias ou modelos;
___________________________________________________________________________________________________________ 52
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
z a sintaxe de um sistema formal se relaciona unicamente a suas caractersticas
internas; dentre as propriedades sintxicas destacam-se a consistncia, a completitude
e decidibilidade:
z a completitude ecoa o princpio do tero excluso; ou seja dada uma expresso bem
formada do sistema, deve-se poder demonstra-la com falsa ou verdadeira;
Desta breve exposio percebe-se uma linha quase contnua que religa: a descoberta, h
mais de 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 pr-pitagrica, da
___________________________________________________________________________________________________________ 53
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
contabilidade renascentista, da cincia do Estado - a estatstica, da filosofia analtica deste
sculo.
Toda a informtica repousa sobre a descoberta que processos fsicos podem ser
exatamente isomorfos operaes lgicas. Este princpio teve uma formulao original
em uma tese de doutoramento de 1938, defendida por Claude Shannon, o mesmo da
teoria da informao. Nesta tese, C. 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 os princpios fundamentais expostos por C. Shannon
(LVY, 1987).
___________________________________________________________________________________________________________ 54
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
Decorrente da caracterstica universal, como sua vertente operatria, G. 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 G. Leibniz, um clculo s pode ser feito sobre uma
caracterstica, 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.
___________________________________________________________________________________________________________ 55
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
poder de clculo que uma mquina universal de Turing; 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.
Como foi dito, a lgica matemtica foi revitalizada por uma associao teoria dos
autmatos, pela Ciberntica e pela Teoria da Informao. N. Wiener afirmava que a
Cincia de hoje operacional, ou seja que 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.
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 tecno-cientfico, capaz de aportar respostas inovadoras a questes clssicas, do
tipo: conhecimento, sabedoria, ser, teleologia, memria, percepo, cognio etc.
___________________________________________________________________________________________________________ 57
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
Premissas Filosficas
Comeando pelo conceito de fato, constata-se, neste sculo, sua ascenso a uma
centralidade, sob a qual possvel notar uma certa ideologia: o mundo e as coisas no
mundo so completamente neutras com respeito a significado e valor. A mente humana
pode impor tais significados e valores no mundo externo (l fora), mas em si mesmos, o
mundo e as coisas do mundo simplesmente existem se quaisquer finalidades ou
qualidades de bom, mal, belo, conscincia, ou significado.
Esta viso, com precedentes na histria, teve neste sculo um dado adicional a mais: a
crena de que as verdades sobre o mundo natural podem ser afirmadas pela simples
percepo sensorial refinada, ajudada pela inferncia lgica. Ou seja, com a separao
entre fatos e valores, s o conhecimento emprico dos fatos sobre o mundo, se afirma
como critrio, pelo qual um homem ser capaz de orientar-se com respeito a 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).
___________________________________________________________________________________________________________ 58
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
L. Wittgenstein e M. Heidegger, cada qual de sua maneira, re-injetaram na
intelectualidade contempornea, a idia de dois mundos, junto com a indicao que o
mundo por trs das aparncias no pode ser visto: toda olhar contm uma viso
implcita e imanente. L. Wittgenstein procura separar os dois mundos (por ele
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, L. 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. L. Wittgenstein ataca 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.
Desta maneira, a lgica no nos diz nada sobre o mundo: trata-se apenas de 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
___________________________________________________________________________________________________________ 59
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
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 L. Wittgenstein, em proposies lgicas, determinantes
a priori do ser-no-mundo. A meta de uma autntica filosofia dar significado ao
infalvel pela apresentao clara do falvel.
Este mundo de tudo que sucede, o mundo dos eventos, o da teoria da informao, que
no tem interesse pelo significado dos smbolos mas 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
1
Referncia normalmente adotada quando se mencionam as proposies do Tratado (L. Wittgenstein, 1922).
___________________________________________________________________________________________________________ 60
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
fato, uma deciso, se observa, se transmite, se apresenta como uma definio operacional,
portanto imaterial, que pode se medir, mas no tem dimenso.
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.
___________________________________________________________________________________________________________ 62
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
O Paradigma Informtico
Comeando pela definio dos dados iniciais, que cada vez mais obedece 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, a classificao, a codificao e a 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 filosofia sob este processo. Uma
filosofia onde predomina a postura indutiva, a Razo instrumental e o logicismo, em que
o modelo operativo o que apreende e responde melhor ontologia informacional.
___________________________________________________________________________________________________________ 65
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
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 sua ambies.
Referncias
BARDINI, T.; HORVATH, A.T. The social construction of the personal computer user. J
Commun, Austin, v.45, n.3, p.40-65, 1995.
___________________________________________________________________________________________________________ 66
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
BRETON, P. Le sens des mots: lapparition des termes informatique, ordinateur et
information. In: TINLAND, F. (ed.) La techno-science en question. Seyssel: Champ
Vallon, 1990.
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.
FREDERICK, H. Computer networks and the emergence of global civil society. In:
HARASIM, L.M. (ed.). Global Networks: computers and international communication..
Cambridge: MIT Press, 1993.
LEO, E.C.; et al. A mquina e seu avesso. Rio de Janeiro: Francisco Alves, 1987.
___________________________________________________________________________________________________________ 67
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
LVY, P. Les technologies de lintelligence: lavenir de la pensee a lere informatique.
Paris: La Dcouverte, 1990.
___________________________________________________________________________________________________________ 69
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.
______ _ ARTIGO
___________________________________________________________________________________________________________ 70
Revista Digital de Biblioteconomia e Cincia da Informao,Campinas, v.6, n. 2, p. 45-70, jan./jun. 2009 ISSN: 1678-765X.