Fall

Ensayo en cubierta: La tradicin lgica

y su importancia para la ciencia
La dicotoma entre filosofa y ciencia ha venido a resultar para nuestros das un
tema de inters meta-cientfico pero jams han venido a formar parte del
carcter meta-filosfico, esto se debe a una relevante consideracin de la
filosofa como madre de todas las ciencias. Esta consideracin hacia que la
filosofa fuera cierva de muchas otras disciplinas, y esto a venido a ser parte de
una arbitraria consideracin histrica que soslaya las observaciones y
descubrimientos en el rea filosfica como un amplsimo espacio de
conocimiento que dentro del campo de la lgica tiene un origen: Organon de
Aristteles, o, su teora del Silogismo Categrico. Pero la historia de la lgica, en
este caso de la lgica aristotlica, ha venido a formar parte de un desarrollo a
veces anquilosado y
con discontinuidades, , es un mero arbitrio
historiogrfico?

Universidad Veracruzana

16

Influencia de la lgica en el campo de las ciencias

The study of science teaches young men to think, while study of the classics teaches them
to express thought.
John Stuart Mill

El motivo de este ensayo es meramente acadmico y las causas de la redaccin se han

limitado esencialmente al estudio de la lgica y sus consecuencias. Pero delimitando el
saber de esta herramienta de la filosofa convertida en ciencia, los lmites quedaran
conceptualmente en la historia y sus repercusiones,

eso es para m una cuestin

acuciante, que me ha llevado a intuiciones fundamentalmente en el rea de la lgica y de

cmo sta repercute en nuestros tiempos y para ser especficos en el campo de la
filosofa. Por tanto me es necesaria la siguiente cuestin: Es posible que la lgica
profundice sus problemas especficos apoyndose en los resultados de la ciencia, , es el
desarrollo de la ciencia el que se ha ido adecuando a la reflexin lgica?

I. I La tradicin
El siglo pasado se caracteriza, en la historia de las ideas, por el
extraordinario desarrollo experimentado en la lgica. Esta
disciplina, que por ms de veinte siglos se mantuvo
aproximadamente en el mismo estado a que la haba reducido el
pensamiento de Aristteles, entr en un perodo de rpido
crecimiento

de

desenvolvimiento

sistemtico.

Morris R. Cohen

Sin

lugar a duda el cuerpo de la lgica ha sufrido diversas modificaciones desde

Aristteles y su ncleo ha quedado bajo la imagen de diversos pensadores o corrientes del

pensamiento. Pero entrar en cada una de ellas sera una labor inagotable que esfumara mi
tiempo y esfuerzo debido a la inmensidad de la faena, por tanto, nos limitaremos a hablar
a partir de la lgica contempornea y la influencia de la Europa decimonnica que

imprescinda de los grandes resultados tcnicos, con una matemtica de gran rigor,
superando en gran medida la mecnica clsica que bien aparece en tiempos de la
Modernidad en dicho continente.
Con una serie de diversos factores nace el pensamiento lgico contemporneo, pero
haciendo honor y agradecimiento a quien merece, no podramos pasar de largo el trabajo
lgico de grandes pensadores como el francs Louis Agustin Cauchy (1789- 1857) cuyo
enfoque del clculo en entidades finitas ser el inicio de un nuevo problema cientfico
matemtico de complejas funciones que darn origen a la teora moderna de elasticidad,
tambin los alemanes Karl Wistrassk (1815-1897), George Cantor (1845-1918)1, Richard
Dedekind 2, y el gran contraste del polaco Leopold Kronecker (1823-1941)3, ser el
inicio de una nueva era para

la lgica, quienes con sus investigaciones lograron

demostrar la teora de los nmeros reales y las construcciones que se obtenan de ella, las
cuales procedan de los nmeros naturales. Dando origen a la base de las matemticas
modernas y haciendo un genial descubrimiento en las nociones del calculo infinitesimal,
analizando aritmticamente los conceptos de las matemticas, configurndose as el
edificio de la lgica contempornea. Todos estos tericos de los nmeros abrieron el
camino para uno de los pensadores ms rigurosos de la lgica.

