ENSAYO

ENFOQUE FILOSOFICO DE LAS MATEMATICAS DE JOHN STUART MILL

PRESENTADO POR:
RUBIEL MATEO SANCHEZ JURADO
ESTUDIANTE MAESTRIA EN DIDACTICA DE LAS MATEMATICAS

PRESENTADO A:
PHD. GERMAN JOS SERRANO LPEZ

FACULTAD DE CIENCIAS EXCTAS Y NATURALES

MAESTRIA EN DIDACTICA DE LAS MATEMATICAS
UNIVERSIDAD DE CALDAS
MANIZALES
JUNIO 22 DE 2015

Desde los inicios de la filosofa y la epistemologa de las matemticas se han

encontrado varias teoras o postulados como el pensamiento humano accede o
procesa el mismo.
En los inicios de las escuelas del pensamiento en la antigua Grecia podemos
tomar a Planto quien postulaba que el pensamiento se encontraba en el mundo
de las ideas. Que fue revalidado por su discpulo Aristteles quien estableci
que el conocimiento matemtico y lgico se sustenta en el conocimiento
abstracto o a priori. Que si no es explicado desde la filosofa no tiene
explicacin natural.
Llegamos al momento crucial y mas fructfero de la humanidad la ilustracin en
este periodo histrico de las ciencias concretamente estamos hablando de las
matemticas y la lgica nos encontramos con Emmanuel Kant quien abri el
estudio de estas ciencias con su postulado del conocimiento sinttico a priori.
En sus explicaciones epistemolgicas del conocimiento encontramos dos
variantes la primera establece que el conocimiento matemtico se desarrolla
analticamente; y la segunda que el conocimiento matemtico es emprico y es a
posteriori.
Para Kant el conocimiento es emprico y esta ligado a las percepciones que llegan
al cerebro a travs de los sentidos. Para el esta teora cobraba toda validez
porque poda explicar muchos fenmenos de las ciencias naturales, las
matemticas y la lgica que para otros filsofos de su poca no tenan ninguna
explicacin solo basados en los conocimientos abstractos de la escuela
Aristotlica y los teoremas de Euclides. Pero no tenia en cuenta que el
pensamiento humano es cambiante y fluctuante que para el. Era necesario que la
filosofa pudiera explicar a travs de las leyes lgicas o la razn de acuerdo a la
influencia filosfica de Ren Descartes. Estas ideas o postulados eran suficientes
en esta poca para ellos y de acuerdo a la epistemologa de las matemticas y la
lgica y no haba que hondar ms el conocimiento bastaba con los postulados de
Euclides y la geometra analtica de descartes. Para Kant el conocimiento
matemtico era a priori y no tenia cuestionamientos, no se puede decir que las
matemticas tienen que pasar por la experimentacin o son objeto de
confrontacin sus axiomas. En este punto de la teora de Kant sobre el
conocimiento sinttico a priori que no esta sujeto al ejercicio de anlisis de sus
postulados y sus implicaciones en el desarrollo del conocimiento de las
matemticas que no pueden estar limitadas a meros actos de percepcin de los
sentidos. Estaramos pensando hoy en da que la concepcin de contar estara
sujeta y su limite esta en los nmeros naturales. Esto explicando la aritmtica, en

