Selección de artículos, ensayos, noticias, entrevistas, reseñas, y otro tipo de textos, publicados en medios impresos y digitales, sobre Biblioteconomía y Documentación, Recuperación de Información, Lógica, Inteligencia Artificial, y áreas afines del conocimiento, sin descartar la inclusión ocasional de textos relativos a la actualidad política y social.
Guardado por meses.
Temáticas afines
Política, sociedad
Fuera de contexto
De Jacques Derrida, en Derrida en castellano:
Esta página traducida:
Traducción al catalán, internostrum; traducción al portugués, universia.
Agregue este sitio a su lector de "feeds" (sindicación mediante el sistema Atom).
Autores: J. A. Álvarez Vázquez, J. A. Freyre González,
R. Rivera López (*)
Url documento: http://w3.mor.itesm.mx/...
(*) Instituto Tecnológico y de Estudios Superiores de Monterrey, Mexico
En este documento se mostrará que no existe una diferencia conceptual entre la Lógica Formal, la Lógica Simbólica, y la Lógica Matemática.
La lógica formal se ocupa, justamente, de determinar que es lo que hace que un argumento sea bueno o no lo sea. Iniciada por los griegos hace 25 siglos, esta ciencia ha tenido un proceso de desarrollo (como cualquiera de las disciplinas científicas) por el que en nuestros días aparece como una ciencia rigurosa, con un lenguaje técnico elaborado y preciso, pues la utilización que hace del simbolismo le permite evitar las confusiones y ambigüedades del lenguaje natural. A la lógica formal, en su actual estado de desarrollo se le conoce como lógica simbólica o lógica matemática, nombres que hacen alusión a su uso sistemático del simbolismo y al parecido de sus procedimientos con los de la matemática (de la cual, sin embargo, no es una rama o disciplina).
Conviene aclarar que la lógica simbólica no se encuentra en oposición con la llamada lógica formal tradicional, que iniciada por Aristóteles (siglo IV antes de nuestra era), se continua hasta mediados del siglo pasado. Antes bien, la lógica simbólica abarca, en sus explicaciones todos los aspectos que la lógica formal tradicional desarrolló, además de algunos otros que permanecían latentes o poco desarrollados. [1]
Así, si bien no hay una división conceptual entre dichas lógicas, si existe una división cronológica basada principalmente en la forma en que se fue desarrollando.
Aristóteles en el 600 A.C. aproximadamente, desarrolló los cimientos de la lógica formal. Los tratados lógicos Aristotélicos, constituidos en lo que mas tarde fue llamado el Organon, contiene el primer tratamiento sistemático de las leyes del pensamiento en relación a la adquisición de conocimiento. Forman, de hecho, el primer intento de elevar la lógica a la categoría de ciencia, y de esta forma se considera a Aristóteles el fundador de la lógica. Sus seis tratados abarcan [2]:
Leibniz se considera el padre de la lógica matemática. El realiza contribuciones al desarrollo de la lógica, principalmente en dos campos: aplicó con éxito métodos matemáticos a la interpretación de la silogística Aristotélica, y propuso un cálculo de la adición real mostrando qué partes del álgebra están abiertas a interpretación no aritmética.[3]
La obra de Boole (1815-1864) y Frege (1848-1925), dos de los mas importantes iniciadores de esta lógica moderna, presupone a toda la lógica formal anterior. Fregue propuso que la noción de los números naturales se puede reducir a nociones lógicas y que consecuentemente la aritmética se puede ver como parte de la lógica. Contribuyó en la reducción formal de la aritmética a la lógica e hizo importantes aportes a la teoría del lenguaje.
La lógica es también relevante en las ciencias computacionales, y es constantemente empleada en ella. La lógica proposicional puede pensarse como una "lógica" de ciertos tipos simples de circuitos de conmutación. Existe también una estrecha conexión entre la teoría de autómatas y la lógica y el estudio algebraico de lenguajes formales. Un tópico interesante sobre los límites entre la lógica y las ciencias computacionales es la prueba mecánica de teoremas, la cual deriva su interés ya que es una instancia de los problemas de inteligencia artificial, especialmente de los problemas donde se realizan una serie de modos heurísticos de pensamiento sobre computadoras.
[1] William Turner, Catholic Encyclopedia: ARISTOTLE, Encyclopedia
Prees, Inc. Electronic version, 1996. http://www.knigth.org/advent/cathen/01713a.htm
[2] José Antonio Arnaz. Iniciación a la Lógica
Simbólica, Editorial Trillas. Mexico, 1980.
[3] The New Encyclopae dia Britannica, Macropae dia. Encyclopae dia Britannica,
Inc. United States, 1980.
