Professional Documents
Culture Documents
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/290998282
READS
1 AUTHOR:
Vicente Aboites
Centro de Investigaciones en Optica
149 PUBLICATIONS 368 CITATIONS
SEE PROFILE
Introduccin a la
Filosofa de la Matemtica
INTRODUCCIN A LA
FILOSOFA DE LA MATEMTICA
Vicente Aboites
librosaCIELOabierto
Vicente Aboites
D. R. 2008 por la presente edicin:
librosaCIELOabierto
Produccin editorial de:
Azafrn y Cinabrio
Calzada de Guadalupe 35
36000 Guanajuato, Gto. Mxico
Impreso y hecho en Mxico
ISBN: 978-968-9454-09-0
AGRADECIMIENTOS
INTRODUCCIN
13
ANTECEDENTES HISTRICOS
Por otra parte, Herclito y Parmnides fueron contemporneos entre s e importantes rivales filosficos. Sus
escuelas la jnica y la eletica respectivamente se encuentran en los extremos geogrficos y filosficos del mundo
griego de la antigedad. Dos principios fundamentales para
el pensamiento de Herclito son la creencia en que todo
nace de la lucha y que todo est en constante flujo. Sin
embargo, la interpretacin del pensamiento de Herclito
es difcil debido a que los escasos fragmentos que quedan
de su obra no son argumentos sino pronunciamientos
que ofrecen un amplio espacio para la interpretacin especulativa. Sus aforismos y afirmaciones breves y tajantes, no
siempre claras, le valieron el sobrenombre de El Oscuro.
Para Herclito, la base del equilibro en el mundo es la lucha y constante oposicin entre fuerzas contrarias. Como
ejemplo menciona la tensin en las cuerdas de una lira y la
lira misma; aqu la tensin es lo que mantiene el equilibrio
del instrumento. A Homero, que afirmaba Ojal pueda
la discordia desaparecer entre los dioses y entre los hombres, Herclito contesta: Homero no se da cuenta de que
ruega por la destruccin del universo; si su plegaria fuera
escuchada, pereceran todas las cosas. l considera que
los opuestos estn unidos, pero no conciliados; su estado
permanente es la guerra. Para Herclito todo se encuentra
en constante cambio, nada permanece igual; el mundo es un
flujo perpetuo: No es posible meterse dos veces en el mismo ro. La representacin de la lucha y la mutacin es el
fuego, que en su continuo cambio es lo nico constante. La
descripcin de la realidad, la razn de por qu las cosas son
como son se encuentra en la racionalidad o logos. Como
veremos, esto no difiere en mucho de algunas corrientes
de la filosofa de la matemtica actual. Es interesante que,
18
Esto es, la pregunta no es si existen objetos matemticos, sino de qu modo estos objetos existen; y en particular descubrir si los objetos matemticos son sustancias o
accidentes. Aristteles analiza el punto de vista de Platn,
quien afirma que los objetos matemticos son sustancias
de alguna clase (ideas), concluyendo que esto no es posible.
Para Aristteles, la matemtica es una ciencia vinculada a
ciertos aspectos de los objetos perceptibles. La existencia
de nmeros hace referencia a la existencia de objetos perceptibles. Aristteles caracteriza los objetos de la aritmtica como unidades en lugar de cmo nmeros. Es decir,
un nmero es simplemente un nmero de unidades, por
tanto el nmero 58 existe slo en funcin de que existen
58 unidades de entes perceptibles como piedras, gatos o
humanos. Como veremos, el punto de vista de Aristteles
es bastante moderno, aunque igualmente polmico.
Como hemos visto, desde la antigedad la filosofa de
la matemtica est estrechamente relacionada con problemas centrales de la metafsica y de la epistemologa. Para
algunos, como Platn, la matemtica hace uso de entes
abstractos sobre los cuales podemos preguntar cul es su
naturaleza y cmo podemos tener conocimiento de ellos.
Para otros, como Aristteles, los objetos de la matemtica
de algn modo pertenecen al mundo concreto que nos
23
24
REALISMO Y ANTI-REALISMO
La primera tesis pretende distinguir el realismo cientfico de cualquier otra descripcin cientfica en la ciencia. Esta
tesis es claramente de carcter metafsico, pues estrictamente
no podemos probar que el mundo tenga una estructura
independiente de la mente humana. Esto ltimo es algo
que el realista cientfico decide aceptar como dado. Esta
primera tesis afirma que si los entes inobservables de las
teoras existen, lo hacen independientemente de nuestra
capacidad de conocerlos o verificarlos. La segunda tesis hace
diferente al realismo cientfico del instrumentalismo y de
otras descripciones reduccionistas empricas. La tercera tesis
busca distinguir al realismo cientfico de formas agnsticas
o escpticas del empirismo. Esta implica que la ciencia contiene verdades tericas as como verdades observacionales.
Por ejemplo, vemos fenmenos elctricos que son descritos
a partir de la teora electromagntica de Maxwell la cual
parte de conceptos tericos como cargas, campos, corrientes
y otros. El realista cientfico considerar que los referentes
de esos trminos tericos son parte de la realidad mientras
que el anti-realista lo negar, sin que esto ltimo implique
que la teora electromagntica deje de ser empricamente
til. Muchos realistas preguntarn: cmo es que teoras
cientficas que implican entes no observables tales como
quarks, molculas y campos tengan tnto xito predictivo si
no describieran por lo menos de modo aproximadamente
correcto el mundo no observable? El anti-realista sealar
que as como teoras en el pasado tenan xito a pesar de
26
sustentadas y de este modo evitar especulaciones injustificadas. El anti-realista supone que es posible distinguir entre
el conocimiento a nivel observacional y el conocimiento
terico. Para el anti-realista el hecho de que una teora sea
exitosa no es una indicacin de que sea verdadera. En resumen, para muchos los argumentos ms importantes del
realista y el anti-realista son los siguientes: el realista sealar
el xito predictivo de las teoras cientficas como prueba
de que las teoras no son slo herramientas de clculo sino
verdaderas descripciones del mundo. A esto el anti-realista
sealar que muchas teoras cientficas predictivamente
exitosas son ahora consideradas por los realistas como
falsas. El primer argumento mencionado, frecuentemente
llamado el ltimo argumento, es tambin conocido como
el argumento de no milagros, pues esencialmente afirma
que sera un milagro o una coincidencia de escala csmica
el que una teora haga tantas predicciones empricas correctas como por ejemplo, la teora general de la relatividad
o la teora cuntica de la luz sin que lo que la teora dice
sobre la estructura fundamental del universo sea correcto
o esencialmente correcto. En estricto rigor lgico se debe
admitir que del xito de la ciencia no se puede vlidamente
inferir el realismo cientfico.
I.2 Realismo y Anti-realismo en la Matemtica
El realismo (con mayor precisin decimos realismo
en ontologa) es el punto de vista de acuerdo al cual algunos objetos matemticos existen objetivamente e independientemente del matemtico que los concibe (Aboites, 2005,
2008, Shapiro 2000, George & Velleman 2002, Krner 1960,
Anglin 1994). En este caso, por objeto matemtico se en29
LOGICISMO, FORMALISMO
E INTUICIONISMO
Desde luego, este enfoque enfrenta los mismos problemas que el realismo en ontologa ya que, cmo podemos
conocer algo sobre un mundo de objetos abstractos y
acausales? Actualmente el proyecto neo-logicista contina
vigorosamente y se aplica a los nmeros naturales y a la
aritmtica bsica. Una parte del trabajo contemporneo
41
Un formalista siempre puede responder que las aplicaciones no son parte de la matemtica en s misma sino
algo externo a ella. Sin embargo, Frege responde que el
problema de la aplicabilidad de la matemtica no desaparece slo porque el formalista, o el matemtico, rehse
tratar con ste. El formalista parece relegar el problema
de la aplicabilidad de la matemtica a los fsicos, astrnomos, ingenieros, etctera, sin embargo stos obviamente
43
Por otra parte, el rechazo de ciertos modos de inferencia en la matemtica es lo que gener la postura conocida como Intuicionismo presentada por L.E.J. Brouwer
(Brouwer, 1912). Como sabemos, la ley del medio excluido
(o ley del tercero excluido) afirma que siendo P una proposicin entonces: o P es el caso, o P no es el caso. Esto
se abrevia como; P o no-P, o como; P v P, Esta ley esta
ntimamente relacionada con el principio de bivalencia que
afirma que toda proposicin es verdadera o falsa. El trmino intuicionista es empleado para referirse a los filsofos
o matemticos que rechazan fundamentalmente la ley del
medio excluido. Los sistemas lgicos y matemticos que
incluyen la ley del medio excluido son llamados clsicos;
y los que no, intuicionistas. Por ejemplo, un intuicionista
no aceptar la eliminacin de la doble negacin que nos
permite inferir P de la negacin de la negacin de P. Usando
lgica intuicionista uno puede inferir no-no-P a partir de
P, pero no al revs. Para Brouwer cualquier proposicin
matemtica legtima involucra directamente las habilidades
mentales del ser humano; y aceptar el principio del medio
excluido es aceptar un principio de omnisciencia que est
mas all de la capacidad humana. Es decir, el principio del
medio excluido nos permite afirmar que toda proposicin
puede ser probada o reducida al absurdo lo cual podramos
saber slo si furamos omniscientes. Para un intuicionista
la matemtica clsica introduce varios conceptos carentes
45
50
SITUACIN ACTUAL
Sin embargo, Field intenta precisamente dar una formulacin nominalista de las teoras cientficas. Dado que sera
demasiado intentar presentar una versin nominalista de
todas las teoras cientficas (como la relatividad, mecnica
cuntica, qumica, astronoma, economa, etctera) Field se
concentra en presentar una formulacin nominalista de la
teora Newtoniana de la gravitacin, para la cual maneja
puntos y regiones de espacio-tiempo. Para Field, los puntos y regiones no son objetos matemticos; y, por tanto,
son trminos concretos y no abstractos. Un ejemplo de la
terminologa nominalista de Field es el siguiente: y Ent zx
que se interpreta como: x, y, z son colineales y y
est Entre x y z. De modo interesante Field muestra
como formular surrogados de derivadas e integrales en el
lenguaje de la mecnica nominalista formulada por l.
Como anteriormente se mencion, otro prominente
anti-realista ontolgico es Charles Chihara, quien prosigue
una idea discutida por Russell en el sentido de que cualquier
referencia a conjuntos debera de ser eliminada y sustituida
por propiedades o atributos. Sin embargo, en la actualidad
muchos filsofos encuentran problemtica la referencia a
atributos. Por ejemplo, Quine (Quine 1941) argumenta
que no hay criterios establecidos para distinguir atributos
idnticos o distintos. Es decir, Quine propone que son los
atributos los que deben de ser sustituidos por conjuntos.
Finalmente, los atributos comparten con los conjuntos y
los nmeros algunas caractersticas como el no existir en
el espacio-tiempo y no involucrarse en relaciones causales
con objetos fsicos. Entonces, como podemos saber alguna
o cualquier cosa sobre atributos? La propuesta de Chihara
consiste en no hacer referencia a conjuntos sino a expresiones abiertas. Por ejemplo en lugar de hacer referencia
54
57
LA APLICACIN DE
LA MATEMTICA AL MUNDO
E = o
H
t
(1)
60
E
+J
t
(2)
(3)
H =0
(4)
H = o
E =
(5)
1 2H
H= 2
c t 2
(6)
2E =
2
Estas ecuaciones son muy importantes, ya que muestran que, en ausencia de cargas y corrientes, los campos
elctricos y magnticos pueden oscilar y propagarse como
ondas electromagnticas en el espacio vaco a la velocidad
c que es la velocidad de la luz. Las ecuaciones de onda se
pueden escribir para una, dos o tres dimensiones espaciales.
Por ejemplo, la oscilacin de una cuerda se describe por
una oscilacin en una dimensin espacial, mientras que la
oscilacin de la membrana de un tambor, o de la superficie
de agua cuando cae una piedra en un lago es un ejemplo
de oscilacin en dos dimensiones espaciales; finalmente,
las ondas electromagnticas son un ejemplo de ondas que
oscilan en las tres dimensiones espaciales. Es sabido que
Hertz y Marconi realizaron experimentos que mostraron
conclusivamente que las ondas de radio eran precisamente
las ondas electromagticas que haba predicho Maxwell; y
ms an, siendo la luz una onda electromagntica, sta se
describe tambin por las mismas ecuaciones.
Los campos elctrico y magntico E y H son funciones
del espacio y del tiempo. Suponiendo que los campos E y
H pueden escribirse como el producto de una funcin que
depende exclusivamente del espacio D(funcin de espacio)
(7)
la teora. Por ejemplo, dentro de las aproximaciones empleadas para obtener las ecuaciones de onda est el hecho
de que no hay cargas libres ni corrientes, lo cual en la
prctica nunca es verdadero; o por lo menos no podemos
estar seguros de que sea verdadero, pues existe el fenmeno
de creacin-aniquilacin aleatoria en el espacio de pares
electrn-positrn. Tambin se supone vlido el hecho de
que podemos realizar separacin de variables espaciales
y temporales a pesar de que no es claro fsicamente qu
significa o por qu debe de ser vlido esto en el mundo
real. Asimismo, para obtener la ecuacin de Helmholtz se
supone la existencia de oscilaciones sinusoidales ideales
que, para existir, requeriran de tiempos infinitos (para
garantizar como espectro de Fourier una Delta de Dirac
en frecuencia) y por tanto son irreales. A pesar de esto la
teora electromagntica es una de las teoras ms slidas y
mejor establecidas de la ciencia moderna. Que es lo que el
cientfico quiere decir al afirmar esto? La respuesta a esta
pregunta inevitablemente nos lleva a la discusin entre
realismo y anti-realismo. El realista afirmar que la ciencia
propone teoras verdaderas acerca del mundo observable y
no observable. Donde por verdadero o verdad podemos
aceptar la nocin de sentido comn de correspondencia con
los hechos. Por tanto una teora es verdadera si el mundo
es como dice la teora y falsa de otro modo. Por su parte,
el anti-realista afirmar que las teoras son nada ms que
instrumentos tiles para predecir resultados de observacin.
Las teoras no deber ser interpretadas como verdaderas o
falsas sino ser usadas como meros instrumentos de prediccin, de aqu que los anti-realistas frecuentemente son
llamados instrumentalistas. En el caso de la radiacin
electromagntica, el realista afirmar que los entes mate66
68
EPLOGO PEDAGGICO
Y CONCLUSIONES
Explicacin de la paradoja: Esto debido a que la circunferencia de una esfera es un crculo y un crculo est
hecho de puntos los cuales no tienen rea, por tanto dos
esferas perfectas no se pueden tocar una a otra ya que no
podramos poner en contacto un punto con otro punto,
debido a que estos carecen de rea.
Yo argumento que los crculos no estn en realidad
hechos de puntos. Un punto es slo una nocin geomtrica y no una parte constituyente de algo. Por tanto una
esfera podra ser descrita como una coleccin de puntos,
sin embargo es claro que no puede ser tal coleccin debido
a que entonces la esfera no tendra rea pues sera la suma
de un infinito nmero de puntos sin rea. Una explicacin
para salir de esta paradoja sera decir que una esfera real no
es perfecta y tendr a nivel molecular irregularidades. Esta
solucin no me agrada pues deja a un lado la perfeccin
del mundo de la matemtica. Creo que el problema tiene
que ver con las paradojas de Zenn. No deja de sorprenderme que en la matemtica tambin haya paradojas. Otra
solucin, que creo es la correcta, es argumentar que; si hay
dos crculos, uno de radio R1 y otro de radio R2 entonces
diremos que los crculos se tocan cuando sus centros se
encuentran exactamente a una distancia R1 + R2. De este
modo el hecho de que dos crculos se toquen quiere decir
que los dos crculos comparten un punto comn. De este
modo ya no es necesario pensar que dos puntos de diferentes crculos se estn tocando ya que ahora slo hay un
punto comn a ambos crculos.
Estudiante 2
Yo quisiera explorar la idea de que la realidad ltima del
universo es matemtica. Sin embargo creo que debera72
Estudiante 5
A mi me pareci muy interesante la discusin sobre el
realismo y el anti-ralismo en la ciencia. Yo siempre cre que
las teoras cientficas son una copia del mundo (realismo
cientfico) sin embargo cuando asist a una conferencia
sobre la teora de cuerdas me pareci que todos esos modelos matemticos tienen como propsito describir lo
que observamos en el mundo aunque no necesariamente
la realidad del mundo sea como el modelo supone. Parece
que cuando se habla de teoras muy simples, como poleas
y palancas, es muy fcil caer en el realismo cientfico,
pero entre mas complicada es la teora, como la teora de
cuerdas, es cada vez ms difcil ser realista. Aunque los
realistas usan el argumento de no milagros para concluir
que el realismo es verdadero a m no me lo parece. No
creo que el realismo se pueda probar experimentalmente
o lgicamente. Sin embargo el quedarme sin el realismo
cientfico me hace sentir que algo me falta, es como ser
hurfano, sera lo mismo que el quedarme sin Dios. Creo
que Santo Tomas de Aquino mejor que cualquier otro
telogo dijo que la prueba de la existencia de Dios se basa
en la revelacin sobrenatural y la fe, no en la experiencia
o en la lgica. Yo me pregunto si no ocurre algo similar
con el realismo cientfico.
Independientemente del valor intrnseco de los ensayos
redactados por los alumnos, no hay duda de que representan, desde el punto de vista pedaggico, un invaluable
punto de partida para el anlisis y discusin en clase, el
cual debe ser explotado inteligente y adecuadamente por
el profesor, con objeto de corregir errores y consolidar la
compresin de conceptos clave en los alumnos.
75
REFERENCIAS
Gdel K., ber formal unentscheidbare Stze der Principia Mathematica und verwandter Systeme Montatshefte fr Mathematik und
Physicsk, 38, pp. 173, (1931), tr. en van Heijenoort (1967)
Gdel K., On Undecidable Propositions of Formal Mathematical Systems, in The Undecidable, (1933), New York, Raven Press, (1965)
Haack S., Philosophy of Logics, Cambridge, (1979)
Hale B., Abstract Objetcts, Blackwell, (1987)
Hellman G., Mathematics Without Numbers, Oxford University Press,
(1989)
Heyting A., Intuitionism, an Introduction, North Holland, (1956)
Hilbert D., Grundlagen der Geometrie, (Leipzig), (1899), tr. Foundations
of Geometry, Open Court, (1959)
Hilbert D., Gesammelte Abhandlungen, Dritter Band, Berlin, Springer,
(1935)
Huffman C. A. Early Greek Philosophy. The Pitagorean Tradition., CUP,
(1999)
Kant E., Critique of Pure Reason, Dover Philosophical Classics,
(2004)
Kitcher, P., The Advancement of Science, Oxford, OUP, (1993)
Krner A.S., The Philosophy of Mathematics, Dover Books, (1960)
Landau L.D. y Lifshitz E.M., Electrodynamics of Continuous Media,
Pergamon Press, (1981)
Laudan, L., Beyond Positivism and Relativism, Boulder, Westview Press,
(1996)
79
81
NDICE
INTRODUCCIN
11
ANTECEDENTES HISTRICOS
15
REALISMO Y ANTI-REALISMO
I. Realismo y Anti-realismo Cientfico
25
25
29
31
31
33
34
37
38
39
83
41
46
46
49
SITUACIN ACTUAL
III. Avances Recientes
51
51
53
55
55
55
56
84
59
60
69
REFERENCIAS
77
85