el caso de la geometra basta con entender los cinco postulados de Euclides y los
aportes de descartes con su geometra analtica que explicaba las leyes de la
naturaleza y las leyes fsicas. Pero deja el pensamiento matemtico en un
conocimiento meramente deductivo. Expresadas en ecuaciones algebraicas. Estos
hechos fueron los que tuvo en cuenta Kant para sostener su corriente filosfica.
Ahora tomamos a John Stuart Mill un emprico radical que toma los
planteamientos filosficos de Kant y otros filsofos que defendan la postura del
conocimiento sinttico a priori o analtico. El toma la defensa que el conocimiento
epistemolgico de las matemticas y la lgica es emprico basado en la
experimentacin y que el ser humano desarrolla el pensamiento matemtico a
travs de la psicologa cognitiva. Creo que el debi de haber tomado en este punto
de su nueva propuesta filosfica a descartes con el modelo hipottico. Modelo
influyente que da una lectura contextualizada de las matemticas del presente
siglo XXI. Hasta este punto todos los filsofos hacan pasar por las pruebas de la
verdad absoluta de la lgica todos los desarrollos o pensamientos epistemolgicos
matemticos para ser aceptados o como lo plantea Kant tiene presuncin de
ciencia emprica. Escuela filosfica que le viene muy bien a algunos matemticos
o en nuestro caso concreto como docentes de matemticas que solo se quedan
en la formulacin y demostracin de ecuaciones algebraicas sin necesidad de
recurrir a la aplicacin o transferencia de esos mismos conocimientos a otras
ciencias naturales o sociales. Estableciendo en su quehacer pedaggico la
rutinaccin del pensamiento matemtico que para la poca de Kant y muchos de
sus seguidores fue buena y respondi a las necesidades del conocimiento de la
poca que segn Philip Kitcher siguen la visin trascendentalista de las
matemticas ya que la filosofa trasciende las ciencias naturales. Esta posicin
filosfica se queda solo en lo emprico que se puede demostrar a partir de la
experiencia y deja de lado que las matemticas tambin son racionalistas. Si el
conocimiento y nuestra mente fueran simples cajas de Hipatia que tienen un lmite
nos quedaramos solo en entender los elementos de Euclides para explicar la
geometra, la aritmtica utilizando el hueso Ishango. Entonces donde quedaran
los aportes de Pitgoras de Samos con su teorema y la trigonometra son
ejemplos que las matemticas son racionales y atemporales porque sus objetos
de enseanza no tienen limites y que solo sirven en un periodo de la historia del
hombre este legado de Pitgoras que estableci en el siglo V A.C hoy lo utilizamos
en computacin y la tecnologa.
Tomando aqu la epistemologa de Mill que aseguraba que las leyes de la
matemtica y la lgica pueden ser explicadas por la induccin enumerativa y la
influencia de la observacin a travs de las generalizaciones de lo que se observa;
as podemos conocer el objeto matemtico que para Mill son proposiciones

matemticas que agrupan y resumen la experiencia. Para Mill no existen objetos

abstractos y busca fundar la geometra en la observacin. Un gran aliado para
comprobar esta teora es el modelo hipottico de Rene Descartes con su
geometra cartesiana y el uso del algebra. Porque los objetos estudiados en la
geometra no se comportan como los observamos en el mundo fsico; Mill
aseguraba que los objetos geomtricos son aproximaciones de las figuras
dibujadas. La geometra es entendida como idealizaciones de las posibilidades de
construccin de la figura real. Tomando la geometra euclidiana ya que las figuras
geomtricas son aproximaciones a las figuras dibujadas y representan objetos
naturales, entonces las proposiciones geomtricas son verdaderas (por inferencia
lgica) a la extensin que las figuras y los objetos reales se aproximan las
idealizaciones.
Tal vez el con sus generarilizaciones toma la geometra para plantear experiencias
hipotticas mejoradas y que suceden no solo en el mundo macroscpico que
perciben nuestros sentidos sino que tambin se debe cumplir para el mundo
microscpico o de la constitucin de la materia como el mismo toma de referencia
el dimetro de un tomo de hidrogeno, y unidades sub atmicas para explicar los
postulados de Euclides. Yo tomo aqu la interpretacin de Mill como la posibilidad
matemtica de explicar los axiomas geomtricos en trminos de poder
comprender el comportamiento de los tomos. La geometra molecular que va
ms halla de las explicaciones de Euclides propuestas solo para comprender el
mundo en dos dimensiones; Mill plantea en su axioma geomtrico que existe la
posibilidad de encontrar objetos matemticos en n- dimensiones. Ellas han sido
confirmadas por la experiencia a largo plazo.
Ahora analizando la aritmtica para Mill los nmeros naturales son nmeros de
objetos ordinarios; todos los nmeros deben ser nmeros de algo, las
proposiciones que el hace tienen que ver con los nmeros, tienen la peculiaridad
que son preposiciones que tienen que ver con todas las cosas o todos los objetos,
todas las existencias conocidas por nuestra experiencia. Para Mill la suma es real
entonces deben ser finalmente conocidas por induccin enumerativa de
generalizacin o experiencia. Esta teora si queda endeble porque el involucra la
presuncin que los objetos reales existen mientras impresionen nuestros sentidos.
Entonces para el no existen los nmeros enteros positivos y negativos, los
irracionales porque estos no impresionan nuestros sentidos; como establece su
critica Frege cuando cuestiona la idea de Mill de que los nmeros son agregados
fsicos; entonces el con esta hiptesis se contradice con respecto a sus
generalizaciones hipotticas mejoradas de la geometra; estoy por darle crdito
que el debi de tener un anlisis filosfico y epistemolgico mas profundo en
mente. Mill sostiene que cada numero representa conjuntos del tamao del

