Lógica

La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa "dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de λόγος (logos), "palabra, pensamiento, idea, argumento, razón o principio". La lógica examina la validez de los argumentos en términos de su estructura, independientemente del contenido específico de los estados reales a los que aquéllos se puedan referir. En este sentido se habla de la lógica como ciencia «formal». La lógica es una disciplina de la filosofía, las matemáticas y la informática.

Desde el siglo XX que la lógica ha pasado a ser principalmente la lógica simbólica. Esto se basa en un lenguaje formal y para uso estrictamente definidas reglas de inferencia. Un ejemplo sencillo de un sistema formal es la lógica proposicional. La lógica simbólica es también conocida como la lógica matemática o lógica formal en el sentido estricto. La lógica no siempre este sentido de la estructura formal, pero se centró en el mundo antiguo y en la Edad Media , principalmente con los argumentos del lenguaje natural.

Diferentes acepciones del término "lógica"

El término "lógica", en griego, 'que techne lógica, "se encuentra tanto en los antiguos estoicos , como en los antiguos peripatos para una teoría de la argumentación o cerrado, es en este sentido, pero no antes del 1 de Siglo antes de Cristo, utilizado ".​ El término fue ya por los antiguos estoicos Zenón de Citio caracteriza.

En español, la palabra "lógica" en el Siglo XIX, muchos (como Immanuel Kant o Georg Wilhelm Friedrich Hegel) y en términos de la epistemología, ontología, o en general, la dialéctica utilizada. La lógica en el sentido moderno fue por el otro, de lo contrario refiere a menudo, como el análisis, la lógica y la logística. Incluso hoy en día en las diferentes disciplinas como la lógica de la literatura , etc distribuidos, la "lógica" no es una teoría del razonamiento que se entiende, sino una doctrina general de "leyes" o las prácticas que se aplican en un campo determinado.

En particular, en la tradición de la filosofía del lenguaje ordinario estaba bajo una "lógica" análisis, por lo general un análisis conceptual de las relaciones de entendimiento.

La forma preliminar se muestra el uso del término "lógica" es, sin embargo, habitual desde el comienzo del siglo XX. En el lenguaje cotidiano, expresiones como "lógica" o "pensamiento lógico", también una con un sentido diferente o completamente entendido en y alrededor de un "pensamiento lateral" comparado. Del mismo modo, existe el concepto de "la lógica de las mujeres", "lógica masculina" que "afectan a la lógica" y el concepto de "lógica cotidiana" - también conocido como "sentido común" - en la lengua vulgarismo. En estas áreas se refiere a la "lógica" a menudo en las formas de acción, la pragmática. Un argumento es una "lógica" coloquialmente sabe si este válida, convincente, convincente, razonable y clara. En un argumento lógico es la habilidad de pensar para expresarlo.

Incluso en los debates actuales es ampliamente aceptado que la teoría de la inferencia correcta constituye el núcleo de la lógica, es objeto de controversia, sin embargo, que las teorías de la lógica se espera exactamente y qué no. casos controvertidos se refieren a la teoría de conjuntos, la teoría de la argumentación (que quizá no esté bajo la consideración pragmática con falacias empleadas) y la expresión.

Sistemas lógicos

Existe un debate sobre si es correcto hablar de una lógica, o de varias lógicas, pero en el siglo XX se han desarrollado no uno, sino varios sistemas lógicos diferentes, que capturan y formalizan distintas partes del lenguaje natural. Se podría definir a un sistema lógico como un conjunto de cosas, que nos ayudan en la toma de decisiones que sean lo más convenientemente posible.

Un sistema lógico está compuesto por:

1. Un conjunto de símbolos primitivos (el alfabeto, o vocabulario).
2. Un conjunto de reglas de formación (la gramática) que nos dice cómo construir fórmulas bien formadas a partir de los símbolos primitivos.
3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una fórmula bien formada.
4. Un conjunto de reglas de inferencia. Estas reglas determinan qué fórmulas pueden inferirse de qué fórmulas. Por ejemplo, una regla de inferencia clásica es el modus ponens, según el cual, dada una fórmula A, y otra fórmula A → B, la regla nos permite afirmar que B.

