UNIVERSIDAD DE CHILE

Vicerrectora de Asuntos Acadmicos

Programa Acadmico de Bachillerato
Las Matemticas: Dogma y Racionalismo
Contraposicin de ambas visiones, basado en el razonamiento matemtico
Las matemticas son universales y, por sobre
todo, la ciencia generalsima del orden y la medida
Rene Descartes
I N T R O D U C C I O N
Es indiscutible el gran valor han tenido las matemticas a travs de la Historia, el que presenta hoy en da y
con el que se proyecta para el futuro. No solo porque constituye la principal herramienta de trabajo de las
ciencias exactas y/o puras, como la Fsica, la Qumica, la Astronoma, etc. y el estudio, dentro de un campo
mas exacto, de los entes abstractos, como nmeros y figuras geomtricas, por ejemplo, as como las relaciones
que se establecen entre ellos; sino tambin porque permite el desarrollo cognitivo de quienes la aplican, por
medio del empleo de varios mtodos de razonamiento, pero Cules con estos mtodos? Cmo se aplican?
En el siguiente trabajo se presentara los distintos tipos de razonamiento que se aplican en la matemticas,
partiendo de una breve explicaciones de las mltiples dimensiones y enfoques con las que se conoce el
razonamiento, para, al final, tratar de establecer cual de todos estos es el que se adecua mas al razonamiento
matemtico.
Sin embargo, el fin ltimo de este trabajo es, a partir de lo que se desarrolle por lo expuesto, es exponer las
principales diferencias entre el razonamiento, expresado en Descartes y expuesto por Heidegger, contra los
dogmas de la religin, en el sentido de la comprensin de los hechos.
D E S A R R O L L O
CONCEPCIONES DEL RAZONAMIENTO
A travs de la Historia, se han desarrollado mltiples teoras del razonamiento, las que merecen ser
entendidas, brevemente, para poder adentrarnos a la cuestin de nuestro trabajo
Concepcin tradicionalista
Histricamente, el razonamiento se ha entendido como una facultad exclusiva de los seres humanos. El
razonamiento era lo que delimitaba las diferencias entre ser humano o no serlo. Esta postura era la que
mantena Descartes y, hoy en da, la siguen manteniendo algunas personas. Sin embargo, esto se cuestiona
con la teora de la evolucin y, a partir de aqu, algunos autores adoptan esta concepcin.
Concepcin evolucionista
1
Universidad de Chile. (s.f.). Las matemticas: dogma y racionalismo. Extrado el 31 de octubre de 2011, de http://
pdf.rincondelvago.com/razonamiento-matematico.html
Para el evolucionismo, el razonamiento es una actividad inferencial, ms que compartismo con algunos
animales de nuestra escala evolutiva. La teora de la evolucin dice que no somos una especie al margen de
las otras especies. A travs de las investigaciones de la antroploga britnica Byrne, se observa que los
chimpancs son capaces de llevar a cabo procesos de razonamiento, por medio de la inferencia, por lo que se
cuestiona la concepcin tradicionalista.
Concepcin cognitiva
Para esta concepcin, el razonamiento es aquella actividad que tiene un objetivo preciso pero que no suele
usar procedimientos rutinarios (JonsonLaird). Los procesos deductivos no se realizan, generalmente, de
forma automtica. Es independiente del sustrato fsico. Aunque animales y humanos realicen inferencias, es
independiente del sustrato fsico, ya que los ordenadores resuelven problemas de lgica, tanto inductivos
como deductivos.
Sin embargo, estableciendo un consenso en lo expuesto por las mltiples visiones sobre lo que es el
razonamiento, podemos trabajar sobre la base de que:
El razonamiento corresponde a una accin de pensar, ordenando ideas en la mente, para llegar a
deducir una consecuencia o conclusin
TIPOS DE RAZONAMIENTO
A pesar de la disparidad de opiniones en torno a la definicin del razonamiento, en lo que respecta a los tipos
de razonamiento, hay un mayor acuerdo entre los tericos. El razonamiento admite dos consideraciones: una
psicolgica, donde la estructura psquica influye fuertemente sobre el desarrollo del proceso mental, y una
lgica, o estudio formal del mismo, en donde se trata de comprender la estructura, el fundamento y uso de las
expresiones del conocimiento humano.
La investigacin demuestra que las personas no pueden resolver problemas si no logran la representacin
mental o interna de stos. Para lo cual se necesita comprender el enunciado del problema y visualizar las
relaciones entre los datos, el resultado esperado y los operadores que permiten pasar del estado inicial del
problema al estado final, o sea la solucin, mediante un proceso sistemtico de razonamiento.
Tradicionalmente, el razonamiento se ha divido en:
Razonamiento Analgico : Se obtiene un enunciado particular partiendo de otro tambin particular,
en virtud

