Documentos de Académico
Documentos de Profesional
Documentos de Cultura
van Fraassen
INTRODUCCION
A LA FILOSOFIA
DEL TIEMPO
Y DEL ESPACIO
EDITORIAL LABOR, S. A.
BARCELONA
1978
Traduccin de
Juan-Pedro Acordugoicoechea Goicocchca
1. RE LA C IO N E S Y O RD EN
2. EL USO DE C O O RD EN AD AS
3. M A G N I T U D Y ME TRI CA
t
4. E L ST A T U S DE LA EN TI D AD
1) El espacio es infinito.
2) El ocano es infinito.
2. Van Fraassen
si la palabra tiempo tiene un referente como si no lo tiene,
la oracin
3) El nacimiento de Newton es posterior a la muerte de
Francis Bacon
es verdadera. Y sea cual fuere la opinin del filsofo sobre
la existencia del tiempo, ha de darnos una explicacin de lo
que se quiere decir al emplear esos trminos temporales;
es decir, seguimos exigiendo una explicacin de las relaciones
temporales, del orden temporal, de la duracin y de la m
trica del tiempo.
Segundo: si se sostiene que hay una entidad denotada por
la palabra tiempo, surge la pregunta de qu tipo de cosa
es esa. Evidentemente esta pregunta est fuera de lugar si se
niega que tiempo se refiera a algo. Pero en caso de que no
se niegue, podemos preguntar si el tiempo es una entidad
fsica o un objeto matemtico o tal vez algn otro tipo de
entidad. Y esta es una pregunta a aadir a las mencionadas
sobre el orden y la mtrica temporales.
Por ltimo, nos estamos ocupando aqu de filosofa de la
ciencia y no de metafsica. No vamos, pues, a complicar la
discusin sobre la existencia o no del tiempo o del espacio
con otras preguntas sobre la existencia de objetos matemticos
u otras entidades abstractas. Consideraremos, pues, admisible
prima facie la respuesta de quien, adems de sostener que el
tiempo existe, responde que es una entidad abstracta (si bien
esta respuesta no dejar de suscitar, a su vez, otras preguntas).
No creo que quienes defienden que no hay entidades abs
tractas consideren, por este motivo, que la discusin es ociosa.
Pues bien mirado, son de la opinin de que todo lo que se
puede decir en los trminos de sus oponentes y es en cierta
manera significativo puede tambin decirse en los suyos
propios. Esta puesta entre parntesis de nuestro compro
miso ontolgico no impone tampoco una respuesta trivial
a la pregunta, por ejemplo, sobre la existencia del tiempo.
Y a que esta puesta entre parntesis no va a repercutir en
preguntas similares sobre el mundo del que se ocupa la fsica,
tales como la existencia de electrones, de unicornios o de
campos de fuerza.
1. Cf. Q u i n e , W. V. O. On What Therc Is en From a Logical Point
of View, Harper & Row, Nueva York, 1963, pp. 1-19. (Trad. caste
llana de M. Sacristn Acerca de lo que hay, en Desde un punto
de vista lgico, Ed. Ariel, Barcelona, 1962, pp. 25-47.')
CAPITULO n
LOS PROBLEMAS
DE LA TEORIA DEL TIEMPO.
DE ARISTOTELES A KANT
1. CAMBIO Y DURACION:
L A TE ORI A DE A R ISTO TE LE S
a) Cambio y proceso
t) E l tiempo
2. E L TIEMPO Y L A POSIBILIDAD
DE LA CRE AC IO N
c) El argumento de Barrow
y el tiempo absoluto de Newton
3. Van Fraassen
no es nada ms que una entidad fsica muy importante, algo
as como la Va Lctea o, mejor an, el sistema de las estre
llas lijas. Pero esto requiere, al menos, una matizacin en
puntos importantes: no hay duda que el tiempo es en muchos
aspectos algo muy distinto de un cuerpo material o de un
sistema fsico. En este punto Barrow se vuelve a la teologa
(influido por algunos de sus contemporneos, por ejemplo,
Henry More). Sostiene que el espacio y el tiempo existen con
independencia de los cuerpos materiales o de los aconteci
mientos fsicos, pero no independientemente de Dios. Desde
el punto de vista de la filosofa de la naturaleza el tiempo no
denota una experiencia actual, sino pura y llanamente una
capacidad o posibilidad de posible existencia, mientras que
desde el punto de vista de la teologa manifiesta una sobre
abundancia de la presencia y poder divinos.22 Al lector mo
derno y al filsofo secular la dicotoma propuesta no le ayuda
gran cosa. Cuando le decimos a Barrow que si el tiempo 110
es un aspecto del movimiento (ni un producto de la imagina
cin) entonces ha de ser una existencia actual diferente de
cualquier proceso fsico, contesta que as es desde el punto
de vista teolgico. Pero si entonces nosotros confesamos que
nos hallamos perplejos acerca de qu clase de entidad es sta,
afirma que desde el punto de vista de la filosofa de la natura
leza el tiempo no es, por supuesto, ninguna clase de cosa en
absoluto. Desde el punto de vista de la filosofa natural, esto
es pura y simplemente eludir el tema. Newton acept la teo
ra de Barrow en lo esencial. En el famoso Scholium de su
Philosophiae Naturalis Principia Mathematica afirma:
o bien
c) si estuvo, lo hizo;
Una vez que la mente se ha apropiado una medida del tiempo tal
como la del ciclo anual del Sol, puede aplicar esta medida a dura
ciones en las que ste no existe...20
Yo puedo imaginar que la luz existi tres dias antes que existiera
el Sol. o que hubiera cualquier otro movimiento, simplemente pen
sando que la duracin de la luz antes de que el Sol fuera creado
era tan larga que (si el Sol se hubiera movido entonces como lo
hace ahora) habra sido igual a tres de sus revoluciones...30
4. Van Fraassen
mero. Toda clasificacin en trminos definidores y trminos
definidos es una construccin artificial. Una tal jerarqua de
definiciones puede tener, por supuesto, una funcin impor
tante: hacer entender lo que se quiere decir, servir de expli
cacin. Pero no hay ningn trmino que 110 pueda figurar
entre los que son objeto de una explicacin adecuada, como
parece sostener Kant acerca del trmino tiempo.
Volviendo a nuestra reflexin sobre el curso del pensa
miento de Leibniz, observamos que una misma cosa puede
ser sujeto de propiedades contrarias: estas determinaciones
contrarias pueden existir en la misma cosa con tal que estn
separadas temporalmente. Su contrariedad no hace (a dife
rencia de la contradiccin) que la existencia de una excluya
la existencia de la otra; pero s las separa. Y si estn separadas,
forman un dominio de entidades distintas, y este dominio es
ordenable. El dominio es la historia del mundo, y el orden
el tiempo. Este es el sentido de los prrafos iniciales de Initia
rerum mathematicarum metaphysica:
I. A lg u n a s o b s e r v a c io n e s s o b r e e l m to d o f i l o s f i c o .
Hemos encontrado ya dos ejemplos paradigmticos del m
todo de construccin de una teora en filosofa: la construc
cin aristotlica de una teora de la duracin y la de Leibniz
de una teora del orden temporal. No obstante, la construc
cin de una teora no es el nico mtodo filosfico.51 Hemos
encontrado tambin ms de un ejemplo de lo que llamaremos
el mtodo fenomenolgico. No nos referimos al mtodo feno-
menolgico desarrollado este siglo por Edmund Husserl y su
escuela, sino a ejemplos de la misma manera global de afron
tar los temas que encontramos ya mucho antes en la historia
de la filosofa.
El primer ejemplo de este mtodo que liemos visto ha
sido el argumento de Aristteles de que el tiempo no es
independiente del cambio: no podemos tener experiencia de
un lapso de tiempo si no es por una experiencia de cambio.
(Por ejemplo, cuando Rip Van Winckle * se despert, no
tena conciencia de ningn cambio importante y. por con
siguiente, no cay en la cuenta de que haba transcurrido m u
cho tiempo desde que se fue a dormir por ltima vez)_ Aris
tteles interpela al lector para que reflexione cmo experi
menta el mundo. Le pide, en efecto, que Irate de imaginar
cmo podra experimentar la duracin de otra manera que
no sea experimentando el cambio.
Al admitir que no podemos imaginar A (o tener experien
cia de A ) con independencia de B (o de experimentar B), se
concluye que son tambin interdependientes los conceptos
II. L a s a n a lo g a s dk l a e x p e r ie n c ia . La respuesta de
Kant a la pregunta general, cul es la estructura de nuestra
experiencia?, se puede resumir as: nos experimentamos como
percibiendo otras entidades y a nosotros mismos en un mundo,
que tiene una cierta estructura. La pregunta siguiente es,
pues: cul es la estructura de este mundo percibido (feno
mnico)? La Esttica trascendental responde: espacio y tiem
po; es decir, experimentamos los objetos de la percepcin (ex
terna) como estando totalmente en el espacio y en el tiempo,
como espacial y temporalmente relacionados unos con otros.
Pero podemos preguntar: qu significa, por ejemplo, decir
que percibimos las cosas como espacialmente relacionadas unas
con otras? La respuesta de Kant a este punto se puede resu
mir como sigue: el sujeto tiene ya una cierta estructura con
ceptual y organiza los datos de la percepcin dentro de esta
estructura. En la Analtica trascendental se indaga cul es
el alcance de esta respuesta. Aqu nos limitaremos a consi
derar una pequea parte que trata especficamente del tiempo,
la seccin titulada Analogas de la experiencia.5"
El principio de estas analogas es que la experiencia obje
tiva es posible slo mediante la representacin de un enlace
necesario de las percepciones.30 bls Las percepciones mismas
vienen en un orden casi enteramente casual, y as no podran
producir sin ms una imagen coherente de un mundo, tal como
efectivamente tenemos. En concreto, las analogas tratan del
tiempo: nosotros percibimos los acontecimientos, y los acon
tecimientos estn ordenados en el tiempo. Y puesto que no
percibimos el tiempo mismo, el entendimiento necesita ciertas
reglas por medio de las cuales reconstruye este orden. Y estas
reglas o principios por medio de las cuales el entendimiento
organiza lo que percibe en una secuencia temporal, son las
analogas.
El tiempo tiene tres modos principales, dice Kant: perma
nencia {duracin), sucesin y simultaneidad (coexistencia).
Por eso hay tres reglas de todas las relaciones de tiempo entre los
fenmenos, por las cuales puede determinarse a cada uno su exis
tencia con respecto a la unidad de todo tiempo, y esas tres reglas
preceden a toda experiencia y la hacen posible.57
III. L a t e o r a c a u s a l d e l o r d f.n t e m p o r a l d e L c h a
l a s . A partir de las Analogas de la experiencia de Kant,
Lchalas intent definir el orden temporal por medio de los
conceptos de la fsica clsica.67 A diferencia de Kant, no se
propuso una posible fundamentacin de toda fsica coherente
ni demostrar que algunas caractersticas de la fsica clsica,
5. Van Fraassen
todava vigente, podan aspirar a la certeza a priori. Prefiri
usar los conceptos que le ofreca la fsica a apoyarse en
algn sistema filosfico. Esto confiere ms importancia a su
empeo, ya que las ciencias existentes suministran una espe
cie de dato a la filosofa: para un filsofo, el marco con
ceptual de la ciencia de su tiempo ofrece materia ms propia
de anlisis que de crtica. Por supuesto, no estn vedados otros
sistemas filosficos. (Estos dos temas necesitan ser precisados,
pero la distincin es clara).
Empecemos considerando un pasaje fundamental del Elu
de sur I'espace et le temps de Lchalas:
a) Cuestiones topolgicas
6. Van Fraassen
las hace discerniles. Si, por el contrario, se niega esto ltimo,
entonces cmo puede el contrafactual sustentar la conclusin
de que las esferas son distintas?
Podemos dar otra forma al argumento para mostrar que
nada depende de la fiabilidad de nuestra imaginacin. Puede
que el oponente del leibniziano diga: yo he descrito un mundo,
y la descripcin es auloconsistente lgicamente: por consi
guiente, es un mundo posible. En este caso, la respuesta del
leibniziano es: esa descripcin es autoconsistente slo en la
medida en que niegas el principio de la identidad de los indis
cernibles. El oponente puede entonces reformular su recurso
a un condicional contrafactual diciendo: mas el mundo que
yo he descrito puede encajar en un mundo que es posible tam
bin segn tus principios; puesto que el mundo que yo he
descrito resulta sin ms que quitar algo de este ltimo mundo
posible, ha de ser tambin l un mundo posible. El leibniziano
puede responder a esto: no te tomas las relaciones con la
suficiente seriedad: puede que todo lo que distinga las dos
esferas sea las relaciones a una tercera cosa. Por consiguiente,
esta simple omisin puede alterar radicalmente la estructura
del mundo posible. (Podemos aadir que el oponente quiz
est pensando subrepticiamente esta omisin como un acto
en el tiempo; es decir, que el mundo descrito al principio nace
cuando se aniquila este tercer elemento. Pero sta no sera
en absoluto la cuestin discutida, ya que en ese caso las dos
esferas se distinguiran por su historia pasada).
Aceptando la validez de la rplica de Leibniz, vamos a la
segunda pregunta. Supongamos, por ejemplo, que la teora
cosmolgica admitida implica un determinismo perfecto, y
supongamos que tenemos razones para creer que el mundo
est en un estado al que la teora predice un eventual retorno.
Descubre un absurdo el argumento de Bois? De ninguna
manera. El newtoniano concluira que la historia del mundo
consiste en una serie indefinida de ciclos, idnticos excepto
por lo que hace a su lugar en el tiempo. Pero si la teora ex
cluye un comienzo, y, por supuesto, cualquier asimetra de la
evolucin csmica pasada y futura, el leibniziano le corrige:
slo uno de esos ciclos tiene lugar: la historia del mundo es
finita.
Hemos de subrayar, sin embargo, que nuestras premisas
excluan un comienzo y un fin. Por tanto, la conclusin de
que la historia del mundo es finita se ha de ampliar a finita
pero ilimitada. En otras palabras, la conclusin es que el
orden de los estados del universo es el de los puntos de una
circunferencia y no el de los puntos de una recta." Y se llega
a esta conclusin por la teora relacional del tiempo, ya que
la premisa de un tiempo absoluto bloqueara la aplicacin del
principio de la identidad de los indiscernibles. Por consi
guiente, la conclusin es, igualmente, que la estructura topol
gica del tiempo es la de una circunferencia y no la de una
recta: el tiempo es topolgicamente cerrado.
Ni Nietzsche ni Bois pensaron en esta posibilidad. Charles
S. Pierce parece haber sido el primero en comprender plena
mente las alternativas concebibles de la estructura topolgica
del tiempo.7
Cierto que ello supone desviarse por completo del concepto
tradicional del tiempo. Y este desvo no depende de la acep
tacin de hiptesis cosmolgicas especulativas y problemticas
tales como las que hemos utilizado para ponerlo de manifiesto.
Ms bien el punto fundamental es que en una teora relacional
del tiempo cabe la posibilidad de un tiempo topolgicamente
cerrado. Se ha mostrado que esta posibilidad se sigue a partir
de la doctrina filosfica inicial de que el tiempo y la historia
del mundo no son independientes, de que la estructura del
tiempo es una funcin de la estructura del universo y de las
leyes de su desarrollo.
C
' Pero qu relacin de orden es ms bsica que anterior a
o entre? La respuesta es: la relacin de separacin de pares.
En la circunferencia mencionada, podemos decir que el par
de puntos (A; C) separa al par (f; D). Intuitivamente es claro
que si se quiere recorrer la circunferencia de B a I), se ha de
pasar o por A o por C.
El orden de los puntos en una recta es un orden que se
puede caracterizar en trminos de entre o antes de. (En el
apartado 3, nos ocuparemos de la diferencia entre estas carac
terizaciones). De forma equivalente, se puede representar ese
orden dando a cada punto una coordenada numrica, de
manera que numricamente menor que corresponda a antes de
y numricamente entre corresponda a entre en la rccta. Esta
es la tcnica de dar coordenadas. Cada punto P tiene una coor
denada c(P); y Q est entre P y R si y slo si c(Q) est num
ricamente entre c(P) y c(/?). o sea, c(P) < c(Q) < c(R) o
c(R) < c(Q) < c(P). Las coordenadas empleadas aqu son
nmeros reales, elementos del cuerpo de los nmeros reales.
El orden de los puntos en una circunferencia se puede
caracterizar en trminos de la relacin de separacin de pares.
La cuestin es saber si se puede aplicar tambin en este caso
la tcnica de dar coordenadas. Puede una relacin matem
tica representar la separacin de pares? La respuesta es: s.
Hemos de tomar como coordenadas los elementos del con
junto de los nmeros reales ampliado, o sea, el formado por
los nmeros reales ms 1111 elemento especial, el designado
por 00. Este smbolo representa al infinito, y al elemento espe
cial se le llama punto en el infinito. Con todo, es ste un len
guaje figurativo; recordamos que las cuestiones topolgicas
son independientes de las cuestiones mtricas.
Cuando asignamos coordenadas del conjunto de los nme
ros reales ampliado lo hemos de hacer de forma que si P y Q
separan a R y S, entonces sus coordenadas numricas separen
a las coordenadas de R y 5. Por ejemplo, 3 y 7 separan num
ricamente a 5 y 0, y tambin a 5 y 00. En la seccin Id discu
tiremos estas materias con ms detalle.
Giovanni Vailali estudi el orden de los puntos en una
lnea cerrada, y dej escritos estos axiomas de la relacin de
separacin de pares (escribimos S(x,y/z.,w) para x e y se
paran a z y w):
ni ii , xa . ya
R{a,b x,y) = -------- t- ----------
bx by
b) Elementos convencionales
y objetivos en la definicin
3) 0 = n
1= n
por tanto, 0 = 1
Si nos encontramos con que una definicin tiene un presu
puesto, podemos anteponer a la definicin un postulado o
prueba de que el presupuesto es verdadero, o bien podemos
reformular la definicin para eliminar el presupuesto. (Este
es un tema de lgica, y 110 tenemos necesidad de entrar en l.)
Como seal Poincar, la definicin de congruencia tem
poral puede tener tambin uno de estos presupuestos fac
tuales.-0 Supongamos que se propone la siguiente definicin
para la unidad de duracin:
es decir,
e) El debate Poincar-Russell
7 Van Fraassen
y tal que la magnitud del intervalo de tiempo entre X e Y es
\'(X) t \ Y ) \
d(X,Y) = \ t { Y ) - l ( X ) \ .
Xi = (AiBiCiDi)
y nunca suceden en la forma inversa (DCBAi). Entonces,
suponiendo que est dada la relacin temporal entre, podra
mos definir:
I. T e r m o d in m ic a fe n o m e n o i. g ic a . La termodinmica
se desarroll a principios del siglo xix, y en especial gracias
a los trabajos de Nicholas Leonard Sadi Carnot. Una teora
fsica trata de sistemas fsicos, y hablamos de un sistema me
cnico cuando la teora es la mecnica, de un sistema termo-
dinmico cuando la teora es la termodinmica, de un sistema
biolgico cuando la teora es la biologa, etc. Un sistema termo-
dinmico es precisamente un sistema considerado desde el
punto de vista de la termodinmica. Y esto quiere decir: ca
racterizado por las propiedades que se estudian en la termo
dinmica. Lo mismo vale para la nocin de estado termodi-
nmico: el estado termodinmico de un gas en el tiempo t
queda dado al determinar la presin P, al volumen V, y la
temperatura T en el instante t, porque stas son las mag
nitudes fsicas que utiliza la termodinmica.
La termodinmica se apropi algunos conceptos de la me
cnica, en particular, el concepto de trabajo?' En la niecnica
se define el trabajo como el producto de fuerza por espacio.
Por ejemplo, supongamos que empujo un objeto hasta tras
ladarlo a la distancia de 1 metro. Depende del peso del objeto
el que tenga que aplicar una fuerza mayor o menor. Cuanto
mayor sea la fuerza que aplico, mayor ser el trabajo que rea
lizo. Si ahora empujo otro objeto con la misma fuerza, pero
a la distancia de 2 metros, realizo un trabajo mayor. La can
tidad de trabajo realizado es igual a l fuerza apjlicada multi
plicada por la distancia a travs de la cual se ha movido el
objeto.
El trabajo es uno de los modos por los que se pue'de variar
el estado de un sistema. Supongamos que tengo un gas'n un
recipiente con un pistn, y aplicando una fuerza hago bajar
el pistn cierta distancia. En ese caso, he realizado cierta
cantidad de trabajo sobre el gas (el sistema) y por ello he
variado su estado (ha disminuido su volumen y ha aumentado
su presin). Otra manera de alterar el estado de un sistema
es calentndolo. Si coloco el recipiente del gas sobre una llama,
se le aplica cierta cantidad de calor, y su estado vara (aumen
tan su presin y su temperatura). El tercer concepto impor
tante de la termodinmica es el de energa. Esencialmente,
la energa es la capacidad de realizar un trabajo. Suponga
mos que caliento el gas en el recipiente con el pistn, y luego
dejo ir el pistn. El gas har subir el pistn. La razn es
que al calentar el gas le dimos ms energa, y ha podido rea
lizar un trabajo (mover el pistn a lo largo de cierta dis
tancia).
La energa que tiene un sistema es funcin de su estado.
Enunciemos ahora la primera ley de la termodinmica, que
tiene dos partes:
II. T e r m o d in m ic a y m e c n ic a e s t a d s t i c a . Ya en el
siglo xvn se propuso la hiptesis de que las propiedades ter
modinmicas caractersticas calor y temperatura estaban
de alguna forma relacionadas con el movimiento molecular.
Sin embargo, un nmero de factores hizo que los cientficos
del siglo xix consideraran la hiptesis como infructuosa: en
primer lugar, el xito de los mtodos fenomenolgicos; en
segundo, los pocos deseos de postular entidades hipotticas
tales como las molculas; y en tercer lugar el poqusimo
xito de las hiptesis semejantes en mecnica respecto a los
fenmenos elctricos, magnticos y qumicos. Pero se sigui
examinando la hiptesis y result ser particularmente fruct
fera en la teora de los gases; al final del siglo xix se poda
decir que la termodinmica haba quedado reducida a una
mecnica estadstica.
En relacin con esto, consideremos la ecuacin del gas
perfecto:
PV = R T
(aqu, R es una constante [la constante del gas]). Las can
tidades P, presin, y V , volumen, tambin las hallamos en la
mecnica. En la mecnica podemos deducir una relacin
entre la presin y el volumen de un gas, y la energa cintica
media E de las molculas del gas:
esto es,
2 NE
3R
8. Van Fraassen
Pero la formulacin estadstica de esta segunda ley no se
adapta a esta tarea. Es verdad que asegura que los estados
de entropa baja decaen muy probablemente hacia estados de
entropa alta. Pero se concluye este hecho puramente sobre
la base de las probabilidades absolutas de los macroeslados.
Por tanto, tambin podemos concluir que un estado de en
tropa alta precede tambin muy probablemente a un estado
de entropa baja. Por consiguiente, no podemos definir sin
ms posterior a como la direccin del cambio a una en
tropa ms alta en la mayora de los casos.
Cmo se ha de conciliar esto con el hecho de que noso
tros slo presenciamos cambios a estados de mayor entropa
en los procesos naturales? Ludwig Boltzmann, que desarroll
el concepto estadstico de entropa a fines del siglo xix, dijo
que la aceptacin primera de la segunda ley fenomenolgica
slo reflejaba condiciones locales. E inmediatamente sac la
conclusin de que no hay ninguna contrapartida fsica de
la relacin antes-despus para el universo en su conjunto. El
equilibrio trmico es el estado ms probable; por tanto, el
universo en su conjunto est en equilibrio trmico. Lo que
nosotros presenciamos aqu es slo una anomala local:
Entonces aparecern ac y all en el universo, que est en equi
librio trmico en todas partes y por consiguiente muerto, regiones
relativamente pequeas del tamao de nuestra galaxia (las llamamos
mundos singulares) que, durante un tiempo de eones relativamente
corto, se apartarn apreciablemente de este equilibrio trmico. ...Para
el universo son indistinguibles las dos direcciones [sentidos] del tiempo,
lo mismo que en el espacio no hay arriba ni abajo. Sin embargoy
igual que en un lugar particular sobre la superficie de la Tierra
llamamos abajo a la direccin hacia el centro de la Tierra, as un
ser viviente en un intervalo particular de tiempo de uno de estos
mundos singulares distinguir la direccin [sentido] del tiempo hacia
el estado menos probable y la direccin opuesta (aqulla hacia el
pasado, sta hacia el futuro).29
4. LO QUE ES E L TIEMPO
a) El tiempo y la mente
9. Van Fraassen
Pero este sentido segn el cual no habra tiempo si no
hubiera seres dotados de razn es inocuo. Es el mismo sen
tido segn el cual no habra alimentos si no hubiera orga
nismos, ni tazas de t si no hubiera bebedores de t.r, Podra
haber cosas que tuvieran una forma parecida a la que, en
nuestro mundo, tienen las tazas de t. Podra haber cosas
que podran servir para beber t (cuencos, conchas, etc.). Pero
lo que nosotros utilizamos para beber t son tazas de t, y en
este sentido son objetos culturales tanto como el ajedrez o la
polonesa.
1. L A S TE O R IA S ABSO LU TA
Y RE LA C IO N A L DEL ESPACIO
59. Supongamos, pues, que existen las dos esferas y que fuera
de ellas no existe nada corpreo. Supongamos, pues, que las fuerzas
se aplican de alguna manera; sea lo que fuere lo que entendamos por
la aplicacin de fuerzas, no se puede concebir un movimiento circular
de las dos esferas alrededor de un centro com n...10
2. E L D ESA R R O LLO
DE LA G EO M E TR IA M O D ERNA
a) Geometra euclidiana
b) Geometra no euclidiana
10. V a n F ra a sse n
Si se omiten las palabras ms de, tenemos un equiva
lente del quinto postulado, como hemos visto en el apar
tado 2a.
De entre los teoremas de la geometra absoluta sobresale
el teorema 17 de Euclides:
La suma de dos ngulos cualesquiera de un tringulo
es menor que dos rectos.
Evidentemente el quinto postulado aade: Y si los dos
ngulos de la base de una figura de tres lados suman menos
que dos rectos, la figura es un tringulo. Se puede, pues,
probar que la suma de los tres ngulos de un tringulo es
exactamente dos rectos. El teorema correspondiente de la
geometra hiperblica dice que en todo tringulo la suma de
los ngulos es realmente menor que dos rectos.
El trmino geometra absoluta estuvo en cierto modo
mal escogido, pues no mucho despus de la aparicin de la
geometra hiperblica Bernhard Riemann desarroll una geo
metra que entra en conflicto tambin con la geometra abso
luta. A esta geometra se la llam geometra esfrica; y
rechaza el postulado II adems del postulado V. La variable
concreta al postulado V que emplea es
V**) Dada una lnea recta, no hay ninguna otra recta para
lela a ella.
Por nuestra discusin del postulado I se recordar que
ahora tenemos otra eleccin adicional. Ser nica la inter
seccin de dos lneas rectas? En la geometra esfrica el
postulado 1[ es reemplazado por
II*) Dos lneas rectas cualesquiera tienen dos puntos distintos
en comn.
Por otra parte, en la geometra elptica al postulado V**
se le aade
II**) Dos lneas rectas cualesquiera tienen una interseccin
nica.
Por ltimo, Sophus Lie prob que, en la geometra m
trica, slo cuatro geometras son coherentes con el principio
de libre movilidad: la euclidiana, la hiperblica, la esfrica y
la elptica.
La aparicin de las geometras no cuclidianas marca tam
bin el nacimiento de la metamatemtica: el estudio de las
propiedades de los sistemas de axiomas, tales como la cohe
rencia. Despus de lodo, el que no se hubiera encontrado
ninguna contradiccin en el desarrollo de las geometras no
euclidianas 110 garantizaba que efectivamente no las hubiera.
La primera contribucin importante al tema la hizo Eugenio
Beltrami (1868), que dio una interpretacin de la geometra
hiperblica en la geometra euclidiana. Su importancia est
en que cualquier incoherencia en la geometra hiperblica hu
biera aparecido tambin en la geometra euclidiana. Por tanto,
si la geometra euclidiana es coherente, tambin lo es la hiper
blica.
Beltrami eligi un cierto tipo de superficie del plano eucli-
diano y prob que se pueden interpretar los teoremas de la
geometra hiperblica como enunciados verdaderos de esas
superficies. Algo ms tarde Poincar simplific mucho el tra
bajo de Beltrami. Describiremos brevemente la versin de
Poincar de la prueba de coherencia de la geometra hiper
blica.18
Sea r una lnea recta que separa el plano cuclidiano en dos
partes: una parte inferior y una parte superior. Llamemos a
los puntos de la parte superior (que no contiene a r) puntos-S.
Las rectas-S sern las mitades superiores de las lneas rectas
perpendiculares a r y de los crculos cuyos centros estn en r.
Se redefine ahora la distancia de modo que cualquier punto
de r est a distancia infinita de cualquier punto-S. Por esta
nueva mtrica, cada recta- es infinitamente larga. De hecho
se cumplen todos los postulados de la geometra absoluta, sin
ms que traducir puntos y rectas por puntos-5 y rectas-,S.
Adems, por cada punto-5 x exterior a una recta-5 r' podemos
trazar ms de una recta S que no la corta en ningn punto-5.
As pues, se cumple tambin la alternativa concreta al quinto
postulado que caracteriza a la geometra hiperblica.
La prueba de coherencia de la geometra esfrica es algo
ms sencilla. En este caso, el modelo es una esfera eucli
diana, los puntos del modelo son los puntos sobre la super
ficie de la esfera, y las rectas del modelo son los crculos
mximos de esa esfera. Por ltimo, se obtiene un modelo de
la geometra elptica redefiniendo la distancia en la esfera
de modo que se identifiquen los puntos esfricos diametral
mente opuestos.1
d) Geometras mtricas
a) d(p,p) = 0 .
b) Si d(p,q) = 0, entonces p i= q (omitida a veces).
C) d(p,q) = d(q.p).
d) d(p,q) + d(q,r) > d(p,r).
3. LA BASE FISICA DE
L A S RE LA C IO N E S ESP AC! A l E S
a) El concepto de dimensionalidad
1. LA REVO LU C IO N EN
LA TE O RIA D EL TIEM PO Y DEL ESPACIO
Al plantear un problema, o al hacer una pregunta, puede
que estemos dependiendo de ciertos presupuestos, y que estos
presupuestos no se cumplan. La posibilidad de un tiempo
topolgicamente cerrado nos debe convencer de que la busca
de un correlato fsico de la relacin antes-despus (tal como
se la concibe habitualmente) puede que tenga uno de esos
presupuestos equivocados. De hecho, esto mismo se aplica
al caso de la relacin entre temporal, como hemos visto.
E incluso, si el tiempo es abierto, en cuyo caso hemos de hallar
una base fsica de la relacin temporal entre, puede que
no haya ninguna anisotropa fsica de la clase requerida para
dar una definicin no del todo convencional de antes de (ante
rior a). Pero estos presupuestos se explicitaron hacia 1900,
y la formulacin del problema del orden temporal (y espacial)
puede tenerlos en cuenta.
La gran importancia del desarrollo de la teora de la rela
tividad de Albert Einstein para nuestro tema est en dos
hechos: 1) muestra un presupuesto factual semejante en el
problema de encontrar un correlato fsico de la simultaneidad,
y 2) muestra una interdependencia tan estrecha de las rela
ciones temporales y espaciales que ya no se puede tratar el
tiempo y el espacio como materias esencialmente indepen
dientes. Los filsofos no tardaron en apreciar la naturaleza
revolucionaria de este desarrollo, y se ha de considerar a la
consiguiente construccin de la teora causal del tiempo y del
espacio-tiempo lina de las contribuciones ms importantes de
la filosofa de la ciencia del siglo xx.
Es evidente, pues, que todo el que quiera comprender el
desarrollo de la filosofa del tiempo y del espacio del siglo xx
se ha de familiarizar con lo ms elemental de la teora de la
relatividad especial (la teora de la relatividad general tiene
tambin su importancia para este tema, pero no nos saldremos
de la teora especial). Puesto que esta teora se ocupa de las
relaciones entre diferentes sistemas de referencia, y tanto
nuestra propia experiencia como la fsica clsica nos llevan
con toda naturalidad a concebir el mundo desde la perspectiva
de un nico sistema de referencia, familiarizarnos con la teora
requiere repensar muchos conceptos bsicos.
Afortunadamente, gracias a los cincuenta aos dedicados
a la investigacin filosfica y lgica de la teora de la relati
vidad especial, estamos en situacin de presentar los rudi
mentos de esa teora de forma sencilla. Esta exposicin no
dar a conocer ninguna cinemtica o dinmica relativista, y
se pasarn por alto muchas cuestiones clsicas en la relati
vidad. A fin de cuentas, contamos con muchas versiones vul-
garizadoras del tema. Se presentar aqu slo aquello que es
absolutamente esencial para la teora del tiempo y del espacio.
a) El experimento de Michelson-Morley
y la contradiccin longitudinal
\ 2L
1) M = ------
^2) a 2L'
=
3) (L'Y = L- + k 2
5) (L'y = L * + ( - ^ - ) " v 2
De 2 y 6 tenemos:
8) a, = k + L 2Lc
C+ V C2---V2
9) A2 = 2Lc 2L
C- V2 C [1 (v2/c 2)]
2 [L V 1 (v2/c 2)] c
12) A2 =
c2 v2
2L
c
13) Ai = -Z k -
14) A = _ A _ + _ A _ = J^L
( 1 (v2/c-) )
2 L _____ _1
c
V I (v-/c2) /
18) (' = - 1
V I (v2/c 2) VI (v2/c 2)
\ / 1 v- \ / l v2
20) ct = V * 2 T y 2 -I- z2
21) t = Vjc2 + y 2 + z 2
o bien
22 ) t2 = x 2 + y2 + z2
o bien
28) 6 = 1 /2
4. L A D U RACIO N EN LA TEORIA
DE LA R E L A T IV ID A D ESPECIAJ,
d(Y, W) = i - ( 2 0) c = te
c) El postulado de la duracin
y, sustituyendo, tenemos:
32) t(E) = t d
t(F) = t + d
t(Z) =
Hemos estipulado que el cuerpo A ' slo se mueve a lo
largo del eje X (su lnea de universo est toda ella en el
plano X-T). Por consiguiente, las coordenadas espaciales
de Z son x,0,0 para un valor de x. Cul es este valor?
La seal luminosa recorre a la velocidad c = 1 un intervalo
t ( / d) = d hasta alcanzar A ' (camino de E a Z). Por
tanto, la distancia es d c = d 1 = d. Las coordenadas de Z
son, por consiguiente, (t,d,00).
Podemos calcular ahora la velocidad v con la que se
mueve A ' respecto a A. En el instante 0, A ' coincida con A
(distancia cero). En el instante t, se haba trasladado a un
punto distante d de A . Por tanto, en el cmputo total de
tiempo (/ 0) se ha movido una distancia (d 0). Por tanto,
su velocidad es igual a
33) v= o d = vt
t
13. Van Fraasscn
Ahora querramos tener respuesta a la pregunta: cul
es la lectura del otro reloj C' cuando coincide con Z? (En
otras palabras, cul es la coordenada temporal t' de Z en
el sistema S 'l) Esta es una cuestin emprica, a la que no se
puede dar respuesta sobre la base de nuestros postulados
previos.
La respuesta que da la teora de la relatividad especial se
podra expresar as:
V (t + a t)2 (d el)2 = V 2 = a
En otras palabras,
\ t \ Z ) - t \ Y ) \ = \t{ Z )-t(Y )\
5. L A S TR A N SF O R M A C IO N E S D E L O R E N T Z
COMO UNA CONSECUENCIA
DE LO S SUPUESTOS DE E IN ST E IN 11
, . t\Z ) t(F)
36) Lema I
t(E) t'(Z)
37) t _ t + d
t d t'
38) ( t y = (t + d ) ( t d)
39) (i')2 = 2 d 2
t(E) VI v
Volviendo a hacer uso de nuestras convenciones, podemos
expresarlo as:
4 i) !L - = ^ i l
td V1v
El postulado de la duracin nos permite expresar la parte
izquierda as:
V(f d) jt + d)
t d
por tanto,
t d Vt d
Ahora podemos hacer uso de nuestro resultado anterior 33
para expresar d como vt; sustituyendo, pues, en el miembro
de la derecha de 43
44) ' f t + vt =
td V t vt V r(l v)
Simplificando el factor V / de los miembros de la derecha,
deducimos 41; nuestro segundo lema, pues, est probado.
Estos dos lemas harn que la deduccin de las transforma
ciones de Lorentz sea muy sencilla.1-
Como de costumbre, nos limitaremos a acontecimientos
en el plano X -T, as como de inmediato tenemos las trans
formaciones
y = y
z' = z
La nica consecuencia de esta limitacin es la de evitar
complicaciones innecesarias. Consideremos, pues, un aconte
cimiento W con coordenadas (?,.*,y , e n S y (t',x',y',z') en S'.
Trazamos tambin los recorridos de las seales luminosas que
unen A, A ' y W (vase figura 4). Igual que antes, introdu
cimos por convencin dos smbolos d y d' y tenemos:
_ VI + v
t'(E ,) VI v
Para la seal F^F2\
t{F t) _ VI + V
t'(Fz) VI v
Usando 45 y 46 estas igualdades se pueden expresar en
forma equivalente
51) < - xv
53) x- * - v'
V I ---v3
/
/
/
/
ful uro /
absc luto /
\A / N *V
/ /
/ /
/ /
/ /
/ /
/ /
1y / E __ ^ "
N,
\
\
\
\
ado
>luo
alternativo S' en el que sean simultneos este aconteci
miento y O.
2. LA TE O RIA C A U SA L
DEL O RDEN TE M P O R A L DE REICH ENBACH
a) Primera formulacin
b) Segunda formulacin
\t(X)-t(Y)}< \t(X)-t(Z)\
a) Primera formulacin
a) E y E ' pertenecen a K, y
b) las posiciones espaciales de los miembros de K forman
un continuo.
4. EXPOSICION SI STEMATI CA
DE LA TEORI A C A U SA L
DEL O RDEN T E MP O R A L
y transitiva si satisface a:
W = u + -^ y 1
b) Axiomatizacin y explicacin
En nuestra versin final de la teora causal del tiempo, el
nico concepto primitivo aadido al entramado de objetos y
acontecimientos es el de conectabilidad causal. Segn nuestra
teora, esta relacin es equivalente a cierta relacin espacio-
temporal entre acontecimientos, en el sentido de que 9 es un
teorema:
9) X es causalmente coneclable con Y si y slo si X e Y
o bien coinciden espaciotemporalmente o bien estn temporal
mente separados.*
Prefacio ....................................................................................................