Está en la página 1de 10

FVT

C.S.G.

HISTORIA DE LA LÓGICA PLANTEAMIENTO
La Historia de la lógica viene a ser el estudio de las contribuciones al desarrollo de esta disciplina. ¿En qué consisten tales contribuciones? Puede decirse que, en sustancia, una contribución al desarrollo de la lógica es o envuelve un análisis de la forma de ciertas relaciones lógicas en particular, la relación de consecuencia, o un análisis de su estructura interna, o es significativa para la determinación de una y otra. Entonces, salvo que cambie radicalmente la idea que nos venimos haciendo de la lógica, serán contribuciones paradigmáticas a su desarrollo textos como los cc. 1, 2 y 4-7 del libro I [A] de los Primeros Analíticos de Aristóteles, o los tratados iv y vi de los Tractatus después 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, además, otras aportaciones que compartan ciertas características distintivas con esas contribuciones típicas, 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 contribución al desarrollo de la lógica 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 lógica no llueven del cielo, ni son el limpio reflejo de unas Formas u Objetos en sí mismos lógicos, ni resultan productos puros de la Razón. Antes bien, se gestan en el seno de tradiciones de pensamiento; responden a programas de análisis conceptuales, teóricos o metodológicos; están hechas de la materia de los textos. Su desarrollo, aparte de contribuir a las líneas de trabajo abiertas o establecidas en el cultivo de la disciplina, guarda relación con otros marcos de referencia inferenciales y culturales como, por ejemplo, la argumentación ordinaria, el discurso filosófico, la deducción matemática, la inferencia científica. Su fortuna y su eficacia históricas también dependen de unas condiciones de transmisión, recepción e institucionalización, tanto disciplinarias como interdisciplinarias. De modo que la Historia de la lógica, salvo en lo que concierne a sus temas característicos y a su peculiar uso de reconstrucciones formalizadas como métodos auxiliares de interpretación, no difiere mucho de cualquier otra historia de una disciplina académica de venerable raigambre en la cultura occidental. De todo ello se desprende que la Historia de la lógica es una empresa colectiva, multidisciplinaria y pluridimensional, que incluye un buen número de tareas aún por hacer. Incluso en razón de la penuria conceptual y profesional que hoy sigue arrastrando este tipo de estudio, la Historia de la lógica todavía está por reconocer. Lo que significa, entre otras cosas, que si se dedican a la Historia de la lógica quizás tengan dificultades para encontrar empleo pero, desde luego, no les faltará trabajo. La condición de la Historia de la lógica como "historia en construcción" y labor pendiente también supone que: (a) la confección de un temario sólo puede tener hoy un carácter provisional e indicativo; (b) ninguno de los manuales generales que hoy circulan es satisfactorio; (c) por el momento, al menos, el tipo de material didáctico que podría resultar más útil sería el que orientara la exploración, el estudio y el trabajo en este campo.

1

