Bsqueda de la universalidad y aplicabilidad de la filosofa Matemtica en el

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

encontrar salidas al asunto y se niegan a admitir el problema: se me dice que no se ha

demostrado la crisis del racionalismo, o que en el intuicionismo podemos encontrar gran
xito despus de Gdel, o que en la metamatemtica existen nuevas vas de lograr la
fundamentacin adecuada del conocimiento matemtico. Se me dice: usted no ha
demostrado nada, usted ha hecho un incorrecto anlisis de los filsofos para concluir
antojadizamente lo claramente falso, usted nunca podr acabar con la metafsica. Es
natural. Cuando se leen los resultados de Gdel con otra mirada las conclusiones
resultan diferentes. Para impugnar la ilusin de que respecto a los nmeros enteros
positivos no existe propiamente dificultad alguna, sino que reina una concordancia
universal, me parece propio discutir algunas de las opiniones de filsofos y matemticos
sobre las cuestiones en consideracin. Se ver que hay poco concierto, de suerte que
resultarn ni ms ni menos que expresiones contradictorias. (Ruiz; ngel 1990. pag37)
Yo afirmo que las matemticas se pueden entender a partir de una epistemologa que
enfatice una relacin mutuamente condicionante entre el objeto y el sujeto epistmico,
al mismo tiempo que una ontologa que establezca a las matemticas no como a priori
en el sentido clsico (como lo le en un artculo de un compaero) (ms an, creo que la
distincin es insuficiente e inapropiada para dar cuenta de las matemticas) y considero
que estas se refieren al mundo de igual manera que otras ciencias naturales, aunque no
de la misma forma. Creo que una combinacin epistemolgica y ontolgica de esta
naturaleza crea un marco conceptual diferente. Nosotros afirmamos una epistemologa
que apuntala el papel activo, no pasivo ni receptivo, tanto del objeto como del sujeto
epistmicos. En el transcurso del tiempo, las matemticas han ido invadiendo cada vez
con mayor intensidad el campo de las ciencias aplicadas, ya no slo la mecnica y las
distintas ramas de la fsica, la astronoma y el clculo de probabilidades, sino tambin la
geologa, la qumica, la cosmologa e incluso ciertas partes de la economa y de la
biologa. (MARAVALL; Daro; 2008. pag230) Es decir, es una metodologa en la que
cualquiera de los dos factores puede ser ms determinante que el otro, pero donde esto
slo

es

posible

de

manera

particular

ocasional.

Es

decir,

creo

que

epistemolgicamente no es posible privilegiar ninguno de los factores epistemolgicos;

ni privilegiar el objeto como hace el Empirismo clsico, ni el sujeto como lo hace el
Racionalismo, ni el sujeto como lo hace a su manera Piaget y dems psicolocos. A veces
el sujeto puede ser determinante, a veces puede serlo el objeto. Se trata de una relacin
dialctica de mutua dependencia siempre en la que slo de manera concreta y precisa,

de manera individualizada y especfica, es posible estudiar el peso de los factores

