La Filosofa de las Matemticas

Para (Ernest, 1991, pg. 3) la filosofa de la matemtica es una rama de filosofa

cuya tarea es reflexionar sobre y dar cuenta de la naturaleza de matemticas, de
tal manera que desde este campo se generan los siguientes interrogantes tales
como: Cul es la base para el conocimiento matemtico? Cul es la
naturaleza de verdad matemtica? Qu caracteriza las verdades de
matemticas? Cul es la justificacin de su afirmacin? Por qu son las
verdades de matemticas las verdades necesarias?
El papel de la filosofa de las matemticas es proporcionar una base sistemtica
y totalmente seguro para el conocimiento matemtico, es decir de la verdad
matemtica.
A travs de los tiempos se han manejado bsicamente dos formas de concebir
los conceptos matemticos, como entes abstractos o como entes que tienen
relacin con el mundo y el entorno en que se vive. A lo largo de la historia de la
matemtica estas dos formas de ver los objetos matemticos se han analizado
y estudiado al interior de escuelas filosficas del pensamiento matemtico,
como: Platonismo, Idealismo, Racionalismo, Logicismo, Empirismo,
Constructivismo, Formalismo, y ltimamente el Enfoque Socio-Cultural
(Jimenz, 2010). Por consiguiente el primer objetivo de esta investigacin es
examinar algunas de estas posturas filosficas presentes en las creencias y
actitudes que tiene los estudiantes frente a la matemtica.
A continuacin se presenta las definiciones de cada una de las escuelas en
mencin:
Platonismo:
Platonismo: En matemtica, la consideracin de que los nmeros existen en todo
y por todo y que forman un conjunto infinito en acto, dice el Diccionario de la
lgica de (Gortari de, 2000)
En los hallazgos (Ernest, 1991, pg. 30) los Platnicos afirman
que los objetos y las estructuras de las matemticas tienen una
verdadera existencia independiente de la humanidad, y que
hacer matemticas es el proceso de descubrir sus relaciones
pre-existentes. Segn esta escuela filosfica el conocimiento
matemtico consiste en la descripcin de estos objetos y las
relaciones y estructuras que las conectan.
El platonismo entiende las matemticas como una determinada
manera de pensar sobre las cosas del mundo platnico. Las
caractersticas de este modo de pensar son, entre otras: 1) los
objetos producidos (descubiertos) en la actividad matemtica
son objetos intemporales, 2) las relaciones y propiedades de
estos objetos son verdaderas ya que pueden ser demostradas
por una prueba lgica a partir de una verdades que se captan
intuitivamente (axiomas). Desde esta perspectiva, el proceso de
produccin de los objetos matemticos y su organizacin en
teoras que tienen una evolucin histrica no se considera muy
relevante ya que, en definitiva, es un descubrimiento de objetos
y propiedades preexistentes.
Lo que realmente interesa es la demostracin de la verdad de
las proposiciones de las teoras matemticas entendida como
demostracin lgica a partir de los axiomas (Font, 2003)
Los platnicos son aquellos que consideran que las matemticas son el
descubrimiento de verdades que conciernen a estructuras que existen
independientemente de la actividad o del pensamiento de los matemticos
(Garca, 2012, pg. 261).
si la matemtica es concebida como un conjunto de ideas
independientes del mundo lo que se denomina como
platonismo matemtico segn Ruiz (1987) citado en Parra
(2004, pg. 281) - sta sera concebida desde una perspectiva
racionalista; por tanto la forma de organizar los contenidos en
las situaciones de aprendizaje seguiran una metodologa
deductivista; lo que en realidad consistira que el docente
organizara su clase de manera que el alumno descubra de
manera organizada sin contratiempos (PARRA, 2004, pg.
281)
Variantes del Platonismo son el Idealismo y el Racionalismo.
Para los racionalistas, la razn es la facultad que permite al ser
humano entender cualquier cosa, cualidad observable
especialmente en la matemtica. Para los racionalistas, en
ltimas, esta ciencia, parta de verdades auto-evidentes, los
axiomas, y a travs de raciocinios establecidos por la razn,
conseguan descubrir y llegar a conclusiones no evidentes, y a
veces inesperadas segn Ponte, (1997, pg. 16) citado por
(Jimenz, 2010, pg. 3).



Logicismo
LOGICISMO. Corriente del pensamiento lgico-matemtico que
se manifest a fines del siglo XIX y principios del XX y cuyos
representantes fundamentales son G. Frege y B. Russell y
algunos miembros del Crculo de Viena que siguen esta
corriente eI Logicismo sostiene que la matemtica es una rama
de la lgica, es decir, que todas las proposiciones de la
matemtica son susceptibles de expresarse par medio del
vocabulario y de la sintaxis de la lgica Matemtica (ORTIZ,
1995)

Logicismo: Escuela de pensamiento matemtico y filosfico
iniciado por Frege y continuado por Peano, Russel y Whitehead.
Intenta esta escuela buscar nuevos fundamentos para la
matemtica que sustituyeran los de la aritmetizacin, pues ste
no fue una fundamentacin suficiente. El objetivo del logicismo
era mostrar que la matemtica clsica era parte de la lgica
citado en (Snapper, 1984, p. 85) por (Jimenz, 2010).

El Empirismo se contrapone radicalmente al racionalismo,

