Anlisis de lectura 1 Aporte de las matemticas en el siglo XIX Entre los aportes de las matemticas del siglo XIX,

los puntos sobresalientes de los trabajos llevados a cabo durante este perodo segn el artculo Matemtica y filosofa de Ruiz (2003) son los siguientes: La emersin de las geometras no euclidianas, la aritmetizacin del anlisis, la sistematizacin geomtrica y el surgimiento de formas algebraicas nuevas, los trabajos de Gauss en la teora de nmeros (seguidos por Dirichlet), los logros en la generalidad de la geometra analtica, la teora de las funciones de Weierstrass, Schwarz y Mittag-Leffler. La teora de conjuntos fue trabajo de Cantor y la continu despus Weiestrass y Dedekind. El siglo XIX ofreci un cuadro intelectual extraordinario para la sntesis en los fundamentos y la reflexin sobre las matemticas. As como el ideal de la posibilidad de una evidencia absoluta como criterio de verdad. Las matemticas sufrieron un doble proceso de independizacin de las estructuras fundamentales del anlisis y crtica de los conceptos bsicos. George Boole fue el fundador de la lgica simblica moderna, una nueva matemtica, el lgebra. Entre sus logros en las matemticas tambin est el simbolismo y el carcter operatorio-aritmtico. Los trabajos de Boole reforzaron una nueva visin de las matemticas, la lgica, sus leyes y proposiciones (relaciones de asociatividad, conmutatividad, distributividad), identific el signo + a los trminos y, o de la lgica. La forma precisa de la expresin matemtica de la lgica se desarrolla a travs de ecuaciones. Boole inici con su teora de las funciones electivas y su expansin, lo que puede llamarse "la teora de las funciones de verdad y su expresin en forma normal disyuntiva." La separacin de las relaciones entre primarias y secundarias puede considerarse un antecedente (ordenacin en dos niveles) de la "teora de tipos", qu luego desarrollara Russell. Boole introdujo las reglas del clculo proposicional. Pierce introdujo una notacin para las proposiciones que expresan relaciones, enfatiz el concepto de funcin proposicional y el de cuantificadores. Numerosas teoras nuevas aparecen y se completan trabajos comenzados anteriormente y domina la cuestin del rigor para los resultados matemticos.

Para Descartes, Spinoza, Leibniz o Kant la razn genera verdades a priori, infalibles. (Matemtica y filosofa, p. 524) La afirmacin consiste segn El realismo y Descartes (s.f.) en que el racionalismo concibe todo el conocimiento como el conocimiento matemtico, cuyas caractersticas bsicas son la universalidad y la necesidad. Como las matemticas, el conocimiento en general, han de ser de naturaleza deductiva, es decir, ha de poder inferirse de unas cuantas verdades iniciales incuestionables. El poder de la razn radica en la capacidad de sacar de s misma las verdades primeras y fundamentales (ideas innatas, en el caso de Descartes, Espinosa y Leibniz; verdades a priori en el caso de Kant), a partir de las cuales, y por deduccin, es posible obtener todas las dems, y construir el "sistema" del mundo. Por lo que, la razn es una facultad sistemtica y coincide con la realidad. La presencia de verdades universales y necesarias, y la posibilidad de deducir otras verdades a partir de unas ideas innatas o a priori, dio al racionalismo su carcter dogmtico: la razn es capaz de conocer todas o muchas verdades, con certeza deductiva. El conocimiento humano no posee lmites reconocidos, es posible conocerlo todo si se utiliza correctamente la razn. La confianza en la razn es tal que se acepta su valor sin haber realizado previamente una crtica de sus posibilidades; es como dir Kant, una razn dogmtica. En resumen se puede decir que hay diferentes tipos de ideas, como las que se derivan de la experiencia, los que proceden de la razn misma, y las que son innatas y por lo tanto se crea en la mente del ser humano. Las ideas innatas son aquellas que son las caractersticas mismas de la mente humana, innata por Dios. Tales ideas son conocidas a priori por todos los seres humanos, por lo que son credas por todos, estas ideas eran un requisito previo para el aprendizaje de hechos adicionales. Se crea que sin ideas innatas, no hay otros datos que puedan ser conocidos. Aporte ms significativo de Boole y la relacin de su pensamiento con el de Leibniz Aporte ms significativo de Boole El matemtico George Boole dio forma dos siglos ms tarde a los axiomas de Leibniz y creo los fundamentos de la lgica matemtica mediante el lgebra que lleva su nombre. Su lgica se conoce hoy como lgica de proposiciones y permite expresar y demostrar silogismos. Boole realiz parcialmente los sueos de Leibniz, aun sin conocer los escritos de ste. Su principal contribucin fue incorporar la lgica -que siempre haba formado parte de la filosofa- al mbito de las matemticas y establecer sus axiomas y reglas fundamentales. El trabajo de Boole lleg a ser un paso fundamental en la revolucin de los computadores cuando Claude Shannon en 1938, demostr como las operaciones booleanas elementales, se podran representar mediante circuitos conmutadores elctricos, y como la combinacin de estos poda representar operaciones aritmticas y lgicas complejas. Shannon demostr asimismo que el lgebra de Boole se poda utilizar para simplificar circuitos conmutadores. (Del Vado, 2005-2006)

