Vicente Aboites - Filosofía de Las Matemáticas

See
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/290998282
Vicente Aboites - Filosofa de las matemticas

DATASET JANUARY 2016
READS
1 AUTHOR:
Vicente Aboites
Centro de Investigaciones en Optica
149 PUBLICATIONS 368 CITATIONS
SEE PROFILE
All in-text references underlined in blue are linked to publications on ResearchGate,

letting you access and read them immediately.
Available from: Vicente Aboites

Retrieved on: 23 January 2016
Vicente Aboites - Filosofa de l1 1
19/12/2008 07:05:16 p.m.
19/12/2008 07:05:21 p.m.
Introduccin a la
Filosofa de la Matemtica
19/12/2008 07:05:21 p.m.
19/12/2008 07:05:21 p.m.
INTRODUCCIN A LA
FILOSOFA DE LA MATEMTICA
Vicente Aboites
librosaCIELOabierto
19/12/2008 07:05:21 p.m.
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
19/12/2008 07:05:21 p.m.
I fully agree with you about the significance and

educational value of methodology as well as history and
philosophy of science. So many people today - and even
professional scientists - seem to me like somebody who
has seen thousands of trees but has never seen a forest. A
knowledge of the historic and philosophical background
gives that kind of independence from prejudices of his
generation from which most scientists are suffering. This
independence created by philosophical insight is - in my
opinion - the mark of distinction between a mere artisan
or specialist and a real seeker after truth.
ALBERT EINSTEIN
19/12/2008 07:05:22 p.m.
19/12/2008 07:05:22 p.m.
AGRADECIMIENTOS
Se agradece ampliamente al Centro de Investigacin en

Matemticas (CIMAT), a sus sucesivos Directores, Dr. Jos
Carlos Gmez Larraaga y Dr. Adolfo Snchez Valenzuela,
por sus innumerables y finas atenciones. De igual forma, al
Dr. Xavier Gmez-Mont por la clida y entusiasta recepcin
en su grupo de investigacin durante el ao sabtico en
que esta obra fue llevada a su forma final. Al Dr. Fernando
Mendoza, Director del Centro de Investigaciones en ptica (CIO), mi institucin de adscripcin permanente, por
las facilidades otorgadas. A mis alumnos de las Facultades
de Matemticas, Filosofa y Fsica de la Universidad de
Guanajuato. Al Dr. Gilberto Aboites, de la Universidad
Autnoma de Coahuila, con quien su public un trabajo
que fue el origen de esta obra. Al CONACYT, por la beca
sabtica otorgada que permiti la redaccin final de esta
obra. As mismo se agradecen las innumerables y estimulantes conversaciones con los doctores Andreas Johannsen,
de Frankfurt; Bernard Colling, de Pars; y Klaus Huber,
de Darmstadt. Finalmente agradezco a Ivo, Alexandra y
Tatsiana, su constante presencia.
19/12/2008 07:05:22 p.m.
19/12/2008 07:05:22 p.m.
INTRODUCCIN
El presente libro est pensado para servir como gua en un

primer curso de Filosofa de la Matemtica. La Filosofa de
la Matemtica es una disciplina que, de modo natural, permite discutir aspectos filosficos que resultarn inesperados
e interesantes para casi cualquier alumno inteligente y con
motivacin, as como llamativos aspectos cientficos relacionados con la matemtica y su aplicacin al mundo.
En este libro se expone el programa, los temas y ejemplos discutidos en un curso realizado sobre esta materia.
Como antecedentes se asume que los alumnos han estudiado filosofa y matemticas a nivel bachillerato. Asimismo,
pensando en que este trabajo resulte til a filsofos o
matemticos interesados en este tema o en impartir cursos
sobre el mismo, se presentan y discuten actividades ante
grupo que el autor ha probado exitosamente, as como
puntos gua para anlisis de problemas y discusin ante
el grupo.
El contenido de este curso es el usual en cualquier
programa introductorio sobre el tema, por tanto la originalidad se ha buscado en el enfoque y apoyo pedaggico
que un libro de esta naturaleza puede proporcionar a
alumnos y docentes, y claramente no en el contenido. El
lector interesado podr ampliar este ltimo consultando
las referencias incluidas al final. El primer captulo expone
el realismo y el anti-realismo en la ciencia y en la matemtica. En el captulo segundo se exponen el Logicismo,
Formalismo e Intuicionismo. El captulo tercero presenta
un breve panorama de la situacin actual en la Filosofa de
11
19/12/2008 07:05:22 p.m.
la Matemtica. Finalmente, en el captulo cuarto se discute

la aplicacin de la matemtica al mundo real tomando
como ejemplo la luz u ondas electromagnticas.
Resultar ms interesante presentar un resumen general
de los puntos ms relevantes de este curso a partir de una
serie de preguntas, por ejemplo:
En relacin con el captulo primero se puede preguntar: Si la teora del tomo de Bohr habla de ncleos y
electrones, esos ncleos y electrones son reales y existen
tal como lo predice la teora? O es la teora del tomo de
Bohr slo una herramienta til para calcular el espectro
ptico de tomos ligeros como Hidrgeno y Helio sin
importar si lo que dice la teora sobre electrones girando
alrededor de ncleos existe en la realidad o no? El nmero
Pi existe independientemente de que haya mentes humanas
que lo conciban?
De los temas del captulo segundo podramos preguntar: Cul es la relacin entre la lgica y la matemtica? Son
lo mismo? Es el conocimiento matemtico slo un juego
basado en smbolos y reglas? Los teoremas de incompletitud de Gdel afectan lo que podemos o no decir sobre
el mundo? La lgica de nuestro pensamiento es nica?
De los temas del captulo tercero se puede preguntar; Es la matemtica esencial para la ciencia, o se puede
hacer ciencia sin matemticas? Es la matemtica parte de
una red de conocimiento o es independiente del resto del
mundo?
Finalmente del captulo cuarto podemos preguntar:
Qu cosa es la descripcin matemtica de un acontecimiento fsico? Cmo es que los objetos matemticos (suponiendo que existen) se relacionan con el mundo fsico,
de modo que las aplicaciones de la matemtica al mundo
12
19/12/2008 07:05:22 p.m.
son posibles? Por qu es la matemtica esencial para la

ciencia? Cmo es que las construcciones mentales de la
matemtica nos permiten clarificar los hechos del universo
externo? Cmo puede un hecho matemtico servir como
explicacin para hechos fsicos no-matemticos? Todo lo
que es posible deducir de un modelo matemtico debe
ocurrir en el mundo? Todo lo que ocurre en el mundo
tiene una descripcin matemtica? Cmo es que ecuaciones
frecuentemente obtenidas con tantas suposiciones irreales
o ficticias proporcionen una descripcin que es en muy
alto grado empricamente verificable?
En opinin del autor, es notable la falta de textos
introductorios sobre este tema en lengua espaola tiles
para un primer curso. Se espera que esta obra contribuya
a revertir tal situacin.
13
19/12/2008 07:05:22 p.m.
19/12/2008 07:05:22 p.m.
ANTECEDENTES HISTRICOS
The legacy of Greece to western philosophy

is western philosophy
BERNARD WILLIAMS
Desde la antigedad la matemtica ha sido considerada y

respetada como paradigma de claridad y rigor intelectual.
En el libro VII de La Repblica, Platn expone un plan de
educacin superior diseado para convertir a los jvenes
ms talentosos en gobernantes ideales de una ciudad-estado
utpica; en este programa la instruccin matemtica ocupa
un lugar privilegiado. Dicho plan educativo inicia con nada
menos que diez aos de educacin en matemtica, es decir,
nmeros, geometra, estereometra, astronoma matemtica
y armona, seguidos de cinco aos de dialctica y de quince
aos de experiencia prctica con objeto de que los futuros
gobernantes no sean inferiores a nadie en experiencia.
Posteriormente, los pocos elegidos, a los cincuenta aos
de edad, podrn estudiar, en los confines del mundo inteligible, la idea del Bien, seguida de periodos alternados
entre la actividad filosfica y el desempeo del gobierno.
Vale recordar que, para Scrates, la educacin temprana
del individuo debe fundarse en la msica, la gimnasia y las
artes; sin embargo, al buscar una ciencia universal concluye
que sta es la ciencia de los nmeros y del clculo pues esta
tiene la cualidad de elevar el alma al conocimiento puro
y conducirla a la contemplacin del ser. Afirma que el
conocimiento de la aritmtica y la ciencia del clculo es el
15
19/12/2008 07:05:22 p.m.
nmero y que sta debe ser estudiada hasta que a travs

de la pura inteligencia se haya logrado conocer la esencia
de los nmeros. Algo semejante ocurre con la geometra,
la cual tiene como objeto conocer lo que siempre existe y
no lo que nace y muere. Cinco piedras, un crculo o un
tringulo trazado en una pizarra tienen en comn el ser
objeto de la opinin, mientras que la idea del nmero
cinco, de un crculo o de un tringulo, es algo permanente
y universal que, de acuerdo a Platn, se conoce a travs del
estudio de la dialctica renunciando por completo al uso
de los sentidos y elevndose a travs de la razn a la esencia de las cosas. En todo lo anterior se pueden distinguir
con claridad algunos elementos de la teora de las ideas
o formas platnicas.
Sabemos que Platn fue influenciado por Herclito,
Parmnides y los Pitagricos. De los pitagricos recibe
Platn la nocin de que los nmeros y otros entes matemticos pertenecen a una realidad eterna diferente del
mundo, asimismo el hecho de que el alma es inmortal y
puede reencarnar. De Herclito recibe Platn su preocupacin por el cambio y la unidad de los opuestos en un
mundo que continuamente se transforma. Finalmente, de
Parmnides recoge Platn su inquietud por distinguir lo
que es de lo que no es.
Pitgoras vivi antes que Herclito y Parmnides, y
poco se sabe de l, pues no escribi nada. Es famoso por
ser el primer filsofo en reconocer el rol de la matemtica
en la descripcin del orden (cosmos) del mundo. Goz
de gran fama, propuso el cuadrvium como base de la
educacin formado por aritmtica, geometra, astronoma y
msica, y era llamado el divino Pitgoras. Es interesante
que, en su Metafsica, Aristteles nunca hable de Pitgoras
16
19/12/2008 07:05:22 p.m.
sino de los pitagricos, sobre los cuales afirma que parecen

identificar nmeros con objetos sensibles. Filolaus, quien
vivi entre 470 y 385 a.C. fue el primer filsofo pitagrico
en escribir un libro. En ste discute que el orden del mundo
implica lo limitado e ilimitado y afirma que todas las cosas
conocidas tienen nmeros. No es posible que nada pueda
ser comprendido o sabido sin esto. Para l, el nmero es
el prototipo de lo que puede ser conocido. Filolaus piensa
que el cosmos se mantiene unido debido a las relaciones
numricas que hay en l. De hecho, a partir de sus estudios
musicales, los pitagricos descubrieron que los intervalos
musicales (p. ej. cuarta, quinta, octava) pueden ser representados por razones numricas; y pensaron tambin que
todo el universo puede entenderse de modo similar. Aristteles comenta que ellos supusieron que los elementos
(la esencia) de los nmeros son los elementos de todas las
cosas que existen, el mundo entero es nmero y armona.
No hay duda que la metafsica platnica se identifica con
las doctrinas pitagricas en particular la creencia en la
trasmigracin de almas o la metempsicosis, importadas
de Egipto e India y que tuvieron una gran aceptacin, probablemente debido a que, como Huffman (C. A. Huffman,
The Pitagorean Tradition, Early Greek Philosophy, CUP, 1999)
seala, la religin tradicional griega, como se muestra en los
poemas homricos, enfatiza lo corto de la vida humana en
contraste con los dioses inmortales. La doctrina pitagrica
ofrece reencarnacin y renacimiento, con lo cual el hombre
alcanza la inmortalidad previamente reservada slo para
los dioses. Una diferencia fundamental entre la vida de los
filsofos pitagricos y la vida examinada de Scrates es
la falta del libre examen de ideas y argumentos filosficos
en los primeros: en ellos todo argumento filosfico est
basado en la autoridad de Pitgoras, su fundador.
17
19/12/2008 07:05:22 p.m.
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
19/12/2008 07:05:22 p.m.
para conocer el mundo, Herclito parte del conocimiento