numero de objetos que lo conforman esto implica que hay o podra haber
infinitamente muchos objetos.
Debemos de analizar rigorosamente la visin de Mill en la que el se aleja
considerablemente de la visin recibida de las matemticas como que son ciertas
y necesarias. Para Mill muchas proposiciones matemticas no son verdaderas del
todo ni son verdades libres de dudas o sujetas solo a al conocimiento a priori
(experiencia). Porque muchos filsofos consideraban las matemticas como algo
independiente de la evidencia de la experiencia y la observacin, y como sistemas
de verdad necesarias. Mill sostena que la aritmtica apareca como un
conocimiento necesario a priori porque los axiomas y las definiciones son
conocidas por nosotros como una experiencia temprana y constante. El en este
apartado esta de acuerdo con los kantianos que la fuente de confianza de los
axiomas de la aritmtica y la geometra se encuentran en los lmites de lo que
podemos percibir. El insiste en que la confiabilidad de la intuicin nos ayuda a la
percepcin del conocimiento geomtrico que es real, y que las propiedades de la
aritmtica para comprenderlos o conocerlos es una cuestin emprica que
descubrimos por la experiencia y su intuicin perceptual es confiable.
Desde las bases epistemolgicas de la induccin enumerativa, Mill lleva muy lejos
su empirismo, pero se queda muy corto y limitado en su visin filosfica de la
geometra euclidiana y de la aritmtica que no ofrecen ningn recurso de
pensamiento mas profundo y que implique trasferencia del mismo a otras ciencias
superiores y mxime a su poca donde toma gran importancia las matemticas
superiores.
En este punto para validar su hiptesis o su postulado Mill debi de apoyarse en la
epistemologa gentica es una teora desarrollada por Jean Piaget el
conocimiento se produce gracias a la interaccin del individuo con su medio, de
acuerdo con las estructuras que forman parte del individuo. Aqu Piaget recoge las
dos corrientes la apriorstica y la empirista. Esta unin de la epistemologa de la
induccin enumerativa y la epistemologa gentica de Piaget son para mi dos
bases o pilares fundamentales para comprender el desarrollo evolutivo de las
matemticas superiores al da de hoy, a partir de este conocimiento
epistemolgico de las matemticas podemos construir la didctica de la
matemtica que necesitamos para nuestras experiencia de aula, en la cual
nuestros estudiantes desarrollan un conocimiento en profundidad y al mismo
tiempo hacen trasferencia de esos conocimientos a su proyecto personal.
Permitiendo desde nuestras practicas didcticas y pedaggicas mostrarles el
abanic de posibilidades de aplicacin que hoy en da tienen las matemticas.
Que han permitido y seguirn aportando al desarrollo de las ciencias y surgimiento
de otras nuevas. Esta es la critica que le podemos hacer a Mill que su propuesta

