FVT

C.S.G.

HISTORIA DE LA LGICA PLANTEAMIENTO

La Historia de la lgica viene a ser el estudio de las contribuciones al desarrollo de esta disciplina. En qu consisten tales contribuciones? Puede decirse que, en sustancia, una contribucin al desarrollo de la lgica es o envuelve un anlisis de la forma de ciertas relaciones lgicas en particular, la relacin de consecuencia, o un anlisis de su estructura interna, o es significativa para la determinacin de una y otra. Entonces, salvo que cambie radicalmente la idea que nos venimos haciendo de la lgica, sern contribuciones paradigmticas a su desarrollo textos como los cc. 1, 2 y 4-7 del libro I [A] de los Primeros Analticos de Aristteles, o los tratados iv y vi de los Tractatus despus llamados Summulae Logicales de Pedro Hispano, o el ensayo "Non inelegans specimen demonstrandi in abstractis" de Leibniz, o los 147-168 del libro II de Wissenschafstlehre de Bolzano, o The Mathematical Analysis of Logic de Boole, o Begriffsschrift de Frege, o "Untersuchungen ber das logische Schliessen" de Gentzen, entre otras varias muestras. Cabe reconocer, adems, otras aportaciones que compartan ciertas caractersticas distintivas con esas contribuciones tpicas, o se relacionen con ellas en el sentido de abordar nociones, problemas o temas como los que hoy ocupan a los practicantes de esta disciplina. En suma, el reconocimiento de una contribucin al desarrollo de la lgica es una especie de compromiso entre lo que antes ha podido hacer la gente en este sentido y lo que est haciendo ahora. Las contribuciones al desarrollo de la lgica no llueven del cielo, ni son el limpio reflejo de unas Formas u Objetos en s mismos lgicos, ni resultan productos puros de la Razn. Antes bien, se gestan en el seno de tradiciones de pensamiento; responden a programas de anlisis conceptuales, tericos o metodolgicos; estn hechas de la materia de los textos. Su desarrollo, aparte de contribuir a las lneas de trabajo abiertas o establecidas en el cultivo de la disciplina, guarda relacin con otros marcos de referencia inferenciales y culturales como, por ejemplo, la argumentacin ordinaria, el discurso filosfico, la deduccin matemtica, la inferencia cientfica. Su fortuna y su eficacia histricas tambin dependen de unas condiciones de transmisin, recepcin e institucionalizacin, tanto disciplinarias como interdisciplinarias. De modo que la Historia de la lgica, salvo en lo que concierne a sus temas caractersticos y a su peculiar uso de reconstrucciones formalizadas como mtodos auxiliares de interpretacin, no difiere mucho de cualquier otra historia de una disciplina acadmica de venerable raigambre en la cultura occidental. De todo ello se desprende que la Historia de la lgica es una empresa colectiva, multidisciplinaria y pluridimensional, que incluye un buen nmero de tareas an por hacer. Incluso en razn de la penuria conceptual y profesional que hoy sigue arrastrando este tipo de estudio, la Historia de la lgica todava est por reconocer. Lo que significa, entre otras cosas, que si se dedican a la Historia de la lgica quizs tengan dificultades para encontrar empleo pero, desde luego, no les faltar trabajo. La condicin de la Historia de la lgica como "historia en construccin" y labor pendiente tambin supone que: (a) la confeccin de un temario slo puede tener hoy un carcter provisional e indicativo; (b) ninguno de los manuales generales que hoy circulan es satisfactorio; (c) por el momento, al menos, el tipo de material didctico que podra resultar ms til sera el que orientara la exploracin, el estudio y el trabajo en este campo.

Sin embargo, hay algunos focos o centros de inters relativamente destacados y, afortunadamente, no todos los manuales generales o Historias de la lgica se dejan medir por el mismo rasero. Esto permite adelantar, a manera de programa, un puado de ncleos temticos ricos y significativos. Hace posible adems una especie de seleccin entre la historiografa existente, tanto por lo que concierne a visiones histricas paranormicas como por lo que concierne a ensayos monogrficos. Dr. D. Luis Vega Ren. Catedratico, http://www.uned.es/345606/index.htm

FVT

C.S.G.

Las culturas en la historia de la lgica

La historia de la lgica comenz en tres culturas. Muchas culturas emplean intrincados sistemas de razonamiento, pero en general se suele estar de acuerdo en que la lgica como anlisis explcito de los mtodos de razonamiento fue desarrollada independientemente por solo tres tradiciones: China, India y Grecia. Aunque las fechas exactas son inciertas, especialmente en el caso de India, resulta posible que la lgica emergiera en las tres sociedades en el siglo -IV. El tratamiento formalmente sofisticado de la lgica moderna desciende de la tradicin griega, pero no viene de Europa en su totalidad, sino que viene de la transmisin de la lgica aristotlica y su comentario por los filsofos islmicos a los lgicos medievales europeos.