debido al duro gobierno del Legalismo en la subsiguiente dinastía Qin. Esto permite adelantar. sino que viene de la transmisión de la lógica aristotélica y su comentario por los filósofos islámicos a los lógicos medievales europeos. La filosofía idealista budista llegó a ser el principal oponente de los naiyayicas. uno podría decir materialistas. Esta comprendía lo que se podría llamar inclusión y exclusión de las propiedades definitorias. una de las escuelas que creció a partir del mohismo. es acreditado con la fundación de la escuela mohista. "Maestro Mo". Luis Vega Reñón. un puñado de núcleos temáticos ricos y significativos. no todos los manuales generales o Historias de la lógica se dejan medir por el mismo rasero. D.G. su afirmación y negación conjuntas. su negación. especialmente en el caso de India. esta línea de investigación desapareció en China hasta la introducción de la filosofía India por los budistas. tanto por lo que concierne a visiones históricas paranorámicas como por lo que concierne a ensayos monográficos. Con este fin se desarrolló una doctrina conocida como "apoha" o diferenciación. Desafortunadamente. Su análisis se centra en la definición de implicación lógicamente necesaria. Mozi. En particular. el fundador de la secta Madhyamika "El Camino Medio" desarrollo un análisis conocido como el "chatuskoti" o tetralemma.S. son acreditados por algunos estudiosos de la temprana investigación en lógica formal.es/345606/index. Las culturas en la historia de la lógica La historia de la lógica comenzó en tres culturas. Dr. cuyos cánones tratan de los asuntos relacionados con la validez de la inferencia y las condiciones de las conclusiones correctas. Catedratico. escuela trabajó un esquema de inferencia fijo de cinco miembros compuesto de una premisa inicial. Hace posible además una especie de selección entre la historiografía existente. una razón. pero no viene de Europa en su totalidad. una de las seis escuelas ortodoxas de la filosofía Hindú. Lógica en Grecia En Grecia. en parte. El tratamiento formalmente sofisticado de la lógica moderna desciende de la tradición griega. Del examen del silogismo de 2 .Sin embargo. Nagarjuna. Aunque las fechas exactas son inciertas. Lógica en China En China. Lógica en India Los Nyaya Sutras de Aksapada Gautama constituyen el núcleo de textos de la escuela Nyaya. Esta realista. un contemporáneo de Confucio. Las dificultades envueltas en esta empresa. a manera de programa. Muchas culturas emplean intrincados sistemas de razonamiento. un ejemplo. hay algunos focos o centros de interés relativamente destacados y. la cual introduce un análisis formal de la inferencia en el siglo +16.uned. resulta posible que la lógica emergiera en las tres sociedades en el siglo -IV. pero en general se suele estar de acuerdo en que la lógica como análisis explícito de los métodos de razonamiento fue desarrollada independientemente por solo tres tradiciones: China. una aplicación y una conclusión. Con esta argumentación de cuatro lados sistemáticamente examinaba y rechazaba: la afirmación de una proposición. estimularon la escuela neoescolástica Navya-Nyaya. los Lógicos.htm FVT C. India y Grecia. y finalmente la negación de su afirmación y negación conjuntas. también conocida como concomitancia invariable o pervasión. http://www. "vyapti". afortunadamente. la colección de obras de Aristóteles conocida como el "Organon" o instrumento prácticamente ex nihilo creó la disciplina conocida como lógica. Pero fue Dignaga y su sucesor Dharmakirti con quienes la lógica budista alcanzó su culminación.