epistmicos. No creo, entonces, en una visin metodolgica a priorstica del rol
especfico de los factores epistemolgicos
Todos los acontecimientos, incluso aquellos que por su pequeez parece que escapan a
las grandes leyes naturales, forman un encadenamiento tan necesario como las
revoluciones del Sol (Gmez J. 2011). En la ignorancia de las relaciones que guardan
con el sistema total del universo, se los ha supeditado a causas finales o al azar, segn
ocurrieran o se repitieran con regularidad o sin orden aparente; pero esas causas
imaginarias han cedido poco a poco ante nuestros conocimientos y desaparecen frente a
la, sana filosofa que las considera como la expresin de nuestra ignorancia de las
causas verdaderas.
Los acontecimientos actuales se vinculan a los precedentes en virtud del principio
evidente de que nada puede comenzar a ser sin una causa que lo produzca. Este axioma,
conocido con el nombre de principio de razn suficiente, vale tambin para las
acciones que se consideran indiferentes, no lo digo yo, las diversas formas de uso, estn
en el maravilloso libro de mi maestro Schopenhauer. Pero ahora usaremos los recursos
de Leibniz: No hay voluntad por ms libre que sea, que pueda originarlas sin un
motivo determinante, pues, al ser absolutamente semejantes las circunstancias de dos
situaciones, si obrara en una con preferencia a la otra, la eleccin sera un efecto sin
causa, sera el ciego azar de los epicreos. Lo contrario es una ilusin del espritu que,
al perder de vista las razones transitorias de la eleccin de la voluntad en las cosas
indiferentes, se convence de que se ha determinado a s misma y sin motivos.
Hay, pues, que considerar el estado actual del universo como efecto de su estado
precedente y como causa del que lo suceder. Una inteligencia que en un determinado
instante pudiera conocer todas las fuerzas que impulsan la naturaleza y la respectiva
posicin de los seres que la componen y que, adems tuviera la suficiente amplitud para
someter esos datos al anlisis, incluira en una sola frmula los movimientos de los
mayores cuerpos del universo y los ms nfimos tomos; nada le escapara y tanto el
pasado como el futuro estaran en su presencia. El espritu humano brinda un atisbo de
tal inteligencia que se manifiesta en la perfeccin la que ha sabido llevar la astronoma.
Y puede, merced a sus descubrimientos en mecnica y en geometra, unidos al de la
gravitacin universal, comprender en las mismas expresiones analticas, los estados

pasados y futuros del sistema universal. Al aplicar idntico procedimiento a otros

objetos de su conocimiento alcanz a concretar en leyes generales los fenmenos
observados y predecir los que acaecern en determinadas circunstancias. Todos sus
esfuerzos en pos de la verdad lo aproximarn continuamente a esa inteligencia que
acabamos de describir aunque sin entrar nunca en su contacto. Esta peculiar aspiracin
de nuestra inteligencia la ubica por encima de los animales y los progresos obtenidos
sealan las naciones y los siglos y constituyen su verdadera gloria.
LA APELACION AL SENTIDO COMN
La aversin y el desprecio que la gente comn depara a la filosofa se deben en parte a
la naturaleza paradjica de muchas de sus conclusiones. Desde la negacin de Zenn de
la posibilidad del movimiento, los filsofos han afirmado comnmente que muchas de
las cosas que todos creemos son totalmente errneas. Nos han dicho que los
componentes del mundo cesan de existir cuando no se los percibe, que no
podemos estar seguros de que la vida no sea un sueo, que no tenemos ninguna
buena razn para creer que el sol saldr maana, que nada de lo que decimos es
totalmente verdadero y que el pensamiento y la realidad son la misma cosa. Con el
reinado del idealismo del siglo XIX, lleg a su cspide esta venerable tradicin de
contradecir las creencias del sentido comn. Uno de los hechos desconcertantes
relativos al comn de la gente es su aparente ingenuidad filosfica al atacar esta
posicin. La simplicidad de la visin del mundo que se desprende de dicho pensamiento
es, por supuesto, segn la concepcin que tienen varios seguidores del mtodo
filosfico, su principal ventaja. La simplicidad es realmente una virtud en una teora,
pero slo si sta explica los hechos que pretende explicar. Logra esto el monismo
neutral? Yo no he visto. Los mtodos filosficos son tiles instrumentos de
investigacin en manos de un cientfico. A su vez una filosofa Natural hecha a espaldas
de la Ciencia, sin conocer de cerca y por dentro las complicaciones de los mecanismos
de los problemas cientficos, queda vaca y con poco valor. (MARAVALL; Daro; 2008.
pag229)
LGICA Y REALIDAD
La geometra enseara, ya desde nio, a ver que la razn era la nica forma vlida de
abordar la realidad, porque la razn progresa por medio de demostracin lgica y da con
certezas bien asentadas. Y este proceder conduce hasta la morada de la ciencia como

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.

ARISTTELES LAS BASES DE LA LGICA?