filosfica de la epistemologa de la induccin enumerativa es totalmente empirica y

limita los conocimientos matemticos solo como un proceso a priori y lo que el
propona como critica a los kantianos termina dndoles la razn en el
conocimiento de la geometra y la aritmtica.
Ya en el conocimiento matemtico como tal que es el que nos interesa y el cual es
el lenguaje que debemos de mostrarles a nuestros educandos a partir de las
matemticas superiores, debemos de acoger las contribuciones del empirismo de
Mill que muchos filsofos aceptan y defienden acerca de la visin de que la lgica
y las matemticas contienen proposiciones que no son abstractas esta es la
verdadera ontogenia del pensamiento matemtico. Que el empirista demuestre
como esta fundamentada en la experiencia. El aspecto radical del empirismo de
Mill su visin de que la lgica y las matemticas contienen proposiciones sintticas
o reales y que estas proposiciones son conocidas a posteriori, ayudadas por el
empirismo. El conjunto de Millianos que deseen o deseemos defender su posicin
debemos recurrir a suministrarle aportes de otros cientficos de la poca y a los
actuales que demuestran que la induccin enumerativa y las generalizaciones
desde la experiencia son la base para el desarrollo de la induccin matemtica
que es confirmada por la experiencia matemtica temprana y constante.
Para la comprobacin del principio de la induccin matemtica como tema central
de la aritmtica axiomtica partiendo del principio de Arqumedes como un ejemplo
claro que este principio es basado en la experiencia temprana y constante.
Estamos hablando que Arqumedes estableci su principio en el siglo III A.C y que
hoy en da todava se aplica es una clara demostracin que el conocimiento
matemtico es a posteriori y que se producen transferencias con otras ciencias y
permiten el surgimiento de otras como la navegacin. Ciencias de la computacin,
a partir del postulado de los infinitesimales se abri el camino de las matemticas
superiores con el clculo diferencial e integral. Que catapultaron el conocimiento
matemtico y los siguen extendiendo. En este apartado si le cedo la razn a
Kitcher como es posible que Mill no hubiese tenido en cuenta la importancia que
haban alcanzado las matemticas superiores a las ciencias de la poca y que en
nuestros das son una gran autopista de oportunidades de ampliar los
conocimientos matemticos y en nuestro caso de establecer nuevos mtodos
didcticos para el aprendizaje de las matemticas. Y que sirven de insumos para
validar su teora o axioma del conocimiento matemtico que es epistemolgico
enumerativo a posteriori. Tomemos solo unos pocos matemticos de la actualidad
que le hubieran aportado a validar su teora filosfica. Isaac Newton y Wilhelm
Leibniz, quienes son considerados los padres del clculo, con esta nueva rama de