La teora de conjuntos, es la base de las matemticas modernas. Gracias a sus atrevidas investigaciones
sobre los conjuntos infinitos fue el primero capaz de formalizar la nocin de infinito bajo la forma de los
nmeros trans-finitos (cardinales y ordinales). La comunidad matemtica reconoce plenamente su trabajo, y
admite que significa un salto cualitativo importante en el raciocinio lgico. Sus primeros trabajos con las
series de Joseph Fourier lo llevaron al desarrollo de una teora de los nmeros irracionales y en 1874
apareci su primer trabajo sobre la Teora de conjuntos. Su maestro Kronecker lo llamo una locura
matemtica, Cantor descubri que aquellos no tienen siempre el mismo tamao, o sea el mismo cardinal:
por ejemplo, el conjunto de los racionales es innumerable, es decir, del mismo tamao que el conjunto de
los naturales, mientras que el de los reales no lo es: existen, por lo tanto, varios infinitos, ms grandes los
que los otros. Entre estos infinitos, los hay tan grandes que no tienen correspondencia en el mundo real,
asimilado al espacio vectorial R.
2
Sus cortes zanjan definitivamente el problema de la fundamentacin del anlisis al definir el conjunto de
los nmeros reales a partir de los racionales. Su trabajo sobre los nmeros naturales fue tambin
fundamental, sentando bases para la teora de conjuntos, junto con Frege y Cantor, y dando una
fundamentacin muy rigurosa de los llamados Axiomas de Peano.
3
defenda que la aritmtica y el anlisis deben estar fundados en los nmeros enteros prescindiendo de los
irracionales e imaginarios. Fue autor de una frase muy conocida entre los matemticos: "Dios hizo los
naturales; el resto es obra del hombre" (Bell 1986, p.477). Esto puso a Kronecker en contra de varias de las
extensiones matemticas de Georg Cantor.

Casi como uno de sus coetneos Gottlob Frege (1848-1925), con sus Fundamentos de la
aritmtica (1884), se adscriba al movimiento revolucionario de la lgica, relacionando la
aritmtica con la lgica, reduciendo el concepto de nmero natural a una combinacin de
conceptos meramente lgicos. Escribe al respecto:
Trat de convertir en verosmil el hecho de que la aritmtica sea una rama de la lgica y
no tenga necesidad de solicitar en prstamo el fundamento de sus demostraciones a la
experiencia o a la intuicin.

En resumen lo que Frege se propuso es obtener <<las leyes ms simples del numerar>> a
travs de <<medios puramente lgicos>>, as se fue desarrollando el estudio de la
aritmetizacin del anlisis a la logizacin de la aritmtica, iniciando con esto una gran
tendencia logicista. Incluso George Boole (1815- 1864) con su lgica simblica logro
ese control riguroso que la lgica necesitaba, mediante demostraciones matemticas, tal
como Frege lo pretenda, exigiendo que toda proposicin sean explcitamente enunciadas,
para poder reconocer con claridad las bases de cualquier sistema, reduciendo al mnimo
cualquier sistema a demostrar.

II. La ciencia adquiere el anlisis filosfico es el sujeto

epistmico de la ciencia?
Todo intento importante para establecer una teora del
conocimiento surge del interrogarse acerca de la certeza del
conocimiento humano; a su vez este problema surge del deseo de
poseer una certidumbre absoluta en el conocimiento.
Moritz Schiick

El vnculo de la del sujeto con la lgica ha sido tan estrecho que los conocimientos,
argumentos, juicios, razonamientos y creencias son la ms sincera formalidad, de la que
pocos se han desvinculado, incluso la ciencia esa forma de ver u ordenar el modo de
hacer ciencia, por tanto la caracterizacin de la ciencia como los psicologistas lo han
reducido, a lo inteligible, hacen de la ontologa una simple psicologa, por tanto han

dejado a la lgica en el lugar de la prescripcin y descripcin de la mente, o, los procesos

psicolgicos.
En realidad, las dos concepciones del subtema, anlisis filosfico y la de sujeto
epistmico acaso puedan sonar como compatibles, ya que las proposiciones que
traducen los datos puros y simples de la observacin, y que se encuentran temporalmente
en el principio pudieran ser, al mismo tiempo, aquellos que por virtud de su estructura
tuvieran que constituir el punto lgico de partida de la ciencia.

Bibliografa
De Gortari, Eli. Iniciacin a la lgica, editorial Grijalbo, Mxico DF, 1ra edicin, 1970,
289 pgs.
Corti, Enrique y Gianneschi, Horacio. Elementos de lgica. Primer orden con identidad,
ediciones del signo, Buenos Aires Argentina, primera edicin, 2002, 242 pg.
Cohen, Morris R. Introduccin a la lgica. Fondo de cultura Econmica, Mxico-Buenos
Aires, 1965 252 pgs.
Reale, Giovanni, Historia del pensamiento filosfico y cientfico. Del romanticismo
hasta hoy. Tomo III, Herder, Barcelona Espaa, 3ra edicin, 2005, 1015 pg.
Weblografa
http://www.uv.es/~teamar3/Historia05.htm
http://es.wikipedia.org/wiki/Ecuaciones_de_Euler-Lagrange
http://es.wikipedia.org/wiki/Augustin_Louis_Cauchy
http://www-history.mcs.st-andrews.ac.uk/Biographies/Cauchy.html
http://es.wikipedia.org/wiki/Karl_Weierstrass
http://www-history.mcs.st-andrews.ac.uk/Biographies/Weierstrass.html