El silogismo primitivo nos dice que partiendo de dos enunciados verdaderos podemos
concluir, inferir deductivamente, un nuevo y necesario enunciado que se deduce de la
verdad de los anteriores, los cuales actuarn de premisas de la nueva conclusin. Pero
para llegar a construir el silogismo, Aristteles necesitaba, primero, esclarecer qu tipos
de oraciones seran posibles; as, Aristteles distingua entre oraciones singulares (por
ejemplo, Scrates es hombre), universales (Todos los hombres son mortales) y
particulares (Algunos hombres son mortales). Con esto Aristteles estaba poniendo no
solo los cimientos de la lgica, al referir que en cada uno de estos tipos de enunciados lo
que se lleva a cabo es una asignacin de objetos cuando aqu se habla de objeto no se
refiere a una cosa material y existente, sino a una funcin nominal, es decir, a cualquier
nombre u otro tipo de designador, como un pronombre o un adjetivo, que va a ser
tomado como objeto de referencia y que puede ser cargado de propiedades, funciones,
caractersticas, acciones, etc., esto es, puede ser objeto de clasificacin- a clases, sino
tambin de la gramtica, porque Aristteles distribua las partes de la oracin en sujeto,
aquel objeto del que hablamos (por ejemplo: Scrates, Algunos, Todos) y
predicado, aquello que decimos del sujeto (siguiendo con los ejemplos precedentes:
hombre, mortal).
LA MATEMTICA COMO AXIOMA
La lgica es matemtica, porque es esencialmente axiomtica y operativa. Ms an,
especialmente, por ser desarrollada como un clculo simblico. Existen verdades
fundamentales sobre las que descansan todas las otras verdades. Todas ellas descansan
sobre la fundamentacin de unos cuantos axiomas; y todos estos son verdades
generales. Pero el matemtico y lgico Kurt Gdel certificara que ningn conjunto,
ningn sistema, puede ser autorreferencial sin ser incoherente, es decir, que si cabe
afirmar su coherencia, no se puede afirmar su completitud, pues en ltima instancia no
hay teora o sistema que sirva de fundamento para todas las dems en un campo dado y
una teora o un sistema no puede dar cuenta de s mismo. As, Gdel demostraba que
cualquier sistema que se buscara como fundamento absoluto (por ejemplo, un sistema
complejo para dar cuenta o para fundamentar toda la aritmtica) sera finalmente
incompleto. Gdel puso en duda la validez de un sistema axiomtico argumentando que
resulta imposible demostrar todas las condiciones de axiomatizacin de un sistema, es

decir, que de un sistema podremos asegurar que cumple el principio o condicin de

completitud e independencia pero no podremos aseverar que cumple tambin la
condicin de consistencia: segn Gdel un sistema no puede por s mismo demostrar su
consistencia; para hacerlo tendr que recurrir a otro sistema (con lo cual est rompiendo
el requisito de independencia) y, a su vez, ste nuevo sistema para demostrar su
consistencia tendr que remitirse a otro, y de esta manera hasta el infinito. Pero el
recurso al infinito no es garanta de demostracin, como ya dej establecido Hume en su
crtica a la idea de causalidad. Por otra parte, si, siguiendo el principio de completitud,
de los axiomas de un sistema habr de ser posible deducir toda la serie completa de
enunciados, entonces tambin tendr que deducirse una proposicin contradictoria, con
lo cual estaremos rompiendo el principio de consistencia. Por tanto, es imposible
afirmar al mismo tiempo la consistencia y completitud de un sistema. As pues, si, de
acuerdo con el llamado Teorema de Gdel, no hay razn para demostrar desde s
mismo la axiomatizacin de un sistema, las matemticas -recordemos, fundamento
lgico de la veracidad de las proposiciones cientficas han de abandonar su pretensin
de absoluta certeza. Las posibilidades del clculo, juntamente con la filosofa hacen de
esta ciencia, Teleolgicos, en los que influye el futuro sobre el presente. Nos hemos
ocupado de la incertidumbre y del indeterminismo, que puede ser de primera y de
segunda especie; del error y de la probabilidad. En todas estas cuestiones se mezclan la
Filosofa y la Ciencia. (MARAVALL; Daro; 2008. pag229)
EL MITO DE LA UNIVERSALIDAD DE LAS MATEMTICAS
La lgica tiene que ver con el mundo real tanto como la zoologa, aunque con sus rasgos
ms abstractos y generales. Bertrand Russell en su Introduccin a la Filosofa
Matemtica, presenta a la lgica, y las matemticas por extensin logicista, como
ciencias de lo ms abstracto y general. El origen de este mito es el logicismo que
Russell hereda de Frege. Al identificar la verdad matemtica con la validez lgica, el
logicismo integro la necesidad de las verdades matemticas con la universalidad de los
principios lgicos. Frege mismo ya conceba a las verdades aritmticas como
universales y entenda esto como un argumento a favor de su naturaleza lgica. En otras
palabras, para Frege, solo el logicismo poda explicar la universalidad de las
matemticas. El filsofo indaga y conoce las causas naturales, cuyos nmeros y medidas
son descubiertos y calculados por los matemticos cualquiera que sea el grado de
prevalecido la creencia en la que la tarea inmediata de la filosofa es investigar las

