LOGICA MATEMATICAS

LAURA PATRICIA GARZON CAICEDO I SEMESTRE

FUNDACION UNIVERSITARIA MARIA CANO FISIOTERAPIA NEIVA-HUILA 2014

CONSIDERACIONES SOBRE LA LOGICA Y SU HISTORIA

LAURA PATRICIA GARZON CAICEDO

PROFESOR: YAMID MOSQUERA MEDINA ASIGNATURA: LOGICA MATEMATICA

FUNDACION UNIVERSITARIA MARIA CANO FISIOTERAPIA NEIVA-HUILA 2014

Vicente Muoz Delgado

(1922-1995)

Religioso mercedario espaol, profesor de la Universidad Pontificia de Salamanca desde 1950 hasta 1992, donde ocup la ctedra de Lgica y filosofa de las ciencias. Naci en Marzas- Puenteamba (Orense) el 4 de enero de 1922. Captado desde muy joven por la iglesia catlica, inicia en 1933 su instruccin en el colegio seminario mercedario del Convento de La Magdalena de Sarria (Lugo), que contina desde 1938 hasta 1945 en el Seminario Mayor de la Merced, en el Monasterio de Poyo (Pontevedra), donde se incorpora a la organizacin catlica de los religiosos mercedarios. En 1947 obtiene la licenciatura en Teologa en la Universidad Pontificia de Salamanca (donde es alumno de Santiago Ramrez y de Manuel Cuervo) y en 1949 la licenciatura en filosofa en el Ateneo Internacional Angelicum de Roma (Universidad de Santo Toms), donde se doctora en 1950 con la tesis El influjo del entendimiento sobre la voluntad segn Francisco Zumel (1540-1607), dirigida por Evaristo Morn. A partir de 1950 se incorpora como profesor suplente de Lgica y Ordenacin de las Ciencias a la Universidad Pontificia de Salamanca, por enfermedad del titular Nolasco Vzquez. Asiste como alumno a cursos de la Universidad de Salamanca, especialmente a los cursillos de Gustavo Bueno Martnez sobre Lgica moderna y a algunos de Miguel Cruz Hernndez. En 1954 es nombrado profesor ordinario de la Universidad Pontificia de Salamanca, como catedrtico de Lgica y Ordenacin de las Ciencias. Completa su formacin con estancias en Lovaina, Heidelberg, Cleveland y Georgetown, donde estudia sobre todo lgica matemtica. Desde 1960 hasta su jubilacin ensea sin interrupcin en la Universidad Pontificia de Salamanca. Durante el curso 1974-75 fue tambin profesor encargado de curso de Lgica en la Universidad de Salamanca. Tiene inters seguir la evolucin de los contenidos de los seminarios de prcticas y de los cursos monogrficos que imparti: 1950-51: El conocimiento intelectual del singular material, 1951-52: El ente de razn y el objeto de la lgica, 195253: Esencia de la lgica escolstica, Las Investigaciones lgicas, de Ed. Husserl, 1953-54: El objeto de la lgica en la filosofa aristotlico-escolstica, 1954-55: Evolucin y desarrollo de la lgica medieval, La induccin en el empirismo ingls, 1956-57: Historia del lgebra de la lgica, El lgebra de la lgica y sus posibilidades, 1957-58: Problemas de la historia de la lgica, Wittgenstein y la lgica, 1960-61: Lgica escolstica y lgica matemtica, Abstraccin y fenomenologa, 1961-62: Anotaciones crticas a la teora escolstica del conocer humano, 1962-63: Los sistemas formales como un perfeccionamiento del mtodo axiomtico, El Tractatus logico-philosophicus, de L. Wittgenstein, 1963-64: Exposicin de la Crtica de la razn pura, de M. Kant, 1964-65: Anlisis de la Introduccin a la filosofa matemtica, de B. Russell, Teoras lgicas en Salamanca, durante el siglo XVI, 1965-66: La idea de principio en Leibniz, de J. Ortega y Gasset, La lgica y sus diferentes tendencias en la historia de la filosofa, 1966-67: De la axiomtica a los

