Lógica
De Wikipedia, la enciclopedia libre
Históricamente la palabra ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos propuesta por los filósofos griegos y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría
Tabla de contenidos |
[editar] Etimología
Etimológicamente, la palabra lógica viene del vocablo griego λόγος (logos) que originalmente significa palabra, pero que a lo largo del tiempo ha ido extendiendo su significado a pensamiento y posteriormente a ciencia o tratado.
[editar] Posibles definiciones
La lógica puede definirse por un lado como Ciencia y como Proceso, estudiados por la filosofía y por la psicología, y por otro lado como Lenguaje formal, estudiado por las matemáticas.
La lógica como ciencia:
"Es la ciencia filosófica sobre el pensamiento que estudia las leyes del desarrollo ‘de todas las cosas materiales, naturales y espirituales’, es decir, del desarrollo de todo el contenido concreto del mundo y de su cognición, o sea, el resultado, la suma total, la conclusión de la historia del conocimiento del mundo” ( V.I. Lenin. Resumen del libro de Hegel “Ciencia de la Lógica”. O.C., t.29, p.84)
La lógica estudia los problemas del movimiento del hombre hacia el conocimiento verdadero, las leyes del origen . Para la lógica lo central es aclarar qué es la verdad y cómo se alcanza. La verdad es la coincidencia del concepto con el objeto, el paso del hombre desde la idea subjetiva a la creación de un cuadro objetivo del mundo a través de la práctica formada de la interrelación de todos los aspectos de la realidad, reflejadas en los conceptos.
Es definida por Davídf como “la teoría acerca de las leyes objetivas, universales y necesarias de la naturaleza, la sociedad y todo el conjunto del conocimiento del que dispone la humanidad” (Davídov Vasili, La enseñanza escolar y el desarrollo psíquico, Investigación psicológica teórica y experimental, Editorial Progeso, Moscú, 1986, 277p, ISBN 5-01-000621-9, Impreso en la URSS)
La lógica como proceso:
La lógica es el “proceso de reflejo del mundo objetivo en la conciencia del hombre y de verificación de la corrección de este reflejo por la práctica, es generada históricamente por la vida de los hombres concretos, cuando se separan de los fenómenos de la naturaleza”, sus categorías (cantidad, calidad, medida, esencia, etc, son escalones y puntos focales del conocimiento de la naturaleza objetivamente existente, lo que caracteriza la conciencia del hombre que se desprende de la naturaleza objetivamente existente. (Davídov Vasili, La enseñanza escolar y el desarrollo psíquico, Investigación psicológica teórica y experimental, Editorial Progeso, Moscú, 1986, 277p, ISBN 5-01-000621-9, Impreso en la URSS)
La lógica matemática:
El hombre de hoy se relaciona más frecuentemente con la lógica matemática que se refiere a un sistema deductivo en el que existen ciertos axiomas básicos y ciertas reglas de deducción. Ese sistema está formado por un conjunto de expresiones (o símbolos) que permiten construir determinadas proposiciones (o secuencias de signos dotables de significado), las reglas deductivas permiten reconocer cuales son la afirmaciones deducibles de los axiomas mediante las reglas de deducción y cuáles no.
[editar] Lógica informal y lógica formal
La “Lógica informal”, por lo común, se dedica al análisis de los conceptos y procedimientos involucrados y usados para elaborar conclusiones a partir de información dada. Tradicionalmente, esta lógica parte de la base que el pensamiento humano es muchas veces falsa. Así, ésta ha tenido como finalidad una búsqueda de la verdad, por lo que se ha dedicado a clasificar entre razonamientos correctos y los falaces.
La “Lógica Formal”, a diferencia de la anterior, se refiere al estudio de argumentos racionales en forma estrictamente esquematizada y organizada. Parte de la base que uno razona bien e intenta mejorar a niveles superiores el razonamiento. Forma relaciones altamente abstractas entre las ideas. Esta lógica, la formal, no debe ser confundida con la lógica matemática o simbólica, la cual es sólo un tipo de lógica que se encuentra dentro del campo de la lógica formal.
La existencia de una gran cantidad de concepciones distintas de la lógica implica que ésta no es estudiada en el vacío, sino que es usada en un contexto. Es decir, que puede ser usada por las otras ciencias. Esto no es menor, ya que nos significó una modificación increíble de nuestra manera de mirar el universo y el mundo: Pasamos de creer en teoría de los cuatro elementos y en que el mundo era plano, a creer en las teorías de relatividad general y de mecánica cuántica.
[editar] Historia de la lógica
La lógica formal como un análisis explícito de los métodos de razonamientos se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I a.C.
En China no duró mucho: la traducción y la investigación escolar en lógica fue reprimida por la dinastía Qin, acorde con la filosofía legalista. En India, la lógica duró bastante más: se desarrolló hasta que en el mundo islámico apareció la escuela de Asharite, la cual suprimió parte del trabajo original en lógica. (A pesar de lo anterior, hubo innovaciones escolásticas indias hasta principios del siglo XIX, pero no sobrevivió mucho dentro de la India Colonial). El tratamiento sofisticado y formal de la lógica moderna aparentemente proviene de la tradición griega.
Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del lenguaje natural. En el Organon Aristóteles la define como “el arte de la argumentación correcta y verdadera”.
Nació así la anteriormente definida “Lógica Informal”, o el estudio metódico de los argumentos. Durante varios siglos, sólo fue investigada por la retórica, la oratoria y la filosofía, entre otras ramas del conocimiento. Se especializó medularmente en la identificación de falacias y paradojas, así como en la construcción correcta de razonamientos.
A partir de mediados del Siglo XIX la lógica formal comenzó a ser estudiada en el campo de las matemáticas y posteriormente por las ciencias computacionales, naciendo así la Lógica simbólica. Ésta trata de esquematizar los pensamientos claramente usando un lenguaje de signos propio y distinto al verbal, evitando así las ambigüedades.
Así, en la edad contemporánea, la lógica generalmente es entendida para describir razonamiento en una forma prescriptita. Esto es, describe cómo el razonar debería tomar lugar.
Además de encontrarle múltiples e importantes usos computacionales y matemáticos a la lógica simbólica, se ha mantenido la lógica aristotélica, la cual principalmente se ocupa de enseñar el buen argumento, y es todavía enseñada con ese designio en la época contemporánea. Para la Lógica matemática y la filosofía analítica la lógica es un objeto de estudio en sí mismo, por lo que ésta es estudiada a un nivel más abstracto.
Existen muchos otros sistemas lógicos, como la lógica dialéctica, lógica difusa, lógica probabilística, lógica modal y la lógica no monótona.
Martin Heidegger —discípulo de Edmund Husserl—, se aparta de estas líneas de consideración de la lógica —aunque sin despreciarlas y comprendiendo su alcance (pero también sus límites)—, planteando que una lógica más originaria se podría encontrar en un plano previo a las proposiciones, sentencias, declaraciones o juicios. Tomar en cuenta eso podría llevar a un replanteamiento de la lógica de la proposición o la lógica del juicio, puesto que nos conduciría a movernos en las raíces de la lógica tal como ha sido habitualmente entendida, raíces que hasta ahora han sido insuficientemente atendidas. Para él, la lógica tendría que partir de una suficiente meditación del λόγος ( lógos), el cual debería ser distinguido de la ratio, que, en rigor, significa algo distinto.
[editar] Razonamiento deductivo e inductivo en lógica
La filosofía de Aristóteles y Platón engendró la lógica primaria , era deductiva y no inductiva. Esto quiere decir que las leyes universales podían ser descubiertas por el pensamiento humano sin necesidad que éste tuviese que optar por mirar casos particulares para establecer las leyes. Es decir, la lógica deductiva discurre sobre lo que sigue universalmente desde premisas dadas por la razón humana. Es esta la razón por la cual Aristóteles estableció los cuatro principios a priori para la lógica todavía enseñados en nuestra época: el principio de identidad, el Principio de no contradicción, el principio del tercero excluido y el principio de razón suficiente.
Sin embargo, el hacer uso únicamente de la lógica deductiva puede llevar a errores, ya que se deja la observación de casos particulares de lado, para ver si se verifica el razonamiento. Así entonces, Aristóteles se equivocó incluso en el número de dientes que tenían las mujeres, habiéndose podido enterar simplemente observando y contando.
En oposición al formalismo de lo deductivo, Hegel cuestionó el principio del tercero excluido y formuló el principio de la universalidad de la contradicción. Propuso el método analítico para partir de la materia concreta dada para llegar a la forma de abstracciones universales y luego proponer definiciones generales. El análisis deja lo concreto como fundamento y por medio de la abstracción de las particularidades, que aparentan ser inesenciales, pone de relieve lo universal concreto o sea la fuerza de ley general.
En el mismo sentido, el razonamiento inductivo, es el estudio de derivar una generalización o una ley a partir de observaciones. Éste fue posteriormente incluido en el estudio de la lógica, y fue adoptado como el razonamiento básico de la investigación científica, combinándola cuando corresponde con la deducción. Este probablemente es el motivo del éxito y la certeza de los modelos científicos actuales. Es decir, la inclusión del razonamiento inductivo en las ciencias no es menor en nuestras vidas, nos permitió tener el modelo científico actual el cual nos ha dado una cantidad impresionante de tecnología y supuestas “verdades”.
La diferencia entre la validez inductiva y la deductiva es la siguiente: Una inferencia es deductivamente válida si y sólo si no hay posible situación en la cual todas las premisas son verdaderas y la conclusión falsa. La noción de validez deductiva puede ser rigurosamente establecida para sistemas de lógica formal en términos de las bien entendidas nociones de la semántica. La validez inductiva, por el otro lado, requiere que se defina una “generalización rentable” a partir de un conjunto de observaciones. La tarea de proveer esta definición puede ser enfrentada de varias maneras, algunas menos formales que las otras; algunas de estas definiciones pueden usar modelos matemáticos de probabilidades.
Kurt Gödel ha demostrado que en cualquier formalización consistente de las matemáticas que sea lo bastante fuerte para definir el concepto de números naturales, se puede construir una afirmación que ni se puede demostrar ni se puede refutar dentro de ese sistema y que ningún sistema consistente se puede usar para demostrarse a sí mismo.
Por tanto, en nuestra época los razonamientos deductivos e inductivos deben complementarse y trabajar juntos, buscando así la verdad sobre la realidad y el entorno.
[editar] Diferentes sistemas lógicos
- Lógica aristotélica
- Lógica baconiana
- Lógica matemática
- Lógica intuicionista
- Lógica temporal
- Lógica modal
[editar] Véase también
- Condición necesaria y suficiente
- Operador lógico
- Método científico
- Dilema del prisionero
- Teorema de la incompletitud de Gödel
- Kurt Gödel
- Principio de no contradicción
- Principio del tercero excluido
- Principio de identidad
- Principio de razón suficiente
- Aristóteles
- Hegel
- Edmund Husserl
- Wittgenstein
- Quine
- Heidegger