causas, en la misma medida, toda ciencia cuya finalidad es investigacin de leyes ha

valorada ligeramente.
Trae, por contraste con la Filosofa, una condenacin de la Msica, la Gramtica, la
Matemtica y la Astronoma. Es evidente que los objetos y las reglas bsicas de la
matemtica pueden tratarse en forma de sistema axiomtico abstracto. Estos objetos
podran ser hasta cierto punto variables. Pero lo que es necesario dejar claro es que las
reglas son reglas que corresponden al objeto, el objeto determina sus reglas aunque
despus obviemos los procesos originarios; son reglas objetivizadas. (Ruiz; ngel
1990. pag40)
Las matemticas siempre han sido el resorte epistemolgico su fundamento ltimo en
esos trminos- de las ciencias debido a su esquematismo lgico y su capacidad
predictiva y demostrativa. Pues bien, en la Antigua Grecia, la matemtica de Euclides
consigui, por un lado, sintetizar la geometra de la poca en unos pocos (diez en total)
principios bsicos incuestionables, y, por otro lado, articular los principios lgicos sobre
los que fundar el razonamiento cientfico. Segn Euclides, resultaba imposible esgrimir
enunciado cientfico alguno si ste no respetaba el principio de no contradiccin: no es
lgico afirmar y negar simultneamente lo mismo. Siguiendo este requisito de
axiomatizacin de la ciencia, Russell y Whitehead intentaron, a principios del siglo XX,
desarrollar un programa de axiomatizacin de las matemticas que sirviera no slo para
aseverar su propia validez como sistema lgico-deductivo, sino, a su vez, fundamentar
la certeza lgica de toda proposicin cientfica. El carcter racional del razonamiento
por recurrencias es que contiene condensados, por decirlo as, en una formula nica,
infinidad de silogismos. (POINCAR; Henri; 1997. pag.226)
En la ltima colaboracin de las matemticas y de las ciencias aplicadas se observa uno
de los ejemplos mas notables y claros de simbiosis cientfica; de las ultimas toman las
primeras un problema concreto y particular, el cual mediante un proceso de abstraccin
y generalizacin con el concurso de hiptesis simplificadoras, gracias a las cuales
resulta accesible el estudio de los complejos fenmenos naturales En la ultima
colaboracin de las matemticas y de las ciencias aplicadas se observa uno de los
ejemplos mas notables y claros de simbiosis cientfica; de las ultimas toman las
primeras un problema concreto y particular, el cual mediante un proceso de abstraccin
y generalizacin con el concurso de hiptesis simplificadoras, gracias a las cuales

resulta accesible el estudio de los complejos fenmenos naturales. La aplicacin de