mejor conocida como la "Lógica de Port-Royal". quienes valoraban altamente el Organon de Aristóteles. El trabajo de los filósofos islámicos influenciados por los griegos fue crucial en la recepción de la lógica griega en la Europa medieval. Mill en 1825. o El arte de Pensar. El libro presenta una doctrina más o menos cartesiana (que la proposición es una combinación de ideas más bien que de términos.S. la ley islámica ponía importancia en la formulación de estándares de argumentación. A pesar de la sofistificación de Al-Ghazali. 5." (Locke. 3 .Aristóteles se puede hacer una interesante comparación con el esquema de inferencia Indio y la menos rígida discusión China. Lógica en la filosofía islámica Tras la muerte de Mahoma. con las obras de Guillermo de Ockham (1287-1347) y de Juan Buridan. FVT C.G. que fue una de las últimas grandes obras en la tradición. Lógica Tradicional "Lógica Tradicional" generalmente significa la tradición textual que comienza con la lógica de Arnauld y Nicole. que dieron lugar a una nueva aproximación a la argumentación en Kalam. cuya identidad exacta es desconocida. conocido como John de Santo Tomas). y el libro tuvo considerable influencia tras esto. según como las cosas por las cuales ellos están concuerdan o no concuerdan. La exposición sobre las proposiciones que Locke da en el Ensayo es esencialmente el de Port Royal. la tradición aristotélica fue considerado que codificaba preeminentemente las leyes del razonamiento. y los comentarios sobre el Organon por Averroes jugó un papel central en el subsiguiente florecimiento de la lógica medieval europea. se ha sugerido que este cambio podría ser facilitado con una mayor familiaridad con la literatura clásica de India y un más profundo conocimiento de China. 6)Los trabajos en esta tradición incluyen la "Lógica: O. el surgimiento de la escuela Asharita poco a poco sofocó el trabajo original sobre lógica en el mundo islámico. puestos juntos o separados en oraciones afirmativas o negativas. Se lo reimprime frecuentemente en inglés hasta el final del siglo diecinueve. Publicada en 1662. armenio y georgiano. que son palabras. el "Tractatus" el cual fue bien conocido en Europa por muchos siglos. Entre 1664 y 1700 hubo ocho ediciones. un estudio de la semántica de los términos de la proposición. "Las proposiciones verbales. Lógica Medieval "Lógica Medieval" (también conocida como "Lógica Escolástica") generalmente significa la forma de la lógica aristotélica desarrollada en el occidente medieval durante el periodo 1200-1600. el Uso Correcto de la Razón" (1725) de Watts. La tradición fue desarrollada a través de libros tales como los de Pedro Hispano(siglo 13). S. A través del latín en Europa occidental. IV. [son] los signos de nuestras ideas. La tradición alcanzó su punto máximo en el siglo 14. pero esta aproximación fue desplazado por las ideas de la filosofía griega con el surgimiento de los filósofos Mutazilitas. De manera que la proposición consiste en poner juntos o separados estos signos. y "Un Sistema de Lógica" (1843) de John Stuart Mill. fue el libro sobre lógica más influyente en Inglaterra hasta "Un Sistema de Lógica" de J. Un rasgo [de estos lógicos] es el desarrollo de la lógica aristotélica a través de lo que es conocido como la Teoría de la Suposición. y diversos idiomas más al este. quien fue el autor de un libro estándar sobre lógica. No ha sido hasta el siglo diecinueve cuando este punto de vista a cambiado. y las Discusiones Metafísicas de Francisco Suárez (1548-1617). la "Lógica" (1826) de Richard Whately. tales como el árabe. La última de las grandes obras de esta tradición son las del lógico John Poinsot (1589-1644. por ejemplo) dentro de un marco que es en gran manera derivado de la lógica de términos aristotélica y medieval. Un Ensayo Concerniente al Entendimiento Humano".

Las etapas se identifican como: Revolución matemática. Handbook of the history of logic. Uno de los axiomas era la declaración formalizada del principio de la inducción matemática. revolución formal. La idea de una cálculo del razonamiento fue también cultivada por Gottfried Wilhelm Leibniz. Descartes. su historia representa la historia misma del hombre. in two parts: 1: 121-218. Gottlob Frege en su Begriffsschrift (1879) extendió la lógica formal más allá de la lógica proposicional para incluir constructores tales como "todo". La lógica surge desde el primer momento en que el hombre. Aunque Peirce publicó su trabajo algún tiempo después del Begriffsschrift. si x es un humano entonces x es mortal. y dentro de cada una se revisan a sus principales representantes. que se presentan oscilando entre dos grandes tópicos: del rigor y la formalidad. como un vehículo para la exploración científica. ISBN 0-444-51611-5. "Todos los humanos son mortales" deviene "Todas las cosas x son tales que. Los lógicos en a finales del siglo 19 y principios del 20 estuvieron más familiarizados con el sistema de lógica de Peirce-Schröder (popularizado por Ernst Schröder). and 3:178-212. 2004. deduce y razona. Esta descripción histórica se presenta ordenada en las cinco revoluciones señaladas por Poncaire. incluyendo los símbolos ? y ?. ISBN 0-444-50466-4. revolución científica. Dov Gabbay and John Woods. Referencias Alonzo Church. con el ánimo de entenderla y aprovecharla para su supervivencia [1]. 'A bibliography of symbolic logic'. Cinco de los nueve axiomas que él se le ocurrieron son hoy conocidos como los axiomas de Peano. eds.» Breve Historia de la Lógica Abstract Se presenta una breve descripción histórica de la lógica y su posible desarrollo futuro. revolución digital y la prevista siguiente revolución lógica [2]. Que esto es así se muestra de la investigación -mucha de la cual es reciente.FVT El advenimiento de la lógica moderna C. la contribución de Frege no fue bien conocida hasta muchos años después. Elsevier. a la creatividad y el caos. Mostró cómo introducir variables y cuantificadores para revelar la estructura lógica de las oraciones. puede haber sido el primer filósofo que tuvo la idea de usar álgebra.S. donde resalta la información presentada por Henri Poncaire. volume 3: The Rise of Modern Logic I: Leibniz to Frege. volume 1: Greek. que podrían ser oscuras por su estructura gramatical. (Leibniz fue el primero en tener un plan realmente distinto de una sistema extensamente aplicable de lógica matemática. 2004. infiere. eds. Journal of Symbolic Logic. Por ejemplo. sin embargo. En 1889 Giuseppe Peano publico la primera versión de la axiomatixación lógica de la aritmética." Charles Peirce introdujo el término "lógica de segundo orden" y nos proveyó con mucha de nuestra moderna notación lógica. "alguno". 1 Introducción La evolución de la lógica está intrínsecamente ligada a la evolución intelectual del ser humano. especialmente sus técnicas para resolver cantidades desconocidas y ecuaciones. Esta descripción es un resumen de varias referencias electrónicas.del trabajo no publicado de Leibniz). Poncaire la divide en cinco etapas o revoluciones.G. al enfrentar a la naturaleza. ya que como ciencia del razonamiento. Existen varios enfoques acerca de cómo interpretar la evolución de la lógica. Indian and Arabic logic. 1936-8. Dov Gabbay and John Woods. 4 . Elsevier. Históricamente. Frege es generalmente reconocido hoy día como el "Padre la lógica moderna". Handbook of the history of logic.