Estos cuatro elementos completan la parte sintáctica de los sistemas lógicos. Sin embargo, todavía no se ha dado ningún significado a los símbolos discutidos, y de hecho, un sistema lógico puede definirse sin tener que hacerlo. Tal tarea corresponde al campo llamado semántica formal, que se ocupa de introducir un quinto elemento:

5. Una interpretación formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretación que se le dé. Por ejemplo, en el idioma español, la palabra "banco" puede significar un edificio o un asiento, mientras que en otros idiomas puede significar algo completamente distinto o nada en absoluto. En consecuencia, dependiendo de la interpretación, variará también el valor de verdad de la oración «el banco está cerca». Las interpretaciones formales asignan significados inequívocos a los símbolos, y valores de verdad a las fórmulas.

Lógicas clásicas

Los sistemas lógicos clásicos son los más estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lógicas rechazan. Algunos de estos principios son: el principio del tercero excluido, el principio de no contradicción, el principio de explosión y la monoticidad de la implicación. Entre los sistemas lógicos clásicos se encuentran:

• Lógica proposicional
• Lógica de primer orden
• Lógica de segundo orden

Lógicas no clásicas

Los sistemas lógicos no clásicos son aquellos que rechazan uno o varios de los principios de la lógica clásica. Algunos de estos sistemas son:

• Lógica difusa: Es una lógica plurivalente que rechaza el principio del tercero excluido y propone un número infinito de valores de verdad.
• Lógica relevante: Es una lógica paraconsistente que evita el principio de explosión al exigir que para que una implicación sea válida, el antecedente y el consecuente deben compartir al menos una variable.
• Lógica cuántica: Desarrollada para lidiar con razonamientos en el campo de la mecánica cuántica; su característica más notable es el rechazo de la propiedad distributiva.
• Lógica no monotónica: Una lógica no montónica es una lógica donde, al agregar una fórmula a una teoría cualquiera, es posible que el conjunto de consecuencias de esa teoría se reduzca.
• Lógica intuicionista:

Lógicas modales

Las lógicas modales están diseñadas para tratar con expresiones que califican la verdad de los juicios. Así por ejemplo, la expresión "siempre" califica a un juicio verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir "está lloviendo" que decir "siempre está lloviendo".

• Lógica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia.
• Lógica deóntica: Se ocupa de las nociones morales de obligación y permisibilidad.
• Lógica temporal: Abarca operadores temporales como "siempre", "nunca", "antes", "después", etc.
• Lógica epistémica: Es la lógica que formaliza los razonamientos relacionados con el conocimiento.
• Lógica doxástica: Es la lógica que trata con los razonamientos acerca de las creencias.

Metalógica

Mientras la lógica se encarga, entre otras cosas, de construir sistemas lógicos, la metalógica se ocupa de estudiar las propiedades de dichos sistemas. Las propiedades más importantes que se pueden demostrar de los sistemas lógicos son:

Consistencia

Un sistema tiene la propiedad de ser consistente cuando no es posible deducir una contradicción dentro del sistema. Es decir, dado un lenguaje formal con un conjunto de axiomas, y un aparato deductivo (reglas de inferencia), no es posible llegar a una contradicción.

Decidibilidad

Se dice de un sistema que es decidible cuando, para cualquier fórmula dada en el lenguaje del sistema, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema. Cuando una fórmula no puede ser probada verdadera ni falsa, se dice que la fórmula es independiente, y que por lo tanto el sistema es no decidible. La única manera de incorporar una fórmula independiente a las verdades del sistema es postulándola como axioma. Dos ejemplos muy importantes de fórmulas independientes son el axioma de elección en la teoría de conjuntos, y el quinto postulado de la geometría euclidiana.

Completitud