Empirismo. Doctrina filosfica que sostiene que la fuente del
conocimiento es la experiencia sensorial. Esta doctrina se
contrapone radicalmente al racionalismo, que sostiene la
existencia de las ideas innatas. Sin embargo, se consideran dos
clases fundamentales de empirismo: el idealista y el
materialista. EI primero que reduce la experiencia al conjunto
de sensaciones, representaciones y niega que las ideas tengan
su origen en la materia, est representado por George Berkeley,
David Hume, Ernst Mach y Richard Avenarius (v)
fundamentalmente. EI segundo, que sostiene que el principio y
fundamento de la experiencia sensible reside en los objetos de
la naturaleza est representado por F. Bacon, John Locke y los
materialistas franceses del siglo XVIII. (ORTIZ, 1995, pg. 130)

empirismo Procedimiento fundado en la prctica. || Consideracin de que el
conocimiento se encuentra basado en la experiencia. || Doctrina filosfica que
sostiene que la nica fuente del conocimiento es la experiencia. || Negacin de
la posibilidad de obtener a priori conocimiento alguno. || Criterio de verdad segn
el cual lo definitivo es alguna relacin entre la experiencia y la verdad. || Prctica,
mtodo o metodologa que depende de la observacin directa o de la
experiencia. (Gortari de, 2000, pg. 167)

El empirismo, quienes afirmaban que el conocimiento proviene
de la observacin y de la experiencia y que como en todas las
ciencias naturales, el conocimiento matemtico es tambin
producto de las generalizaciones inductivas hechas a partir de
la experiencia y de la observacin. Con esto los empiristas
desafiaron la forma de hacer matemtica y el valor y el papel de
la razn en su constitucin. Frente a esto Kant distingue dos
tipos de conocimiento, uno a priori y otro a posteriori. El
conocimiento a priori (conocimiento matemtico) es un
conocimiento universal e intemporal, se fundamenta en la razn
y es independiente de la experiencia. El conocimiento a
posteriori o emprico es un conjunto de proposiciones
fundamentadas en la experiencia y en las observaciones del
mundo fsico (Jimenz, 2010, pg. 4).
El tipo de constructivismo que desarroll el intuicionismo es, sin embargo, muy
limitado, se restringe a buscar mecanismos o procedimientos finitistas para una
fundamentacin de las matemticas; el alcance de los mtodos y el marco
terico en el que se mueven es reducido; no se da una contextualizacin
histrica, psicolgica o social que integre la construccin (Ruiz, 2013, pg. 517).
En sntesis para el intuicionismo la matemtica es la actividad mental que
consiste en efectuar un constructo despus de otro, en un encadenamiento. Por
esto al intuicionismo tambin se le llama constructivismo (Jimenz, 2010).
Intuicionismo El intuicionismo matemtico se opone al formalismo, porque
considera que una prueba es una operacin mental y no una secuencia de
frmulas (Gortari de, 2000, pg. 268)


Para el idealismo el criterio de verdad est fundamentado en las sensaciones,
las ideas del sujeto. EI criterio de verdad es para el idealismo una actitud
subjetiva del hombre. (ORTIZ, 1995)

Para el formalista estricto hacer matemtica es manipular los smbolos sin
sentido de un lenguaje de primer orden, segn reglas sintcticas explcitas. As
el formalista no trabaja con entidades abstractas, como series infinitas o nmeros
cardinales, sino solamente con sus nombres sin sentido que son las expresiones
de un lenguaje de primer orden segn( Snapper, 1984, pg. 93) citado por
(Jimenz, 2010).
Formalismo: consideracin de que las proposiciones de una ciencia, no
solamente las matemticas, son puramente formales y se basan nicamente en
convenciones o sobre definiciones de smbolos (Gortari de, 2000).

Figura_____ :intuicionismo formalismo (SNAPPER, 1979, pg. 213)



Figura_____ :intuicionismo formalismo (SNAPPER, 1979, pg. 209)

Relativismo:
(Ernest, 1991, pg. 62)
As el conocimiento matemtico es conocimiento relativista en lo referente a que
su objetividad se basa en acuerdo social.
Las matemticas a travs del lenguaje deben proporcionar una descripcin
viable de aspectos de la realidad emprica y social.




constructivismo social

Segn Ernest la posicin constructivista social afirma que no tenemos acceso
directo al mundo 1 y que stos son accesibles solo a travs de los mundos 1 y
2; el conocimiento de los objetos matemticos y fsicos estaran en el mismo
plano segn esta posicin (Ernest, 1991, pg. 82)
Para Ernest, al igual que para todos los constructivistas, el sujeto edifica sus
teoras con base en su experiencia y luego stas se ajustan al ser sometidas a
nuevas experiencias con el mundo y la sociedad. El conocimiento subjetivo es
entonces objetivizado cuando es sometido a las reglas y condiciones que
establece la comunidad matemtica: lo que da objetividad a los conceptos de las
matemticas es el acuerdo con estas reglas; la sociedad da la objetividad. La
prctica matemtica descansa en ese ir y venir entre el conocimiento subjetivo y
el objetivo, definido por ese sostn sociogremial; no obstante, en las
matemticas, el otro criterio adicional -por su naturaleza, inteligimos nosotros- es
la consistencia lgica de los resultados (Idem, pg. 83).