Aristóteles presenta el razonamiento deductivo y sistematizado y Euclides es el personaje que mayor influencia tuvo en las matemáticos.). acabó por sobrecargar la teoría del silogismo.G. relación. propiedad y accidente) y trata las reglas del razonamiento silogístico. La construcción de sistemas formales (formalización). Aristóteles y Euclides. Platón escogió el diálogo como su forma literaria para verter su pensamiento. 2 Lógica Matemática El objetivo de la lógica matemática es cuestionar con el mayor rigor los conceptos y las reglas de deducción utilizados en matemáticas. 3.C. etc. pero si establece una correspondencia entre el pensamiento lógico y la estructura ontológica. que no era solouna institución filosófica. y ocupa en la ciencia lógica un papel mucho menor que el desempeñado en otros tiempos [5]. y a veces. Frege. sino servía de formación política a los jóvenes de la aristocracia. resultando que el mundo sensible debe su existencia al mundo de las ideas. Según muchos críticos. cantidad. Según Platon. como personaje central de sus ''Diálogos'' sitúa a Sócrates. Russell). permite eliminar la arbitrariedad en la elección de los axiomas y definir explícita y exhaustivamente las reglas de la deducción matemática [3]. piedra angular de la lógica matemática. característico de la Edad Media) quienes la enriquecieron con númerosos y detallados estudios y se esforzaron en formalizarlo. Leibniz.1 Platón Platón (427-347 AC) intenta instaurar en Siracusa una utópica república dirigida por filósofos.S. de quien recibió una notable influencia [5]. pasión. bondad. 3 Las matemáticas y la lógica Durante el periodo de 600 AC hasta 300 AC. y su tratamiento matemático se completó hasta principios del siglo XX (Boole. En ''Elementos''. De Morgan. al establecer el método axiomático. La escolástica. valor. Lambert) procuraron simplificarla al máximo. 3. Nicole.FVT C. A este periodo se le conoce como periodo clásico. diferencia. Desde entonces el silogismo se incluye en la lógica de predicados de primer orden y en la lógica de clases. y crea la Academia en Atenas. constituyendo la lógica por ello una verdadera metamatemática. acción. Aristóteles da una clasificación de todos los conceptos o nociones (sustancias. rigurosa y bien organizada de conocimiento matemático [4]. sin embargo. Los lógicos de la edad moderna (Ramée. Sostuvo la existencia de dos mundos distintos (el de las ideas y el de las cosas). 5 . donde sus principales representantes son Platón. en Grecia se desarrollaron los principios formales de las matemáticas.). por ejemplo) y define leyes que relacionan a estos objetos entre sí (los axiomas de la teoría). nuevos objetos. Estos representan el primer intento de establecer a la lógica como ciencia. lo concreto se entiende sólo en función de lo abstracto. Euler.2 Aristóteles Los tratados de lógica de Aristóteles (384-332 a. De los axiomas se deducen nuevas proposiciones (los teoremas). Euclides organiza pruebas deductivas dentro de una presentación sistemática. Una teoría matemática considera objetos definidos (enteros. contienen el primer tratamiento sistemático de las leyes de pensamiento en relación con la adquisición de conocimiento. Platón edifica su teoría del conocimiento para justificar el poder preeminente del filósofo y parte de los pensamientos socráticos: la búsqueda de conceptos y definiciones estables de las ideas abstractas (justicia. Arnauld. lo que acarreó su descrédito a partir del Renacimiento. conocidos como Organón. Aristóteles no hace de la lógica una disciplina metáfisica. Platón introduce sus ideas o abstracciones. El silogismo fue adoptado por los escolásticos (representantes del sistema teológico-filosófico.

Los ''Elementos'' están divididos en trece libros y constituyen una recopilación de gran parte de las matemáticas conocidas en tiempos de Euclides. 4.1 René Descartes El punto de partida de este filósofo y matemático francés (1596-1650) es la duda universal. se presenta un periodo en el cual la autoridad religiosa embruteció a la creatividad intelectual. 4.3 Euclides Este matemático alejandrino publicó numerosas obras entre las que destacan los célebres ''Elementos''. en el siglo XIX. luego existo). La geometría debe ser cuantitativa para ser usada en la ciencia e ingeniería. la creación de la geometría analítica [5]. 3. así como las leyes que rigen la mecánica clásica [5]. Como científico. su principal trabajo (publicado en 1684) es la memoria intitulada ''Nuevo método para la determinación de los máximos y los mínimos''. y el quinto da condiciones que aseguran que dos rectas se cortan en un punto. 4. anticipándose unos años a Newton. el desarrollo del cálculo infinitesimal e importantes descubrimientos sobre óptica. de todo conocimiento adquirido. Llegado a este punto. del testimonio de los sentidos e incluso de las verdades de orden racional. tres de ellos aseguran la existencia y unicidad de la recta determinada por dos puntos. se debe a Descartes. Como matemático. que consiste de prescindir de cualquier conocimiento previo que no queda confirmado por la evidencia con que ha de manifestarse el espíritu. En el área de lógica matemática publicó ''Generales inquisitiones de analysi notionum et veritatum'' y ''Fundamenta calculi logici'' [5]. fundó la Academia de Ciencias de Berlín (1700). El renacimiento inicia una nueva era en la cual se permite la revitalización de la ciencia y las matemáticas. y los métodos algebraicos permiten el desarrollo más rápido que los métodos sistemáticos (más rigurosos) requeridos por el enfoque axiomático de la geometría clásica.3 Gottfried W. distinguiendo entre principios (definiciones. la existencia de una circunferencia de centro y radio dados. entre otras aportaciones de considerable importancia. Este desarrollo es importante para la ciencia porque hace a la geometría cuantitativa y permite el uso de métodos algebraicos. introdujo el símbolo de integral y de diferencial de una variable. en el que expone las ideas fundamentales del cálculo infinitesimal.2 Isacc Newton A Isacc Newton (1642-1727) se le debe el descubrimiento de la gravitación universal. axiomas y postulados) y teoremas. Los representantes más destacados de esta etapa son Descartes. halla una verdad de la que no puede dudar: la evidencia interior que se manifiesta en su propio sujeto (pienso. a la construcción de geometrías no euclidianas de las que se deduce la imposibilidad de demostrar el quinto postulado [5]. 6 . Newton y Leibniz. A lo largo de la historia se ha mantenido la sospecha de que el quinto postulado era demostrable a partir de los anteriores. La notación que empleó es particularmente cómoda y se sigue utilizando con algunas modificaciones. Descartes dudó de toda enseñanza recibida. sin duda el texto matemático más conocido a lo largo de la historia. El deseo de encontrar tal demostración condujo. En ''Discurso sobre el arte combinatorio'' enuncia la necesidad de un lenguaje riguroso. Los principios de naturaleza puramente geométrica en ''Elementos'' se conocen como postulados. 4 La ciencia matemática Después de declinar la escuela clásica de los griegos. Leibniz Filósofo y matemático alemán (1646-1716). Este periodo abarca de los 1500 a los 1800 [6].S.FVT C. que se demuestran a partir de los principios. su gran valor reside en el uso riguroso del método deductivo. exacto y universal (un lenguaje puramente formal).G. el cuarto.

sin recurrir a dibujos y representaciones gráficas. formuló sus principios de axiomatización. de partir de un conjunto cerrado e inamovible de premisas para construir la base fundamental de cualquier estudio. el matemático y lógico Friedrich G. 5.2 David Hilbert El matemático alemán David Hilbert (1862-1943) fue un enconado defensor de la axiomática como enfoque principal de los problemas científicos. Hilbert. ideas y razonamientos mediante variables y relaciones (ecuaciones) entre ellas. Su obra principal es ''Investigación de las leyes del pensamiento'' en las que se fundan las teorías matemáticas de la lógica y la probabilidad (1854).3 Friedrich G. representando complicados raciocinios mediante sencillos sistemas de ecuaciones. partiendo del análisis de los fundamentos de la matemática. el cálculo de secuentes.1 Guiseppe Peano La enunciación de los principios del italiano Guiseppe Peano (1858-1932) acerca de lógica matemática y su aplicación práctica quedaron contenidos en su obra ''Formulaire de mathematiques''. Personajes muy notables de esta etapa son: Peano. La formalización de la lógica. fundando el álgebra de la lógica. Estos principios deben ser simbólicos.G. conforme a las reglas del álgebra común. que Boole señaló. rectas y planos) a los que podían aplicarse axiomas distribuidos en cinco diferentes categorías: pertenencia. Así. y es necesario preveer la mayoría de las posibilidades con antelación. La rigorización del análisis llego con la eliminación de los infinitesimales y la presencia de los límites como argumento[7]. que en la etapa clásica griega fué representativa. en contraposición a los materiales y aun en contraposición a los matemáticos. iniciada por Boole. que en cierto modo realiza el sueño de Leibniz de una ''characteristica universalis'' o cálculo del raciocinio. la escuela formal. Los axiomas de Peano permiten definir el conjunto de los números naturales [8]. ha contribuido poderosamente a aclarar la estructura de los objetos lógicos. El uso de los infenitesimales fue una de las prácticas mas notoria en la época renacentista. de Morgan. en la que mediante un exhaustivo análisis y perfeccionamiento de las ideas euclidianas.FVT C. El empleo de símbolos y reglas operatorias adecuados permite representar conceptos. Russell. Boole. que aun hoy se lee con deleite [8]. En este periodo se crea la lógica simbólica. 5. para la cual no se ofrecia una justiticación. orden. Frege Junto con Boole y Peano. 5. es necesario establecer un conjunto de postulados básicos antes de plantear de modo más detallado cualquier tipo de problema físico o matemático.4 George Boole El lógico y matemático George Boole (1815-1864) aplicó el cálculo matemático a la lógica. Boole dio un método general para formalizar la inferencia deductiva. Frege (1848-1925) inicio la corriente de pensamiento que. esto es. la conclusión de un silogismo se encuentra eliminando el término medio de un sistema de tres ecuaciones. la lógica booleana. Fue el primero en introducir los cuantificadores u operadores y en elaborar una teoría de la cuantificación [9].S. Frege. Gentzen. A Rusell y Gödel se deben los planteamientos de las limitantes de la lógica y de la ciencia en general. paralelismo y continuidad [8]. el cálculo porposicional. 5 Formalización de las Matemáticas Esta etapa se caracteriza por el resurgimiento de la formalización rigurosa de las matemáticas. Según sus teorias. igualdad o congruencia. Gödel y Whitehead. A partir de las fuentes griegas de Euclides. pese a las analogías formales entre la matemática y la lógica. publicó en 1899 su obra ''Fundamentos de Geometría''. llevó a cabo la mas profunda renovacion y desarrollo de la lógica clásica. 5. 7 . la inducción matemática. Su concepción reconocía tres sistemas de entes geométricos (puntos.

para eliminar las paradojas semánticas.7 Gentzen El alemán Gentzen (1909-1945) formuló la prueba de la consistencia de un sistema de aritmética clásica. la posibilidad de considerar conjuntos infinitos dados simultáneamente. no de las cosas” (1. destacando la demostración de la consistencia de la hipótesis cantoriana del continuo y el teorema y la prueba de incompletez semántica. Se le considera el creador de la teoria de los números irracionales y de los conjuntos [5]. aboga por un fisicalismo y un formalismo (R. 5.1). 5.9 Kurt Gödel Kurt Gödel (1906-1978) tuvo múltiples contribuciones a la lógica matemática. además. Lo fundamental de su obra está en sus aportes a la lógica. Cantor (1845-1918) se debe la idea del ''infinito coninuo''. quien sostiene que “lo que se puede en general decir. En ''Sobre las proposiciones indecidibles de los sistemas de matemática formal'' establece que es imposible construir un sistema de cálculo lógico suficientemente rico en el 8 . así como que “no podemos pensar nada ilógico” (3. o dar coordenadas de un punto que no existe”(3. Cantor Al matemático alemán Georg F.5 Augustus De Morgan La mayor contribución de Augustus De Morgan (1806-1871) en el estudio de la lógica incluye la formulación de las leyes de Morgan y su trabajo fundamenta la teoría del desarrollo de las relaciones y la matemática simbólica moderna o lógica matemática. El suelo que sustenta la propuesta de los neopositivistas del círculo de Viena está influenciado por la propuesta de Ludwig Wittgenstein en el “Tractatus Logico Philosophicus”. de ahí que “no hay que asombrarse de que los más profundos problemas no sean propiamente problemas”20. Peano y Frege. 5. años más tarde establecería una teoría similar. que parte de la concepción de Hume sobre el origen del conocimiento dado en la percepción sensible.6 Georg F.03) o “representar en el lenguaje algo que <<contradiga la lógica>> es cosa tan escasamente posible como representar en geometría mediante sus coordenadas una figura que contradiga las leyes del espacio.032).Wittgeinstein afirma que “la figura lógica de los hechos es el pensamiento”. en el cual el método no elemental es una extensión de inducción matemática a partir de una secuencia de números naturales a un cierto segmento de números ordinales transfinitos [9]. Alianza. Rusell se propuso fundamentar y axiomatizar la matemática a partir de conceptos lógicos. Tractatus Logico-Philosophicus. llegó a afirmar que quien quería iniciarse en la lógica debía comenzar por no estudiar la lógica de Aristóteles. Ed.S. es decir. 5. Las propuestas de Ludwig Wittgenstein han marcado el desarrollo de la lógica hasta nuestros días. Carnap) que se basa en el análisis del lenguaje y lo que se quiere decir con él. se puede decir claramente” y “de lo que no se puede hablar se debe callar”. Madrid 1973. sentaba las bases de la moderna lógica formal.G. Siguiendo los trabajos de Cantor. 5. por esta razón insiste en el análisis lógico de las proposiciones y la sintaxis de las mismas.5. la de la jerarquía de los lenguajes.8. 5. Ludwig Wittgenstein.8 Bertrand Rusell Bertrand Rusell (1872-1970) es uno de uno de los creadores de la logística y uno de los pensadores de mayor influencia en la filosofía científica contemporánea. De Morgan hizo su más grande contribución como reformador de la lógica [9]. obra que. Decididamente antiaristotélico. Este empeño culminó con la publicación (1910-1913) de los monumentales ''Principia Mathematica'' (en colaboración con Whitehead). Ludwig Wittgenstein Ludwig Wittgenstein (1889-1951) La corriente neopositivista. que “el mundo es la totalidad de los hechos. Por influencia de los trabajos de Cantor descubrió en la teoría de conjuntos varias paradojas que resolvió mediante la teoría de los tipos.FVT C.

la Cibernética estaba muy ligada a ciencias como neurología. [11]. según él. lógica matemática. Turing une a la lógica y la computación antes que cualquier computadora fuera inventada. no puede existir una sistematización coherente de la misma tal que todo enunciado matemático verdadero admita demostración. profunda. en donde se utiliza por primera vez la palabra Cibernética. 6. tejidas en conjunto (complexus). que responda a la necesidad de pensar. que existe en todo en el universo. pensar todo y el todo mismo así como sus partes.que todos sus teoremas y enunciados sean decidibles dentro del sistema. 6. Norbert Weiner dio vida a la palabra mediante una definición muy simple: ''Ciencia que estudia la traducción de los procesos biológicos a procesos de máquina''. con la propuesta del pensador francés. teoría de mediciones. según nuestro criterio.G. retomando a Pascal. potencialmente. que reconozca la interretrorelación íntima. Su objetivo fué desarrollar la máquina más simple posible capaz de realizar computación.4 Morin Edgar Matemático y lógico polaco nacido en 1902. 6. Edgar Morin (1921). La máquina propuesta por Turing es un dispositivo relativamente simple. 9 . podría ser capaz de realizar cualquier cosa realizable por el cerebro humano.2 Norbert Weiner El científico norteaméricano Norbert Weiner (1894-1964) en 1947 publica su libro más famoso: ''Cibernética. Para probar esta aserción se sirvió de la matematización de la sintaxis lógica. robótica e inteligencia artificial. quien ha buscado durante el último medio siglo la formulación de un “paradigma de la complejidad”. o control y comunicación en el animal y la máquina''. Turing abrigó la ilusión de que su máquina tenía una capacidad tal que. Weiner funda la ciencia de la cibernética. teoría de conjuntos. FVT C.S. Con este teorema se demostró definitivamente que era imposible llevar a cabo el programa de la axiomatización completa de la matemática propugnado por Hilbert y otros. En la escuela moderna de la computación están presentes lógicos que han permitido avances importantes: Hoare presenta un sistema axiomático de los sistemas de programación y Dijkstra un sistema de verificación y deducción de programas a partir de especificaciones.1 Alan Turing Matemático y lógico quien fue pionero en la teoría de la computación y contribuyó en importantes análisis lógicos de los procesos computacionales.Alan Turing inventó la máquina que lleva su nombre (Máquina de Turing) en un intento por determinar si toda la matemática podia ser reducida a algún tipo simple de computación. Existen muchas definiciones de Cibernética (del griego kybernetes. 6 La Revolución Digital Esta revolución inicio con la invención de la computadora digital y el acceso universal a redes de alta velocidad. En un inicio. Las especificaciones para la computadora abstracta que él ideó (llamada la Máquina de Turing) resultó ser una de sus mas importantes contribuciones a la teoría de la computación. el todo así como “particularmente” cada una de las partes. piloto). quien realizo importantes estudios de álgebra en general. Pese a ser considerados formalmente equivalentes. y metamatemáticas. incluyendo la capacidad de poseer conciencia de si mismo. Turing además probó que es posible construir una máquina universal que con una programación adecuada podrá hacer el trabajo de cualquier máquina diseñada para resolver problemas específicos [9]. distintos modelos de computación presentan estructuras y comportamientos internos diferentes [10]. ya que. ciudadano del mundo. biología. La propuesta de Newton Da Costa empata. pero capaz de realizar cualquier operación matemática. es decir. Siempre habrá enunciados que no son demostrables ni refutables.3 Alfred Tarski 6.

euclides. Morin Edgar. ''Logical Revolution. 1984. Juan. 5 de octubre de de 1996. http://www. el cosmos y la vida misma en su dinamicidad. present and future'' . Se hará enfásis en que las computadoras exploten la información inteligentemente. 10.html . 18 de agosto de 1999.rbjones. Barcelona.com/rbjpub/maths/math005.html . a la vida como una astucia de la lógica. Ed. una lógica que pueda pensar la naturaleza. ''The Formalisation of Mathematics'' . Ed. Ciencia con Consciencia.mx/logica/log9808/evolución.mx/~logica/ http://www. p366 FVT C. Anthropos.rbjones. Henri. Arquitectura y Organización de Computadores. Encyclopaedia Britannica. http://www. Presente y Futuro'' . de agosto de 1999.cibernetica. el impetú de la mente de los filósofos renacentistas ayudó a retomar su desarrollo. Encyclopaedia Britannica Publishers. 12 de agosto de 1999. Henri. ''Mathematics and the Scientific Revolution'' . http://w3. 8. Estados Unidos. y que el nacimiento de la tecnológia computacional deba mucho al desarrollo del formalismo lógico de principios de siglo. Varios volúmenes. España. 7 La siguiente revolución lógica La siguiente revolución lógica será la asimilación práctica de las matemáticas y la computación dentro de la lógica.rbjones. Poncaire. en el pensamiento contemporaneo. 5 de octubre http://www. al cosmos. Poincare. http://www. 1980.itesm. 9. Varios volúmenes. 1990. 1.com/rbjpub/www/colum/c00300. 11. 5.Este pensamiento demanda una nueva lógica que pueda pensar sin trivializarse. Varios volúmenes. Asociación Mexicana de Ingenieros en cibernética. que fué impactada. 18 de agosto de 1999. Gran Enciclopedia de la Ciencia y de la Tecnología. Campos Domingez. del cosmos. Enciclopedia Hispánica.1996 Poincare. 1996. 7. Past. 9 Referencias Frausto. Freyre Gonzalez Rafael Rivera López Maestría en Ciencias Computacionales Instituto Tecnológico y de Estudios Superiores de Monterrey Campus Morelos http://w3. ''Classical Greek Mathematics''.org. 17 de agosto de 1999.com/rbjpub/logic/engl002. Poncaire. naciendo de la fuerte formalización de las matemáticas de los griegos. donde la religión se anteponia a todo.inf.euclides. pasando de las bases de datos a las bases de conocimientos [12].rbjones. Ediciones Oceano.itesm.cl/campos/arquitectura/modelos. Daniel.mor. 4. Henri. Poncaire. Ediciones Océano. Enri. 17 de agosto de 1999. México. Henri. 3 de noviembre de 1996.udec. 17 de agosto de 1999.html .com/rbjpub/maths/math011. España. Encyclopaedia Britannica Publishers. 17 de http://www. No cabe duda que la lógica tiene impactó fundamental. 17 de agosto de 1999. por el pensamiento de la Edad Media.S. ''Modelos de Computación''.html . ''The Next Logical Revolution''. la lógica como una astucia de la naturaleza. que conciba. agosto de 1999.mx/ .rbjones. http://www. 3.mor.Alvarez Vázquez Julio A. de la vida y no a la naturaleza. lo complementario y lo antagónico. 12. Diccionario Enciclopedico Univesal. 18 de agosto de 1999.com/rbjpub/maths/math006. Varios volúmenes. ''Evolución de la Lógica: Pasado. 6. como ciencia de las ciencias.html . contrario al planteamiento de Hegel. 10 http://www. pero. 1994. Autores: Juan A. 8 Conclusión La lógica muestra un devenir histórico muy interesante. Agosto de 1997.html .html .G.org/ © Copyright 2002 / 2003 Jaume Domenech Larraz email 10 . como muchas ciencias. Ed.org/http://www. 2. lo concurrente.