sistemas formales, El neopositivismo lgico en sus aspectos fundamentales, 1967-68: La induccin en la lgica actual, 1968-69: La filosofa de Amor Ruibal, 1969-70: El Tractatus de Wittgenstein, La lgica inductiva, 1971-72: Lgica y lenguaje, Lenguaje y filosofa, 1972-73: Estructuralismo, dialctica y ciencia, 1973-74: Ciencia y mtodo, 1974-75: Wittgenstein y la filosofa actual. Autor fecundo, public numerosos estudios sobre lgica y sobre filsofos espaoles, en forma de libros y de artculos de revista. Colabor en El Basilisco, donde public en 1979: Consideraciones sobre la lgica y su historia (1 poca, n 6, pgs. 86-96). Fue miembro del Consejo de Redaccin de Cuadernos salmantinos de filosofa, anuario publicado por la Universidad Pontificia de Salamanca, desde el primer nmero hasta el 21 (1974-1994), revista que le dedic el nmero 6 (1979), para conmemorar sus veinticinco aos en la ctedra de Lgica (1954-1979). Vicente Muoz Delgado falleci en Salamanca a los setenta y tres aos, el da 20 de diciembre de 1995.

CONSIDERACIONES SOBRE LA LOGICA Y SU HISTORIA

1. LOGICA ANTIGUA Y LOGICA NUEVA: Histricamente la palabra lgica ha ido cambiando de sentido. Comenz siendo una modelizacin de los razonamientos, propuesta por los filsofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales. Etimolgicamente la palabra lgica deriva del trmino griego logiks, que a su vez deriva de logos 'razn, palabra, discurso' . La historia de la lgica documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo de la historia. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lgico estaba ya implcito en Babilonia en algn-sentido.

La lgica matemtica se considera hoy una importante realizacin de nuestro mundo cultural y su crdito aument por las aplicaciones a computadores y mecanismos automticos. Es una lgica matemtica, construida principalmente por matemticos, que emplean mtodos aritmticos, algebraicos, analticos, etc. La lgica matemtica ya no es puramente formal, est formalizada. Como fruto de estos dos desarrollos, apareci la doctrina de las dos lgicas La antigua y la nueva lgica en el ao 1930-1931. La lgica moderna es el pensamiento matemtico, da origen a la lgica como disciplina exacta, se caracteriza a la moderna, como predominantemente relacional, y a la antigua, como sustancialita, sealando las ventajas de aqulla. Un nuevo enfoque adquiere esta lgica en las interpretaciones racionalistas de Port Royal, en el siglo XVII, pero tampoco supusieron un cambio radical en el concepto de la Lgica como ciencia. Los filsofos racionalistas, sin embargo, aportaron a travs del desarrollo del anlisis y su desarrollo en las matemticas (Descartes, Pascal y, sobre todo Leibniz) los temas que van a marcar el desarrollo posterior. Son de especial importancia la idea de Descartes de una Mathesis universalis y de Leibniz en la bsqueda de un lenguaje universal, especificado con precisin matemtica sobre la base de que la sintaxis de las palabras debera estar en correspondencia con las entidades designadas como individuos o elementos metafsicos, lo que hara posible un clculo o computacin mediante algoritmo en el descubrimiento de la verdad.

Como afirman los Kneale, tras siglos de incuria o de desprecio... los logros de los lgicos medievales, que nos eran accesibles a travs de libros impresos a fines del siglo XV y comienzos del XVI, han sido reconsiderados a la luz de los descubrimientos de la lgica moderna, con lo que obras un da condenadas como tediosas e irrelevantes, son hoy tenidas por brillantes anticipaciones de innovaciones recientes Amplios sectores, desaparece la contraposicin entre lgica antigua y lgica nueva, lgica de los filsofos y lgica de los matemticos, brillando con mayor claridad una cierta unidad en las normas de razonar. La lgica antigua y medieval, formulada en un contexto filosfico y en lenguaje natural, sera susceptible de ser interpretada desde la lgica matemtica, constituyendo diversos modelos semnticos, en correspondencia con los diferentes clculos. Pienso que se ha exagerado el valor del mtodo formalista para hacer historia de la lgica formal. Pero, tampoco es lcito ignorar sus muchos xitos, que permiten sostener que debe permanecer como un auxiliar de la historia de la lgica. Pero, solamente como auxiliar de los mtodos generales de hacer historia.

2. LOGICA Y DIALECTICA

Es historia de la lgica como una unidad, expresada de varias maneras, forma griega, forma escolstica, forma india y forma matemtica. "La dialctica no es ms que la ciencia de las leyes generales del movimiento y la evolucin de la naturaleza, de la sociedad humana y del pensamiento." El mtodo dialctico tena ya una larga existencia antes de que Marx y Engels lo desarrollasen cientficamente como un medio de comprender el desarrollo de la sociedad humana. los griegos antiguos produjeron algunos grandes pensadores dialcticos, entre los que estn Platn, Zenn de Elea y Aristteles. Ya en el ao 500 antes de nuestra era, Herclito adelantaba la idea de que "todas las cosas son y no son, porque todo fluye, est cambiando constantemente, constantemente naciendo y muriendo. Es imposible sumergirse dos veces en uno e idntico ri". Esta frase contiene ya la concepcin fundamental de la Dialctica, de que todo en la naturaleza est en un constante estado de cambio y que este cambio se produce a travs de una serie de contradicciones. "La gran idea cardinal de que el mundo no puede concebirse como un conjunto de objetos terminados y acabados, sino como un conjunto de procesos, en el que la cosas que parecen estables, al igual que sus reflejos mentales en nuestras cabezas, los conceptos, pasan por una serie ininterrumpida de cambios, por un proceso de gnesis y caducidad; esta gran idea cardinal se halla ya tan arraigada desde Hegel en la conciencia habitual,