Lgica en China

En China, un contemporneo de Confucio, Mozi, "Maestro Mo", es acreditado con la fundacin de la escuela mohista, cuyos cnones tratan de los asuntos relacionados con la validez de la inferencia y las condiciones de las conclusiones correctas. En particular, una de las escuelas que creci a partir del mohismo, los Lgicos, son acreditados por algunos estudiosos de la temprana investigacin en lgica formal. Desafortunadamente, debido al duro gobierno del Legalismo en la subsiguiente dinasta Qin, esta lnea de investigacin desapareci en China hasta la introduccin de la filosofa India por los budistas.

Lgica en India

Los Nyaya Sutras de Aksapada Gautama constituyen el ncleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de la filosofa Hind. Esta realista, uno podra decir materialistas, escuela trabaj un esquema de inferencia fijo de cinco miembros compuesto de una premisa inicial, una razn, un ejemplo, una aplicacin y una conclusin. La filosofa idealista budista lleg a ser el principal oponente de los naiyayicas. Nagarjuna, el fundador de la secta Madhyamika "El Camino Medio" desarrollo un anlisis conocido como el "chatuskoti" o tetralemma. Con esta argumentacin de cuatro lados sistemticamente examinaba y rechazaba: la afirmacin de una proposicin, su negacin, su afirmacin y negacin conjuntas, y finalmente la negacin de su afirmacin y negacin conjuntas. Pero fue Dignaga y su sucesor Dharmakirti con quienes la lgica budista alcanz su culminacin. Su anlisis se centra en la definicin de implicacin lgicamente necesaria, "vyapti", tambin conocida como concomitancia invariable o pervasin. Con este fin se desarroll una doctrina conocida como "apoha" o diferenciacin. Esta comprenda lo que se podra llamar inclusin y exclusin de las propiedades definitorias. Las dificultades envueltas en esta empresa, en parte, estimularon la escuela neoescolstica Navya-Nyaya, la cual introduce un anlisis formal de la inferencia en el siglo +16.

Lgica en Grecia

En Grecia, la coleccin de obras de Aristteles conocida como el "Organon" o instrumento prcticamente ex nihilo cre la disciplina conocida como lgica. Del examen del silogismo de

Aristteles se puede hacer una interesante comparacin con el esquema de inferencia Indio y la menos rgida discusin China. A travs del latn en Europa occidental, y diversos idiomas ms al este, tales como el rabe, armenio y georgiano, la tradicin aristotlica fue considerado que codificaba preeminentemente las leyes del razonamiento. No ha sido hasta el siglo diecinueve cuando este punto de vista a cambiado; se ha sugerido que este cambio podra ser facilitado con una mayor familiaridad con la literatura clsica de India y un ms profundo conocimiento de China.

FVT

C.S.G.

Lgica en la filosofa islmica

Tras la muerte de Mahoma, la ley islmica pona importancia en la formulacin de estndares de argumentacin, que dieron lugar a una nueva aproximacin a la argumentacin en Kalam, pero esta aproximacin fue desplazado por las ideas de la filosofa griega con el surgimiento de los filsofos Mutazilitas, quienes valoraban altamente el Organon de Aristteles. El trabajo de los filsofos islmicos influenciados por los griegos fue crucial en la recepcin de la lgica griega en la Europa medieval, y los comentarios sobre el Organon por Averroes jug un papel central en el subsiguiente florecimiento de la lgica medieval europea. A pesar de la sofistificacin de Al-Ghazali, el surgimiento de la escuela Asharita poco a poco sofoc el trabajo original sobre lgica en el mundo islmico.

Lgica Medieval

"Lgica Medieval" (tambin conocida como "Lgica Escolstica") generalmente significa la forma de la lgica aristotlica desarrollada en el occidente medieval durante el periodo 1200-1600. La tradicin fue desarrollada a travs de libros tales como los de Pedro Hispano(siglo 13), cuya identidad exacta es desconocida, quien fue el autor de un libro estndar sobre lgica, el "Tractatus" el cual fue bien conocido en Europa por muchos siglos. La tradicin alcanz su punto mximo en el siglo 14, con las obras de Guillermo de Ockham (1287-1347) y de Juan Buridan. Un rasgo [de estos lgicos] es el desarrollo de la lgica aristotlica a travs de lo que es conocido como la Teora de la Suposicin, un estudio de la semntica de los trminos de la proposicin. La ltima de las grandes obras de esta tradicin son las del lgico John Poinsot (1589-1644, conocido como John de Santo Tomas), y las Discusiones Metafsicas de Francisco Surez (1548-1617).

