pmeedngs of he Congress Forma1 heories md Enipirical Theories

~ c t s dal Congreso Teorias Fornioles y Teortas Etnpiricas, pp. 197-207

UNA REFUTACI~N MATEMATICA
DEL REALISMO CIENT~ FJCO'
ALBERT0 MOLINA mREZ
Universidad de Salamanca
alberto.molina@ voila.fr
1
AIBSTRACT: This Paper Ireats .the question of coherence of scientific reaiisrn h m a
mathematical viewpolnt, After a g&ral characterizatioa of scieniific realism, four
fundamental theses are extracted. According to Gregory Chaitin's Algontbmic Information
Theoty and Ray Sdomonoffs views about scitntific theories the inconsistency of these
fundamend theses is demonstratd.
KEYWORXIS: Realism, Scientific Realism, Thuiry, Chaitin.
( :+ - .
- :. ..'
. . .
.. ... '
El realismo es la 'concepci6n filos6ficst que asume, como dnimo
i . . .II .*.
estricto, la existencia & una realidad independiente de la espkcie humana y
I '
' "
& sus facultades cognoscitivas, Como veremm, el realismo se distingue de
otras posturas filosdficas que tmbin asumen la tesis anterior
' :.
principalmente por su firme compromiso cqn una concepcidn objetivista de
la verdad.
Existe una gran diversidad de vcrsiond'del kalisrno. Una de ellas. se
conoce como realismo cientifico y se distingue de las d e d por su
compromiso epistmico, est0 es, por su cornpromiso con la posibilidad de
, ., .
un conocimiento cientifico de la d i d a d independiente. Aunque sobre este
punto no haya unmirnidad, consideramnos q u i aquellas, varhtes del
realismo cientifico para las cuales existe una Iinica teoria, completa y
veradera de la realidad :y cuyo compromiso episttimico ansiste en la
posibilidad de descubrir @sa teorla.
Quisiera agradeeer a Jeslis Vega Encabo y Francisco Salto Alemany pot sus cornentarios
y acertadas criticas.
Proceedings of the Congress Formal Theories and Empirical Theorks
Acras del Congreso Teor (as Formoles y Teorim Empiricos
siguiendo la definicib de Van ~raassen'. la ciencia se propone darnos en
sus teorias un relato literalmente verdadao de la realidad. Por otra parte, y
esto es algo que pocos realistas cientlficos negarian, dicha realidad
independiente pose una estructura propia que preexiste al conocimiento
que podamos tener o no tener de ella.
Podrfarnos por consiguiente resumir las -tesis centrales del realismo
-cientifico del siguiente modo:
(1) Existe una realidad externa independiente de nosotros;
(2) esa realidad posee wui aestrucruta determinada independiente & nosoiros;
(3) aiste wrn represe~ai dn O teorru compkia, objetiva y lileraimente verdadera de
la realidad independiente; x
( 4) esa representucidn oteoriu es cient@camenfe cognoscibb.
lasto en que aunque estas cuatro tesis no fueran asumidas por todos
los malistas cientificos si Io son por muchos de ellos, y son estas las tesis
que voy a dscutir a continuacibn.
Si el coraz6n del realismo es la teoria de la verdad-correspondencia. la
cual supone un 'Ojo de ~ i o s ' ~ que ratifique los enunciados descriptivos,
entonces el relato de %6mo es el mundo', que la ciencia sa propone darnos
en sus teorjas, ademh de literalmente verdadem, debe estar escrito, para
satisfacer al realista cientlfico, desde el punto de vista del 'Ojo de Dios'. Es
10 mismo que Bernard GEspagnat llama.'objetividad fuerte' y que caracteriza
aquelias teorias fisicas cuya forrnhlacib no &te de ninghn modo al
dmbito de Io humano:
"Pour satisfaire au 'r&alisme physique' [une thorie] doit $ire formuhble (c'est
dire au mi m iraduisible) en termes d'objecbviti forte. Autrenunt dit, ses principes
fondamentaux doivent four Stre nonables sans rifdrence aucune d la cortununaut& des
observateurs humains (et en particdier sans rfrettce aux limites des faculrs de ces
erniers). "'.
La exigencia de una formulacin fueitcmenk objetiva respondc al
cortipromiso fundamental del rcalismo ciM6co &on la cognoscibilidad de
la naiidad misma. En otras palabras, una teorja verdadera no puedc scr
meramente una forma de describir la realidad paru nosotros sino una
5
Van Fraassen (1980), p. 24.
Tomo esta cxpresidn de Putoam (19881, en su caractcrizaidn del realismo mtaflsico: "L.
verad supone UM especie de correspondench entre piabras o signos meirroles y c m O
conjuntus de cosas extermas. A esta perspecfivri ia ibmar externaliEta ya que su punio &
vista predilecm es el Ojo de Dios." (capitula 3).
7
Espagnat (19851, p. 86.
Uns refulacidn maiemdrica del realismo cientiJco
Alberw Molina Prez
- -
&scripc%n de la realidad ta1 como es en si misma, o sea una descripcion
'onto16gica'. Puuiam 10 llarna "realismo cientifico como metafis~ca"~, e
implica que existe realmente una difenncia entn dos teorias matemhtica y
empiricamenk equivakotes si remiten a ontologias distintas; una sola de
ellas podrla ser verdadera, aunque nos fuera imposible saber cuB. Por eso
diremos que la Tcoria filtirna que persiguw los realistas cientlficos es una
Teoria Ontolbgicg.
. ..
Podemos entonces precisar la tercera tesis y ariadirlc un corolario:
(3) existe una sola repreqentacidn O teorfa completa, fieriemente objetiva
y liierahenie verdader & la realidad independienfe;
( 3' esa leokia se reflux a &na tora!idudJO de objetos reai mnte exisisnles y
describe las propiedades que realmente tienen independienfemente de nosotros.
Existe, pues, para el realista cientifico, una y una,sola tcoria
absolutamente verdadera de la estructura de la realidad, y la meta final de la
empesa cientifica es descubrjr esa Teoria oltima o 'onto16gica1.
. Demostrarernos que esta pretensi6n es irrealizable tanto en practica como en
teoria por culpa de la incompatibilidad makrn6tica de las tesis (3) y (4).
La idea es rnostrar QU@ inclus0 si la ciencia actual estuviera ya
efectivamente en medida de formilla uns &ria universal verdaderamente
completa, no habria forma de saber si esa tmda es In teoria verdadera; csto
es, podria formular diversas teorias igualmente funcionales pero
ontol6gicamen.e incompatibles y le seda imposible saber si una de ellas es
la teoria mds simple o la .ria Ultima.
.
3. Demostraci6n
3.n. Para poner a prueba el realismo cientifico, ademh de asumir sus
tres primeras tesis, vamos a imaginamos en la sifuscion tal vez rnhsencilla
y favorable posible para 1. La situaci611 en cuestidn es la siguiente.
Imaginernos, al hi10 de los planteamientos de Ray ~ol omonof f ' ~. que a todo
1'
' Putnam (19821, p. 5.
Es una expresi6n que emplea Bernard d'~spagnat.
'O "Srgin (el realirmo meafhim), cl marnak consfa de um iotalidad fijo de objetos
indepetdientes de LI mente. Hay uacuimenle urut descripcidn verdadm y completa de
'cdmo es el mundo'." Putnam (1988).
" El razonamiento por rccurrencia, ampliamente utilizado en ciencia, fue analizado desde
un punto de vista maiom&ico por Ray Solomonoff, d i a ChUun (1975): H S ~ h ~ ~ f f
represenied a scientist's observations as a serirr of bimv digits. The scientisr seeh 10
expbin these observations rhmugh a theoty, which can be reganlrd as an al gor i i h
Proceedings of the Congress Formai Theories and Empirical Theories
Acfas &l Congreso Teorias Formules y Teorlas Empfricas
fendmeno observable se le pueda atribuir un niimero -O una serie numrica u
otro objeto matematic0 cualquiera-, de rnanera que a todas las secuencias
causales del universo Iw correspondan, por ejemplo. secuencias numricas.
Digamos incluso, para facilitar adn m&s las cosas, que se trata de secuencias
de numeros binarios. Imaginernos ahora que tenemos a nuestra disposicj&n,
si no todas las secuencias num&ncas, al menos todas las relevantes y
suficientes para elaborar una 'teoria onto16gica1. Digamos, por fin, que todas
esas secuencias numCricas componen una unica seiuencia que recoge todos ,
los fenomenos observables del qniverso. Esta secuencia, llam~mosla S,
contiene por consiguiente toda la informacion necesaria y suficiente para el
estudio cientifico de la redidad.
Para situarnos en unas condiciones idealmente favorables para el
realismo cientifico asumiremos que ademhs de toda la informacion
necesaria y suficiente para elaborar una 'teoria ontol6gica9, disponemos
tarnbin de "na capacidad de c~lculo arbitrariamente grande para tratar esa
informacibn.
Pues bien. si la serie S proporciona toda informacion relevante accrca
del universo, y si, para facilitar aiin rnh las cosas, la estructura de la serie S
y la estnictura del universo son homornorfas, entonces elaborar una teoria
completa,del universo consiste en elaborar una teoria completa de esta ser~e.
Es decir que la comprension del objeto 'universo' pasa por la comprension
de un objeto matematico (S) que recoge toda la infomaci6n pertinente al
respecto. Corno vernos, la situacidn es especialmente sencilla.
3.b. No sabria decir hasta quC punto la teoria de Chaitin que expongo a
continuacion dcpende & la tesis & ~ h u r c h - ~ u r j n ~ ' ~ , pero creo prudente
decir que mi propio argumento presupone esta tesis, es de c ~r que ha de ser
considerado desde las matematicas recursivas. Por otra parte, creo necesario
aclarar, acerca del planteamiento anterior, que al hablar de secuencias
capable of generating the serier and extending i r, thar tk. prrdicting fu~ure observations.
For any given series of observatiom there are u h y s several cornpethg theories. and the
scientist must choose amng t he p The mde l demndsthat thesmallesf okorirhm, the one
conrisring of the f e wm bits, be selccted. Stated another way, this rule i s the forniliar
formulation of Occam's razor: Given dtflering theon'es of apparently eqwl merit, the
sjmplest is CO be preferred. "
IZ Tesir de ~hukh:-uns funcidn de enter@ positives sr cfsctivsmente calculablc $610 si es
recursiva. (Fuente: Stonford Encyciopediu of Philosophy, The Chwch-Turing Thi s ' ,
hUp://plaio.s~anford.edulentriu/church-turin~~~is),
causales representadas pot series num6ricas ni me compromet0 con un
universo causal, ni presupongo el dekrminismo, ni me limio a un tipo
concret0 de representacion matem8tica. Lo que presento aqui s610 es un
ejemplo sencillo e intuitivo, pero el argumento $9 aplica a la investigacidn
cientifica en general y es independiente de &PO sea reatmente el universo.
En cuanto a la serie S, convie& decir que takpoca presupone nada. Podria
sustituirse por otro objeto matedtico cualquiera que representara de alguna
forma la informacion necesaria para elaborar una teoria completa del
. A
universol'.
Se@n Gregory Chaitin, la teoria de un objeto matemhtico -un numero.
por ejemplo- y el algoritrno que lo ge~era son Io mismo: En su tearia
aigoritmica de la informaci6n, Chaitin propone una definicion matemhtica
muy estricta de la aleatoriedad; define la complejidad algoritmica O
aleatoriedad de un objeto matemitico como el tamano -en niimem de biu-
del algoritmo rn6s pequeio que calcula O genera su descripcih completa.
En trminos informAticos, la complejidad se corresponde con la compresi6n:
cuanto menos complejo es un objeto mas facil resulta comprimirlo. Un
numero aleat~rio es un objet0 ta1 que el algoritmo que 10 genera tiene mP O
menos el mismo tamaiio'que el propio ndmero, es decir que un objeto
aleatorio es incompresible, no puede ser descrito con menos bits de los que
consta.
Para dernostrar que un numero &do no es aleamrio, basta con
gresentar cualquier algoritmo sensiblemente mis corto que Io genera; o sea,
basta con comprimirlo. Pero la teoria de Chaitin afirma que es
matemhticamente -recursivamen te- imposi ble dernostrar que un numen,
dado es aleatorio.
Es facil. por otra parte, mostrai que un algoritmo minimo es
necesariamente un objeto aleatorio. Ci to la demos~aci6n del propio autor:
"Any mi ni ml program i s necessariiy random, p t h e r or not the series it generates
is rondom. This conclusion i s a direct result of the way we have defined randomss.
Consider ;k program P. which is a mi ni ml program for the scrics of digits S. If we
assume that P Cr not random, then by definition there mus$ be ohther program, P'.
s&stantially smller ihan P that will gemroie it. We can then produce S by t hef ol hi ng
algorahm: "From P. calcu&ie P. then from P calculate S." niis program is only a jmi bits
longer t h n P', and thus it must be substantially Lor t er thon P. P i s therefore no< a mi ni ml
program. "
" Agraderco a Mario Toboso poi haberme mostrado la necesidad de incluir estas
Proceedings ofthe Congress Fo mt Theorks and Empirira Theories
Act a del Congres0 Teorlas Formales y Teorfas Empiricas
de la rcalidad empirica. Una segunda opcion conrisMa ui dcbilitar la b i s
(3), rschazando por ejemplo la exigencia de wo solu teoria verdaderai*, O
bien rechazando la litmalidad de la verdad. El inconvenicnte de estas dm
soluciones estnba en que podrlan obligar a una redcfinici6n menos intuitiva
del concept0 realista de verdad ylo a una alterscion de las tesis (2) y (3'); su
ventaja esta en que permiten conservar la tesis (4). C m ver una posible
tercera opei6n ni el debiliiamiento conjunto de las tesis (3) y (4). Ahora
bien, ninguna & estas tns opciones me parecc muy satisfactoria. El
abandono de la tesis (4) me pance necesario pero insuficiente y dekria
acornpaiiarsc del rechau, O debilipiento considerable de (3).
Lo que no est4 del todo d m es eu61 de estas altemativas pude
verdaderamenta permitirse el naiismo cientffico y en que otras teorias de la
verdad podrfa apoyarse. Pero hoy, de hecho. ya pocos redistas conseCuentes
defenderian a rajatabla la tesis tercera, s egh Ia nial "(3) existe una sola
representacion o taoria compkta, fuertemente objetiva y liirralmente
verdadera de la teaiidad indepcndwte"; existeo. en efecto, numerosos y
potentes argumentos que muestran la inviabilidad de esta posain y la
fragilidad del redismo cientifico.
En mechica cuhtica, por ejcrnplo, parece eada vcz menos 'razonable
consierar ssta teoria como una description de la reaiidad al estistilo de la
fiska clhsica antes que como un fomdismo predictivo contextual. Tnr un
siglo & euistencia, ya es hora de aceptar que el mode10 de objetividad en el
que descansa es episttmico y no ontoldgico. Por oaa parte, la violacih
experimentd del teorema -metate&ico- de Bell constituye una refutacibn
definitiva de otra concepci6n tlpicamente realista segun la cual la realidad
independiente esta constituida por objetos 'separables'. Por consiguiente, si
efectivamente existe una realidad independiente de nosotros (tesis 1). didia
realidad no puede estai formada de 'cosas separables', de manera que a un
redista no Ic queda mh remedio que adoptar una concepci6n holista de la
realidad independiente, como la de David Bohm.
El prescrite argument0 afects priacipalmente a las tesis (3) y (4) del
nalismo cientffico, dejando sbiertss otras fom~ls de realismo menos
'pmuicioso'. El redismo de Einstein, por ejemplo, se salva en la medida en
que 1 miamo ya era consc$nte & que, aunquc nuestras teorias funcionasen
~crfectamentc, nunc, sabriamos si son literalmcncl verdaderas, si
rePEsentan las cosas C O ~ O realmcnte son. EI universo, pensabq u como un
H
E8 la 9C hace, por ejempio. Richard Boyd (1989).
yw rejutuci6n matedrica del reaiism cimt$co
m r t o Md i m Pdrez
slcj del que ~610 vemos el marco y las agujas. Podemos elaborar teorias
eficacss sobre la naturalwa del hipotdtico mecanismo interno que
mueve las agujas, p r o nunca podremos abrir el reloj para comparu nuwtras
0 ~ a s con la salidad y evalusr su verdad. Por su parte, un realista como
Bernard *. dlBspagnat reconoce la incognoscibilidad , de la realidad
independi&te. Podemos, seg6n2: 1, llegar a $nef una idea no totalmente
fdsa de 10 que es la rceidad, pero nunca::podrcmos dar de alla una
dcscripci6n fidedigna. Es lo'que exprisa su idea de rcalidad vcla.de.
BIBLLOGRA]FIA '
Boydm Richard: 'What Rdi s m Impli* and What it D m Not", (1989). reprinted in l ne
Onroiogy of Science, tdited by John Worrdl, pp. 7 1-95.
ChYtin Gr e gy 1.: "Randomnm and Mathematical Proof', Sci u. f c Amricon 232. No.
5 (May 1975). pp 47-52. Existe una Dmiuidn m(s teciente al francCs geeste vt'culo
en Pour I. science. Dossiex hors-stie nel 1: La hasard (Avril 1996). pp. 68-73].
Du mmt ~ Michael: "Realismm, (1963). Truth and Other En i g m, H m d University -
Press, Cambridge, Massachusscts, 1978.
himmtt. Michael: 'lRealism". Synthse. 52 (1982). pp. 55-1 12, npfintcd In The Suu of
mguage.
Dummc, Micbael: I)ir &gicaI B<inr of MeIaphysics, H n w d University Ras. .
Cambridge, Massachusmis, 1991.
Durnrneu, Michal: The Sem of h g u a g e . Oxford Universin Pr-. Oxford, 1993.
Esp.gui, Banvd &, Une Incertaine Rd&, Gaulthius-viIh$, Pris, 1985-
Puinam, Hilary: R d n , ver& a historia, Tfinos, Madrid. 1988.
hinam. Hiiary: '*Tree Kiwis of ScientiifiE Realismn. (19821, reprind in The O ~ O ~ O ~ Y Pf
Science, edited by l oh Worrall, pp. 3-8.
Van Fraassen, Bas C.: La imagen cied$ca. Paid6s. Barcslona, 1997.
Worrali. John (editor): T h Dnfology of Science. The International Ubrary of Philosophy.
Dartmouth, Cambridge, 1994.
Alberto Molina Prez
Universirlad de Salarnanca ''
e-mail: alberro.molina @voib.fr *,
. .