Razonamiento Inductivo : El que concluye un juicio universal o general, partiendo de instancias
particulares. Este razonamiento se utiliza ampliamente en el mtodo de induccin para demostrar la
veracidad de cualquier clculo matemtico.

Razonamiento Deductivo : Partiendo de de una asercin universal o general, concluye una
particular, identificado con el silogismo.

Antes de seguir desarrollando el tema, se hace necesario comprender el trmino de silogismo, ya que en esto
se basa el razonamiento deductivo riguroso. El silogismo corresponde a una herramienta, que contiene de tres
proposiciones (mayor, menor y conclusin), tal que la conclusin es deducida de la mayor por medio de la
menor.
Tradicionalmente, el razonamiento deductivo, se ha considerado que va de lo general a lo particular y, el
inductivo, en sentido inverso. Actualmente, esta definicin es pobre. Hay otros conceptos que diferencian
ambos tipos de razonamiento:
2
Se utiliza el concepto de validez para el razonamiento deductivo y, para el inductivo, el concepto de
probabilidad.
Un razonamiento es deductivo si la conclusin se sigue necesariamente de las premisas. Cuando se deriva
necesariamente de las premisas es vlido y, si es vlido, significa que, siendo las premisas verdaderas, las
conclusiones tambin lo sern. El razonamiento deductivo es proposicional, de tipo silogstico, de relaciones...
De este tipo de razonamiento, se pueden obtener razonamientos vlidos e invlidos. Son validos si, cuando
son las premisas verdaderas, las conclusiones tambin lo son. De lo contrario, los razonamientos seran
invlidos. Un argumento es vlido cuando es imposible que su conclusin sea falsa, siendo sus premisas
verdaderas. Vase como ejemplo, el siguiente silogismo:
Todos los artistas son banqueros.
Todos los banqueros son cantantes.
Conclusin: Todos los artistas son cantantes.
Lo que se dice en la conclusin, estaba en las premisas, por tanto, no se incrementa la informacin
semntica. Esto es una caracterstica de este razonamiento. La conclusin, ya implcitamente, estaba en las
premisas. Con este tipo de razonamiento, no se crea conocimiento, mientras que en el inductivo s. Un
ejemplo de razonamiento inductivo sera el siguiente:
La mayora de los cisnes son blancos.
Esto es un cisne.
Podramos concluir que el cisne es blanco, pero, que la mayora sean blancos, no quiere decir que lo sean
todos. De este modo, tambin podramos concluir que es negro, yendo ms all de las premisas. No hay
certeza absoluta, hay, simplemente, probabilidad. En el razonamiento deductivo, la certeza es del 100%, pero
no en el inductivo. En el razonamiento inductivo, se va ms all de las premisas.
Deducir es elaborar inferencias, y ello lo hacemos en la vida cotidiana. Dentro de esto, las inferencias
deductivas son aquellas que pueden ser vlidas e invlidas.
Ejemplo: Si llueve, entonces hace fro
Llueve
Luego hace fro.
Se entiende que hay validez cuando, a partir de premisas verdaderas, no se sigue una conclusin falsa. De
premisas falsas, pueden derivarse conclusiones verdaderas, y, sin embargo, el argumento ser vlido. No es
vlido exclusivamente si, a partir de premisas verdaderas, sacamos una conclusin falsa.
La teora de modelos, la de Rips y la de Braine y OBrien, estn inspiradas en teoras de la lgica, pero son
teoras psicolgicas.
La verdad se da cuando lo que se describe en las premisas se corresponde con la realidad, aunque tambin
podemos hablar de cosas imaginadas y de validez al mismo tiempo.
SOBRE LA LOGICA
Sin embargo, no debemos dejar de lado la lgica, como aquella dimensin que encierra toda la serie de
procesos que permiten llegar a la veracidad. Dentro de esto Cmo nos dice la lgica que un argumento es
3
valido?
Hay muchos mtodos para saber si un argumento es vlido. Vamos a ver los dos principales:
Las tablas de verdad: se usan los valores de verdad de las proposiciones.
Las reglas de inferencia.
Las tablas de verdad consisten en ver el discurso y buscar las proposiones. Tienen una directa relacion con las
premisas, de las cuales a paritr de dos o mas de estas, se puede llegar a una conclusin, siempre que se cumple
cierto esquema. Dentro de la afirmacin si llueve, se moja la calle, hay dos proposiciones: llueve y se moja la
calle. Estas proposiciones, a su vez, pueden ser verdaderas o falsas.
Para simplificar los esquemas, vamos a llamar P a los antecedentes y a las consecuencias Q.
Se busca cules son las proposiciones y se unen, formando una proposicin compuesta y, para ello, hacen falta
partculas: conjuncin, disyuncin, condicional...
Llueve y la calle se moja.
Llueve o la calle de moja
P
Q
P o Q excl.
P o Q pero ambos
P ssi Q
Si P Q
V
V
F
V
V
V
V
F
V
V
4
F
F
F
V
V
V
F
V
F
F
F
F
V
V
P y Q (conjuncin) Es verdadero cuando es verdad que llueve y la calle est mojada.
P
Q P Y Q
V V V
V F F
F V F
F F F
P o Q Puede ser inclusivo o exclusivo.
Inclusivo: P o Q pero ambos
Exclusivo: P o Q pero no ambos
P
Q PQ
(P)1 (PQ) Condicional (P1 (PQ) Q)
V V V V V
V F F F V
F V V F V
F F V F V
5
P Q P Q (PQ) Y P (Pq) y (p) (Q) Q
V V V V V V
V F F F V F
F V V F V V
F F V F V F
El argumento es vlido porque hemos obtenido una tabla en la que todas las condiciones son verdaderas.
P = llueve Q = hace fro R = bajan las temperaturas
Entonces
P Q Q R P R
P Q R P Q Q R PQ y QR
V V V V V V
V V F V F F
V F V F V F
V F F F V F
F V V V V V
F V F V F F
F F V V V V
F F F V V V
PR (PQ Y QR) (PR)
V V
F V
V V
F V
V V
V V
V V
V V
No hay nadie que defienda que las personas utilizan tablas de verdad al razonar. Hay una implausibilidad
psicolgica debido al incremento exponencial.
Cuando las personas razonan no tienen en cuenta las situaciones falsas y ello es lo que dice la teora de
modelos. Es ms plausible. La teora de modelos dice que si lo que es falso no lo tenemos en cuenta, lo nico
que tendramos en cuenta son las variables que existen.
La teora de modelos dice que representamos inicialmente lo que se menciona. Ej. Hay un lpiz o una goma.
Lo negativo no se representa inicialmente. No representamos todo lo que dice la regla. Otro aspecto es que
cuando uno representa un problema, se representa de forma explcita lo que se dice y de forma implcita lo
que no. Hay una representacin explcita que corresponde con el enunciado. Tambin hay una representacin
implcita que tiene en cuenta la posibilidad de otras situaciones.
6
Las reglas de inferencia permiten, en una teora deductiva, llegar a la verdad de una proposicin a partir de
una o varias proposiciones tomadas como hiptesis. Usualmente, utiliza un lenguaje de smbolos que permite
relacionar los hechos con sus posibles consecuencias. Esta aplicacin la entenderemos como lenguaje formal.
De esta manera, y tomando el ejemplo anterior, tenemos:
Siendo:
P : Llover Q : Fro R : Baja de temperaturas
Lenguaje natural Lenguaje formal
Si llueve hace fro P Q
Si hace fro bajan las temperaturas Q R
Si llueve, bajan las temperaturas P R
A partir de esto, y utilizando inferencia se establece que:
P Q
Q R (ver si deriva en: PR)
P Supongo P
Q eliminacin de la implicacin 1 y 3
R eliminacin 2, 4
P R
Para relacionar P y R hay que separarlas
Una vez establecidos estos conceptos bsicos de razonamiento y lgica, podemos adentrarnos a la esencia del
trabajo. Establecer un versus entre dogmatismo y racionalismo.
SOBRE EL DOGMATISMO
La palabra "dogma", de origen griego, significa "doctrina fijada". Para los primeros filsofos signific
"opinin". El dogmatismo, opuesto al escepticismo, es una escuela filosfica que "considera a la razn
humana capaz de conocer la verdad, siempre que se sujete a mtodos y orden en la investigacin, dando por
supuestas la posibilidad y la realidad del contacto entre el sujeto y el objeto".
Dice que "los objetos de la percepcin y los objetos del pensamiento nos son dados de la misma manera:
directamente en su corporeidad", y sus seguidores "suponen la capacidad cognoscitiva del hombre y suponen
que la realidad de hecho existe; su preocupacin es la naturaleza".
Nacimiento del dogmatismo
El dogmatismo se da en los siglos VII y VI antes de Cristo: "El dogmatismo, al ser la actividad propia del
hombre ingenuo, es la ms antigua y primigenia posicin tanto en el sentido psicolgico como en el histrico.
En el perodo originario de la filosofa griega domina de un modo casi general."
Las reflexiones epistemolgicas no aparecen entre los presocrticos (los filsofos jonios de la naturaleza, los
elatas, los pitagricos). Ellos son principalmente tericos del mundo natural, lo que escriben entra en la
designacin genrica sobre la naturaleza. "Estos pensadores se hallan animados todava por una confianza
ingenua de la capacidad de la razn humana."
7
Para ellos el conocimiento no presenta ningn problema, estn imbuidos en el ser y absorbidos por la
naturaleza. Ella es la realidad que existe por debajo de todas las "cosas", y que, aunque es comn a todas, se
distingue de ellas. En cambio las "cosas" mltiples, ms que realidades, son apariencias mudables, inestables
y de duracin limitada: "Esta naturaleza la entienden los presocrticos en un doble sentido: como `substratum'
inmudable del ser, por debajo de todas las mutaciones y de las cosas, y, tambin, como fuerza que hace llegar
las cosas a ser, como una fuente inagotable de seres."
Pitgoras
Pitgoras de movi en la direccin del dualismo rfico, de los cuales tom la doctrina de la trasmigracin de
las almas. Por lo cual dice que el alma procede de otro mundo, se ha manchado con el pecado y ha de llevar
ahora, encadenada al cuerpo, una vida de expiacin, hasta que logre verse libre del cuerpo.
Dice que el nmero es el principio (arj) de todas las cosas. Con ello se pone el principio de los seres, no en la
materia, como hasta ahora, sino en la forma. El nmero es lo que da forma, lo que hace de lo indeterminado
algo determinado.
Este descubrimiento del nmero ha sido muy productivo para el desarrollo de las modernas ciencias de la
naturaleza, que viven cada vez ms del nmero. Por lo tanto, siguiendo con la concepcin pitagrica, las
relaciones de los cuerpos del universo se expresan a travs de nmeros y se manifiestan ordenadas y
proporcionadas. l pone el fundamento del nmero en la forma y en su naturaleza.
Pitgoras, adems, plantea la teora de la eterna marcha circular de todas las cosas, que tuvo su expresin
culminante en la idea del cosmos. En el gran ao csmico se nos revela esa idea de armona. As, el proceso
csmico no es una marcha rectilnea, sino que se desarrolla en grandes ciclos: estrellas y sistemas csmicos
vuelven siempre a su sitio y el reloj del mundo torna a recorrer el mismo camino de eternidad en eternidad.
Deca: "yo me volver a encontrar ante vosotros con mi cayado".
SOBRE EL RACIONALISMO
En un sentido muy general, el racionalismo considera que la razn puede obtener conocimientos verdaderos.
Su padre, Rene Descartes, tena el intento originario de hallar la verdad evidente a partir de la cual, y por un
mtodo riguroso, fuera alcanzar la las verdades ltimas, propias de la metafsica. Primero, comienza dudando
de todo (una duda metdica) y se encuentra con una verdad que nace de la misma duda: el yo que duda existo
(cogito ergo sum, pienso, luego existo).
La caracterstica del mtodo de Descartes se establece dentro de las siguientes cuatro reglas:
La evidencia es el criterio de verdad La evidencia implica razonamiento, y la verdad se devela a
travs de una serie de procesos cognitivos