inmediato de la naturaleza y afirma: El aprendizaje es ver
y escuchar, esto es lo que ms valoro y mucho estudio
no le ensea a la mente, con lo cual tal vez quera decir
que mucho estudio no es suficiente para alcanzar una
comprensin genuina surgida de la reflexin.
Mientras que para Herclito el cambio y el movimiento
eran las nicas realidades, para Parmnides el cambio era
imposible y la totalidad del mundo real resulta inmvil e
inmutable. Parmnides nota que los filsofos jonios haban
dicho que el mundo era una cosa y que se converta en
otra. Ante esto, Parmnides pregunta: cul es el significado
de la expresin convertirse en?; y ms an, cmo puede
algo cambiar en otra cosa? Dado que cambiar significa
convertirse en lo que no se es, decir que algo que es se
convierte en lo que no es slo puede ser falso. A partir
de esto concluye que todo lo que los hombres piensan,
ven, oyen y sienten es pura ilusin. Slo la mente puede
alcanzar la verdad y la mente demuestra sin dudas que
la realidad es completamente diferente. El eco que esto
tuvo en Platn es indudable. Zenn de Elea, discpulo de
Parmnides, aplic los razonamientos anteriores al estudio
del movimiento tratando de demostrar con los famosos
argumentos de Dicotoma, Aquiles y la Tortuga, El
Estadio y La Flecha, que el movimiento es imposible y,
por tanto, es una pura ilusin de los sentidos. El famoso
argumento de Dicotoma tiene dos versiones. En la primera
se propone que no es posible ir de un punto A a uno B
debido a que primero hay que llegar a la mitad del camino
entre ambos; pero antes se debe llegar a la mitad de la mitad; y as sucesivamente. En este caso es imposible no slo
llegar al punto B, sino imposible salir del punto A. En la
19
19/12/2008 07:05:22 p.m.
segunda versin se afirma que, despus de llegar a la mitad

del camino entre A y B, hay que alcanzar la mitad entre
el punto final B y el punto alcanzado y, posteriormente,
la mitad entre la mitad y el punto B y as sucesivamente.
En este caso, se argumenta, es imposible alcanzar el punto
final B. Estas aporas ocurren debido a que, para los griegos
antiguos, era imposible imaginar que la suma de un infinito
nmero de trminos pudiera dar un resultado finito. Como
podemos ver, con Parmnides los griegos se inician en el
pensamiento abstracto, en el cual son ms importantes las
conclusiones deducidas a partir de la argumentacin que
la evidencia de la percepcin sensible del mundo real. Es
decir, lo importante es la conclusin de que la verdadera
realidad es no sensible y slo puede ser captada por el
pensamiento. Este hecho tuvo importantsimas consecuencias en el desarrollo de la ciencia y la filosofa occidentales.
Sin duda alguna, una de las ms asombrosas aventuras
intelectuales del ser humano se inicia con Parmnides y la
escuela eletica.
Algunas lneas epistemolgicas y metafsicas centrales
en Platn son las siguientes: i) Existe un mundo de cambio
y apariencia (el mundo que nos rodea), ii) Existe un mundo
eterno y sin cambio habitado por ideas o formas (su
teora de las ideas o formas), iii) El verdadero conocimiento
requiere del contacto con las ideas, y iv) El alma humana,
como las ideas, es eterna.
La teora de las ideas o formas de Platn fue
primeramente expuesta en el dilogo Menn para resolver
una paradoja y posteriormente utilizada en el Libro quinto
de La Repblica para distinguir opinin y conocimiento. Brevemente, opinin es la facultad de juzgar por la
apariencia; mientras que el objetivo del conocimiento es
20
19/12/2008 07:05:22 p.m.
conocer lo que existe en tanto que existe, Platn concluye

que quienes consideran la esencia inmutable de las cosas
poseen conocimientos y no opiniones. Aunque Platn no
intenta decir qu ideas existen, en el dilogo Fedro es claro
que cree en la existencia de ideas que llevan a conceptos
como igualdad, belleza y justicia entre algunos otros. En
el dilogo Timeo se subraya que, a diferencia de las ideas,
las cosas perceptibles del mundo involucran el fue y el
ser, mientras que las ideas, inmutables y eternas, slo
requieren del es.
Aunque es muy probable que el programa educativo
descrito por Platn en La Repblica haya sido inspirado
en las actividades reales de la Academia de Atenas, es poco
creble que el trabajo en la Academia se haya dado de
acuerdo a la programacin ah indicada. Es difcil imaginar
que un alumno espere hasta alcanzar los cincuenta aos
para ver si puede o no dedicarse a gobernar y al estudio de
la idea del Bien. De lo que no hay duda es del inters de
Platn en la matemtica, no slo desde el punto de vista
ontolgico, es decir el estudio de la esencia de los entes
matemticos, sino tambin prctico. Una descripcin de
las actividades de Platn en la Academia es proporcionada
por Filodemus en un papiro que data del siglo I a. C. (I.
Mueller, Plato, Mathematical Method and Philosophical Truth,
CUP, 1992) Una traduccin aproximada del contenido de
ste es la siguiente:
En ese tiempo se vea gran progreso en la matemtica,
siendo Platn el director general [architektonountos] l
indicaba los problemas, que eran investigados con gran
empeo por los matemticos. De este modo el tema de la
metrologa y otros problemas concernientes <siguen siete
letras ilegibles seguidas de las letras , posiblemente
21
19/12/2008 07:05:22 p.m.
sea alguna de las palabras: definiciones, nmeros,

razones, astronoma, tomos ritmos, secciones,
entre otras> que alcanzaron por primera vez su ms alto
nivel, Eudoxos [probablemente el ms grande matemtico y
astrnomo del siglo IV a. C. quien seguramente pas algn
tiempo en la Academia] y sus seguidores trasformaron el
anticuado trabajo de Hipcrates [Hipcrates de Chios]. En
la geometra tambin hubo gran progreso, el anlisis y el
[lema] sobre diorismo fue realizado y en general los temas
de la geometra se avanzaron grandemente. La <p>ti<ca>
y la mecnica no fueron en absoluto ignoradas.
Otro importante ejemplo de la actividad matemtica

en la Academia se encuentra en el Comentario sobre Aristteles, de Simplicius, en donde ste reporta que Platn pidi
a sus alumnos descubrir la ms simple explicacin para
el movimiento observable e irregular de algunos cuerpos
celestes, proponiendo hiptesis para movimientos ordenados y uniformes que puedan salvar las apariencias de
los movimientos planetarios, problema que tambin fue
primeramente abordado por Eudoxos.
En su Metafsica, Aristteles discute la ontologa de los
objetos de la matemtica (libros Mu y Nu), all presenta
su filosofa de la matemtica. Importantes diferencias con
las filosofas de la matemtica modernas son las siguientes (J. Barnes, Aristotle Metaphysics, Cambridge University
Press, 1995): A Aristteles no le interesa analizar conceptos
matemticos u operaciones matemticas, ni el desarrollo
tcnico de las disciplinas matemticas. Tampoco supone
que la aritmtica o la geometra exijan diferentes enfoques.
El problema general expuesto en el libro Mu de la Metafsica
es el siguiente (traducido de The Complete Works of Aristotle,
Ed. J. Barnes, Princeton, 1984):
22
19/12/2008 07:05:22 p.m.
Si los objetos de la matemtica existen, entonces ellos deben

existir ya sea en objetos sensibles o separados de objetos
sensibles; Si ellos existen en ninguna de las dos formas
anteriores, entonces, o ellos no existen o existen de alguna
otra forma. Por tanto el tema de nuestra discusin no ser
averiguar si ellos existen sino ms bien cmo existen.
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
19/12/2008 07:05:22 p.m.
rodea. Desarrollar teoras filosficas libres de platonismo

fue uno de los grandes esfuerzos del siglo veinte. Esto se
describe en ms detalle en los siguientes captulos.
24
19/12/2008 07:05:23 p.m.
REALISMO Y ANTI-REALISMO
I. Realismo y Anti-realismo Cientfico

La discusin entre realismo y anti-realismo en la matemtica puede ser iniciada a partir de la discusin entre estos
mismos temas pero en relacin a la ciencia, o en relacin
a la discusin sobre la realidad o no del mundo externo.
Esta discusin es motivante y til pues introduce trminos
e ideas que posteriormente son necesarios al abordar la
ms abstracta discusin sobre realismo y anti-realismo en
la matemtica.
I.1 Realismo y Anti-realismo en la Fsica
El realismo cientfico (Suppe 1989, Putnam 1990, Kitcher
1993, Laudan 1996, Catwright 1999) est compuesto por
varias tesis, cada una de las cuales pretende distinguir al
realismo de cualquier otro enfoque no realista. Estas son
(Psilos 2000):
i) La tesis metafsica que afirma que el mundo tiene una
estructura definida independientemente de la mente
humana.
ii) La tesis semntica que afirma que las teoras
cientficas deben tomarse como descripciones del mundo
observable y no observable y pueden ser verdaderas o
falsas pues los trminos tericos de las teoras hacen
referencia al mundo factual, i.e. si las teoras cientficas
son verdaderas los entes inobservables postulados a que
se hace referencia tambin lo son, y
25
19/12/2008 07:05:23 p.m.
iii) La tesis epistmica que afirma que las teoras

cientficas maduras y predictivamente exitosas estn bien
confirmadas y son una descripcin aproximadamente
verdadera del mundo. Por tanto los entes propuestos en
ellas se dan en el mundo.
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
19/12/2008 07:05:23 p.m.
que no eran correctas descripciones de la realidad, no es

irrazonable suponer que lo mismo pueda ocurrir con las
teoras cientficas actuales.
Algunos puntos de vista, como el expresado en The
Scientific Image (van Frassen 1980), presentan un reto al
realismo cientfico y argumentan a favor de un nuevo empirismo llamado empirismo constructivo. Van Frassen ve
al empirismo y al realismo cientfico en puntos opuestos
y diferentes en cuanto a los objetivos de la ciencia. Los
empiristas, afirma, tienen como objetivo para la ciencia la
anticipacin a la naturaleza, el producir teoras que den
predicciones exitosas, mientras que los realistas cientficos
ven a la ciencia como algo que describe las cosas del mundo
como ellas realmente son. El empirismo generalmente se
ha opuesto no al realismo cientfico sino al racionalismo
como una teora sobre las fuentes de nuestro conocimiento. De acuerdo a Van Frassen, para los realistas cientficos
las teoras establecidas y aceptadas deben ser consideradas
como literalmente verdaderas y no slo como modelos
tiles para predecir lo que ocurrir o para salvar a los
fenmenos. Por otra parte, para los empiristas las teoras
cientficas son slo modelos de la realidad observable y no
observable que son empricamente adecuados y si son ciertos o no, no importa. Para el realismo cientfico la ciencia
se propone proporcionar en sus teoras una historia literalmente verdadera de lo que es el mundo y el aceptar una
teora cientfica implica la creencia de que la descripcin
es verdadera. Podemos ver que el concepto de verdad se
emplea en el sentido de correspondencia, es decir que algo
es verdadero si corresponde a la realidad. Por otra parte el
empirismo constructivo afirma que el objetivo de la ciencia es proporcionar teoras que son slo empricamente
27
19/12/2008 07:05:23 p.m.
adecuadas y aceptar una teora slo implica aceptar que