Relacin del pensamiento de Boole con el de Leibniz Segn Del Vado (2005-2006) la relacin del pensamiento de Boole con el de Leibniz es que gran parte de las primeras obras de Boole ofrecen testimonio a favor de la creencia de Leibniz en el poder del simbolismo matemtico adecuado y en el modo mgico y casi sin esfuerzo en el que los smbolos parecen ofrecer respuestas correctas a los problemas. Leibniz haba mostrado el ejemplo del lgebra. Es bastante sencillo utilizar el lgebra de Boole como sistema de reglas para calcular, y as se puede decir que, mantenindose dentro de sus lmites, nos proporciona el calculus ratiocinator que Leibniz haba perseguido. Los escritos de Leibniz sobre esta cuestin se encontraban en sus cartas y en otros documentos inditos, y fue slo a finales del siglo XIX cuando se hizo un esfuerzo importante por reunirlos y publicarlos. No hay ningn modo razonable de pensar que Boole pudiera haber estado al tanto de las labores de su predecesor. Es interesante comparar el sistema completo de Boole con las tentativas fragmentarias de Leibniz: (Del Vado, 2005-2006) 1. Leibniz inclua como su segundo axioma A A = A. La operacin a la que Leibniz se refiri iba a obedecer a la regla fundamental de Boole: xx = x. 2. Leibniz se propuso presentar su lgica como un sistema deductivo completo y detallado en el que todas las reglas se deducen de un pequeo conjunto de axiomas. Esto est en consonancia con la prctica moderna y nos demuestra que Leibniz, en este aspecto, se haba adelantado a Boole. Referencias bibliogrficas Del Vado, R. (2005-2006) Boole y el sueo de Leibniz. Universidad Complutense de Madrid, Espaa. Recuperado de http://ucua.ujaen.es/jnavas/web_electrica/archivos/tema1/Boole.pdf Del Vado, R. (2005-2006) George Boole. Universidad Complutense de Madrid, Espaa. Recuperado de http://ucua.ujaen.es/jnavas/web_electrica/archivos/tema1/Boole.pdf El Racionalismo y Descartes (s.f.) Recuperado http://www.nodo50.org/filosofem/IMG/pdf/descartesc.pdf de

Ruiz, A. (2003) Historia y filosofa de las matemticas. Editorial de la Universidad Estatal a Distancia. Recuperado de http://books.google.co.cr/books?id=Q7gc9S63WDYC&pg=PA524&dq=Para +Descartes,+Spinoza,+Leibniz+o+Kant+la+raz%C3%B3n+genera+verdade s+a+priori,+infalibles&hl=es&sa=X&ei=DL20UaNEeXh4APs84DgAQ&ved=0CCwQ6AEwAA#v=onepage&q=Para%20Desc artes%2C%20Spinoza%2C%20Leibniz%20o%20Kant%20la%20raz%C3% B3n%20genera%20verdades%20a%20priori%2C%20infalibles&f=false