las matemticas se desarrollo mas en las teoras fsicas, surgen la estadstica, las
matemticas financieras, se pueden explicar y predecir el comportamiento de los
mercados econmicos a nivel de las bolsas de valores del mundo. As puedo
saber en este instante que mi nivel adquisitivo es ptimo o que estrategia laboral o
econmica me permitir acceder a mas flujo de capital para comprarme mi primer
Ferrari. Tambin poder inferir que mi computador esta muy lejos de permitirme
disfrutar de los ltimos avances informticos y computacionales. Alan turing con
su test de turing es considerado el padre de la computacin. El uso de las
regresiones lineales y las series de tiempo que me permiten predecir el
comportamiento de un determinado producto en el mercado.
Tambin le podemos aadir a la epistemologa de la induccin enumerativa a
posteriori de Mill, su postulado filosfico hoy se sostiene y aun mejor; permitiendo
que la empresa matemtica tenga mucho que hacer y que su conocimiento
matemtico es supremamente vigente. Bernhard Riemann con la hiptesis que
lleva su mismo nombre nos tiene la tarea vigente de explicar la distribucin de los
nmeros primos. Andrew Wiles Aunque sus contribuciones no son tan grandes
como otros, aport a la matemtica moderna probando su teorema. El ltimo
Teorema de Fermat que prob Wiles dice que ningn positivo entero puede
satisfacer la frmula a^n+b^n=c^n siendo n ms grande que 2.
Leonhard Euler sin lugar a equivocarnos es el ms grande de los matemticos de
la historia. Por introducir la notacin matemtica y el concepto de funcin. Adems
resolvi el problema de los Siete Puentes de Koenigsberg. Durante su vida prob
varios teoremas y desarroll el clculo, la topologa y la teora de los nmeros.
Y si queremos demostrar a la luz de la propuesta de Mill que el conocimiento
matemtico es una grandiosa oportunidad de evidenciar que el desarrollo
didctico de esta es a posteriori que no es un conocimiento rgido, que los
maestros y los estudiantes de ella no estn atrapados en la caja de hipatia.
Que podemos seducir y cautivar didcticamente a nuestros estudiantes
demostrndoles que aprender los objetos matemticos son simples juegos
como los que el esta ya habitado a travs del ordenado del computador, de
su celular o su consola de juegos. Aqu podemos ilustrar esta idea
recurriendo a la sucesin de fibonacci. La sucesin de Fibonacci. Leonardo
Pisano Blgollo en el ao 1170 al 1250. El introdujo la numeracin arbiga a
occidente, si podemos evaluar el conocimiento matemtico que el estudiante
esta adquiriendo con esta sucesin de fibonacci y que termina La sucesin
de Fibonacci es la sucesin de nmeros: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34,... Cada
nmero se calcula sumando los dos anteriores a el.

La sucesin de Fibonacci es la sucesin de nmeros: 0, 1, 1, 2, 3, 5, 8, 13, 21,

34,... Cada nmero se calcula sumando los dos anteriores a el.
Por atraparlo mostrndole que aprender las matemticas termina siendo un juego.
Entonces porque nos vamos a quedar como Mill solo en los aspectos geomtricos,
aritmticos y algebraicos. Que en si sus objetos matemticos no presentan
ninguna emergencia epistemolgica y didctica de las mismas. Aqu si hacemos
una enorme salvedad con el algebra porque tendramos que analizar con mucho
detenimiento los aportes de Carl Friedrich Gauss el mtodo de los mnimos
cuadrados que es utilizada hoy da como la base computacional de modernas
herramientas de estimacin astronmica. Gauss desarroll numerosas
herramientas para el tratamiento de los datos observacionales y experimentales,
entre las cuales destaca la curva de distribucin de errores que lleva su nombre,
conocida tambin con el apelativo de distribucin normal estndar o campana de
Gauss y que constituye uno de los pilares de la estadstica. Por eso es
considerado como el prncipe de las matemtica y yo lo considero el padre de la
estadstica. La Curva normal es hoy en da una excelente herramienta de las
matemticas empresariales y organizacionales para describir situaciones donde
podemos recopilar datos. Esto nos permite tomar decisiones que vayan a la par
con las metas y objetivos de la organizacin. Donde se ensea sobre la
determinacin de probabilidades y sus aplicaciones.
Conclusin:
En este documento pensar en las matemticas la filosofa de las matemticas de
Stewart Shapiro es una gran obra que el autor nos permite realizar un viaje de los
orgenes filosficos de las matemticas desde las posturas filosficas de platn,
Aristteles, Euclides, Arqumedes sus aportes al conocimiento matemtico,
tambin hacer el paralelo histrico de la evolucin misma de los procesos de
pensamiento que el hombre a usado para sus propios avances. Desde el
pensamiento a priori, luego pasar a la ilustracin, mediados de la edad media con
la escuela de pensamiento filosfico de Kant del pensamiento sinttico a priori.
Que desafortunadamente muchos docentes de matemticas continan utilizando
en sus practicas de aula. Estimulando sutilmente la memoria.
Mill es un filsofo que establece un puente o salto en la epistemologa de las
matemticas con la epistemologa de la induccin por enumeracin basado en las
premisas que las leyes matemticas y de la lgica son generalizaciones de
proposiciones reales necesariamente validadas por la experiencia. Que son la
base del empirismo radical. Podemos adicionarle a esta propuesta epistemolgica
la base del conocimiento matemtico y didctico del mismo con la epistemologa
gentica de Piaget. a partir de la sntesis de dos teoras previas: el a priorismo y el