es empricamente adecuada. Por su parte Brian Ellis (Ellis
1999) propone la tesis pragmtica de acuerdo a la cual la
ciencia pretende proporcionar la mejor descripcin posible
de los fenmenos naturales; y el aceptar una teora cientfica implica la creencia de que pertenece a tal descripcin.
El problema del pragmatismo de Ellis es que no hay un
slo criterio para decidir cual descripcin es la mejor. Sin
embargo vale sealar que este problema preocupa ms al
filsofo de la ciencia que al cientfico.
Para el realismo cientfico, las leyes y teoras deben
ser comprendidas realistamente y no instrumentalmente,
es decir que las leyes y teoras son genuinas afirmaciones
sobre la realidad y no slo instrumentos de prediccin que
son ms o menos exitosos. Esta es una afirmacin central
del realismo cientfico. Por otra parte el realismo cientfico
tambin afirma que las leyes y teoras cientficas son objetivamente verdaderas o falsas. En donde una afirmacin
es objetivamente verdadera si y slo si corresponde a la
realidad. Podemos ver que la teora de verdad de correspondencia es crucial para el realismo cientfico.
Los anti-realistas afirman que el contenido de una
teora cientfica implica slo un conjunto de afirmaciones
que pueden ser apoyadas por observaciones y experimentos,
para ellos las teoras slo son instrumentos que vinculan
las predicciones y resultados de las observaciones y experimentos y por tanto no tiene sentido afirmar que una
teora sea verdadera o falsa. Sin embargo, van Frassen es un
anti-realista que no es un instrumentalista ya que sostiene
que las teoras pueden ser verdaderas o falsas dentro de la
postura de empirismo constructivo. El anti-realismo pretende limitar la ciencia a las afirmaciones que pueden ser
28
19/12/2008 07:05:23 p.m.
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
19/12/2008 07:05:23 p.m.
tienden objetos que son acausales, eternos, indestructibles y

que no forman parte del espacio-tiempo del mundo externo.
El nmero 5 o el conjunto de los nmeros naturales son
ejemplos de lo que el realista considerar como ejemplos
de objetos acausales, eternos e indestructibles.
El Idealista estar de acuerdo en que los objetos
matemticos existen, pero sostendr que estos dependen de
la mente humana. Es decir, un idealista estar de acuerdo
con esta afirmacin: si no hubiera mentes, no habra objetos matemticos; mientras que el realista en ontologa la
negar. La postura llamada platonismo es realismo en
ontologa debido a que los objetos matemticos son para
ellos ideas platnicas, esto es, objetos que participan del
ser; acausales, eternos, indestructibles y no forman parte
del espacio tiempo. Una pregunta importante es: cmo es
posible para la mente humana obtener conocimiento de
objetos acausales, eternos, indestructibles y ajenos al espacio-tiempo? Mas an, cmo es que dichos objetos pueden
estar relacionados con el mundo externo y nos permitan
su descripcin? Desde este punto de vista la matemtica
parece a priori e independiente de la experiencia humana,
lo cual no sera aceptado por un antirrealista.
El realismo en valor de verdad es el punto de vista
de acuerdo al cual las afirmaciones matemticas tienen un
valor objetivo de verdad independiente de las mentes, lenguajes y convenciones de los matemticos. El antirealismo
en valor de verdad afirma que si las proposiciones matemticas tienen valores de verdad, estos sern dependientes
de la mente del matemtico. La relacin entre el realismo
en ontologa y el realismo en valor de verdad es discutido
en mayor detalle por Paul Benceraf (Benceraf 1973).
30
19/12/2008 07:05:23 p.m.
Posiblemente en la actualidad el platonismo sea ms

frecuente entre los matemticos que entre los filsofos. Por
ejemplo, al igual que muchos matemticos, Platn siendo
un realista en valor de verdad, sostuvo que las proposiciones de la geometra eran objetivamente verdaderas o
falsas independientemente de la mente de los matemticos,
pens que el tema de la geometra est constituido por
un mundo de objetos que existen independientemente
de la mente humana. De hecho Platn argument de un
realismo en valor de verdad a un realismo en ontologa.
Para l los objetos geomtricos no son fsicos sino eternos
e inmutables, esto es igual que las ideas del mundo platnico, por tanto la geometra no describe lo que existe en
el mundo real. En el dilogo Theetetus, de Platn, se afirma
que la aritmtica, como la geometra, se aplica al mundo
material slo aproximadamente. Como ejemplo de esto
frecuentemente se menciona el punto tangente entre un
crculo y una lnea, que slo existe matemticamente pero
nunca en el mundo real.
I.3 Actividades ante grupo

I.3.1 Realidad del mundo externo
La discusin del realismo y anti-realismo en la fsica se
puede iniciar con una exposicin del pensamiento filosfico de David Hume. En particular se debe subrayar que
Hume basa todo conocimiento en la experiencia sensible.
Sin embargo, a diferencia de Locke, Hume distingue el
hecho de que las percepciones pueden ser de dos clases:
impresiones, que son recibidas a travs de los sentidos; e
31
19/12/2008 07:05:23 p.m.
ideas, que son imgenes borrosas de las impresiones. El

empirismo de Hume se basa en la premisa de que una idea
es objetiva slo si esta basada en una impresin y toda idea
que no provenga de una impresin no es real. Con objeto
de disipar problemas sobre la interpretacin de impresiones e ideas se sugiere discutir ante el grupo ejemplos de
impresiones como serian:
- Ejemplo de una piedra. La impresin de piedra
tiene su origen en el hecho de que sta es captada por los
sentidos de la vista y del tacto.
- Ejemplo de un alimento salado. La impresin de salado tiene su origen en el hecho de que esto es captado por
el sentido del gusto. Se enfatiza que, de acuerdo a Hume,
la idea de salado tiene su origen en la impresin de lo
salado. Una persona que no haya tenido la impresin de lo
salado no puede tener tampoco la idea correspondiente.
A partir de estos ejemplos es viable discutir con el
grupo el hecho de que, de acuerdo a Hume, no podemos
tener ideas de trminos como Dios, alma, espritu y
muchos otros trminos metafsicos, debido a que no existe
ninguna impresin asociada con esos trminos.
Con la anterior exposicin queda preparado el camino para discutir la distincin que Hume establece entre
las percepciones y las cosas existentes del mundo externo,
concluyendo que ste ltimo no es comprobable, es decir,
se llega al escepticismo de Hume. De acuerdo a ste, un
individuo puede afirmar que percibe algo, pero de ah no
se desprende que ese algo exista en el mundo externo. Una
pregunta, que ya es famosa, de los cursos de Metafsica en
32
19/12/2008 07:05:23 p.m.
la Universidad de Londres es la siguiente: Cmo podra

probar que usted no es un cerebro metido en un barril?
Al llegar a este punto y discutir esta pregunta con el grupo,
igual que con los estudiantes de filosofa en Londres, la
pelcula Matrix, dirigida por Andy y Larry Wachowsky,
puede ser un excelente apoyo pedaggico para la generacin
de preguntas con importante sentido filosfico sobre la
realidad del mundo externo.
I.3.1.1 Puntos gua para discusin y anlisis de problemas ante

el grupo
- Discutir por medio de ejemplos que nuestro conocimiento del mundo externo proviene de nuestros cinco
sentidos
- Discutir con el grupo: Cul es la relacin precisa entre lo que yo pienso que veo y lo que est frente de m?
- Discutir: Los objetos continan existiendo aun
cuando nadie los observe?
- Discutir la pregunta: Es sostenible la afirmacin de
Berkeley en el sentido de que lo que llamamos cosa no
es ms que una coleccin de ideas? (Referencia: Principles
of Human Knowledge, de Berkeley)
- Discutir la pregunta: Es sostenible la afirmacin de
Descartes en el sentido de que podramos estar soando y
por tanto no podramos distinguir un sueo de la realidad?
(Referencia: Meditaciones Metafsicas, de Descartes)
33
19/12/2008 07:05:23 p.m.
- Discutir: Qu argumentos presenta el escptico al

realista de sentido comn?
- Bertrand Russell argumenta que el mundo pudo haber sido creado con nuestras memorias intactas hace slo
cinco minutos. Cmo responderamos a esto? (Referencia:
The Problems of Philosophy, de Russell)
- Qu afirmacin le parece correcta: pienso luego
existo o pienso luego algo existe? Note que la segunda
afirmacin no prueba que yo exista sino slo que algo
existe.
- Discutir y elaborar una tabla con las diferencias entre
el realismo de sentido comn, el realismo representativo,
el realismo causal y el idealismo, as como las principales
objeciones a cada uno de ellos.
I.3.2 Interpretaciones de verdad

Debido a que a lo largo del curso constantemente se discute
y se cuestiona la verdad de innumerables afirmaciones se
sugiere destinar algunas sesiones para discutir el concepto
de verdad. Todas las personas de modo natural e intuitivo
hablan de verdad aplicando este concepto a infinidad de
situaciones. Los padres, la escuela y la religin nos ensean
a hablar con la verdad y se nos repite que la verdad es
una importante virtud en la vida. Pero, qu cosa es la verdad? Qu queremos decir cuando afirmamos que algo es
verdad? Como a lo largo de este curso se pretende mostrar,
en el estudio de la filosofa, de la lgica y de la matemtica
34
19/12/2008 07:05:23 p.m.
se encuentran algunos de los mejores y ms interesantes

intentos por explicar qu queremos decir cuando decimos
que algo es verdad. Algunas de las ms importantes teoras de verdad que se sugiere sean expuestas y discutidas
por el profesor de modo elemental ante los alumnos son:
i) La teora Pragmtica, de Peirce, James y Dewey (que
influy fuertemente en Quine, Dummett y Davidson);
ii) La teora de Coherencia, de Bradley y Rescher; iii) La
teora de Correspondencia, de Russell y Wittgenstein (que
ejerci gran influencia en Austin); iv) La teora de Redundancia, de Ramsey; v) La teora Minimalista, de Horwich;
y vi) La teora Semntica, de Tarski. En las tres primeras
teoras la verdad se considera una propiedad sustantiva;
mientras que en las tres ultimas teoras la verdad es un
concepto que es introducido por conveniencia lgica o
retrica. Durante la exposicin se sugiere poner particular
nfasis en las cuatro primeras. Una excelente referencia
sobre estos temas es la obra de Sussan Haack, Philosophy
of Logics (Haack, 1978); sin embargo, para el grupo ser
mas prctico visitar los sitios web de la Enciclopedia de
Filosofa de la Universidad de Stanford o la enciclopedia
Wikipedia, en http://plato.stanford.edu/entries/truth/ o
http://en.wikipedia.org/wiki/Truth.
En la teora Pragmtica de verdad el sentido de un
concepto se da en referencia a sus consecuencias prcticas.
James afirma que no hay diferencia si no hace diferencia.
Se afirma que la forma correcta de preguntar sobre la verdad de algo es averiguando qu diferencia hay por el hecho
de que algo sea verdad. Esencialmente la verdad tiene que
ver con las consecuencias prcticas y no con ningn otro
tipo de consideraciones. Debido a que, segn esta teora,
la verdad es lo que en la prctica funciona, existen serias
35
19/12/2008 07:05:23 p.m.
objeciones. Un buen ejemplo de esto para discutir en clase

es el enfoque pragmtico de Platn acerca de las creencias
religiosas, en el dilogo La Repblica. Platn afirma que
aunque las creencias religiosas son falsas deben promoverse entre la poblacin debido a que estimulan la buena
conducta de los ciudadanos.
La teora de Coherencia nos dice que una afirmacin es
verdad cuando es coherente con el resto de las afirmaciones
de un sistema o conjunto de creencias. Como se ver, esta
teora es muy apreciada por los matemticos. Por ejemplo,
la afirmacin En la geometra euclidiana, la suma de los
ngulos internos de todo triangulo es 180 grados, es verdad
debido a que es coherente con el conjunto de afirmaciones
de dicha geometra, es decir, no entra en contradiccin con
stas. De acuerdo con tal teora cada afirmacin implica
y es implicada por todas las dems en un sistema. Sin embargo, es importante sealar ante el grupo que, al hablar
de afirmaciones cotidianas, frecuentemente es difcil ver
como interpretar la coherencia. Por ejemplo, es difcil ver
como la afirmacin hoy mi vecino trae una playera blanca
implica y es implicada por todas las dems afirmaciones
del mundo. El problema fundamental con la teora de verdad de coherencia es que todo sistema debe ser completo
y libre de contradicciones. Aqu podemos preguntar a los
alumnos: Cmo podemos saber que un sistema de proposiciones es completo? Cmo podemos garantizar que
una nueva proposicin no entrar en contradiccin con
el resto? El hecho de que el alumno reflexione sobre estas
preguntas es, adems, un excelente antecedente y estmulo
intelectual para la posterior discusin de los teoremas de
Gdel. Por otra parte es importante sealar que Bertrand
Russell afirma que el problema de la teora de coherencia
36
19/12/2008 07:05:23 p.m.
es que no puede distinguir entre la verdad y un cuento

