Professional Documents
Culture Documents
hacer humano
Resumen:
En este artculo se desarrolla una reflexin sobre todo filosfica acerca de la naturaleza
de las Matemticas, se analizan algunas de las influencias por las que las diferentes
concepciones constructoras de la filosofa se veran beneficiada y dosificada por el
aporte matemtico. Tambin veremos la naturaleza de las ciencias exactas y, en
particular, la de las entidades matemticas que la conforman, que consistan
primordialmente, hasta principios del siglo XX, en nmeros de diversas clase, figuras
geomtricas, conjuntos y funciones, ha sido explicada, desde distintas posiciones
filosficas adscritas a alguno de los principales sistemas filosficos, como: los de
Aristteles, Leibniz, fundamentalmente, por el logicismo de Frege-Russell, el
intuicionismo de Brouwer, las teoras de Kurt Gdel.
Palabras clave: matemtica, filosofa, lgica, axioma, epistemologa.
Abstract
This article reflects mainly develops philosophical about the nature of mathematics and
discusses some of the influences that different conceptions building philosophy would
benefit and dosed by mathematical contribution. We will also see the nature of the exact
sciences and in particular of mathematical entities that form, consisting primarily to the
early twentieth century, various class numbers, shapes, sets and functions, has been
explained, from different philosophical positions assigned to any of the major
philosophical systems, such as those of Aristotle, Leibniz, mainly by the Frege-Russell
logicism, intuitionism of Brouwer, theories of Kurt Gdel.
Keywords: mathematics, philosophy, logic, axiom, epistemology.
Introduccin:
Este es un ensayo de filosofa, y como tal no es posible eliminar el papel de la opinin
subjetiva y personal. Y aqu voy a hacer una disgresin. Existe en nuestro tiempo cierta
mana a pensar que la filosofa puede sufrir los tratamientos demostrativos que se
afirma se dan con la lgica y la ciencia en general. Y es que la opinin -por ms
fundamentada que est- nunca deja de ser opinin. Y no por eso deja de ser valiosa. La
filosofa, la interpretacin epistemolgica y ontolgica nunca pueden estar liberadas de
la opinin, del mundo subjetivo y la visin personal que el pensador le confiere. Y -ms
que eso- cuantas veces la opinin y la idea no demostrada constituyen precisamente el
elemento ms valioso en el avance cognitivo y en el decurso ascendente de la
creatividad intelectual. Cuntas veces es la interpretacin subjetiva y, a veces, extraa e
intuitiva, la que ha abierto los derroteros al conocimiento positivo. Esto me recuerda
una discusin reciente en el V Congreso Centroamericano de Filosofa en donde un par
de filsofos jvenes trataban de descubrir un criterio para decidir en torno a la
conveniencia de dos teoras cientficas. La idea esencial que se afirmaba era que la
mejor teora sera la que explicase por lo menos lo mismo que la otra pero tuviera
menos carga metafsica. Desde el punto de vista lgico, el criterio sonaba muy bien,
pero la realidad siempre trasciende la lgica. El caso comn en el conocimiento es ms
difcil, no es el mencionado sino otro: la existencia de teoras con ms carga
metafsica pero mayor rango explicativo.
Nadie podra afirmar lo que yo he afirmado desde las tiendas de la filosofa tradicional
neopositivista, nica lnea precisa en m parecer, o racionalista (y dentro del abanico de
posiciones intermedias que aparecen entre ellas). La interpretacin que he delineado se
aparta de las visiones tradicionales y busca una conceptualizacin diferente de la
naturaleza de las matemticas. Busca impulsar un programa de investigacin en la
historia y la filosofa de las matemticas. A manera de sistematizacin de una serie de
ideas -y por supuesto de manera esquemtica- me voy a permitir indicar una coleccin
de ideas metodolgicas acerca de una nueva visin posible sobre las matemticas. Si
usted, estimado master, encuentra que comparte -total o parcialmente- algunas de las
ideas que aparecen a continuacin, sintase preocupado, porque si luego se atreve a
decirlo en voz alta puede que no tarde en encontrar quien califique sus ideas de
locura, loquera, disparate, etc. Esta es una segunda advertencia. La teora de la
Lgica y la teora del lenguaje resultan, as, ntimamente relacionadas. Un intento
afortunado de expresar las proposiciones lgicas por medio de smbolos cuyas leyes
combinatorias podran basarse en las leyes de los procesos mentales que representan
sera un paso en el camino hacia un lenguaje filosfico. (BOOLE; George; 1960.pag13).
Este artculo est estructurado con orden de criterios lgicos, lo que pretendo es
codificar los criterios filosficos con formas matemticas (y derivados), mi anhelo
hubiera sido formular a la filosofa pero es un trabajo que no se pudo concretar dado
el corto tiempo, esperamos poder ampliarlo en un futuro cercano.
Para comenzar, quiero mencionar la relacin entre los resultados de Kurt Gdel y una
crisis del racionalismo, en el que hemos encontrado que los filsofos buscan siempre
es
posible
de
manera
particular
ocasional.
Es
decir,
creo
que
saber que puede ofrecer un conocimiento fiable del mundo. Ah est la fsica, por
ejemplo, para entender y explicar racionalmente la naturaleza. Pero la fsica misma se
apoya en las matemticas. Pero, y las matemticas, en qu se apoyan? En axiomas, es
decir, en principios indemostrables que adoptamos como verdaderos; y a partir de ellos
podemos deducir otras verdades. Pero, entonces, qu tiene finalmente de racional la
matemtica si necesita postulados que no somete a la demostracin lgica? De esta
forma Russell haba dado con el problema fundamental del conocimiento racional, a
saber: el problema de su propia fundamentacin. En la esperanza de hallar ese
fundamento, se ha descubierto que las matemticas caen muchas veces en
demostraciones circulares, porque en sus definiciones incluyen lo definido; por ejemplo,
el concepto de infinitesimal podra definirse como lo infinitamente pequeo, pero esta
definicin incluye de suyo el concepto a definir, infinito, luego se convierte en una
definicin circular, pues define el trmino usndolo en la definicin. Russell quera
acabar con estas vaguedades y contradicciones propias de las matemticas. Russell
quera regimentar las matemticas hasta encontrar en ellas el fundamento de la verdad.
Crea que las matemticas le llevaran hasta la verdad, hasta el fundamento de la verdad,
pero, desgraciadamente, las matemticas no eran del todo lgicas: contenan
afirmaciones no demostradas y definiciones circulares; adems, las matemticas que
Russell estudia en la universidad no tenan lo que finalmente buscaba: la naturaleza de
la verdad. La lgica, como la geometra, se basa en verdades axiomticas y sus teoremas
se construyen teniendo en cuenta esa doctrina general de los smbolos que constituye la
base del Anlisis hoy aceptado. (Ruiz; ngel 1990. Pag31). Las matemticas no se
preguntan por la naturaleza de la verdad matemtica; simplemente la dan por
establecida. Entonces, qu saber se pregunta por la naturaleza de la verdad, de la
verdad matemtica o de cualquier otro tipo? Sin duda la filosofa.. Por ejemplo, para
unos, los platnicos, las ideas son cosas reales, para otros, los aristotlicos, simplemente
contenidos mentales; para unos, los cartesianos, existen ideas innatas, para otros, los
empiristas, en absoluto. Y no dentro de la misma escuela los filsofos se muestran de
acuerdo en todo. Por ejemplo, en el racionalismo, para Descartes, mente y materia son
cosas distintas e incluso opuestas; en cambio, Spinoza niega tal dualismo. Se encuentra
en la matemtica cierta irracionalidad, pero al menos contamos con algunos principios
slidos, como el de no-contradiccin. La matemtica contaba con un Euclides, por
ejemplo, quien a partir de axiomas demostraba los principios bsicos de la geometra y
de todas las ciencias. Lgica, lgica, es la clave para unas buenas matemticas.
de constante variables (Gracin E. 2011). No se trata pues de que todo smbolo o toda
combinacin de smbolos de la matemtica pueda ponerse en directa ecuacin con una
expresiones puede traducirse en contexto, es decir, que todos los enunciados que
contienen esa expresin pueden traducirse sistemticamente en otros enunciados que
carecen de la expresin en cuestin y no contienen ms expresiones nuevas que las de la
lgica. Estos nuevos enunciados sern traducciones de los orinales en el sentido de que
coincidirn con ellos en cuanto a verdad o falsedad
de
todos los signos matemticos, se sigue que todo enunciado que no conste ms que de
notacin lgica. En particular pues, todos los principios de la lgica matemtica se
reducen a principios de la lgica o, por lo menos, a principios para cuya formulacin no
es necesario recurrir a vocabulario extra lgico.
Tal descripcin del proceso interno que precede a la realizacin de un juicio numrico,
aun cuando pudiera ser justa, jams podra sustituir una genuina determinacin del
concepto. De esta suerte, el nmero es tan escasamente un objeto de la psicologa o un
producto de los procesos psquicos, como podra serlo, por caso, el Mar del Norte (Ruiz;
ngel; 1990.pag 40). En los Principia, Whitehead y Russell ofrecen las construcciones
de las nociones esenciales de la teora de conjuntos, de la aritmtica, el lgebra y el
anlisis partiendo de las nociones de la lgica. Con ello suministran tambin la
geometra, analtica. La teora de las algebras abstractas puede obtenerse de la lgica de
relaciones desarrollada en los Principia. Los desarrollos conceptuales de Boole y otros
en la matematizacin de la lgica y en el apuntalamiento de lo axiomtico y operatorio,
constituyen una fuente muy importante para la elaboracin de un proyecto especfico de
fundamentacin de las matemticas por la lgica. Es evidente que sin la existencia de
Frege o Russell no es posible pensar que la idea logicista se habra planteado
determinada por un desarrollo cuasi-mecnico de la historia del pensamiento.
CONCLUSIN
Las leyes de la matemtica y de la lgica no son dependientes justamente de la accin
del pensar individual, o de los contenidos particulares del pensar individual, o de los
contenidos particulares del pensar. Los nmeros no se dicen de las cosas, sino de los
conceptos. Si decimos que la tierra tiene un satlite, o que nuestro sistema solar tiene
nueve planetas, o que no hay habitantes en Marte, estamos diciendo algo de conceptos:
que bajo el concepto satlite de la tierra cae un individuo, bajo el concepto planeta de
nuestro sistema planetario caen nueve individuos y bajo el concepto habitante de
Marte no cae ningn individuo. (Ruiz; ngel; 1990.pag 41). La validez de los
procedimientos de anlisis no depende de la interpretacin de los smbolos utilizados,
sino exclusivamente de las leyes de su combinacin Todos los sistemas de
interpretacin que no afectan la verdad de las relaciones supuestas son igualmente
admisibles y tanto es as que el mismo mtodo, segn un esquema interpretativo,
representa la solucin de un problema sobre propiedades de nmeros, en una segunda
interpretacin, resuelve un problema geomtrico y, en una tercera, soluciona una
cuestin de dinmica o de ptica.
La expresin de la magnitud, o de las operaciones sobre magnitudes, ha sido la finalidad
expresa para la cual fueron creados los smbolos del Anlisis y la razn de que se
investigaran sus leyes. (BOOLE; George; 1960.pag12). Se puede estudiar las leyes de la
lgica a travs de las leyes y reglas de la actividad del sujeto, del pensar. En esta
situacin no se trata de un sujeto particular o del contenido individual de lo pensado,
sino de uno ideal, epistmico. Las leyes de la expresin de la conciencia tambin
corresponden a las leyes del devenir de lo real. (Ruiz; ngel; 1990.pag 43) La
importancia de la epistemolgica de la demostracin que la hace merecedora de un
lugar clave en la matemtica y en su exposicin, porque sigue siendo uno de sus rasgos
fundamentales, porque es el mtodo preferido de verificacin y porque es un
instrumento valioso para dar la credencial de matemtica a todo lo que quiere llegar a
Bibliografa
de ciencia y tecnologa
MARAVALL; Daro. (2008). La importancia de la filosofa para matemticos,
fsicos e ingenieros. Espaa: Real Academia de Ciencias Exactas, Fsicas y
Naturales
Russell, Bertrand (1987) Misticismo y lgica, Barcelona: Edhasa, Barcelona.
Apostolos D. y Christos H. (2011) Lgico: una bsqueda pica de la verdad.
Madrid.
Russell, Bertrand: (1995) Los principios de la matemtica, Mxico: Crculo de
Lectores.
Russell, Bertrand (1991) Los problemas de la filosofa; Madrid: ed. Labor.
Russell, Bertrand (1982) La evolucin de mi pensamiento filosfico. , Madrid:
Alianza.
ORMAN; Willard. (2002). Desde un punto de vista lgico. Barcelona: Paids
PEIRCE; Charles. (1987). Obra lgico semitica. Espaa: Taurus.
Gracin E. 2011. Un descubrimiento sin fin (el infinito matemtico). Espaa:
RBA
Gmez J. Cuando las rectas se vuelven curvas (las geometras no euclideas).
Espaa: RBA