Se habla de completitud en varios sentidos, pero quizás los dos más importantes sean los de completitud semántica y completitud sintáctica. Un sistema S en un lenguaje L es semánticamente completo cuando todas las tautologías de L son teoremas de S. En cambio, un sistema S es sintácticamente completo si, para toda fórmula A del lenguaje del sistema, A es un teorema de S o ¬A es un teorema de S. Esto es, existe una prueba para cada fórmula o para su negación. La lógica proposicional y la lógica de predicados de primer orden son ambas semánticamente completas, pero no sintácticamente completas. Por ejemplo, nótese que en la lógica proposicional, la fórmula p no es un teorema, y tampoco lo es su negación, pero como ninguna de las dos es una tautología, no afectan a la completitud semántica del sistema. El segundo teorema de incompletitud de Gödel demuestra que ningún sistema (definido recursivamente) con cierto poder expresivo puede ser a la vez consistente y completo.

Falacias

Una falacia es un argumento que si bien puede ser convincente o persuasivo,​ no es lógicamente válido. Esto no quiere decir que la conclusión de los argumentos falaces sea falsa, sino que el argumento mismo es malo, no es válido.​

Existen varias maneras de clasificar a la gran cantidad de falacias conocidas, pero quizás la más neutral y general (aunque tal vez un poco amplia), sea la que divide a las falacias en formales e informales.

Falacias formales

Las falacias formales son aquellas cuyo error reside en la forma o estructura de los argumentos. Algunos ejemplos conocidos de falacias formales son:

• Afirmación del consecuente: Un ejemplo de esta falacia podría ser:
  1. Si María estudia, entonces aprobará el examen.
  2. María aprobó el examen.
  3. Por lo tanto, María estudió.
  Esta falacia resulta evidente cuando advertimos que puede haber muchas otras razones de por qué María aprobó el examen. Por ejemplo, pudo haber copiado, o quizá tuvo suerte, o quizá aprobó gracias a lo que recordaba de lo que escuchó en clase, etc. En tanto es una falacia formal, el error en este argumento reside en la forma del mismo, y no en el ejemplo particular de María y su examen. La forma del argumento es la siguiente:
  1. Si p, entonces q.
  2. q
  3. Por lo tanto, p.
• Generalización apresurada: En esta falacia, se intenta concluir una proposición general a partir de un número relativamente pequeño de casos particulares. Por ejemplo:
  1. Todos las personas altas que conozco son rápidas.
  2. Por lo tanto, todas las personas altas son rápidas.
  El límite entre una generalización apresurada y un razonamiento inductivo puede ser muy delgado, y encontrar un criterio para distinguir entre uno y otro es parte del problema de la inducción.

Falacias informales

Las falacias informales son aquellas cuya falta está en algo distinto a la forma o estructura de los argumentos. Esto resulta más claro con algunos ejemplos:

• Falacia ad hominem: se llama falacia ad hominem a todo argumento que, en vez de atacar la posición y las afirmaciones del interlocutor, ataca al interlocutor mismo. La estrategia consiste en descalificar la posición del interlocutor, al descalificar a su defensor. Por ejemplo, si alguien argumenta: "Usted dice que robar está mal, pero usted también lo hace", está cometiendo una falacia ad hominem (en particular, una falacia tu quoque), pues pretende refutar la proposición "robar está mal" mediante un ataque al proponente. Si un ladrón dice que robar está mal, quizás sea muy hipócrita de su parte, pero eso no afecta en nada a la verdad o la falsedad de la proposición en sí.

Falacia ad verecundiam: se llama falacia ad verecundiam a aquel argumento que apela a la autoridad o al prestigio de alguien o de algo a fin de defender una conclusión, pero sin aportar razones que la justifiquen.

Falacia ad ignorantiam: se llama falacia ad ignorantiam al argumento que defiende la veracidad o falsedad de una proposición porque no se ha podido demostrar lo contrario.

Falacia ad baculum:Se llama falacia ad baculum a todo argumento que defiende una proposición basándose en la fuerza o en la amenaza.