de hadas consistente. La astrologa resulta ser un sistema
de verdades tan consistente como la novela El seor de los
anillos, de Tolkien.
Por otra parte la teora de Correspondencia afirma
que la verdad consiste en una relacin entre afirmaciones
y hechos. Por ejemplo la proposicin el gato est en el
tapete es verdadera si se puede establecer una relacin entre
los nombres usados en la proposicin y los hechos del mundo. Una objecin es que al hablar de situaciones de mayor
complejidad no es claro entre qu cosas se establece dicha
relacin, por ejemplo: Cules son los hechos relacionados
con la afirmacin la situacin poltica es complicada?
Finalmente las teoras de verdad de Redundancia,
Minimalista y Semntica consideran que la verdad es un
asunto lgico, retrico o formal. Por ejemplo, para la teora
de Redundancia, como el nombre sugiere, decir que una
afirmacin arbitraria P es verdad, equivale simplemente
a sostener la afirmacin P. Un posible ejemplo ante el
grupo es la afirmacin es verdad que hoy est nublado,
la cual es equivalente a hoy esta nublado. De acuerdo a
esta teora de verdad decir que es verdad P, slo cumple
un propsito retrico o enftico, pues igualmente podemos eliminar la expresin es verdad y dejar solamente
la afirmacin P. Debido a esto, Ramsey sugiere eliminar
por redundante e innecesaria la expresin es verdad.
el grupo
- Discutir con el grupo la pregunta: Habiendo diversas
teoras de verdad, tiene sentido hablar de la verdad?
37
19/12/2008 07:05:23 p.m.
- Discutir: En la vida cotidiana cual teora de verdad

es la ms empleada?
- Analizar: Si una afirmacin es verdadera en una
teora de verdad, es falsa en las otras teoras?
- A partir de ejemplos matemticos concretos, como
el Teorema de Pitgoras, discutir: Qu criterio de verdad
se usa con ms frecuencia en la matemtica?
I.3.3 Realidad en la Matemtica
Para alumnos principiantes es, en general, ms fcil entender el realismo en la fsica que el realismo en la matemtica;
esto probablemente debido a que al tomar un objeto fsico
es clara en qu consiste la discusin sobre su existencia o no
existencia. De hecho, inicialmente para algunos alumnos la
discusin del realismo en la fsica parecer un tanto ociosa
o ficticia, esto hasta que los argumentos del anti-realista
son presentados y discutidos con cuidado. Por otra parte,
la discusin del realismo en la matemtica resultar en
general mas abstracta y compleja. Afirmar que el nmero
5 existe de igual modo en que existe una silla o una piedra,
frecuentemente generar confusiones ante un grupo; esto es
debido a que, para la mayora, el nmero 5 tampoco existe.
Para la mayora de ellos existen cinco piedras o cinco sillas
pero no el nmero cinco. Para muchos de ellos esto ltimo
ser una abstraccin que dista de ser evidente.
La posicin ingenua (natural, intuitiva y sin reflexin)
de la mayora de los alumnos con respecto al mundo externo es, en general, realista; y el problema del profesor
estar, por tanto, en explicar con cuidado los argumentos
38
19/12/2008 07:05:23 p.m.
del anti-realismo. Por otra parte, la posicin ingenua de

los alumnos con respecto a la matemtica es en general
idealista y anti-realista en valor de verdad y el problema
del profesor estar por tanto en explicar con cuidado el
realismo.
Una alternativa para iniciar la exposicin del realismo
en la matemtica ante un grupo es a partir de la lectura y
discusin de algunos fragmentos de Platn (en particular de
los dilogos Fedro, Menn y La Repblica) y su teora de las
ideas, la cual es fundamental al explicar su epistemologa
y metafsica.
el grupo
- A partir de la lectura de fragmentos del dilogo Menn, de Platn, en donde se argumenta sobre si la virtud
puede ser enseada, discutir su teora de que aprender es
slo recordar lo que el alma ha aprendido en existencias
anteriores. El leer y discutir en el pizarrn dibujando el
ejemplo dado por Platn sobre el esclavo ignorante que,
no obstante esto, resuelve un problema geomtrico ser un
excelente apoyo.
- Leer y discutir fragmentos del dilogo Fedro, de Platn, en donde, por primera vez en sus escritos, se menciona
la existencia de un lugar de objetos totalmente diferentes de
los que nos rodean y se muestran a travs de los sentidos.
Estos objetos platnicos, diferentes del cuerpo y el alma,
son eternos y son llamados formas o ideas. Dichos
objetos no son pensamientos ni creaciones de la mente,
39
19/12/2008 07:05:24 p.m.
ellos no han sido creados (son eternos) y su existencia no

depende de ser conocidos o pensados por nadie.
- Aunque Platn, en el dilogo Fedro, no proporciona
una lista de las ideas existentes, en el libro sexto del dilogo
La Repblica, da una respuesta general, aunque imprecisa,
para identificar ideas: siempre que un nombre es aplicado
a diferentes cosas hay una idea que corresponde a ese nombre. A partir de esta regla, y con la ayuda del profesor, los
alumnos pueden proporcionar una lista de ideas platnicas
que incluye no slo objetos como camas, hombres, caballos,
sino tambin trminos abstractos como justicia, belleza,
virtud y muchsimos trminos y conceptos matemticos
como, igualdad, cinco, etctera.
- Enumerar y discutir con todo detalle los argumentos
en que se basan el realismo, anti-realismo e idealismo en
la matemtica.
- Encontrar el punto de contacto entre la recta dada
por la ecuacin y = x + 1 y la circunferencia dada por la
ecuacin x2 + y2 - 4x - 2y + 3 = 0 (esta circunferencia tiene
centro en el punto (2, 1) y radio igual a la raz cuadrada
de 2). La solucin es que el punto de contacto entre la
circunferencia y la recta es el punto (1, 2). A partir de esto
mostrar que no importa qu tan bien hecha se realice la
grfica de este problema en el pizarrn, en una hoja o en
una pantalla de computadora, ser imposible para cualquier
humano ver que el lugar de contacto es nica y exclusivamente un punto matemtico ideal como nos indica la
respuesta matemtica del problema.
40
19/12/2008 07:05:24 p.m.
LOGICISMO, FORMALISMO
E INTUICIONISMO
Emanuel Kant (Kant 1787) sostuvo que la matemtica es

conocida independientemente de la experiencia sensorial, y
por tanto es a priori; y que las verdades de la matemtica no
pueden ser determinadas a partir del anlisis de conceptos
y, por tanto, son sintticas. Las dos alternativas al enfoque
kantiano son que la matemtica es emprica, y por tanto
a posteriori, o que la matemtica es analtica (Shapiro 2000,
George & Velleman 2002, Krner 1960, Anglin 1994). El
primer punto de vista fue sostenido, por ejemplo, por John
Stuart Mill en su obra A System of Logic (Mill 1843), y el segundo enfoque corresponde principalmente a la propuesta
logicista de Frege (Frege 1879, 1884) que pretende reducir
la matemtica a lgica. Los movimientos neo-logicistas
parten de dos premisas, que son:
i) Una parte significativa de las verdades de las
matemticas se conoce a priori;
ii) Concierne a la matemtica un mundo ideal de objetos
que son objetivos y en algn sentido independientes de
nuestra mente.
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
19/12/2008 07:05:24 p.m.
fundamental radica en la extensin del logicismo hacia

otras reas de la matemtica.
Otro importante enfoque en la matemtica es llamado
Formalismo y sostiene que la esencia de la matemtica es la
manipulacin de smbolos. Por tanto, sobre cualquier rama
de la matemtica slo se requiere proporcionar una lista
de smbolos y las reglas permitidas para su manipulacin.
Esto agota todo lo que hay que saber sobre dicha rama de
la matemtica. De acuerdo al formalista, el tema de la matemtica no es y no puede ser sobre algo o sobre cualquier
cosa mas all que sobre smbolos grficos y las reglas para
su manipulacin. Este enfoque tiene ms aceptacin entre
matemticos que entre filsofos de la matemtica. Algunas
formas radicales de formalismo sostienen que los smbolos
matemticos no tienen en s mismos ningn sentido ms
all del que tendran las piezas de un tablero de ajedrez.
Otras formas menos radicales aceptan que los smbolos
matemticos podran tener algn sentido pero este es irrelevante para la prctica de la matemtica. Claramente el
formalismo resuelve, o evita abordar, difciles problemas
metafsicos y epistemolgicos. Por ejemplo, a la pregunta
sobre qu trata la matemtica? tenemos la respuesta: sobre
nada! A la pregunta qu son los nmeros, conjuntos, etctera? la respuesta es: Ellos no existen, o si existen podran
igualmente no existir! La pregunta qu es el conocimiento
matemtico? tiene la respuesta: Es el conocimiento de un
juego basado en smbolos y reglas, o el conocimiento de
los resultados obtenidos en ese juego!
Esto nos lleva a una interesante pregunta. Si la matemtica no es nada ms que un juego, cmo es posible
que este juego sea til en la ciencia? O, dicho caricaturalmente: Cmo es que el intil juego de la matemtica
42
19/12/2008 07:05:24 p.m.
tenga alguna aplicacin en el mundo real? Desde este

punto de vista, el formalismo es parecido a la posicin
anteriormente discutida que en filosofa de la ciencia
se conoce como instrumentalismo. De acuerdo con esta
postura, el conocimiento cientfico es nada ms que un
complejo instrumento para realizar predicciones sobre el
mundo observable, sin que tengamos necesidad de creer
que los entes tericos propuestos por las teoras cientficas
sean reales. Desde luego un importante problema que enfrentan los instrumentalistas es el de explicar por qu sus
instrumentos funcionan tan bien. Desde el punto de vista
del formalismo, la pregunta de por qu la matemtica es
til parece intratable.
Al criticar el formalismo, Frege explica la condicin
necesaria para que el conocimiento matemtico se eleve al
rango de ciencia:
Por qu pueden aplicarse las ecuaciones de la aritmtica?
Solamente porque ellas expresan pensamientos. Cmo
podramos aplicar ecuaciones que expresan nada y que
son nada ms que un grupo de smbolos grficos, que
pueden transformarse en otros smbolos de acuerdo a
ciertas reglas? Es solamente la aplicacin de la aritmtica
al mundo la que la eleva del rango de juego, al rango de
ciencia (Frege 1892).
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
19/12/2008 07:05:24 p.m.
rechazan ocuparse de este problema, debido a lo cual el

problema permanece en el limbo. Una versin moderada de
formalismo es el deductivismo de Hilbert, expuesto en su
libro Grundlagen der Geometrie (Hilbert 1899), donde afirma
que la prctica de la matemtica consiste en obtener las
consecuencias lgicas de axiomas ininterpretables. La idea
bsica del deductivismo consiste en ignorar las interpretaciones y concentrarse en las inferencias. Hilbert (Hilbert
1935) afirm que en una axiomatizacin adecuada de la
geometra uno debera ser capaz de sustituir los trminos
punto, lnea y plano por mesa, silla y tarro de cerveza.
Es decir, una vez que los axiomas han sido formulados,
la intuicin y la observacin pueden ser eliminados, pues
no son parte de la matemtica. Igual que el formalista, el
deductivista tiene respuestas claras para algunas preguntas
filosficas: De qu se trata la matemtica? De nada! Qu
es el conocimiento matemtico? Es conocimiento sobre lo
que se infiere de algo, es decir, el conocimiento matemtico
es conocimiento lgico! Cmo se puede aplicar una rama
de la matemtica? Encontrando interpretaciones fsicas que
hagan verdaderos los axiomas!
El ms importante requerimiento exigido a una rama
de la matemtica formalizado es que no debe permitir
derivar una formula que contradiga las proposiciones iniciales. Es decir, un teora formalizada T, es consistente si
no es posible derivar una formula contradictoria utilizando
los axiomas y reglas de T (por ejemplo que 0=0 y que 00
en la misma teora). Como sabemos, con sus teoremas de
incompletitud, Kurt Gdel (Gdel 1931, 1933) mostr la
imposibilidad del llamado Programa de Hilbert. Los dos
teoremas de Gdel nos dicen en resumen que:
44
19/12/2008 07:05:24 p.m.
i) Si una teora T es consistente, entonces hay una