matemticas puras permite desarrollarse en proporciones muchas veces imprevisibles
ciertas ciencias aplicadas. (MARAVALL; Daro; 2008. pag231) Es ms bien un modo
de pensamiento, una manera de razonar muy especial; una forma de plantear los
problemas, de preguntar por el ser de las cosas, que ofrece al hombre la mxima
seguridad en la certeza de los conocimientos adquiridos, y la mxima precisin en los
lmites de lo verdadero, y en la confianza racional que podemos depositar en nuestro
saber. El nmero natural es, el nico objeto bruto totalmente del pensamiento
matemtico; puesto que el continuo o la nocin de grupos nos vienen impuestos desde
fuera, por la experiencia
Parte de ciertos postulados que se admiten como verdaderos y mediante ciertas
operaciones conocidas y bien definidas, que actan sobre elementos de naturaleza
desconocida, se va obteniendo una cadena de teoremas que constituyen una teora
matemtica dada. Los razonamientos pueden expresarse a travs de funciones y sus
desarrollos. El camino interno entre las premisas y las conclusiones pueden
establecerse simblica y matemticamente, para slo al final retomar el sentido lgico
(Ruiz; ngel 1990. Pag32), est claro para todos.
La ms simple de las personas que presentan inters filosfico es la idea de signo o
representacin. Un signo representa la idea que produce y que modifica. Es un vehculo
que transmite a la mente algo desde fuera. Aquello que representa se llama su objeto;
interpretante es la idea que origina, su interpretante. El objeto de la representacin slo
puede ser una representacin de la cual el interpretante es la primera representacin.
Pero se puede pensar que una serie interminable de representaciones cada una de las
cuales representa la anterior, requiere un objeto absoluto como lmite. El significado de
una representacin puede ser tan solo una representacin. De hecho no es ms que la
propia representacin, pensaba como si estuviera despojada de un ropaje sin
importancia. El interpretante es tan solo otra representacin a la cual se entrega la
antorcha de la verdad, y en calidad de representacin tiene a su vez intrprete. (Pierce;
C; 1987. Pg. 167)
Las unidades de traduccin son enunciados; stos comprenden afirmaciones o
negaciones por una parte y meros enunciados abiertos o matrices por otra, esto es
expresiones abstradas de verdaderas afirmaciones o negaciones mediante la sustitucin

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

para todos los valores de las

variables. (ORMAN; Willard; 200.pag 131). Dada esa traducibilidad contextual

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

formar parte de esta ciencia. Se ha demostrado frecuentemente que aunque los

esquemas pueden demostrarse en la teora de la cuantificacin.
Las cuestiones que se deben examinar son cuales son los distintos sistemas de hiptesis
a partir de los cuales se puede establecer la deduccin matemtica, cules son sus
caracteres generales, porque no son posibles otras hiptesis y otro estilo. No son
problemas que al igual que los de la matemticas, se basen en supuestos se claros y
definidos, reconocidos desde el comienzo, y no obstante, al igual que los problemas
matemticos sean cuestiones de posibilidad y necesidad. No obstante si existen
realmente las caractersticas necesarias es uno de las hiptesis matemticas
encontraremos, esta necesidad debe surgir de alguna verdad tan amplia que sea validad
no solo para el universo que conocemos. (Pierce; C; 1987. Pg. 202) La lgica exacta
ser la doctrina de las condiciones de fijacin de la creencia estable que se basa en
observaciones perfectamente indubitables y en el pensamiento matemtico, es decir
diagramtico o icnico. (Pierce; C; 1987. Pg. 309)
Se puede considerar cualquier funcin de matemtica de una variable como una imagen
de su variable segn cierto modo de representacin. Pues las cantidades reales e
imaginarias corresponden, una a una y de manera continua, a los puntos asignados en
una esfera. (Pierce; C; 1987. Pg. 313), por favor, asimilen lo que propongo y
pensemos.

Bibliografa

BOOLE; GEORGE. (1960). Anlisis Matemtico de La Lgica. Argentina:

Universidad nacional de la plata

RUIZ; ngel. (1990). Matemticas y filosofa. Costa Rica: Editorial de la

Universidad de Costa Rica

POINCAR; Henri. (1997). Historia de la filosofa. Mxico: Consejo Nacional

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.

Mxico, editorial Sinsentido.

Cryan, Dan (2005): Lgica para todos. Barcelona: editorial Paidos.
Deao, Alfredo (1996): Introduccin a la lgica formal; Alianza editorial,

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