empirismo. Para Piaget, el conocimiento se produce gracias a la interaccin del

individuo con su medio, de acuerdo con las estructuras que forman parte del
individuo. Porque el conocimiento matemtico no es un paradigma al contrario las
matemticas que se estn desarrollando en este momento son abiertas, permean
todo el conocimiento cientfico, todas las ciencias y por si fuera poco esta
gestando nuevas ciencias a partir de sus objetos de conocimiento.
El estadounidense Thomas Samuel Kuhn (1922-1996), fsico y filsofo de la
ciencia, en su libro "La estructura de las revoluciones cientficas" defini
paradigma como los "logros cientficos que generan modelos que, durante un
perodo ms o menos largo, y de modo ms o menos explcito, orientan el
desarrollo posterior de las investigaciones exclusivamente en la bsqueda de
soluciones para los problemas planteados por estas". En nuestro caso concreto
las matemticas. Hoy los objetos matemticos que son emergencias del
conocimiento de las generaciones actuales que apoyan y comprueban el
empirismo radical de Mill estn en estas dos corrientes cientficas:
La teora de cuerdas rompe con esta idea. Presupone que las partes ms
pequeas son filamentos de energa. Una especie de cuerdas que vibran. Cada
tipo de vibracin produce un tipo u otro de partcula, con cualidades distintas. Igual
que las vibraciones de las cuerdas de un violn producen distintas notas. Las
cuerdas seran muchsimo ms pequeas que un quark, por eso no podemos
verlas. Aunque s pueden deducirse matemticamente.
John Nash matemtico y Premio Nobel de Economa 1994 que para muchos
ser recordado por haber inspirado la pelcula "Una mente brillante". Nash
revolucion as la toma de decisiones en Economa y sobre todo la Teora de los
Juegos: el rea de la matemtica que a partir del uso de modelos estudia las
tomas de decisiones y las interacciones en lo que se conoce como estructuras
formalizadas de incentivos, lo juegos.
La teora de colas es el estudio matemtico del comportamiento de lneas de
espera. Esta se presenta, cuando los clientes llegan a un lugar demandando un
servicio a un servidor, el cual tiene una cierta capacidad de atencin. Si el
servidor no est disponible inmediatamente y el cliente decide esperar, entonces
se forma la lnea de espera.
La matemtica no es la ciencia ms popular pero sin dudas ayuda a comprender
cuestiones fundamentales de la vida. Estos matemticos han hecho
descubrimientos que ayudan a la concrecin de nuevas tecnologas y maquinarias
que facilitan nuestra vida.

BIBLIOGRAFIA
WEBGRAFIA

http://www.significados.com/epistemologia/
http://www.biografiasyvidas.com/biografia/h/hipatia.htm
http://www.definicionabc.com/ciencia/aritmetica.php
http://curiosidades.batanga.com/5200/los-10-matematicos-mas-grandes-de-lahistoria
http://www.profesorenlinea.cl/fisica/ArquimedesPrincipio.htm
http://definicion.de/navegacion/
http://www.disfrutalasmatematicas.com/numeros/fibonacci-sucesion.html
http://www.biografiasyvidas.com/biografia/g/gauss.htm
http://www.significados.com/paradigma/
http://www.astromia.com/astronomia/teoriacuerdas.htm
http://www.bbc.com/mundo/noticias/2015/02/150220_teoria_de_juegos_que_es_fi
nde_dv
www.ingenieria.unam.mx/javica1/ingsistemas2/Simulacion/ COLAS.doc