frmula F que no es posible derivar en T ; y
ii) Si una teora T es consistente, entonces no se
puede derivar dentro de T la afirmacin de que T es
consistente.
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
19/12/2008 07:05:24 p.m.
de significado como el conjunto de puntos del espacio, o

el conjunto cuyos elementos son las funciones continuas
de una variable. Para un intuicionista nunca terminaramos de construir esos conjuntos y por tanto no podemos
hablar del conjunto. Desde el punto de vista de Brouwer
la lgica es slo la codificacin de las reglas usadas en la
comunicacin de la matemtica; y por tanto el logicismo y
el formalismo ni siquiera tocan la esencia de la matemtica.
Sin embargo, este ltimo punto no es aceptado por todos
los intuicionistas; por ejemplo Arend Heyting (Heyting
1953) desarroll una formalizacin rigurosa para una lgica
intuicionista llamada Clculo de Predicados de Heyting.
En contraste con Brouwer y Heyting, Michael Dummett
(Dummett 1973) se acerca al estudio de la lgica y la matemtica desde un punto de vista lingstico, y afirma que:
El significado de una proposicin matemtica est determinado
por su uso. Asimismo sostiene que: Debe haber una diferencia
observable entre el comportamiento o capacidades de alguien que
dice tener conocimiento del significado de una expresin y alguien
que carece de l.
II.1 Actividades ante grupo

II.1.1 Terminologa kantiana
Como introduccin al tema de Logicismo, Intuicionismo y
Formalismo, se sugiere presentar ante el grupo una exposicin de algunos elementos clave de la filosofa Kantiana que
son muy importantes para la filosofa de la matemtica.
Como sabemos, un juicio analtico es aquel cuyo predicado est contenido en el sujeto. Un ejemplo sencillo para
46
19/12/2008 07:05:24 p.m.
el grupo es: todo cuerpo ocupa un volumen. Se puede ver

que el predicado ocupa un volumen, pertenece al sujeto,
cuerpo. Es claro que no puede existir un cuerpo que no
ocupe un volumen. Vemos que la palabra cuerpo implica
necesariamente el concepto de volumen. Por otra parte
un juicio sinttico es aquel cuyo predicado est fuera del
concepto expresado en el sujeto. Un ejemplo sencillo para
el grupo es: La silla es azul. Se puede ver que el predicado
azul no necesariamente pertenece al sujeto silla, pues es
claro que el hecho de ser silla no implica el hecho de ser
azul: hay sillas de todos colores! Adems, sabemos que los
juicios a priori son aquellos que son independientes de la
experiencia, mientras que los juicios a posteriori slo pueden
fundamentarse con base en la experiencia sensible.
Kant nota que las afirmaciones de la ciencia deben
estar constituidas por juicios sintticos y no por juicios
analticos. Esto debido a que con slo juicios analticos
no habra forma de garantizar el avance y progreso del
conocimiento cientfico, pues los juicios analticos slo
giran alrededor de s mismos. Igualmente Kant nota que
la ciencia debe estar formada por juicios a priori pues as se
garantiza la universalidad y necesidad de las afirmaciones
cientficas. Podemos ver que Kant ha desechado los juicios
analticos y los juicios a posteriori y ha dejado los juicios
sintticos y los a priori. Para Kant los juicios cientficos
tienen que ser sintticos, para garantizar la progresividad del
conocimiento; y al mismo tiempo deben ser a priori, para
garantizar la universalidad y la necesidad del mismo. Las
leyes de la ciencia, por ejemplo las tres leyes de la dinmica
de Newton y la ley de gravitacin universal entre otras,
son para Kant una muestra de que el ser humano puede
de hecho alcanzar, descubrir y conocer juicios sintticos a
47
19/12/2008 07:05:24 p.m.
priori. Entonces, cules son las condiciones de posibilidad

de los juicios sintticos a priori? Es decir, cmo es posible
que haya juicios que al mismo tiempo sean sintticos (cuyo
predicado est fuera del sujeto) y a priori (independientes
de la experiencia)? Cmo se logra una sntesis fuera de la
experiencia sensible? Cul es la estructura del conocimiento
humano que hace posible esa elaboracin de juicios que
siendo a priori, no son analticos, y que siendo sintticos
no son a posteriori? La respuesta a este problema est dada
por Kant en su obra Crtica de la Razn Pura. Las condiciones de posibilidad de los juicios sintticos a priori son:
la materia del conocimiento (que viene de la experiencia
sensible) y la forma del conocimiento (constituida por
formas o categoras a priori).
La Crtica de la Razn Pura, est dividida en tres secciones, llamadas Esttica, Analtica y Dialctica, cada una
de las cuales trata de responder en tres campos diferentes
a la pregunta de cmo son posibles los juicios sintticos
a priori. La esttica trascendental responde a: Cmo son
posibles los juicios sintticos a priori en la matemtica? La
analtica trascendental responde a: Cmo son posibles
los juicios sintticos a priori en la fsica? Finalmente, en la
dialctica trascendental Kant se pregunta: son posibles los
juicios sintticos a priori en la metafsica?
Para Kant, la matemtica est fundada en la aritmtica y la geometra. La respuesta que Kant da en la esttica
trascendental es en el sentido de que los juicios sintticos a
priori son posibles en la aritmtica debido a la intuicin de
tiempo, y en la geometra debido a la intuicin de espacio.
Esta respuesta es de fundamental relevancia para iniciar
la discusin del logicismo. Por otra parte, en la analtica
trascendental la respuesta de Kant est basada en las doce
48
19/12/2008 07:05:24 p.m.
categoras debido a las cuales podemos formular juicios

sintticos a priori en la fsica. De acuerdo a Kant estas doce
categoras son: tres de cantidad (unidad, totalidad, pluralidad), tres de cualidad (realidad, negacin, limitacin),
tres de relacin (inherencia y subsistencia, causalidad y
dependencia, comunidad), y tres de modalidad (posibilidad-imposibilidad, existencia-No-existencia, necesidad-contingencia), y constituyen la base que le permite al hombre
formular la ciencia moderna (hay que insistir en que, para
Kant, la ciencia moderna era fundamentalmente la fsica
newtoniana). Por ejemplo, la primera ley de Newton, En
la ausencia de fuerzas exteriores, toda partcula contina en
su estado de reposo o de movimiento rectilneo y uniforme
respecto de un sistema de referencia inercial, nos permite
concluir que todo objeto no perturbado movindose en
el espaci lo har eternamente hasta el infinito. Es importante sealar ante el grupo que, de acuerdo a Kant, la
formulacin de esta Ley, as como la conclusin a la que
llegamos, sera imposible para el hombre si en su entendimiento no se encontraran las categoras anteriormente
mencionadas, las cuales son conceptos no extrados de la
experiencia (no empricos) que constituyen la condicin
de posibilidad que nos permite pensar en objetos, razonar
sobre ellos y formular juicios cientficos universales como
lo son las leyes de la ciencia.
II.1.1.1 Puntos gua para discusin y anlisis de problemas ante
el grupo
- Discutir la pregunta: Podemos pensar en la sucesin
de nmeros naturales sin simultneamente recurrir a la
intuicin de tiempo?
49
19/12/2008 07:05:24 p.m.
-Podemos pensar en la existencia de un tringulo sin

recurrir a la intuicin de espacio?
- Podemos cerrar los ojos y pensar en un objeto aislado
de las intuiciones de espacio y tiempo?
- Si A=B y B=C, entonces A=C. El resultado anterior
es emprico o analtico?
- Qu argumentos encuentra a favor de la afirmacin
de que la matemtica es emprica?
- Sobre el Teorema de Gdel se sugiere discutir en
clase que la existencia de un sistema incompleto no es en
s particularmente sorprendente. Por ejemplo, si se elimina
el postulado del paralelismo de la geometra euclidiana se
obtiene un sistema incompleto. Un sistema incompleto
puede significar simplemente que no se han descubierto
todos los axiomas necesarios.
- El formalismo, para muchos matemticos, es un
ideal de la actividad matemtica creadora, y referente obligado del pensamiento cientfico y filosfico. Al discutir el
formalismo podr ser de gran utilidad pedaggica (y muy
divertido para los alumnos) inventar las reglas de un juego
y jugarlo. Se debern investigar las conclusiones a las que
conducen las reglas planteadas y verificar si estas llevan o
no a contradicciones en el juego.
50
19/12/2008 07:05:24 p.m.
SITUACIN ACTUAL
III. Avances recientes

Hay fundamentalmente dos escuelas de pensamiento en la
filosofa de la matemtica actual. Los que sostienen que los
nmeros, conjuntos y otros objetos matemticos existen
independientemente de la mente, lenguaje y convenciones
del matemtico, y los que no. Estos ltimos intentan reformular la matemtica sin invocar tales trminos matemticos. Los miembros de la primera escuela son realistas
ontolgicos y frecuentemente tambin realistas en valor
de verdad. Aqu destacan Platn, Frege (Frege 1879, 1884),
Gdel (Gdel 1931, 1933), Quine (Quine 1981), Putnam
(Putnam 1967, 1971), Hale (Halle 1987) y Maddy (Maddy
1990) .
III.1 La matemtica como una red de conocimiento
Como se mencion anteriormente, para Quine la ciencia
es solamente una herramienta de prediccin (Quine 1951)
y ste es el criterio ltimo para aceptar o rechazar cualquier teora que en s misma forma parte de una red de
conocimiento. Quine argumenta que nosotros creemos
en la existencia de objetos ordinarios como sillas o mesas
por la misma razn, esto es, por que forman parte de
esta red de conocimiento. Por su parte, Putnam (Putnam
1971) seala que la fsica clsica y moderna constan de
magnitudes medibles con nmeros reales (como volumen,
velocidad, fuerza, presin, etctera) y que las relaciones en51
19/12/2008 07:05:24 p.m.
tre esas cantidades se expresan en trminos de ecuaciones.

A partir de esto, concluye que no es posible hacer ciencia
sin nmeros reales y sin funciones que expresen relaciones
entre nmeros reales, por tanto los nmeros reales existen,
lo mismo que las funciones. Del mismo modo concluye
que, para que la ciencia tenga sentido, debemos aceptar la
existencia de funciones. Los prrafos anteriores delinean
el conocido argumento de indispensabilidad de QuinePutnam. Una consecuencia de esto, muy importante para
los cientficos interesados en la filosofa de la ciencia y las
aplicaciones de la matemtica, es que Quine slo acepta
como verdaderas las partes de la matemtica que tienen
aplicacin cientfica. Es decir las partes de la matemtica
que tienen alguna relacin, por lejana que sea, con nuestra
observacin sensorial. Por su parte, el argumento de indispensabilidad tiene las siguientes premisas:
* El anlisis real y las variables que emplea requieren
de objetos abstractos llamados nmeros reales; y si uno
acepta la verdad de los axiomas del anlisis real, entonces
uno acepta la existencia de estas entidades abstractas.
* El anlisis real es indispensable para la fsica. La
fsica no puede ser formulada ni practicada sin el uso del
anlisis real.
* Si el anlisis real es indispensable para la fsica,
quien acepta la fsica como verdad con relacin al mundo
material, entonces acepta la verdad del anlisis real.
* La fsica es verdadera, o muy aproximadamente
verdadera.
52
19/12/2008 07:05:24 p.m.
La conclusin del argumento es que los nmeros reales

existen y lo hacen de modo independiente del matemtico.
Como hemos visto, esto es realismo en ontologa.
III.2 El ficcionalismo de Field y las expresiones abiertas de Chihara