Falacia circular: se llama falacia circular a todo argumento que defiende una conclusión que se verifica recíprocamente con la premisa, es decir que justifica la vericidad de la premisa con la de la conclusión y viceversa, cometiendo circularidad.

Falacia del hombre de paja: Sucede cuando, para rebatir los argumentos de un interlocutor, se distorsiona su posición y luego se refuta esa versión modificada. Así, lo que se refuta no es la posición del interlocutor, sino una distinta que en general es más fácil de atacar. Tómese por ejemplo el siguiente diálogo:

Persona A: Sin duda estarás de acuerdo en que los Estados Unidos tienen el sistema legal más justo y el gobierno más organizado.

Persona B: Si los Estados Unidos son el mejor país del mundo, eso sólo significa que las opciones son muy pocas y muy pobres.

En este diálogo, la persona B puso en la boca de la persona A algo que ésta no dijo: que los Estados Unidos son el mejor país del mundo. Luego atacó esa posición, como si fuera la de la persona A.

Paradojas

Una paradoja es una razonamiento en apariencia válido, que parte de premisas en apariencia verdaderas, pero que conduce a una contradicción o a una situación contraria al sentido común.​ Los esfuerzos por resolver ciertas paradojas han impulsado desarrollos en la lógica, la filosofía, la matemática y las ciencias en general.

Historia de la lógica

Históricamente la palabra «lógica» 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. Etimológicamente la palabra lógica deriva del término griego Λογικός logikós, que a su vez deriva de λόγος logos 'razón, palabra, discurso'.​

Edad Antigua

La lógica, como un análisis explícito de los métodos de razonamiento, 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 tiempo: la traducción y la investigación escolar en lógica fue reprimida por la dinastía Qin, acorde con la filosofía legista. En India, la lógica duró bastante más: se desarrolló (por ejemplo con la nyāya) 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.

Se considera a Aristóteles el fundador de la lógica como propedéutica o herramienta básica para todas las ciencias. Aristóteles fue el primero en formalizar los razonamientos, utilizando letras para representar términos. También fue el primero en emplear el término «lógica» para referirse al estudio de los argumentos dentro del «lenguaje apofántico» como manifestador de la verdad en la ciencia. Sostuvo que la verdad se manifiesta en el juicio verdadero y el argumento válido en el silogismo: «Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente».​ Se refirió en varios escritos de su Órganon a cuestiones tales como concepto, la proposición, definición, prueba y falacia. En su principal obra lógica, los Primeros analíticos, desarrolló el silogismo, un sistema lógico de estructura rígida. Aristóteles también formalizó el cuadro de oposición de los juicios y categorizó las formas válidas del silogismo. Además, Aristóteles reconoció y estudió los argumentos inductivos, base de lo que constituye la ciencia experimental, cuya lógica está estrechamente ligada al método científico. La influencia de los logros de Aristóteles fue tan grande, que en el siglo XVIII, Immanuel Kant llegó a decir que Aristóteles había prácticamente completado la ciencia de la lógica.​

Los filósofos estoicos introdujeron el silogismo hipotético y anunciaron la lógica proposicional, pero no tuvo mucho desarrollo.

Por otro lado, la lógica informal fue cultivada por la retórica, la oratoria y la filosofía, entre otras ramas del conocimiento. Estos estudios se centraron principalmente en la identificación de falacias y paradojas, así como en la construcción correcta de los discursos.

Edad Media

En la Edad Media, la lógica fue una de las siete artes liberales, y su estudio era requisito para entrar en cualquier universidad. Desde mediados del siglo XIII incluye en la lógica tres cuerpos separados del texto. En la logica vetus y logica nova es tradicional escritos lógicos, especialmente el Órganon de Aristóteles y los comentarios de Boecio y Porfirio. La parva logicalia puede ser considerada como representativa de la lógica medieval. Aquí están tratados una cantidad de nuevos problemas en la frotera de la lógica y la semántica que no fueron tratados por los pensadores antiguos. Algunos de los mayores lógicos medievales fueron Pedro Abelardo, Guillermo de Sherwood, Guillermo de Ockham y Juan Buridán.