que, expuesta as, en trminos generales, apenas encuentra oposicin. Pero una cosa es reconocerla de palabra y otra cosa es aplicarla a la realidad concreta, en todos los campos sometidos a la investigacin. (Para la filosofa dialctica no existe nada definitivo, absoluto, consagrado; en todo pone de relieve lo que tiene de perecedero, y no deja en pie ms que el proceso ininterrumpido del devenir y perecer, un ascenso sin fin de lo inferior a lo superior, cuyo mero reflejo en el cerebro pensante es esta misma filosofa." La lgica formal, es una forma de ideologa burguesa. El primero es la codificacin de lo que es dialctico y el segundo al establecimiento de las relaciones entre lgica formal y dialctica. El problema de fondo entre lgica formal y lgica dialctica. La concepcin bsica de la dialctica, en la Unin Sovitica, sigue una lnea de desarrollo a partir de Marx,Engels y Lenn. la dialctica es la ciencia de las formas y leyes generales de desarrollo del mundo objetivo, formando una unidad inseparable con la lgica y la teora del conocimiento. La dialctica es la ciencia que estudia las leyes ms generales del desarrollo de la naturaleza, la sociedad y el pensamiento humano. Las relaciones entre lgica formal y lgica dialctica, hay que partir del ao 1946, porque hasta esa fecha la lgica haba estado ausente de los planes de educacin sovitica. Me refiero a lo que puede llamarse lgica filosfica, porque, en lgica matemtica, han hecho notables desarrollos, siguiendo una direccin semejante al intuicionismo occidental, en cuanto utilizan mtodos finitos y constructivos, teniendo gran inters por los problemas de la decisin, computabilidad, algoritmos y teora de funciones recursivas. La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En las matemticos para demostrar teoremas e inferir resultados matemticas que puedan ser aplicados en investigaciones. En la computacin para revisar programas. En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica.

A partir de 1960, se reanudan intensamente los trabajos de lgica formal matemtica, constituyndose una verdadera escuela, donde, al lado de la tcnica ms rigurosa, se cultiva la filosofa de la lgica y se escribe acerca de su historia, lgica formal y dialctica, las repblicas socialistas cultivan intensamente todos los aspectos de la lgica formal. no hay oposicin entre dialctica y lgica formal est incluida en la dialctica, como una parte en el todo; la lgica formal es analtica, por tanto, opuesta a la dialctica; la dialctica no incluye a la lgica formal, siendo dos cosas distintas. En el grupo occidental, donde llev la voz cantante Mario Bunge, se sostuvo la superioridad de la lgica y que la dialctica es imposible de explicar sin utilizar el instrumento lgico. Pudiramos concluir esta disgresin, diciendo que no existe, en la actualidad, enemistad entre lgica formal y dialctica. Los dialcticos no son ya enemigos del formalismo. Para conservar los dogmas del partido, basta sealar las insuficiencias y limitaciones del formalismo e interpretar al modo hegelianomarxiano la historia de la lgica y de las matemticas. La filosofa de la Lgica y de su historia es diferente para los marxistas. Los rusos han escrito varias historias de la lgica medieval, practicando el mtodo formalista, de que hablamos al principio. En el prlogo, distingue dos mtodos para hacer historia de la lgica: el filolgico y el que llama lgico retrospectivo, que es el que yo he llamado mtodo formalista. Menciona varias veces la dialctica, pero no en el sentido que le da el materialismo dialctico, sino en el de Abelardo y el Renacimiento. Destaca, como precusores de la lgica matemtica, a Lulio Ockham, Alberto de Sajonia, Guillermo de Sherwood, Pedro Hispano, etc., es decir, los autores que predominan en los occidentales que emplean el mtodo formalista.

BIBLIOGRAFA: FERRATER MORA, Jos. Diccionario de filosofa T.II. Barcelona: Ariel, 1994.

Vicente Muos Delgado

- CONCIDERACIONES SOBRE LA LOGICA Y SU

HISTORIA. En: Salamanca