Por otra parte, los filsofos que niegan la existencia de
objetos matemticos son algunas veces llamados nominalistas y representan una versin radical de anti-realismo
en ontologa. Dos importantes ejemplos son Hartry Field
(Field 1980) y Charles Chihara (Chihara 1990).
La postura de Field es llamada ficcionalismo, pues
supone que podemos pensar sobre los objetos matemticos
del mismo modo en que pensamos sobre el personaje de
una obra de ficcin. Es decir que el nmero cinco y el
conjunto vaco tienen el mismo estatus ontolgico que,
por ejemplo, el personaje Oliver Twist. Field considera
que el nico argumento serio para la existencia de entidades matemticas es el argumento de indispensabilidad de
Quine-Putnam; sin embargo Field cuestiona la segunda
premisa de este argumento. Es decir, Field acepta que la
matemtica es til para la ciencia y el cientfico pero no
acepta que sta sea esencial para la ciencia. Argumenta que la
ciencia puede ser realizada sin matemticas, de ah el ttulo
de su obra Science Without Numbers (Ciencia sin nmeros).
Como sabemos, un lenguaje nominalista es un lenguaje
que no hace referencia a objetos abstractos, como nmeros
o conjuntos (que son trminos empleados en el lenguaje
cientfico); de hecho Putnam afirma que no es posible
realizar ciencia en un lenguaje nominalista (Putnam 1971).
53
19/12/2008 07:05:24 p.m.
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
19/12/2008 07:05:25 p.m.
al conjunto de todos los autos, hacemos referencia a la

expresin abierta x es un auto.
III.3 Propuestas recientes

Una reciente contribucin a la filosofa de la matemtica es
la propuesta por John P. Burgess y Gideon Rosen (Burgess
1997) quienes critican los intentos de elaborar matemticas
sin referencia a objetos abstractos como nmeros y conjuntos. Se argumenta que, dado que no hay conexiones
causales entre nosotros y las entidades matemticas, el
realista en ontologa no puede explicar el conocimiento
matemtico sin postular habilidades msticas en nosotros
para comprender el universo matemtico. Aqu se acepta
como premisa que no podemos conocer nada de un objeto
a menos que exista una conexin causal entre nosotros y
dicho objeto. Sin embargo nadie ha jams explicado qu
tipo de relaciones causales se requieren para lograr conocimiento. Otro enfoque de la filosofa de la matemtica
es el estructuralismo, sostenido por Bencerraf (Bencerraf
1965), Hellman (Hellman 1989), Resnik (Resnik 1997) y
Shapiro (Shapiro 1997) entre otros. La idea central es que
la matemtica es la ciencia de las estructuras. La mayora
de los estructuralistas son realistas en valor de verdad.
III.4 Actividades ante grupo
III.1.1 Historia y filosofas de la matemtica
Howard Eves [Eves 1990] menciona que una filosofa
puede ser considerada como una explicacin que intenta
55
19/12/2008 07:05:25 p.m.
proporcionar algn sentido al desorden natural que forma

el conjunto de nuestras experiencias. Por tanto, desde este
punto de vista, es posible tener filosofa de casi cualquier
cosa: del arte, de la vida, de la religin, de la educacin, de
la sociedad, de la historia, de la ciencia, de la matemtica
y an de la filosofa misma. Una filosofa sera nada ms
que el resultado del proceso de refinar y ordenar experiencias y valores, de buscar relaciones entre elementos que
ordinariamente se pensaba que eran ajenos y de encontrar
diferencias entre elementos que se pensaba eran lo mismo.
En particular, una filosofa de la matemtica esencialmente
es un intento de reconstruccin de una masa catica de
conocimiento matemtico acumulado durante siglos. El
objetivo es darle orden y sentido a todo ese conocimiento
matemtico. Por supuesto toda filosofa depende tambin
del tiempo; y una filosofa particular puede, despus de
un lapso, considerarse anacrnica o ser alterada a la luz de
nueva informacin. Es importante, en un curso de filosofa
de la matemtica, que el alumno tenga una idea razonable
de la evolucin del conocimiento matemtico en la historia
de la humanidad y ser capaz de asociarlo a las diferentes
filosofas de la matemtica.
III.1.1.1 Puntos gua para discusin y anlisis de problemas ante
el grupo
- Es la ciencia slo una herramienta de prediccin?
Para responder a esta pregunta resultar muy til que el
grupo investigue qu cosa es el instrumentalismo. Tambin la lectura del libro The Character of a Physical Law, de
Richard Feynman (Feynman, 1967), puede ser usada para
motivar una gil discusin con el grupo.
56
19/12/2008 07:05:25 p.m.
- Aplique el argumento de indispensabilidad de QuinePutnam a una teora cientfica concreta y discuta.

- La ciencia aristotlica prcticamente no empleaba
matemtica. Sera correcto decir que Aristteles fue antirealista?
57
19/12/2008 07:05:25 p.m.
19/12/2008 07:05:25 p.m.
LA APLICACIN DE
LA MATEMTICA AL MUNDO
IV. La aplicacin de la matemtica al mundo

En este captulo se discuten algunos aspectos filosficos
relacionados con la descripcin matemtica del universo.
Se toma el siguiente ejemplo como base para la discusin
de realismo y anti-realismo cientfico y matemtico:
La descripcin matemtica de las ondas electrmagnticas. En
este caso, partiendo de los resultados de Ampere, Gauss y
Faraday, se exponen las Leyes de Maxwell indicando que
su anlisis implica la existencia de ondas electromagnticas
cuya distribucin espacial est dada por la ecuacin de
Helmholtz.
A lo largo de esta seccin se responde, hasta donde es
posible, a las preguntas siguientes: Qu cosa es la descripcin matemtica de un acontecimiento fsico? Cmo es
que los objetos matemticos se relacionan con el mundo
fsico de modo que las aplicaciones de la matemtica al
mundo son posibles? Por qu es la matemtica esencial
para la ciencia? Cmo es que las construcciones mentales
de la matemtica nos permiten clarificar los hechos del
universo externo? Como puede un hecho matemtico
servir como explicacin para hechos fsicos? Todo lo que
es posible deducir de un modelo matemtico debe ocurrir
en el mundo? Todo lo que ocurre en el mundo tiene
una descripcin matemtica? Como es que ecuaciones
59
19/12/2008 07:05:25 p.m.
frecuentemente obtenidas con tantas suposiciones irreales

o ficticias proporcionen una descripcin que es en muy
alto grado empricamente verificable? A lo largo de esta
seccin, cada una de las preguntas anteriores es vista en
referencia a la descripcin matemtica de las ondas electromagnticas. Como veremos en este ejemplo, la respuesta a
muchas preguntas filosficas frecuentemente no es nica;
y es aqu donde se hace patente tanto la labor del filsofo
como la riqueza de la filosofa.
IV.1 La descripcin matemtica de las ondas electromagnticas

Como sabemos, el espectro de ondas electromagnticas se
extiende desde los rayos gama, rayos X, luz ultravioleta,
luz visible, infrarrojo, micro-ondas y ondas de radio. Las
ondas electromagnticas son uno de los ms importantes
fenmenos de la naturaleza y gracias a ellas conocemos el
mundo visible, as como el universo microscpico y macroscpico. En lo siguiente, por claridad, se han escrito las
ecuaciones a las que hace referencia el texto; sin embargo,
la comprensin matemtica de stas es innecesaria para
seguir la argumentacin presentada.
La descripcin de un campo electromagntico usando
los vectores de campo elctrico E y campo magntico H
est dada por las ecuaciones de Maxwell (ver, por ejemplo,
Born 1993, Landau 1981):
E = o
H
t
(1)
60
19/12/2008 07:05:25 p.m.
E
+J
t
(2)
(3)
H =0
(4)
H = o
E =
en donde y J representan la densidad de carga y corriente

en el medio y o o la permitividad elctrica y permeabilidad magntica del vaco, respectivamente.
Estas ecuaciones representan, en el orden dado:
i) La ley de induccin de Faraday, que nos dice que el
cambio en el tiempo de un campo magntico (descrito
por el lado derecho de la ecuacin (1)) producir un
campo elctrico (descrito por el lado izquierdo de la
ecuacin (1)).
ii) La Ley de Ampere, que nos dice que un campo magntico
(descrito por el lado izquierdo de la ecuacin (2)) ser
producido siempre que se tenga una corriente elctrica,
o se d el cambio en el tiempo de un campo elctrico
(descrito por el lado derecho de la ecuacin (2).
iii) La Ley de Gauss, que establece que toda densidad
de carga elctrica (descrita por el lado derecho de la
ecuacin (3)) generar un campo elctrico (descrito por
el lado izquierdo de la ecuacin (3)); y finalmente,
iv) La ecuacin que establece la no existencia de monopolos
magnticos. Esto es, que los campos magnticos (descrito
por el lado izquierdo de la ecuacin (4)) no requieren
para ser generados de monopolos magnticos (debido a
esto, el lado derecho de la ecuacin (4) est igualado a
cero).
61
19/12/2008 07:05:26 p.m.
Considerando un medio con densidad de carga y

corriente cero ( = 0, J = 0) es fcil obtener, a partir de las
ecuaciones anteriores, las dos ecuaciones de onda para los
campos E y H:
1 2E
c 2 t 2
(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)
19/12/2008 07:05:26 p.m.
y otra que depende exclusivamente del tiempo F(funcin

del tiempo) tenemos que los campos elctrico y magntico
podrn escribirse como:
E(funcin del espacio-tiempo) = D(funcin del espacio)
F(funcin del tiempo)
Si adems suponemos que la variacin temporal de
los campos elctrico y magntico es una perfecta oscilacin
sinusoidal, entonces es posible demostrar que la funcin
D, que depende exclusivamente del espacio, satisface la
ecuacin de Helmholtz, que es una de las ms bellas e
importantes ecuaciones de la fsica.
2D + k 2D = 0
(7)
Donde 2 es el Laplaciano, k es el vector de onda cuya

magnitud est dada por dado por la relacin de dispersin
k2 = w2/c2, c es la velocidad de la luz y w la frecuencia de
oscilacin.
La ecuacin de Helmholtz es de enorme importancia
cientfica y tambin filosfica, pues, en principio, cualquier
funcin D que satisfaga dicha ecuacin es una distribucin
espacial posible de campo para una onda electromagntica.
Por ejemplo, la aproximacin de ondas electromagnticas
planas infinitas representan una solucin particular D1 para
la funcin D de la ecuacin de Helmholtz. Como el nombre
indica, estas ondas representan planos infinitos que viajan
en el espacio a la velocidad de la luz. Otro ejemplo son las
ondas electromagnticas esfricas, las cuales son otra solucin particular D2 para la funcin D de la ecuacin de Helmholtz. Estas ondas representan ondas esfricas que parten
63
19/12/2008 07:05:26 p.m.
de un origen y que se expanden esfrica y uniformemente

al infinito. La luz producida por una bombilla elctrica
sera una representacin experimental aproximada de estas
ondas. Un ejemplo ms son las ondas electromagnticas
cilndricas, que son otra diferente solucin particular D3
para la funcin D de la ecuacin de Helmholtz. Estas ondas
representan campos electromagnticos cilndricos que se
expanden alejndose radialmente de un eje que es donde
se originan. Estas tres diferentes soluciones a la ecuacin
de Helmholtz son las ms frecuentemente utilizadas en la
descripcin de ondas electromagnticas.
Sin embargo, el desarrollo tecnolgico de mediados
del siglo XX con la invencin del lser por Mainman
(Mainman 1961), enfrent a los cientficos a una nueva
estructura espacial para la radiacin electromgntica,
para la cual las descripciones de onda plana, esfrica o
cilndrica hasta entonces conocidas no eran adecuadas. La
bsqueda de una solucin particular D4 de la ecuacin de
Helmholtz que pudiera adecuadamente describir un rayo
lser dio como resultado las llamadas ondas gaussianas o
de Hermite-Gauss, las cuales son funciones matemticas
espaciales que son solucin de la ecuacin de Helmholtz, y
representan con mucha precisin la onda electromagntica
de un haz lser.
Por otra parte, en 1977, la pelcula de ciencia ficcin
Star Wars enfrent a los cientficos con una interesante pregunta: Las espadas lser mostradas en dicho film podran
existir en la realidad? (Esto en relacin a su apariencia
lumnica externa, no a su ficticia capacidad destructiva).
Esto es, puede haber representaciones espaciales de ondas
electromagnticas que tengan la forma de una espada, de
un haz de luz de dimensin finita? La respuesta a esta pre64
19/12/2008 07:05:27 p.m.
gunta en trminos matemticos se traduce en los siguientes