Los caracteres esenciales de la verdad son la claridad y la distincin La verdad necesariamente
debe ser descubierta por un proceso de razonamiento, por lo que requiere de un mtodo claro que
permita no desviarse del camino hacia esta y una distincin para ver si lo que se busca es lo indicado,
respecto al objetivo planteado.

Las ideas que se ajusten a estos caracteres se denominan naturae simplices Por lo mencionado en
el punto anterior, alcanzando esta caracterstica se alcanza la verdad.

Su conocimiento es intuitivo, no se adquiere por medio de ideas innatas Como el hombre es, por
esencia un animal curioso, en el sentido de investigar y descubrir las cosas, el conocimiento nace por
una inquietud para comprender un fenmeno, no de un estado innato preestablecido.

Definidas las caractersticas del modelo de Descartes, podemos comenzar a operar con el. Ante la duda por un
hecho, esta comienza a conducirnos a la duda de yo pensante y de ah a su existencia. Este planteamiento es la
8
base del argumento ontolgico que es la prueba clsica de la existencia de Dios, consistente en, tras se
considerado perfecto, razonar que si faltase la existencia ya no sera Dios. Del yo se trasciende a la realidad,
inclusive la de Dios, razn ltima de nuestras propias verdades, de la correspondencia entre lo intuido y su
existencia real. Descartes establece una distincin entre pensamiento y materia, entre res cognitans y la res
extensa. A partir de esto, se da forma al dualismo cartesiano. Para Descartes, la sustancia es Una cosa que
existe de manera que no tiene necesidad sino de s para existir. Solo Dios es sustancia y los cuerpos y espritus
(entes) se transforman en sustancias relativas, ya que requiere establecer su necesidad de s para existir. Dios
es sustancia porque corresponde a la premisa y origen de todo.
Este problema de comunicacin entre las sustancias nos conduce a la psicologa y a la fsica. Por un lado, la
psicologa debe fundarse en el principio de la claridad y distincin, para que de esta manera, la voluntad, con
su carcter infinito, valore y decida libremente sobre lo que el entendimiento (finito) le presenta elegir,
afirmar o negar un juicio. En esta dimensin, Descartes cree hallar el punto de unin entre el pensamiento y la
materia. Por otro lado, la fsica cartesiana considera la extensin como nico atributo de la materia. Al ser la
materia extensa, implica que posee longitud abstracta, por lo que se relaciona con la forma, para tratar
explicacin a sus mltiples dimensiones. En consecuencia, se dice que su consideracin es geomtrica. A su
vez, como la materia sujeta a una dimensin geomtrica y la extensin como su nico atributo, la fsica debe
excluir la cualidad y la accin de la fuerza ya que es sustancia relativa y no fija, que debe resolver primero la
necesidad de su existencia.
Este paso tan importante nos permite decir que el seguir la naturaleza y el seguir las normas de la razn
permite acercarnos a la esencia de todo, a la Physis. Como la fsica elimina de la materia lo cualitativo y la
accin de la fuerza, protege la esencia de la sustancia relativa de los agentes externos que puedan cambiar su
ciclo. A su vez, este ciclo requiere de un procedimiento, de un razonamiento para poder ser comprendido y
ligarlo al punto de convergencia entre el pensamiento y la materia, pero en el sentido del discurso explicativo
de la cuestin, sino en cuando se deja de ser materia para pasar a ser pensamiento. Para Descartes, esto se
puede realizar solo con las matemticas, ya que la naturaleza, al presentar un carcter cclico (dynamis) y
metdico y constante, a pesar de la gran variedad de entes que se puede encontrar, el razonamiento permite
aproximarse a esta dimensin, por medio de su accin pensante y de ordenamiento de ideas. La matemtica es
esencialmente esto, ORDENAMIENTO DE IDEAS, no solo dentro de esta, sino en el sentido
epistemolgico del tema.
Por ltimo, para Descartes, al ser las matemticas una rama del conocimiento que no se basa en la
subjetividad de su discurso, como en la filosofa, permite que el sentido a lo que se alude no se desve de lo
que se trate de aludir. Para Goycochea, las matemticas son directas, concisas y no recaen en la subjetividad,
que de vez en cuando se vuelve tediosa e innecesaria para lo que se quiere plantear.
B I B L I O G R A F I A
Descartes, Rene Discourse de la Mthode, pour bien conduire la raison et chercher la vrit dans les
sciences (versin bilinge), Editorial Centro Grafico

Salvat Editores S.A., Diccionario Enciclopdico Salvat, Impresin Grafica Estrella S.A., 1997,
Espaa

Fraticola, Paola, La ilustracin: el racionalismo cartesiano, Editorial
Russel, Ana, Razonamiento, Impresiones Universidad de la Laguna, 1997, Espaa
Heidegger, Martin, La poca de la imagen del mundo.
Descartes, Rene, Discourse de la Mthode, pour bien conduire la raison et chercher la vrit dans les
sciences (1637)
Implicacin:
9
si p, entonces q.
Slo es falso cuando se d p y no se de q.

10