Lgica Tradicional

"Lgica Tradicional" generalmente significa la tradicin textual que comienza con la lgica de Arnauld y Nicole, o El arte de Pensar, mejor conocida como la "Lgica de Port-Royal". Publicada en 1662, fue el libro sobre lgica ms influyente en Inglaterra hasta "Un Sistema de Lgica" de J. S. Mill en 1825. El libro presenta una doctrina ms o menos cartesiana (que la proposicin es una combinacin de ideas ms bien que de trminos, por ejemplo) dentro de un marco que es en gran manera derivado de la lgica de trminos aristotlica y medieval. Entre 1664 y 1700 hubo ocho ediciones, y el libro tuvo considerable influencia tras esto. Se lo reimprime frecuentemente en ingls hasta el final del siglo diecinueve. La exposicin sobre las proposiciones que Locke da en el Ensayo es esencialmente el de Port Royal. "Las proposiciones verbales, que son palabras, [son] los signos de nuestras ideas, puestos juntos o separados en oraciones afirmativas o negativas. De manera que la proposicin consiste en poner juntos o separados estos signos, segn como las cosas por las cuales ellos estn concuerdan o no concuerdan." (Locke, Un Ensayo Concerniente al Entendimiento Humano", IV. 5. 6)Los trabajos en esta tradicin incluyen la "Lgica: O, el Uso Correcto de la Razn" (1725) de Watts, la "Lgica" (1826) de Richard Whately, y "Un Sistema de Lgica" (1843) de John Stuart Mill, que fue una de las ltimas grandes obras en la tradicin.

FVT El advenimiento de la lgica moderna

C.S.G.

Histricamente, Descartes, puede haber sido el primer filsofo que tuvo la idea de usar lgebra, especialmente sus tcnicas para resolver cantidades desconocidas y ecuaciones, como un vehculo para la exploracin cientfica. La idea de una clculo del razonamiento fue tambin cultivada por Gottfried Wilhelm Leibniz. (Leibniz fue el primero en tener un plan realmente distinto de una sistema extensamente aplicable de lgica matemtica. Que esto es as se muestra de la investigacin -mucha de la cual es reciente- del trabajo no publicado de Leibniz). Gottlob Frege en su Begriffsschrift (1879) extendi la lgica formal ms all de la lgica proposicional para incluir constructores tales como "todo", "alguno". Mostr cmo introducir variables y cuantificadores para revelar la estructura lgica de las oraciones, que podran ser oscuras por su estructura gramatical. Por ejemplo, "Todos los humanos son mortales" deviene "Todas las cosas x son tales que, si x es un humano entonces x es mortal." Charles Peirce introdujo el trmino "lgica de segundo orden" y nos provey con mucha de nuestra moderna notacin lgica, incluyendo los smbolos ? y ?. Aunque Peirce public su trabajo algn tiempo despus del Begriffsschrift, la contribucin de Frege no fue bien conocida hasta muchos aos despus. Los lgicos en a finales del siglo 19 y principios del 20 estuvieron ms familiarizados con el sistema de lgica de Peirce-Schrder (popularizado por Ernst Schrder), sin embargo, Frege es generalmente reconocido hoy da como el "Padre la lgica moderna". En 1889 Giuseppe Peano publico la primera versin de la axiomatixacin lgica de la aritmtica. Cinco de los nueve axiomas que l se le ocurrieron son hoy conocidos como los axiomas de Peano. Uno de los axiomas era la declaracin formalizada del principio de la induccin matemtica. Referencias Alonzo Church, 1936-8. 'A bibliography of symbolic logic'. Journal of Symbolic Logic, in two parts: 1: 121-218, and 3:178-212. Dov Gabbay and John Woods, eds, 2004. Handbook of the history of logic, volume 1: Greek, Indian and Arabic logic. Elsevier, ISBN 0-444-50466-4. Dov Gabbay and John Woods, eds, 2004. Handbook of the history of logic, volume 3: The Rise of Modern Logic I: Leibniz to Frege. Elsevier, ISBN 0-444-51611-5.

Breve Historia de la Lgica Abstract

Se presenta una breve descripcin histrica de la lgica y su posible desarrollo futuro. Esta descripcin es un resumen de varias referencias electrnicas, donde resalta la informacin presentada por Henri Poncaire. Esta descripcin histrica se presenta ordenada en las cinco revoluciones sealadas por Poncaire, y dentro de cada una se revisan a sus principales representantes.

1 Introduccin
La evolucin de la lgica est intrnsecamente ligada a la evolucin intelectual del ser humano, ya que como ciencia del razonamiento, su historia representa la historia misma del hombre. La lgica surge desde el primer momento en que el hombre, al enfrentar a la naturaleza, infiere, deduce y razona, con el nimo de entenderla y aprovecharla para su supervivencia [1]. Existen varios enfoques acerca de cmo interpretar la evolucin de la lgica. Poncaire la divide en cinco etapas o revoluciones, que se presentan oscilando entre dos grandes tpicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como: Revolucin matemtica, revolucin cientfica, revolucin formal, revolucin digital y la prevista siguiente revolucin lgica [2].

FVT

C.S.G.

2 Lgica Matemtica

El objetivo de la lgica matemtica es cuestionar con el mayor rigor los conceptos y las reglas de deduccin utilizados en matemticas, constituyendo la lgica por ello una verdadera metamatemtica. Una teora matemtica considera objetos definidos (enteros, por ejemplo) y define leyes que relacionan a estos objetos entre s (los axiomas de la teora). De los axiomas se deducen nuevas proposiciones (los teoremas), y a veces, nuevos objetos. La construccin de sistemas formales (formalizacin), piedra angular de la lgica matemtica, permite eliminar la arbitrariedad en la eleccin de los axiomas y definir explcita y exhaustivamente las reglas de la deduccin matemtica [3].

3 Las matemticas y la lgica

Durante el periodo de 600 AC hasta 300 AC, en Grecia se desarrollaron los principios formales de las matemticas. A este periodo se le conoce como periodo clsico, donde sus principales representantes son Platn, Aristteles y Euclides. Platn introduce sus ideas o abstracciones; Aristteles presenta el razonamiento deductivo y sistematizado y Euclides es el personaje que mayor influencia tuvo en las matemticos, al establecer el mtodo axiomtico. En ''Elementos'', Euclides organiza pruebas deductivas dentro de una presentacin sistemtica, rigurosa y bien organizada de conocimiento matemtico [4].

3.1 Platn

Platn (427-347 AC) intenta instaurar en Siracusa una utpica repblica dirigida por filsofos, y crea la Academia en Atenas, que no era solouna institucin filosfica, sino serva de formacin poltica a los jvenes de la aristocracia. Segn muchos crticos, Platn edifica su teora del conocimiento para justificar el poder preeminente del filsofo y parte de los pensamientos socrticos: la bsqueda de conceptos y definiciones estables de las ideas abstractas (justicia, bondad, valor, etc.). Sostuvo la existencia de dos mundos distintos (el de las ideas y el de las cosas). Segn Platon, lo concreto se entiende slo en funcin de lo abstracto, resultando que el mundo sensible debe su existencia al mundo de las ideas. Platn escogi el dilogo como su forma literaria para verter su pensamiento; como personaje central de sus ''Dilogos'' sita a Scrates, de quien recibi una notable influencia [5].

3.2 Aristteles

Los tratados de lgica de Aristteles (384-332 a.C.), conocidos como Organn, contienen el primer tratamiento sistemtico de las leyes de pensamiento en relacin con la adquisicin de conocimiento. Estos representan el primer intento de establecer a la lgica como ciencia. Aristteles da una clasificacin de todos los conceptos o nociones (sustancias, cantidad, relacin, accin, pasin, diferencia, propiedad y accidente) y trata las reglas del razonamiento silogstico. Aristteles no hace de la lgica una disciplina metfisica, pero si establece una correspondencia entre el pensamiento lgico y la estructura ontolgica. El silogismo fue adoptado por los escolsticos (representantes del sistema teolgico-filosfico, caracterstico de la Edad Media) quienes la enriquecieron con nmerosos y detallados estudios y se esforzaron en formalizarlo. La escolstica, sin embargo, acab por sobrecargar la teora del silogismo, lo que acarre su descrdito a partir del Renacimiento. Los lgicos de la edad moderna (Rame, Arnauld, Nicole, Leibniz, Euler, Lambert) procuraron simplificarla al mximo, y su tratamiento matemtico se complet hasta principios del siglo XX (Boole, De Morgan, Frege, Russell). Desde entonces el silogismo se incluye en la lgica de predicados de primer orden y en la lgica de clases, y ocupa en la ciencia lgica un papel mucho menor que el desempeado en otros tiempos [5].

FVT

C.S.G.

3.3 Euclides

Este matemtico alejandrino public numerosas obras entre las que destacan los clebres ''Elementos'', sin duda el texto matemtico ms conocido a lo largo de la historia. Los ''Elementos'' estn divididos en trece libros y constituyen una recopilacin de gran parte de las matemticas conocidas en tiempos de Euclides; su gran valor reside en el uso riguroso del mtodo deductivo, distinguiendo entre principios (definiciones, axiomas y postulados) y teoremas, que se demuestran a partir de los principios. Los principios de naturaleza puramente geomtrica en ''Elementos'' se conocen como postulados; tres de ellos aseguran la existencia y unicidad de la recta determinada por dos puntos; el cuarto, la existencia de una circunferencia de centro y radio dados; y el quinto da condiciones que aseguran que dos rectas se cortan en un punto. A lo largo de la historia se ha mantenido la sospecha de que el quinto postulado era demostrable a partir de los anteriores. El deseo de encontrar tal demostracin condujo, en el siglo XIX, a la construccin de geometras no euclidianas de las que se deduce la imposibilidad de demostrar el quinto postulado [5].

4 La ciencia matemtica
Despus de declinar la escuela clsica de los griegos, se presenta un periodo en el cual la autoridad religiosa embruteci a la creatividad intelectual. El renacimiento inicia una nueva era en la cual se permite la revitalizacin de la ciencia y las matemticas. Los representantes ms destacados de esta etapa son Descartes, Newton y Leibniz. Este periodo abarca de los 1500 a los 1800 [6].

4.1 Ren Descartes

El punto de partida de este filsofo y matemtico francs (1596-1650) es la duda universal, que consiste de prescindir de cualquier conocimiento previo que no queda confirmado por la evidencia con que ha de manifestarse el espritu. Descartes dud de toda enseanza recibida, de todo conocimiento adquirido, del testimonio de los sentidos e incluso de las verdades de orden racional. Llegado a este punto, halla una verdad de la que no puede dudar: la evidencia interior que se manifiesta en su propio sujeto (pienso, luego existo). Como cientfico, se debe a Descartes, entre otras aportaciones de considerable importancia, la creacin de la geometra analtica [5]. Este desarrollo es importante para la ciencia porque hace a la geometra cuantitativa y permite el uso de mtodos algebraicos. La geometra debe ser cuantitativa para ser usada en la ciencia e ingeniera, y los mtodos algebraicos permiten el desarrollo ms rpido que los mtodos sistemticos (ms rigurosos) requeridos por el enfoque axiomtico de la geometra clsica.

4.2 Isacc Newton

A Isacc Newton (1642-1727) se le debe el descubrimiento de la gravitacin universal, el desarrollo del clculo infinitesimal e importantes descubrimientos sobre ptica, as como las leyes que rigen la mecnica clsica [5].

4.3 Gottfried W. Leibniz

Filsofo y matemtico alemn (1646-1716); fund la Academia de Ciencias de Berln (1700). En ''Discurso sobre el arte combinatorio'' enuncia la necesidad de un lenguaje riguroso, exacto y universal (un lenguaje puramente formal). Como matemtico, su principal trabajo (publicado en 1684) es la memoria intitulada ''Nuevo mtodo para la determinacin de los mximos y los mnimos'', en el que expone las ideas fundamentales del clculo infinitesimal, anticipndose unos aos a Newton. La notacin que emple es particularmente cmoda y se sigue utilizando con algunas modificaciones; introdujo el smbolo de integral y de diferencial de una variable. En el rea de lgica matemtica
public ''Generales inquisitiones de analysi notionum et veritatum'' y ''Fundamenta calculi logici'' [5].

FVT

C.S.G.

5 Formalizacin de las Matemticas

Esta etapa se caracteriza por el resurgimiento de la formalizacin rigurosa de las matemticas, que en la etapa clsica griega fu representativa. El uso de los infenitesimales fue una de las prcticas mas notoria en la poca renacentista, para la cual no se ofrecia una justiticacin. La rigorizacin del anlisis llego con la eliminacin de los infinitesimales y la presencia de los lmites como argumento[7]. En este periodo se crea la lgica simblica, la escuela formal, la lgica booleana, el clculo porposicional, la induccin matemtica, el clculo de secuentes. Personajes muy notables de esta etapa son: Peano, Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gdel y Whitehead. A Rusell y Gdel se deben los planteamientos de las limitantes de la lgica y de la ciencia en general.

5.1 Guiseppe Peano

La enunciacin de los principios del italiano Guiseppe Peano (1858-1932) acerca de lgica matemtica y su aplicacin prctica quedaron contenidos en su obra ''Formulaire de mathematiques''. Los axiomas de Peano permiten definir el conjunto de los nmeros naturales [8].

5.2 David Hilbert

El matemtico alemn David Hilbert (1862-1943) fue un enconado defensor de la axiomtica como enfoque principal de los problemas cientficos, esto es, de partir de un conjunto cerrado e inamovible de premisas para construir la base fundamental de cualquier estudio. A partir de las fuentes griegas de Euclides, public en 1899 su obra ''Fundamentos de Geometra'', en la que mediante un exhaustivo anlisis y perfeccionamiento de las ideas euclidianas, formul sus principios de axiomatizacin. Segn sus teorias, es necesario establecer un conjunto de postulados bsicos antes de plantear de modo ms detallado cualquier tipo de problema fsico o matemtico. Estos principios deben ser simblicos, sin recurrir a dibujos y representaciones grficas, y es necesario preveer la mayora de las posibilidades con antelacin. Su concepcin reconoca tres sistemas de entes geomtricos (puntos, rectas y planos) a los que podan aplicarse axiomas distribuidos en cinco diferentes categoras: pertenencia, orden, igualdad o congruencia, paralelismo y continuidad [8].

5.3 Friedrich G. Frege

Junto con Boole y Peano, el matemtico y lgico Friedrich G. Frege (1848-1925) inicio la corriente de pensamiento que, partiendo del anlisis de los fundamentos de la matemtica, llev a cabo la mas profunda renovacion y desarrollo de la lgica clsica. Fue el primero en introducir los cuantificadores u operadores y en elaborar una teora de la cuantificacin [9].

5.4 George Boole

El lgico y matemtico George Boole (1815-1864) aplic el clculo matemtico a la lgica, fundando el lgebra de la lgica, que en cierto modo realiza el sueo de Leibniz de una ''characteristica universalis'' o clculo del raciocinio. El empleo de smbolos y reglas operatorias adecuados permite representar conceptos, ideas y razonamientos mediante variables y relaciones (ecuaciones) entre ellas. Boole dio un mtodo general para formalizar la inferencia deductiva, representando complicados raciocinios mediante sencillos sistemas de ecuaciones. As, la conclusin de un silogismo se encuentra eliminando el trmino medio de un sistema de tres ecuaciones, conforme a las reglas del lgebra comn, La formalizacin de la lgica, iniciada por Boole, ha contribuido poderosamente a aclarar la estructura de los objetos lgicos, en contraposicin a los materiales y aun en contraposicin a los matemticos, pese a las analogas formales entre la matemtica y la lgica, que Boole seal. Su obra principal es ''Investigacin de las leyes del pensamiento'' en las que se fundan las teoras matemticas de la lgica y la probabilidad (1854), que aun hoy se lee con deleite [8].

FVT

C.S.G.

5.5 Augustus De Morgan

La mayor contribucin de Augustus De Morgan (1806-1871) en el estudio de la lgica incluye la formulacin de las leyes de Morgan y su trabajo fundamenta la teora del desarrollo de las relaciones y la matemtica simblica moderna o lgica matemtica. De Morgan hizo su ms grande contribucin como reformador de la lgica [9].

5.6 Georg F. Cantor

Al matemtico alemn Georg F. Cantor (1845-1918) se debe la idea del ''infinito coninuo'', es decir, la posibilidad de considerar conjuntos infinitos dados simultneamente. Se le considera el creador de la teoria de los nmeros irracionales y de los conjuntos [5].

5.7 Gentzen

El alemn Gentzen (1909-1945) formul la prueba de la consistencia de un sistema de aritmtica clsica, en el cual el mtodo no elemental es una extensin de induccin matemtica a partir de una secuencia de nmeros naturales a un cierto segmento de nmeros ordinales transfinitos [9].

5.8 Bertrand Rusell

Bertrand Rusell (1872-1970) es uno de uno de los creadores de la logstica y uno de los pensadores de mayor influencia en la filosofa cientfica contempornea. Lo fundamental de su obra est en sus aportes a la lgica. Decididamente antiaristotlico, lleg a afirmar que quien quera iniciarse en la lgica deba comenzar por no estudiar la lgica de Aristteles. Por influencia de los trabajos de Cantor descubri en la teora de conjuntos varias paradojas que resolvi mediante la teora de los tipos; aos ms tarde establecera una teora similar, la de la jerarqua de los lenguajes, para eliminar las paradojas semnticas. Siguiendo los trabajos de Cantor, Peano y Frege, Rusell se propuso fundamentar y axiomatizar la matemtica a partir de conceptos lgicos. Este empeo culmin con la publicacin (1910-1913) de los monumentales ''Principia Mathematica'' (en colaboracin con Whitehead), obra que, adems, sentaba las bases de la moderna lgica formal.

5.8.5. Ludwig Wittgenstein

Ludwig Wittgenstein (1889-1951) La corriente neopositivista, que parte de la concepcin de Hume sobre el origen del conocimiento dado en la percepcin sensible, aboga por un fisicalismo y un formalismo (R. Carnap) que se basa en el anlisis del lenguaje y lo que se quiere decir con l, por esta razn insiste en el anlisis lgico de las proposiciones y la sintaxis de las mismas. El suelo que sustenta la propuesta de los neopositivistas del crculo de Viena est influenciado por la propuesta de Ludwig Wittgenstein en el Tractatus Logico Philosophicus, quien sostiene que lo que se puede en general decir, se puede decir claramente y de lo que no se puede hablar se debe callar, que el mundo es la totalidad de los hechos, no de las cosas (1.1).Wittgeinstein afirma que la figura lgica de los hechos es el pensamiento, as como que no podemos pensar nada ilgico (3.03) o representar en el lenguaje algo que <<contradiga la lgica>> es cosa tan escasamente posible como representar en geometra mediante sus coordenadas una figura que contradiga las leyes del espacio; o dar coordenadas de un punto que no existe(3.032), de ah que no hay que asombrarse de que los ms profundos problemas no sean propiamente problemas20. Las propuestas de Ludwig Wittgenstein han marcado el desarrollo de la lgica hasta nuestros das. Ludwig Wittgenstein, Tractatus Logico-Philosophicus, Ed. Alianza, Madrid 1973.

5.9 Kurt Gdel

Kurt Gdel (1906-1978) tuvo mltiples contribuciones a la lgica matemtica, destacando la demostracin de la consistencia de la hiptesis cantoriana del continuo y el teorema y la prueba de incompletez semntica. En ''Sobre las proposiciones indecidibles de los sistemas de matemtica formal'' establece que es imposible construir un sistema de clculo lgico suficientemente rico en el

que todos sus teoremas y enunciados sean decidibles dentro del sistema. Con este teorema se demostr definitivamente que era imposible llevar a cabo el programa de la axiomatizacin completa de la matemtica propugnado por Hilbert y otros, ya que, segn l, no puede existir una sistematizacin coherente de la misma tal que todo enunciado matemtico verdadero admita demostracin. Siempre habr enunciados que no son demostrables ni refutables. Para probar esta asercin se sirvi de la matematizacin de la sintaxis lgica.

FVT

C.S.G.

6 La Revolucin Digital

Esta revolucin inicio con la invencin de la computadora digital y el acceso universal a redes de alta velocidad. Turing une a la lgica y la computacin antes que cualquier computadora fuera inventada. Weiner funda la ciencia de la ciberntica. En la escuela moderna de la computacin estn presentes lgicos que han permitido avances importantes: Hoare presenta un sistema axiomtico de los sistemas de programacin y Dijkstra un sistema de verificacin y deduccin de programas a partir de especificaciones.

6.1 Alan Turing

Matemtico y lgico quien fue pionero en la teora de la computacin y contribuy en importantes anlisis lgicos de los procesos computacionales. Las especificaciones para la computadora abstracta que l ide (llamada la Mquina de Turing) result ser una de sus mas importantes contribuciones a la teora de la computacin. Turing adems prob que es posible construir una mquina universal que con una programacin adecuada podr hacer el trabajo de cualquier mquina diseada para resolver problemas especficos [9].Alan Turing invent la mquina que lleva su nombre (Mquina de Turing) en un intento por determinar si toda la matemtica podia ser reducida a algn tipo simple de computacin. Su objetivo fu desarrollar la mquina ms simple posible capaz de realizar computacin. La mquina propuesta por Turing es un dispositivo relativamente simple, pero capaz de realizar cualquier operacin matemtica. Turing abrig la ilusin de que su mquina tena una capacidad tal que, potencialmente, podra ser capaz de realizar cualquier cosa realizable por el cerebro humano, incluyendo la capacidad de poseer conciencia de si mismo. Pese a ser considerados formalmente equivalentes, distintos modelos de computacin presentan estructuras y comportamientos internos diferentes [10].

6.2 Norbert Weiner

El cientfico norteamricano Norbert Weiner (1894-1964) en 1947 publica su libro ms famoso: ''Ciberntica, o control y comunicacin en el animal y la mquina''; en donde se utiliza por primera vez la palabra Ciberntica. Existen muchas definiciones de Ciberntica (del griego kybernetes, piloto), Norbert Weiner dio vida a la palabra mediante una definicin muy simple: ''Ciencia que estudia la traduccin de los procesos biolgicos a procesos de mquina''. En un inicio, la Ciberntica estaba muy ligada a ciencias como neurologa, biologa, robtica e inteligencia artificial. [11].

6.3 Alfred Tarski 6.4 Morin Edgar

Matemtico y lgico polaco nacido en 1902, quien realizo importantes estudios de lgebra en general, teora de mediciones, lgica matemtica, teora de conjuntos, y metamatemticas. La propuesta de Newton Da Costa empata, segn nuestro criterio, con la propuesta del pensador francs, ciudadano del mundo, Edgar Morin (1921), quien ha buscado durante el ltimo medio siglo la formulacin de un paradigma de la complejidad, que reconozca la interretrorelacin ntima, profunda, que existe en todo en el universo, que responda a la necesidad de pensar, retomando a Pascal, el todo as como particularmente cada una de las partes, es decir, pensar todo y el todo mismo as como sus partes, tejidas en conjunto (complexus).

Este pensamiento demanda una nueva lgica que pueda pensar sin trivializarse, lo concurrente, lo complementario y lo antagnico; una lgica que pueda pensar la naturaleza, el cosmos y la vida misma en su dinamicidad, que conciba, contrario al planteamiento de Hegel, la lgica como una astucia de la naturaleza, del cosmos, de la vida y no a la naturaleza, al cosmos, a la vida como una astucia de la lgica. Morin Edgar, Ciencia con Consciencia, Ed. Anthropos, Barcelona, 1984, p366

FVT

C.S.G.

7 La siguiente revolucin lgica

La siguiente revolucin lgica ser la asimilacin prctica de las matemticas y la computacin dentro de la lgica. Se har enfsis en que las computadoras exploten la informacin inteligentemente, pasando de las bases de datos a las bases de conocimientos [12].

8 Conclusin

La lgica muestra un devenir histrico muy interesante, naciendo de la fuerte formalizacin de las matemticas de los griegos, que fu impactada, como muchas ciencias, por el pensamiento de la Edad Media, donde la religin se anteponia a todo; pero, el impet de la mente de los filsofos renacentistas ayud a retomar su desarrollo. No cabe duda que la lgica tiene impact fundamental, como ciencia de las ciencias, en el pensamiento contemporaneo, y que el nacimiento de la tecnolgia computacional deba mucho al desarrollo del formalismo lgico de principios de siglo.
1.

9 Referencias

Frausto, Juan. ''Evolucin de la Lgica: Pasado, Presente y Futuro'' . http://w3.mor.itesm.mx/logica/log9808/evolucin.html . 12 de agosto de 1999. Poincare, Henri. ''Logical Revolution. Past, present and future'' . 17 de http://www.rbjones.com/rbjpub/www/colum/c00300.html . 17 de agosto de 1999. Gran Enciclopedia de la Ciencia y de la Tecnologa. Varios volmenes. Ediciones Ocano. Espaa.1996 Poincare, Enri. ''Classical Greek Mathematics''. 10 http://www.rbjones.com/rbjpub/maths/math005.html . 17 de agosto de 1999. Diccionario Enciclopedico Univesal. Varios volmenes. Ediciones Oceano. Espaa. 1994. Poncaire, Henri. ''Mathematics and the Scientific Revolution'' . http://www.rbjones.com/rbjpub/maths/math011.html . 17 de agosto de 1999. de agosto de 1999.

2.
3.

4.
5. 6.

agosto

de

1999.

de

octubre

de de

1996. 1996.

7.
8. 9.

Poncaire, Henri. ''The Formalisation of Mathematics'' . 5 de octubre http://www.rbjones.com/rbjpub/maths/math006.html . 17 de agosto de 1999. Enciclopedia Hispnica. Varios volmenes. Ed. Encyclopaedia Britannica Publishers. Mxico. 1990. Encyclopaedia Britannica. Varios volmenes. Ed. Encyclopaedia Britannica Publishers. Estados Unidos. 1980.

10.

Campos Domingez, Daniel. ''Modelos de Computacin''. Arquitectura y Organizacin de Computadores. Agosto de 1997. http://www.inf.udec.cl/campos/arquitectura/modelos.html . 18 de agosto de 1999. 11. Asociacin Mexicana de Ingenieros en ciberntica. http://www.cibernetica.org.mx/ . 18 de agosto de 1999. 12. Poncaire, Henri. ''The Next Logical Revolution''. 3 de noviembre de 1996. http://www.rbjones.com/rbjpub/logic/engl002.html . 18 de agosto de 1999. Autores: Juan A.Alvarez Vzquez Julio A. Freyre Gonzalez Rafael Rivera Lpez Maestra en Ciencias Computacionales Instituto Tecnolgico y de Estudios Superiores de Monterrey Campus Morelos http://w3.mor.itesm.mx/~logica/ http://www.euclides.org/http://www.euclides.org/ Copyright 2002 / 2003 Jaume Domenech Larraz email

10