trminos: Existe una funcin matemtica espacial D5 que
es solucin de la ecuacin de Helmholtz tal que muestre
las caractersticas deseadas? Durnin (Durnin 1987) mostr
que la ecuacin de Helmholtz acepta como solucin distribuciones de radiacin electromagntica con las caractersticas deseadas. Inmediatamente en varios laboratorios
del mundo se inici el trabajo experimental para obtener
las distribuciones de radiacin electromagntica matemticamente predichas; y efectivamente fueron observadas
en el laboratorio. Estas ondas se conocen como, ondas de
Bessel no difractivas.
A partir de los ejemplos anteriores podemos ahora
preguntar: Toda solucin matemtica de la ecuacin de
Helmholtz representa una distribucin espacial de radiacin electromagntica que puede existir en el mundo real?
Cmo podramos afirmar esto? Lo que cientficamente
sabemos es que a toda distribucin espacial (hasta ahora
conocida) de radiacin electromagntica le corresponde
una solucin de la ecuacin de Helmholtz. Por lo menos
nunca se ha encontrado un contra-ejemplo. Sin embargo,
no podemos afirmar que a toda solucin posible de la
ecuacin de Helmholtz le corresponde una distribucin de
radiacin electromagntica en el mundo real. Ni siquiera
sabemos cmo podramos probar que a toda solucin
matemtica de la ecuacin de Helmholtz le corresponde
una distribucin fsica real. Siempre sera imaginable un
contraejemplo.
Por otra parte resulta sorprendente que, a pesar de
las aproximaciones involucradas en la obtencin de la
ecuaciones de Onda y de Helmholtz, las observaciones
experimentales concuerdan extraordinariamente bien con
65
19/12/2008 07:05:27 p.m.
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
19/12/2008 07:05:27 p.m.
mticos y los campos elctricos y magnticos empleados

son reales, mientras que el anti-realista afirmar que la
estructura matemtica y el modelo de campos elctrico y
magntico empleado son slo una herramienta de clculo
para predecir resultados. Para el anti-realista, cada resultado obtenido matemticamente debe ser corroborado por
la observacin experimental, mientras que para el realista,
debido a su creencia en la realidad del modelo, todo lo
que el modelo matemtico del electromagnetismo prediga
debe poder observarse en la realidad. Es decir, al obtener
un resultado terico a partir de las ecuaciones del electromagntismo, el realista a priori sostendr la existencia real
del mismo, mientras que el anti-realista actuar a posteriori
y esperar a la observacin y verificacin experimental del
resultado terico.
Para apoyar su postura, los anti-realistas afirman que
la historia de la ciencia muestra innumerables casos en que
teoras bien establecidas han sido demostradas como falsas,
as como todos los entes a que en ellas se hace referencia
y que formaban parte de la misma. Sin embargo, esto no
quita que muchas de esas teoras desechadas o rebasadas
cumplieron adecuadamente durante algunos aos la funcin de ser instrumentos aproximados para la prediccin
de observaciones experimentales. En la historia de la ptica
encontramos un slido ejemplo de lo anterior. La teora
de Newton propone que la luz esta formada por haces de
corpsculos materiales. Por otra parte la teora de Fresnel
considera a la luz como ondas transversales propagndose
en un ter. Esta teora fue reinterpretada por la teora electromagntica de Maxwell, en la que las ondas mencionadas
por Fresnel son ahora campos elctricos y magnticos
fluctuantes en el ter. Al inicio del siglo veinte la idea del
67
19/12/2008 07:05:27 p.m.
ter se elimin, dejando slo a los campos elctricos y

magnticos. Finalmente el carcter ondulatorio de la luz
fue complementado con el carcter corpuscular de la teora
cuntica y la introduccin del concepto de fotn. Es decir,
primero la luz fue caracterizada a partir de partculas; posteriormente como ondas en un medio elstico; despus como
fluctuaciones de campos; y finalmente como fotones. Cada
una de estas caracterizaciones consta de un planteamiento
matemtico particular, es correcto hablar del modelo
(en singular) de la luz? De hecho cada uno de los modelos
o teoras anteriores fue adecuado para realizar un cierto
nmero de predicciones, pero insuficiente para otras. Finalmente, aunque muchos cientficos no se preocupan por las
cuestiones filosficas, el argumento de indispensabilidad de
Quine-Putnam es aceptado por la mayora de ellos; como
hemos visto, esto es realismo en ontologa.
68
19/12/2008 07:05:27 p.m.
EPLOGO PEDAGGICO
Y CONCLUSIONES
Aunque cada curso es inevitablemente diferente, algunas

observaciones generales pueden ser de utilidad. Con frecuencia, para los alumnos de un curso, la evaluacin del
mismo es la parte ms desagradable, aunque es, sin duda,
una de las ms importantes. All se puede medir con razonable certeza el aprovechamiento y avance realizado por
los alumnos, as como valorar las virtudes o deficiencias
del programa aplicado por el docente. Por otra parte, es
un medio de valorar qu tan exitosamente las dificultades
enfrentadas por alumnos y docente fueron resueltas a satisfaccin. A lo largo de este curso se siguieron algunas de
las sugerencias del Profesor Gian-Carlo Rota (Rota, 1997),
matemtico y pedagogo del MIT, quien despus de ms de
cuarenta y seis aos de actividad docente, como resultado
de una conferencia, public su hoy famoso artculo Diez
lecciones que deseara me hubieran enseado. De all se
toman los siguientes puntos:
Al dar cada clase:
a) abordar un slo punto
b) nunca exceder el tiempo asignado para la clase
c) vincularse con el auditorio
d) siempre dejar tarea
En el uso del pizarrn:
a) antes de cada clase el pizarrn debe estar impecablemente limpio
69
19/12/2008 07:05:27 p.m.
b) Se debe escribir en el pizarrn lo que deseamos que

el alumno copie en su libreta
Todos los puntos anteriores tienen una explicacin
basada en la experiencia y prctica docente. El abordar un
slo punto en cada exposicin es fundamental para evitar
la divagacin, es responsabilidad del profesor garantizar
que el grupo mantiene su atencin enfocada al anlisis y
discusin de un slo tema por clase. Difcilmente hay algo
ms complejo para un alumno que tratar de entender un
tema, que ya en s mismo puede ser bastante abstracto,
cuando el profesor innecesariamente desva la exposicin
del tema central.
El no excederse del tiempo asignado a cada clase es una
muestra de respeto hacia el tiempo de los alumnos y ayuda
a evitar que vean al docente y al curso con antipata.
La vinculacin del profesor con el auditorio es probablemente una de las partes ms importantes y, simultneamente, ms difciles para todo docente. El profesor
debe lograr dicha vinculacin con su auditorio buscando
crear una atmsfera atrayente y estimulante. Se ha dicho,
con razn, que el reto mximo de todo pedagogo es el de
intelectualmente seducir a su auditorio y lograr que ste
se apasione tanto por el tema como el expositor mismo.
El dejar tarea despus de cada sesin es fundamental
para lograr que horas o das despus de cada clase el alumno
mentalmente regrese y re-viva la exposicin presentada
por el profesor. Se sugiere que las tareas sean en lo posible
cortas y que exijan un amplio uso de Internet.
Finalmente, el uso del pizarrn es crucial para que el
alumno visualice y estructure correctamente en s las ideas
y conceptos expuestos por el profesor, as como la correcta
vinculacin entre cada uno de estos.
70
19/12/2008 07:05:27 p.m.
La estructura lgica de cada exposicin es de enorme

importancia, as como los ejemplos dados por el profesor
para una adecuada comprensin y asimilacin, por parte
del alumno, del material expuesto. Como modelo de esto,
en varias secciones anteriores tituladas Actividades ante
grupo, as como Puntos gua para discusin y anlisis
de problemas ante el grupo, se han presentado con todo
detalle algunos ejemplos.
Parte fundamental de cada clase es la discusin dirigida
por el profesor, en la cual los alumnos deben comentar,
explicar y ejemplificar con sus palabras los temas tratados
en clase. Sin duda este es uno de los ms grandes problemas que el docente y el alumno enfrentan. El docente
debe, siguiendo el mtodo mayutico de Platn a travs
de la formulacin de las preguntas adecuadas, lograr que
el alumno vincule conceptos e ideas pertinentes en la exposicin de sus respuestas; y, por su parte, el alumno debe
adquirir la soltura en el manejo de conceptos abstractos
que slo la discusin filosfica a travs de la prctica oral
y escrita le permiten.
El mtodo de evaluacin sugerido para un curso
de esta naturaleza propone evaluar presentaciones orales
realizadas por los alumnos, as como exmenes en donde
debern redactar ensayos sobre tpicos especficos. A modo
de ejemplo, en seguida se presentan cinco fragmentos de
ensayos representativos del trabajo realizado por algunos
alumnos (se respeta la redaccin original):
Estudiante 1
En mi ensayo yo quiero analizar la siguiente paradoja: Las
esferas perfectas no se pueden tocar entre ellas.
71
19/12/2008 07:05:27 p.m.
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
19/12/2008 07:05:27 p.m.
mos decir que la realidad es descrita por la matemtica y

no que la realidad es matemtica. Algunas de las ciencias
ms exitosas, como la astronoma, la fsica y la qumica
son matemticas. Pero Qu cosa es lo que describe la
matemtica? En la primaria se nos enseo que la base de
la matemtica son los conjuntos pero yo creo que esto no
es lo que describe la matemtica, por ejemplo, las leyes de
Newton no describen conjuntos. Aunque no s lo suficiente
no creo que la mecnica cuntica o la relatividad describan
conjuntos tampoco. Yo pienso que la base de la matemtica
son las relaciones, por ejemplo las relaciones entre espacio
y tiempo o las relaciones de causalidad o de similitud o
diferencia. El problema de las relaciones es que no tienen
color u otras cualidades, son cosas abstractas mientras que
los conjuntos s pueden ser reales como el conjunto de
autos o de nmeros naturales.
Estudiante 3
A mi me intrig la pregunta Hay limites a la racionalidad
y la ciencia?
Esto debido a que en una clase de ciencias se nos
explic la imposibilidad de modelar algunos sistemas que
contienen retroalimentacin debido a que estos sistemas
son no lineales y son por lo general descritos por teora
de caos. Esto me dejo muy preocupada pues parece implicar que un experimento puede dar una gran variedad de
resultados y yo me pregunto si esto representa un punto
final y natural de la ciencia. Por otra parte esto ms bien
parece mostrar que hay lmites al conocimiento humano
y que no somos omniscientes y no que hay lmites a la
ciencia en el sentido de limites externos a lo que puede
73
19/12/2008 07:05:27 p.m.
ser descrito aplicando el mtodo cientfico. Me parece que

en este problema hay dos tipos de lmites epistemolgicos:
los que nacen debido a razones matemticas como la teora
de caos, y los que son una barrera externa que limita el
progreso de la ciencia. Yo creo que no hay pruebas de que
los lmites de la ciencia sean de esta ltima forma.
Estudiante 4
Haciendo uso de un monitor de video de color de por
ejemplo 1000x1000 pxeles se pueden fcilmente generar
todas las imgenes posibles haciendo uso de un programa
de computadora que sistemticamente vaya modificando
todas las combinaciones posibles para cada pxel en cada
iteracin. En las imgenes generadas ser posible encontrar
todas las imgenes que se podran tomar con una cmara
digital, as como todas las pginas de todos los libros imaginables escritos en todos los idiomas posibles y todas las
imgenes aleatorias posibles incluyendo todas las imgenes
fractales. Si el programa de computadora funciona un
tiempo suficientemente largo (que podra ser MUY largo)
probablemente las imgenes se repetirn. Aplicando esta
idea al universo entero, el universo debe de repetirse. El
semestre pasado vimos que Nietzsche le llam a esto el
eterno retorno. Yo creo que esta idea del eterno retorno
est equivocada, mi prueba es muy simple y se basa en
considerar un universo formado por dos engranes, uno
que da vueltas a la velocidad 2x y otro que da vueltas a
la velocidad 3x. En este caso las posiciones iniciales, sean
las que sean, nunca se repetirn debido a que no existe un
mltiplo de 2 que sea divisible por 3 o viceversa.
74
19/12/2008 07:05:27 p.m.
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
19/12/2008 07:05:27 p.m.
V.1 A modo de conclusin