Siglo XIX

A partir de la segunda mitad del siglo XIX, la lógica sería revolucionada profundamente. En 1847, George Boole publicó un breve tratado titulado El análisis matemático de la lógica, y en 1854 otro más importante titulado Las leyes del pensamiento. La idea de Boole fue construir a la lógica como un cálculo en el que los valores de verdad se representan mediante el 0 (falsedad) y el 1 (verdad), y a los que se les aplican operaciones matemáticas como la suma y la multiplicación.

Al mismo tiempo, Augustus De Morgan publica en 1847 su obra Lógica formal, donde introduce las leyes de De Morgan e intenta generalizar la noción de silogismo. Otro importante contribuyente inglés fue John Venn, quien en 1881 publicó su libro Lógica Simbólica, donde introdujo los famosos diagramas de Venn.

Charles Sanders Peirce y Ernst Schröder también hicieron importantes contribuciones.

Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob Frege, quien frecuentemente es considerado como el lógico más importante de la historia, junto con Aristóteles. En su trabajo de 1879, la Conceptografía, Frege ofrece por primera vez un un sistema completo de lógica de predicados. También desarrolla la idea de un lenguaje formal y define la noción de prueba. Estas ideas constituyeron una base teórica fundamental para el desarrollo de las computadoras y las ciencias de la computación, entre otras cosas. Pese a esto, los contemporáneos de Frege pasaron por alto sus contribuciones, probablemente a causa de la complicada notación que desarrolló el autor. En 1893 y 1903, Frege publica en dos volúmenes Las leyes de la aritmética, donde intenta deducir toda la matemática a partir de la lógica, en lo que se conoce como el proyecto logicista. Su sistema, sin embargo, contenía una contradicción (la paradoja de Russell).

Siglo XX

El siglo XX sería uno de enormes desarrollos en lógica. A partir del siglo XX, la lógica pasó a estudiarse por su interés intrínseco, y no sólo por sus virtudes como propedéutica, por lo que estudió a niveles mucho más abstractos.

En 1910, Bertrand Russell y Alfred North Whitehead publican Principia mathematica, un trabajo monumental en el que logran gran parte de la matemática a partir de la lógica, evitando caer en las paradojas en las que cayó Frege. Los autores reconocen el mérito de Frege en el prefacio. En contraste con el trabajo de Frege, Principia mathematica tuvo un éxito rotundo, y llegó a considerarse uno de los trabajos de no ficción más importantes e influyentes de todo el siglo XX. Principia mathematica utiliza una notación inspirada en la de Giuseppe Peano, parte de la cual todavía es muy utilizada hoy en día.

Si bien a la luz de los sistemas contemporáneos la lógica aristotélica puede parecer equivocada e incompleta, Jan Łukasiewicz mostró que, a pesar de sus grandes dificultades, la lógica aristotélica era consistente, si bien había que interpretarse como lógica de clases, lo cual no es pequeña modificación. Por ello la silogística prácticamente no tiene uso actualmente.

Además de la lógica proposicional y la lógica de predicados, el siglo XX vio el desarrollo de muchos otros sistemas lógicos; entre los que destacan las muchas lógicas modales.

Bibliografía adicional

• Graham Priest, An introduction to non-classical logic: From if to is, Segunda edición, Cambridge Introductions to Philosophy, Cambridge University Press, Nueva York, 2008, xxxii + 613 pp, ISBN: 978-0-521-85433-7

Véase también

• Lógica formal
• Lógica informal
• Lógica matemática
• Consecuencia lógica
• Cálculo lógico
• Sistema formal
• Constante lógica
• Silogismo

Enlaces externos

• Wikiversidad alberga proyectos de aprendizaje sobre Lógica.
• Aprende Lógica
• Breve Historia de la Lógica