Académique Documents
Professionnel Documents
Culture Documents
aplicada desde el
enfoque
sintctico-axiomtico
de las teoras
resumen
abstract
palabras clave
[60]
key words
1. introduccin
n este artculo se traza una distincin clara y precisa entre geometra pura y geometra aplicada a partir de las reexiones sobre
los fundamentos de la geometra promovidas por la aparicin de
geometras no-euclidianas y en el contexto de las discusiones mantenidas por los empiristas lgicos sobre la estructura de las teoras
empricas. Se deende entonces que una geometra pura es un sistema formal que no nos dice nada sobre la realidad fsica, mientras
que una geometra aplicada o fsica es una teora emprica, una teora
fsica (una teora del espacio) que resulta de dotar de signicado a
una geometra matemtica.
En segundo lugar, y a partir de la distincin entre geometra pura
y geometra aplicada, se argumenta que la siguiente tesis de los empiristas lgicos es bastante plausible: una geometra fsica GF no es
ms que una geometra pura GP ms una serie de interpretaciones
I (GF = GP + I). La plausibilidad de la misma se justica en parte
con las ideas expresadas por A. Einstein en este tema.
En tercer lugar se insiste en la tesis de que si bien parece que esta
imagen de la estructura de una geometra fsica es relativamente ade* Los distintos resultados de este artculo se inscriben dentro de una investigacin
ms general que vengo adelantado bajo el ttulo Problemas en torno a la dicotoma
teora/observacin.
Y Una versin anterior de este artculo la present en Segunda Escuela Latino americana
de Historia y Epistemologa de las Matemticas, Temtica: Historia de las geometras,
Instituto de Educacin y Pedagoga, Universidad del Valle, 23-26 noviembre de
2004.
** Universidad del Valle.
[61]
[62]
[63]
[64]
[65]
3. geometra pura
Este tipo de reconstruccin de las teoras, presente en la concepcin sintctica, jug un gran papel en las discusiones loscas
sobre los fundamentos de la geometra por parte de los positivistas
lgicos, especialmente en Reichenbach y Carnap. As, por ejemplo,
Carnap plantea que la geometra matemtica y la geometra fsica
son excelentes paradigmas de dos maneras fundamentalmente diferentes de obtener conocimiento; la apriorstica y la emprica7. Con
lo cual se est armando, entre otras cosas, que la geometra fsica
no slo representa el paradigma de la fsica, sino el de las ciencias
empricas en general. De esta forma, los empiristas lgicos asumieron
que el esquema anterior de la estructura de una teora era aplicable
a cualquier teora cientca o emprica, pero lo cierto es que este esquema lo derivaron directamente del estudio de los fundamentos de
la geometra, y una vez relativamente bien justicado en este campo,
lo hicieron extensivo a las teoras empricas en general sin mayores
anlisis sobre su adecuacin a teoras empricas particulares, como
por ejemplo la mecnica cuntica.
A partir de estas investigaciones sobre los fundamentos de la geometra se lleg a distinguir de un modo claro y preciso entre geometra
pura (matemtica) y geometra aplicada (fsica), no alcanzada hasta
entonces. Por tanto, las tesis que se quieren sostener aqu son: la distincin geometra pura/aplicada est correctamente establecida (de
modo que se darn los argumentos pertinentes a favor de la distincin);
la estructura propuesta por los empiristas lgicos para una geometra
fsica es bastante plausible (igualmente se presentarn argumentos
que apoyan esta idea); y nalmente se presenta la idea, sin mayor
justicacin, de que si bien la imagen de las teoras propuesta por los
empiristas lgicos se adecua relativamente bien a la geometra fsica,
un error clave del enfoque sintctico estara entonces en pretender
hacer de ella el carcter predominante de la estructura de las teoras
cientcas8.
7 Carnap [1966], p. 171.
8 Actualmente, y desde ms o menos principio de los sesenta, existe el enfoque semntico
[66]
El origen de la distincin entre geometra pura y fsica est relacionado directamente con la aparicin de geometras no-eucldeas,
que a su vez tiene que ver con la larga e interesante historia del
problema del quinto postulado de la geometra de Euclides, el as
llamado postulado9 de las paralelas, que en un lenguaje moderno
corresponde a: por un punto exterior a una recta pasa una y slo una
paralela a dicha recta.
Los Elementos de Euclides (330-275 a. C.) se abren con 23 deniciones, en las que se denen la mayora de los conceptos bsicos,
cinco postulados y cinco ideas comunes. Los postulados se ocupan
expresamente de los conceptos (trminos o deniciones) que los
preceden. A continuacin aparecen estos cinco postulados en un lenguaje un tanto moderno y tal como se encuentran en la traduccin
que hace Federico Enriques del texto griego (en la edicin crtica
de Heiberg)10:
1-2
Se pide: que de cualquier punto se pueda conducir una recta a todo
otro punto.
Y que, toda recta limitada, se pueda prolongar indenidamente por
derecho.
[67]
3
Y que, con cualquier centro y cualquier distancia, se pueda describir
un crculo.
4
Y que todos los ngulos rectos sean iguales entre s.
5
Y que si una recta, cortando a otras dos, forma los ngulos internos a
una misma parte, menores de dos rectos, las dos rectas prolongadas al
innito se encontrarn de la parte en que son los dos ngulos menores
de dos rectos.
[68]
dos rectas est tan alejado, que nuestra intuicin nos sera de muy
poca ayuda. Desde luego que esta objecin tambin puede expresarse en trminos de la nocin de rectas paralelas: de acuerdo con la
denicin, las paralelas son rectas situadas en un mismo plano, que
al prolongarse indenidamente nunca se cortan, por tanto, y puesto
que nuestra intuicin es limitada, cabe preguntarse si realmente existen las paralelas y, en caso armativo, si existe una nica paralela a
una recta y a punto dados13. As pues, el debate sobre el estatus del
postulado de las paralelas transcurri por tres vas: intentos de derivar el postulado de las paralelas del resto de la geometra elemental, intentos de volver a formular el postulado o la denicin de las
paralelas convirtindolo en algo que no pudiera ser objeto de tantas
objeciones y descripciones de lo que podra abarcar la geometra si
se negara, de alguna manera, el postulado14.
De acuerdo con la primera va, el problema con el postulado no
radicaba en su verdad sino en su independencia respecto al resto de
postulados; es decir, para muchos matemticos, este postulado en
realidad no era tal, sino un teorema que poda demostrarse a partir
de los otros cuatro. Se hicieron muchos esfuerzos infructuosos para
llevar esta tarea a feliz trmino, hasta que con la construccin de
geometras no-euclidianas qued demostrada la independencia del
quinto postulado; es decir, el hecho de que el quinto postulado no es
derivable de los otros. Hemos de concluir que el quinto postulado es
independiente de los otros cuatro, puesto que podemos construir un
sistema de geometra, tambin con cinco postulados, en el que uno
de sus postulados niega el postulado de las paralelas, mientras que
los otros cuatro se mantienen igual, de tal modo que ninguno de los
13 Nuevamente, la geometra griega no es del todo abstracta, el gemetra no slo trata
con deniciones, tambin se ocupa de la existencia y construccin de sus objetos.
Las palabras de Aristteles son muy signicativas en este sentido: Un gemetra
indicar por medio de una denicin qu cosa signica la palabra tringulo; ms
que un tringulo exista o que sea posible construirlo, y que sea por ende lcito sacar
consecuencias del hecho de haberlo construido, es una verdad que no viene ni
admitida ni probada por medio de la denicin, y que debe ser supuesta o demostrada
a parte (Aristteles, Analtica posterior; citado desde Enriques [1924], p. 35).
14 Gray [1992], p. 56.
[69]
teoremas (los enunciados derivados de los postulados) contradice (lgicamente) a los postulados. Precisamente de esta manera es como se
procede a construir geometras no-eucldeas. Por tanto, cualquiera de
los sistemas de geometra no-euclidiana tiene un postulado alternativo
a un postulado incompatible con el quinto postulado de Euclides
que toma una de las formas de su negacin. Esto es, como el quinto
postulado asevera dos tipos de cosas, la existencia de paralelas y el
que sta es nica, entonces es posible construir por esta va slo dos
tipos de geometras: las que arman que no hay paralelas y las que
arman que hay ms de una paralela. Todo esto, claro est, respecto
a una recta y a un punto dados.
Entre las propiedades que debe cumplir un sistema de geometra
alterno a la euclidiana mencionamos el que sus teoremas no contradigan a sus propios postulados. Esto equivale a decir que el sistema
alternativo tiene que ser consistente, que carezca de contradicciones
internas. Ahora bien, cmo determinar que un sistema de geometra
es consistente o inconsistente? Esto lo abordaremos ms adelante,
cuando contemos con ms elementos conceptuales sobre las geometras no-euclidianas.
Veamos entonces las principales caractersticas de las geometras
no-euclidianas. La primera de estas posibilidades que se apartan de
Euclides fue explorada independientemente, y casi simultneamente,
a comienzos del siglo XIX por Karl Friedrich Gauss, Jnos Bolyai y
Nikolai Lobachevski, quienes desarrollaron la geometra no-euclidiana llamada geometra hiperblica. Esta geometra mantiene los
cuatro primeros postulados de la geometra eucldea pero rechaza
el quinto, y propone como alternativa algo equivalente al siguiente
enunciado: por un punto exterior a una recta pasa ms de una paralela.
Ntese que si se omiten las palabras ms de se obtiene una expresin
equivalente al postulado de las paralelas.
La segunda posibilidad fue propuesta, no mucho despus de la
primera, por el matemtico alemn Georg Friedrich Riemann. El
tipo de geometra no-eucldea que propuso se conoce como geometra esfrica, de modo que rechaza tanto el quinto postulado como
el segundo, y admite los otros tres de la geometra eucldea. Los dos
[70]
[71]
[72]
[73]
4. geometra aplicada
Una vez elaboradas las geometras no-eucldeas, la pregunta obvia
es: cul es la geometra verdadera? o, en trminos ms directos, cul
es la geometra del mundo fsico? Este problema sobre la estructura
geomtrica de nuestro espacio fsico no haba surgido antes, puesto que
cuando slo se contaba con la geometra euclideana, y no existiendo otra
posibilidad, se supona esta geometra como la aplicable a la realidad
fsica. La geometra se consideraba una investigacin del espacio fsico
que nos rodea, y no una construccin formal, lgica, exclusivamente tal
y como hemos observado ms arriba en el caso de la geometra griega.
Pero ante la presencia de diversas geometras, la salida al problema
comienza por distinguir entre una geometra pura (matemtica) y una
geometra aplicada (fsica). Por tanto, desde el punto de vista lgico,
las geometras no-euclidianas estn en igualdad de condiciones que la
euclidiana: podemos calicarlas a todas ellas de geometras puras. Pero
desde el punto de vista de la experiencia, en relacin con la realidad,
queda el interrogante de cul de estas geometras describe la estructura
espacial de la realidad o, para no ser pretenciosos, cul de estas geometras se adecua mejor a la experiencia. En sntesis, una geometra
pura es un sistema formal que no nos dice nada sobre la realidad fsica,
mientras que una geometra aplicada es una teora emprica, una teora
fsica que, desde la perspectiva que aqu se est explicando, resulta de
dotar de signicado a una geometra matemtica.
Para ilustrar esto ltimo consideremos muy por encima el siguiente
sistema G que es una minigeometra matemtica, un sistema bastante simplicado que contiene esencialmente los axiomas de enlace de Hilbert19
19 Los trminos que empleo aqu para las constantes predicativas los tomo directamente
de Hilbert [1899], p. 3. Expresin equivalentes a axiomas de enlace son axiomas de
conexin y axiomas de incidencia.
[74]
20 Este ejemplo es una adaptacin del ejemplo de van Fraassen [1972], p. 310.
[75]
2. Lo que en geometra proyectiva se conoce como la interpretacin dual. Esta se obtiene a partir de las estipulaciones anteriores
intercambiando los signicados de P y R del modo siguiente: P como
es una recta y R como es un punto. Los axiomas ahora diran: los
dos primeros, dos rectas se cortan en un punto y este punto es nico;
y el tercero, por un punto pasan al menos dos rectas.
As, entonces, a partir del minisistema geomtrico formal anterior
se puede construir una geometra fsica dotando de signicado signicado emprico al sistema mediante algn mecanismo. Puesto
que en general, de acuerdo a la perspectiva que se est presentando,
el lenguaje de una teora emprica puede dividirse en un lenguaje
observacional y otro terico; y dado que la interpretacin del lenguaje
observacional es una interpretacin directa, ya que se obtiene a travs
de lo inmediatamente dado a los sentidos; y puesto que lo peculiar
de los trminos tericos es no tener una interpretacin directa, se
tiene entonces que la funcin principal de este mecanismo es la de
proporcionar una interpretacin indirecta e incompleta de los trminos
tericos21.
Como ya se dijo, a este tipo de mecanismo los positivistas lgicos le dieron diferentes nombres, dependiendo de lo que queran
enfatizar; lo cual ya de por s es algo criticable en la medida en que
cada denominacin logre su propsito22. Carnap [1939] habla de
postulados semnticos equivalentes a reglas de interpretacin como
las anteriores en un contexto amplio que incluye tanto sistemas
matemticos como teoras empricas. Reichenbach [1927], con el
mismo propsito, dotar de signicado al sistema, pero circunscrito
al caso de la geometra fsica, habla de deniciones coordinadoras, ya
que coordinan un objeto fsico (una vara maciza) con un concepto
(igual longitud), especicando as su denotacin23. P. W. Bridgman,
destacando el aspecto de la medida en las ciencias empricas, propuso
deniciones operacionales. Finalmente, Carnap [1956] habla de reglas
21 Vase Carnap [1956].
22 Para las crticas al enfoque sintctico-axiomtico de las teoras remito a Guerrero
[2001].
23 Vase Reichenbach [1951], p. 141.
[76]
[77]
[78]
Ahora bien, la verdad o falsedad de dicha proposicin, la que establece la equivalencia entre los cuerpos rgidos reales y los cuerpos
de la geometra, slo se puede establecer a travs de la experiencia;
y de acuerdo con Einstein, la equivalencia es aproximada, slo vale
para dimensiones pequeas.
En sntesis, se argument que la siguiente tesis de los empiristas
lgicos (extrada a la luz de sus reexiones sobre la diferencia entre
geometra pura y fsica) es bastante plausible: una geometra fsica GF
27 Ibd. Los parntesis son nuestros.
28 Ibd.
29 Ibd., p. 26.
[79]
no es ms que una geometra pura GP, ms una serie de interpretaciones I (GF = GP + I). Igualmente se mostr que la concepcin de
Einstein, en este tema, es en lo esencial signicativamente prxima
a la sostenida por los empiristas lgicos. Por otra parte, se concluy
que debido al mecanismo de las reglas de correspondencia (interpretaciones empricas), una geometra fsica o teora del espacio se
evala a la luz de la experiencia y no de forma a priori, como pretenda
Kant. Finalmente, se dijo, sin argumentacin alguna, que la imagen
de la estructura de las teoras descritas bajo la frmula GF = GP + I
se adecua muy poco a la gran mayora de teoras empricas (fsicas,
biolgicas, psicolgicas, econmicas, etc.).
Referencias*
Carnap, R. [1939]: Fundamentos de Lgica y Matemticas, Madrid,
Taller de Ediciones Josena Betancor, 1975.
[1956]: The methodological character of theoretical Concepts,
en H. Feigl and M. Scriven (eds.), Minnesota Studies in the
Philosophy of science, vol. 1, Minneapolis, 1956; v.e. El carcter metodolgico de los conceptos cientcos, en J. L. Rolleri
(Comp.), [1986].
[1966]: Fundamentacin lgica de la fsica, Buenos Aires, Sudamericana, 1969.
Einstein [1921]: Geometra y experiencia, en A. Einstein, Sobre la
teora de la relatividad y otras contribuciones a la ciencia, Barcelona, Antoni Bosch, 1982.
Enriques, F. [1924]: Los elementos de Euclides y la crtica antigua y
moderna, Instituto Jorge Juan de Matemticas, Madrid, 1954.
Euclides: Elementos, ver Enriques, F. [1924].
Gray, J. [1992]: Ideas de espacio, Madrid, Biblioteca Mondadori.
Guerrero, G. [1997]: Epistemologa empirista lgica, Praxis Filosca, Nueva Serie, N 7, 1997, Escuela de Filosofa, Universidad del Valle, Santiago de Cali - Colombia.
* Los nmeros de pgina de las referencias corresponden a la versin en ingls, cuando
la referencia no es explcita.
[80]
[81]
[82]