La filosofa de la matemtica es un rea riqusima que se
encuentra en la interseccin de la matemtica, la ciencia y la
filosofa. A diferencia de un curso exclusivo y especializado
de filosofa, de fsica o de matemtica, la filosofa de la matemtica, de modo natural, obliga a la interdisciplinariedad
acadmica en el alumno. Esto ltimo es importante, pues
sabemos que la realidad futura acadmica, universitaria
o laboral que enfrentar el alumno exigir tambin una
actitud interdisciplinaria.
La razn por la cual la matemtica es aplicable al
mundo real, o la razn por la cual el mundo real se puede
describir a partir del lenguaje de la matemtica, no tiene
una respuesta general; y ms bien es aceptado como un
hecho del mundo. El argumento de indispensabilidad de
Quine-Putnam es normalmente aceptado por la mayora
de los cientficos y a partir de este realismo en ontologa
es como muchos cientficos aceptan y trabajan con entes
y trminos matemticos. Como aqu se ha expuesto, la
teora electromagntica proporciona un claro ejemplo de
teora matemtica que con alta precisin describe nuestras
observaciones del mundo. Es una teora cientfica que,
como toda teora emprica, requiere de una permanente
corroboracin experimental pues a priori no siempre es
posible responder a preguntas como las siguientes: Todo
lo que matemticamente puede describir la teora existe
en el mundo real? O Todo lo que existe en el mundo real
puede ser descrito por la teora? Esto confirma que toda
teora cientfica, para serlo, debe permanecer vinculada al
mundo real.
76
19/12/2008 07:05:27 p.m.
REFERENCIAS
Aboites V., Problemas filosficos en la descripcin matemtica de

la radiacin electromagntica, Colmena Universitaria, 83, pp 67,
(2005).
Aboites V. y Aboites G., Filosofa de la Matemtica, Revista Latinoamericana de Investigacin en Matemtica Educativa, 11, pp 9,
(2008)
Anglin W.S., Mahtematics: A Concise History and Philosophy, Springer,
(1994)
Aristteles, The Complete Works of Aristotle, Ed. J. Barnes, Princeton,
(1984)
Barnes J., Aristotle Metaphysics, Cambridge University Press, (1995)
Bencerraf P., What Numbers Could Not Be, Philosophical Review, 74,
pp. 47, (1965), reimpreso en; Bencerraf P. y Putnam H., Philosophy
of Mathematics, Cambridge University Press, (1983)
Bencerraf P., Mathematical Truth, Journal of Philosophy, 70, pp.272,
(1973), reimpreso en; Bencerraf P. y Putnam H., Philosophy of
Mathematics, Cambridge University Press, (1983)
Berkeley G., Principles of Human Knowledge, Oxford Worlds Classics,
(1999)
Brouwer L.E.J. Intuitionisme et formalisme, (1912), tr. Intuitionism and
Formalism, reimpreso en; Bencerraf P. y Putnam H., Philosophy of
Mathematics, Cambridge University Press, (1983)
Born M. y Wolf E., Principles of Optics, Pergamon Press, (1993)
77
19/12/2008 07:05:27 p.m.
Burges T. y Rosen G., A Subject With No Object: Strategies for Nominalistic

Interpretation of Mathematics, Oxford University Press, (1997)
Catwright N, The Dappled World, Cambridge, CUP, (1999)
Chihara C., Constructibility and Mathematical Existence, Oxford University Press, (1990)
Dummet M., The Philosophical Basis of Intuitionistic Logic, (1973),
reimpreso en; Bencerraf P. y Putnam H., Philosophy of Mathematics,
Cambridge University Press, (1983)
Durnin J. et al., Diffraction-Free Beams, Phys, Rev. Lett., Vol. 58,
pp. 1499, (1987)
Ellis B., What science aims to do, Chapter VIII, The Philosophy of Sciencie,
Ed. D. Papineau, OUP, (1999)
Eves H., Fundamental Concepts of Mathematics, Ed. Dover, (1990)
Feynman R., The Character of a Physical Law, MIT Press, (1967)
Field H., Science Without Numbers, Princeton University Press, (1980)
van Frassen B., The Scientific Image, Oxford, Clarendon Press, (1980)
Frege G., Begriffsschrift, (Halle), (1879), tr. en van Heijenoort, (1967)
Frege G. Die Grundlagen der Aritmetik (Breslau, Koebner), (1884);
The Foundations of Aritmetic, Tr. J. Austin, New York, Harper,
(1960)
Frege G., Die Grundgesetze der Arithmetik (vol.1, 1892; vol. 2, 1903),
tr. The Basic Laws of Arithmetic, University of California Press,
(1964)
George A. & Velleman D.J., Philosophies of Mathematics, Blackwell
Publishers, (2002)
78
19/12/2008 07:05:27 p.m.
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
19/12/2008 07:05:27 p.m.
Maddy P., Realism in Mathematics, Oxofrd University Press, (1990)

Mainman T.H. et al., Stimulated Optical Emission in Fluorescent
Solids II, Phys. Rev., Vol 123, pp. 1151, (1961)
Mill J.S., A System of Logic, (1843)
Mueller I., Plato, Mathematical method and philosophical truth, CUP,
(1992)
Platn, Dilogos Theethetus, La Repblica, Fedro (diversas ediciones)
Psillos, S., The Present State of the Scientific Realism Debate, The
British Journal for the Philosophy of Science, V. 51, 705-728, (2000)
Putnam, H., Realism with a Human Face, Cambridge MA, Harvard
University Press, (1990)
Putnam H., Mathematics without Foundations, Journal of Philosophy,
64, pp.5, (1967), reimpreso en: Bencerraf P. y Putnam H., Philosophy
of Mathematics, Cambridge University Press, (1983)
Putnam H., Philosophy of Logic, Harper Torchbooks, (1971)
Quine W.V.O., The Philosophy of Alfred North Whitehead, Tudor Publishing, (1941)
Quine W.V.O., Two Dogmas of Empiricism, Philosophical Review,
60, pp. 20, (1951), en From a Logical Point of View, Harvard University Press, (1980)
Quine W.V.O., Theories and Things, Harvard University Press, (1981)
Resnik M., Mathematics as a Science of Patterns, Oxford University
Press, (1997)
Russell B., The Problems of Philosophy, London, Williams and Norgate
(1912)
80
19/12/2008 07:05:27 p.m.
Shapiro S., Philosophy of Mathematics: Structure and Ontology, Oxford

University Press, (1997)
Shapiro S., Thinking about Mathematics, Oxford University Press,
(2000)
Suppe, F., The Semantic conception of Theories and Scientific Realism,
Chicago, University of Illinois Press, (1989)
81
19/12/2008 07:05:28 p.m.
19/12/2008 07:05:28 p.m.
NDICE
INTRODUCCIN
11
ANTECEDENTES HISTRICOS
15
REALISMO Y ANTI-REALISMO
I. Realismo y Anti-realismo Cientfico
25
I.1 Realismo y Anti-realismo en la Fsica
25
I.2 Realismo y Anti-realismo en la Matemtica
29
I.3 Actividades ante grupo
31
I.3.1 Realidad del mundo externo

I.3.1.1 Puntos gua para discusin y
anlisis de problemas ante el grupo
I.3.2 Interpretaciones de verdad
31
33
34
37
I.3.3 Realidad en la Matemtica
38

39
83
19/12/2008 07:05:28 p.m.
LOGICISMO, FORMALISMO E INTUICIONISMO

II. Logicismo, Formalismo e Intuicionismo
II.1 Actividades ante grupo
II.1.1 Terminologa Kantiana
II.1.1.1 Puntos gua para discusin
y anlisis de problemas ante el grupo
41
46
46
49
SITUACIN ACTUAL
III. Avances Recientes
51
III.1 La matemtica como una red

de conocimiento
51
III.2 El ficcionalismo de Field y las

expresiones abiertas de Chihara
53
III.3 Propuestas recientes
55
III.4 Actividades ante grupo
55
III.4.1 Historia y filosofas de

la matemtica
55
III.4.1.1 Puntos gua para

discusin y anlisis de
problemas ante el grupo
56
84
19/12/2008 07:05:28 p.m.
LA APLICACIN DE LA MATEMATICA AL MUNDO

IV. La aplicacin de la matemtica al mundo
59
IV.1 La descripcin matemtica de las

ondas electromagnticas
60
EPLOGO PEDAGGICO Y CONCLUSIONES
69
REFERENCIAS
77
85
19/12/2008 07:05:28 p.m.
Introduccin a la Filosofa de la Matemtica,

de Vicente Aboites,
se acab de imprimir en la ciudad de
Morelia, Mxico,
en diciembre de dos mil ocho.
El tiraje fue de quinientos ejemplares.
19/12/2008 07:05:28 p.m.

Vicente Aboites - Filosofía de Las Matemáticas

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Vicente Aboites - Filosofía de Las Matemáticas

Transféré par

Droits d'auteur :

Formats disponibles

See

Vicente Aboites - Filosofa de las matemticas

All in-text references underlined in blue are linked to publications on ResearchGate,

Available from: Vicente Aboites

Vicente Aboites - Filosofa de l1 1

19/12/2008 07:05:16 p.m.

Vicente Aboites - Filosofa de l2 2

19/12/2008 07:05:21 p.m.

Vicente Aboites - Filosofa de l3 3

19/12/2008 07:05:21 p.m.

Vicente Aboites - Filosofa de l4 4

19/12/2008 07:05:21 p.m.

Vicente Aboites - Filosofa de l5 5

19/12/2008 07:05:21 p.m.

Vicente Aboites - Filosofa de l6 6

19/12/2008 07:05:21 p.m.

I fully agree with you about the significance and

Vicente Aboites - Filosofa de l7 7

19/12/2008 07:05:22 p.m.

Vicente Aboites - Filosofa de l8 8

19/12/2008 07:05:22 p.m.

Se agradece ampliamente al Centro de Investigacin en

Vicente Aboites - Filosofa de l9 9

19/12/2008 07:05:22 p.m.

Vicente Aboites - Filosofa de l10 10

19/12/2008 07:05:22 p.m.

El presente libro est pensado para servir como gua en un

Vicente Aboites - Filosofa de l11 11

19/12/2008 07:05:22 p.m.

la Matemtica. Finalmente, en el captulo cuarto se discute

Vicente Aboites - Filosofa de l12 12

19/12/2008 07:05:22 p.m.

son posibles? Por qu es la matemtica esencial para la

Vicente Aboites - Filosofa de l13 13

19/12/2008 07:05:22 p.m.

Vicente Aboites - Filosofa de l14 14

19/12/2008 07:05:22 p.m.

The legacy of Greece to western philosophy

Desde la antigedad la matemtica ha sido considerada y

Vicente Aboites - Filosofa de l15 15

19/12/2008 07:05:22 p.m.

nmero y que sta debe ser estudiada hasta que a travs

Vicente Aboites - Filosofa de l16 16

19/12/2008 07:05:22 p.m.

sino de los pitagricos, sobre los cuales afirma que parecen

Vicente Aboites - Filosofa de l17 17

19/12/2008 07:05:22 p.m.

Vicente Aboites - Filosofa de l18 18

19/12/2008 07:05:22 p.m.

para conocer el mundo, Herclito parte del conocimiento

Vicente Aboites - Filosofa de l19 19

19/12/2008 07:05:22 p.m.

segunda versin se afirma que, despus de llegar a la mitad

Vicente Aboites - Filosofa de l20 20

19/12/2008 07:05:22 p.m.

conocer lo que existe en tanto que existe, Platn concluye

Vicente Aboites - Filosofa de l21 21

19/12/2008 07:05:22 p.m.

sea alguna de las palabras: definiciones, nmeros,

Otro importante ejemplo de la actividad matemtica

Vicente Aboites - Filosofa de l22 22

19/12/2008 07:05:22 p.m.

Si los objetos de la matemtica existen, entonces ellos deben