# data[].attributes.body
Operaciones lógicas

Las operaciones hechas a partir de proposiciones se llaman operaciones lógicas. Este tipo de operación sigue las reglas del llamado cálculo proposicional.
Las operaciones lógicas son: negación, conjunción, disyunción, condicional y biconddicional.

# data[].attributes.body
¿Qué es la lógica?

La lógica es una ciencia formal, que forma parte de la filosofía y de las matemáticas. Se centra en el estudio de los procedimientos válidos y no válidos de pensamiento, es decir, en procesos como la demostración, la inferencia o la deducción, así como en conceptos como las falacias, las paradojas y la verdad.

# data[].attributes.body
la curiosidad logica se aserca a cualquier penzamiento   que  resuelve un problema  ,  es igual que un ingeniero quiera  hacer   una construcion el ingeniero se vale  de  un pensamiento de su ingenio de logica por que empieza a   ver    cual es la forma mas facil a ver     el terreno    y a odserva    cual sera la  problematica dentro de un futuro.

# data[].attributes.attachment_link.readable_text
Te explicamos qué es la lógica, su historia y características. Además, la lógica computacional y la formal.

¿Qué es la lógica?

La lógica es la ciencia del razonamiento. En general, se considera que la lógica tiene su origen en la filosofía y su aplicación en las matemáticas. Sin embargo, se considera a la lógica como una ciencia independiente, en tanto su origen se dio en paralelo al de la filosofía y no como una consecuencia directa de ella.

Quienes se dedican a la lógica estudian razonamientos llamados "argumentos" o "esquemas de argumentos". Su tarea consiste en descubrir qué hace que un argumento válido sea válido. Según a qué rama de la lógica se dediquen, así será el contenido de los distintos argumentos. La lógica trabaja con conceptos, definiciones, proposiciones y argumentaciones formales. Todos ellos se dan en función de determinar la validez de cada uno de los argumentos tratados.

En general, se puede dividir a la lógica en lógica formal y lógica informal. La lógica formal, por su parte, trabaja con sistemas de lógica proposicional (que opera sobre proposiciones), lógica de primer orden (que opera sobre predicados) y lógica modal (que opera sobre los valores de verdad).

Ver también: Pensamiento matemático

Etimología del término "lógica"

La palabra "lógica" tiene su origen en la voz griega logiké ("dotada de razón"), proveniente del término logos, que equivale a "palabra" o "pensamiento".

Sin embargo, en el lenguaje cotidiano empleamos esta palabra como sinónimo de "sentido común". También se emplea como un sinónimo de "forma de pensar", como al referirnos a la "lógica deportiva", "lógica militar", etc.

Ver también: Conocimiento filosófico

Historia de la lógica

La lógica tiene sus orígenes en distintas culturas y tradiciones a lo largo del mundo. Ya en Babilonia, Grecia, China o India, distintos filósofos y pensadores se dedicaron a la lógica. Sin embargo, la más trabajada ha sido, sin lugar a dudas, la lógica aristotélica.

La lógica aristotélica es la tradición de pensamiento que se inicia con las obras de Aristóteles (384-322 a. C.), considerado el fundador occidental de la lógica y uno de los autores más importantes de la tradición filosófica del mundo.

Los principales trabajos de Aristóteles respecto a la lógica están reunidos en su Órganon (del griego "instrumento"), compilados por Andrónico de Rodas varios siglos después de escritos. En ellos se despliega un sistema lógico que fue sumamente influyente en Europa y Oriente Medio hasta después de la Edad Media.

En esta obra, además, Aristóteles postuló los axiomas fundamentales de la lógica:

El principio de no contradicción. Establece que algo no puede ser y no ser a la vez (A y ¬A no pueden ser ciertos a la vez).

El principio de identidad. Establece que algo siempre es idéntico a sí mismo (A siempre es igual a A).

El principio del tercero excluido. Establece que algo es o no es verdadero y no existen gradaciones posibles (A o entonces ¬A).

El sistema lógico aristotélico entró luego en contacto con la lógica megárica y estoica. De la confluencia de estas tres corrientes, y tras los aportes de distintos autores, surgió en el siglo XX la lógica formal tal como se la conoce hoy en día. Autores como Frege, Russel y Whitehead trabajaron para dar forma a la lógica matemática y generar la posibilidad de nuevos desarrollos y escuelas lógicas.

Argumentos, esquemas de argumentos y validez

Así como la lógica es la ciencia del razonamiento, la argumentación es la aplicación del razonamiento. La lógica investiga qué hace a un argumento válido.

Un argumento es una secuencia de oraciones en la que las premisas están al comienzo y la conclusión al final. Un argumento válido es aquel en el que la verdad de las premisas implica la verdad de la conclusión. En un argumento válido si las premisas son verdaderas, la conclusión deberá ser verdadera.

Por ejemplo:

1. Juan vendrá a casa o María vendrá a casa. (premisa)

2. María no vendrá a casa. (premisa)

3. Juan vendrá a casa. (conclusión)

Si reemplazamos cada una de las oraciones con signos, veremos que en realidad lo que importa del argumento es su forma. En este caso obtendremos algo así como: "A o B (p1), no se da B (p2), se da A (conclusión)". No importa que las premisas sean verdaderas, de hecho, lo que importa es que si se acepta que son verdaderas, se deberá aceptar que la conclusión es verdadera. Esto es lo que se llama "esquema de argumento".

Tipos de lógica

Lógica formal e informal

A menudo se distingue entre dos campos de la lógica: la lógica formal y la lógica informal.

La lógica formal. Atiende al lenguaje formal, o sea, a la manera de expresar sus contenidos. Los emplea de manera estricta, sin ambigüedades, de modo tal que se pueda analizar el recorrido deductivo a partir de la validez de sus formas (de allí su nombre).

La lógica informal. Estudia sus argumentos a posteriori, distinguiendo las formas válidas e inválidas a partir de la información dada, sin reparar en su forma lógica o en su lenguaje formal. Esta variante surgió a mediados del siglo XX como una disciplina dentro de la filosofía.

Sigue en: Epistemología

La lógica formal

Se conoce como lógica formal o matemática a la aplicación del pensamiento lógico a determinadas áreas de la matemática y la ciencia.

Esto implica el estudio del proceso de la inferencia mediante sistemas formales de representación como la lógica proposicional, la lógica modal o la lógica del primer orden, que permiten "traducir" el lenguaje natural al lenguaje lógico. Cada uno de estos sistemas opera sobre distintos elementos.

La lógica proposicional opera sobre proposiciones con variables proposicionales y no utiliza cuantificadores o variables de individuo.

La lógica de primer orden o lógica predicativa opera sobre predicados y utiliza cuantificadores y variables de individuo.

La lógica modal opera sobre el valor de verdad de las distintas proposiciones y predicados.

La lógica formal abarca cuatro grandes áreas:

Teoría de modelos. Propone el estudio de teorías axiomáticas y lógica matemática a través de estructuras matemáticas conocidas como grupos, cuerpos o grafos, atribuyendo así un contenido semántico a las construcciones puramente formales de la lógica.

Teoría de la demostración. Propone demostraciones mediante objetos matemáticos y técnicas matemáticas como el camino para la comprobación de problemas lógicos. Mientras que la teoría de modelos se ocupa de dar una semántica (un significado) a las estructuras formales de la lógica, la teoría de la demostración se ocupa más bien de su sintaxis (su ordenamiento).

Teoría de conjuntos. Propone colecciones abstractas de objetos, comprendidas en sí mismas como objetos, así como sus operaciones básicas e interrelaciones. Esta rama de la lógica matemática es de las más fundamentales, ya que constituye una herramienta básica de cualquier teoría matemática.

Teoría de computabilidad. Propone un nexo entre la matemática y la informática y estudia los problemas de decisión a los que un algoritmo (equivalente a una máquina de Turing) puede enfrentarse. Para ello, emplea la teoría de conjuntos, y los comprende como conjuntos computables o no computables.

Lógica computacional

La lógica computacional es la misma lógica matemática pero aplicada al ámbito de la computación, o sea, a diversos niveles fundamentales de la informática: los circuitos computacionales, la programación lógica y la gestión de los algoritmos. Forma parte de ella también la inteligencia artificial, un campo relativamente reciente en el área.

A grandes rasgos, la lógica computacional aspira a alimentar un sistema informático a través de estructuras lógicas que expresan, en un lenguaje matemático, las distintas posibilidades del pensamiento humano, y para eso, crea sistemas de cómputo inteligentes.

Sigue con: Método analítico

Referencias

Gamut, L. T. F., & Durán, C. (2002). Introducción a la lógica. Buenos Aires, Argentina: Eudeba.

# data[].attributes.attachment_link.title
Lógica - Qué es, concepto y diferentes tipos de lógica

# data[].attributes.attachment_link.description
Lógica ✓ Te explicamos qué es la lógica, su historia y características. Además, la lógica computacional y la formal.

# data[].attributes.attachment_link.readable_text
En 1931, el lógico austriaco Kurt Gödel llevó a cabo el que probablemente podamos calificar como uno de los logros intelectuales más asombrosos de la historia. Por aquel entonces, los matemáticos se habían lanzado a buscar los fundamentos de su disciplina: un conjunto de hechos matemáticos básicos, o axiomas, que fueran al mismo tiempo coherentes (que nunca condujeran a contradicciones) y completos (es decir, a partir de los cuales pudieran construirse todas las verdades matemáticas).

Sus teoremas de incompletitud, publicados cuando contaba solo 25 años, frustraron ese sueño. Gödel demostró que cualquier conjunto de axiomas que podamos postular como base de las matemáticas será irremediablemente incompleto: siempre habrá hechos verdaderos sobre los números que jamás podremos demostrar a partir de esos axiomas. Además, Gödel también probó que ninguno de esos conjuntos de axiomas podría demostrar jamás su propia coherencia.

Los teoremas de incompletitud implican que no puede existir una teoría matemática del todo; ninguna unificación de lo que es demostrable y lo que es cierto. Lo que los matemáticos puedan demostrar dependerá siempre de los supuestos de los que partan, no de una verdad fundamental a partir de la cual emanen todas las respuestas.

En los noventa años transcurridos desde el hallazgo de Gödel, los matemáticos se han topado con el tipo de preguntas sin respuesta que pronosticaban sus teoremas de incompletitud. Por ejemplo, el propio Gödel contribuyó a establecer que la hipótesis del continuo, relativa a los tamaños del infinito, era indecidible. Lo mismo ocurre con el problema de la parada, o la pregunta de si un programa informático que recibe una entrada aleatoria continuará calculando para siempre o acabará deteniéndose antes o después.

Las cuestiones indecidibles han aparecido incluso en física, lo que parece indicar que la incompletitud de Gödel no solo se circunscribe al mundo de las matemáticas puras, sino que, de algún modo que no acabamos de entender, afectaría también a la propia realidad. Lo que sigue es un resumen simplificado e informal de los argumentos que empleó Gödel para demostrar sus teoremas.

La numeración de Gödel
La estrategia clave de Gödel fue encontrar una manera para expresar las afirmaciones sobre un sistema de axiomas en términos de las afirmaciones contenidas en dicho sistema; esto es, en términos de afirmaciones relativas a los números. Esta correspondencia permite que un sistema de axiomas "hable" sobre sí mismo. Para ello, el primer paso consiste en asignar un número único, denominado "número de Gödel", a cualquier posible enunciado o serie de enunciados matemáticos.

En 1958, Ernest Nagel y James Newman presentaron una versión ligeramente modificada de dicho esquema en su libro El teorema de Gödel. Esta comienza con 12 símbolos elementales que sirven como vocabulario para expresar un conjunto de axiomas básicos. Por ejemplo, la afirmación de que algo existe puede expresarse mediante el símbolo $, mientras que la suma se denota mediante +. Un símbolo importante es s, que significa "sucesor de" y ofrece una manera de especificar los números: ss0, por ejemplo, hace referencia al número 2. A estos 12 símbolos se les asignan los números de Gödel del 1 al 12 ( véase la tabla adjunta).

A continuación, las letras que representan variables, como X, Y o Z, se asocian a los números primos mayores que 12 (13, 17, 19, etcétera). A partir de aquí, es posible asignar un número de Gödel propio a cualquier combinación de símbolos y variables; es decir, a toda fórmula o secuencia de fórmulas aritméticas que podamos construir.

Para verlo, consideremos la fórmula 0 = 0. Los tres símbolos que aparecen en ella tienen asociados los números de Gödel 6, 5 y 6, respectivamente. Ahora hemos de convertir esta secuencia de tres números en uno solo. Este deberá además ser único, en el sentido de que ninguna otra secuencia de símbolos pueda generarlo. Para ello, tomamos los tres primeros números primos (2, 3 y 5), elevamos cada uno de ellos al número de Gödel del símbolo que ocupa la misma posición en la secuencia, y por último los multiplicamos. De esta manera, 0 = 0 se convierte en 2 ⁶ × 3 ⁵ × 5 ⁶, o 243.000.000.

La correspondencia funciona porque dos fórmulas distintas nunca podrán generar el mismo número de Gödel. Todos los números de Gödel son enteros, y solo existe una forma de descomponer un número entero en factores primos. La única descomposición en factores primos de 243.000.000 es 2 ⁶ × 3 ⁵ × 5 ⁶, lo que significa que solo hay una manera posible de descodificar este número de Gödel: la fórmula 0 = 0.

Gödel fue un paso más allá. Dado que una demostración matemática consta de una secuencia ordenada de fórmulas, definió también una manera de asociar un número de Gödel único a cada una de esas secuencias. A tal fin, comenzamos una vez más con la lista de números primos: 2, 3, 5... Luego elevamos cada uno al número de Gödel de la fórmula que ocupa la misma posición en la secuencia (por ejemplo, si 0 = 0 aparece en primer lugar, escribiremos 2 243.000.000 × ···), y por último lo multiplicamos todo.

Aritmetizar la metamatemática
La gran ventaja de este procedimiento es que incluso los enunciados metamatemáticos, aquellos que versan sobre las fórmulas aritméticas mismas, pueden traducirse en fórmulas con sus propios números de Gödel.

Empecemos considerando la fórmula ∼(0 = 0), que significa "cero no es igual a cero". Esta fórmula es claramente falsa, pero aun así tiene un número de Gödel: 2 elevado a 1 (el número de Gödel del símbolo ∼), multiplicado por 3 elevado a 8 (el número de Gödel del paréntesis de apertura), etcétera. El proceso nos da como resultado 2 ¹ × 3 ⁸ × 5 ⁶ × 7 ⁵ × 11 ⁶ × 13 ⁹. Dado que es posible generar números de Gödel para todas las fórmulas, aunque sean falsas, podemos decir cosas sobre ellas a partir de sus respectivos números de Gödel.

Consideremos la afirmación "el primer símbolo de la fórmula ∼(0 = 0) es una tilde". Este enunciado metamatemático (verdadero) sobre ∼(0 = 0) puede traducirse en un enunciado sobre el número de Gödel asociado a la fórmula: a saber, que su primer exponente es 1 (el número de Gödel asociado a la tilde). En otras palabras, nuestra afirmación dice que el número 2 ¹ × 3 ⁸ × 5 ⁶ × 7 ⁵ × 11 ⁶ × 13 ⁹ solo tiene un factor 2. Si ∼(0 = 0) empezara con cualquier otro símbolo que no fuera una tilde, su número de Gödel tendría al menos dos factores 2. Así que, siendo más precisos, lo que queremos decir es que 2 es un factor de 2 ¹ × 3 ⁸ × 5 ⁶ × 7 ⁵ × 11 ⁶ × 13 ⁹, pero 2 ² no lo es.

De igual modo, también podemos convertir la última frase en una expresión aritmética precisa ("existe un número entero X tal que X multiplicado por 2 es igual a 2 ¹ × 3 ⁸ × 5 ⁶ × 7 ⁵ × 11 ⁶ × 13 ⁹, y no existe ningún entero X tal que X multiplicado por 4 sea igual a 2 ¹ × 3 ⁸ × 5 ⁶ × 7 ⁵ × 11 ⁶ × 13 ⁹ ") y escribirla mediante símbolos elementales. Y por supuesto, dicha fórmula tendrá también un número de Gödel, el cual podremos calcular transformando sus símbolos en potencias de números primos.

Este ejemplo, escribieron Nagel y Newman, "ilustra una idea muy general y profunda que constituye el núcleo del descubrimiento de Gödel: es posible hablar, de un modo indirecto pero perfectamente preciso, sobre las propiedades tipográficas de una larga cadena de símbolos analizando, en su lugar, las propiedades de la descomposición en factores primos de un número entero grande".

También podemos convertir en símbolos el enunciado metamatemático "existe una secuencia de fórmulas con número de Gödel X que demuestra la fórmula con número de Gödel K". O, de manera más sucinta, "es posible demostrar la fórmula con número de Gödel K ". Fue la posibilidad de "aritmetizar" este tipo de enunciados lo que abrió las puertas a los teoremas de incompletitud.
G habla sobre G
Fue aquí donde Gödel tuvo una idea brillante. Se percató de que podía tomar el número de Gödel de una fórmula y sustituirlo en la propia fórmula.

Para entender cómo funciona esta sustitución, consideremos la fórmula (∃ X)( X = sY), que significa "existe alguna variable X que es el sucesor de Y"; o, en pocas palabras, " Y tiene un sucesor". Como todas las fórmulas, esta posee un número de Gödel: algún número entero grande al que llamaremos M.

Ahora, tomemos la fórmula de partida y sustituyamos el símbolo Y por M. Esto genera una nueva fórmula, (∃ X)( X= sM), que significa " M tiene un sucesor". ¿Cómo podemos llamar al número de Gödel de esta expresión? Hay que reflejar tres cosas: hemos empezado con la fórmula que tiene número de Gödel M; en ella, hemos sustituido el símbolo Y por M; y, de acuerdo con el esquema de asignación que hemos introducido al principio, el símbolo Y es el que tiene número de Gödel 17. Así pues, designemos el número de Gödel de la nueva fórmula como sust( M, M, 17). Este tipo de sustitución encierra el quid de la demostración de Gödel.

Gödel consideró un enunciado metamatemático del tipo "la fórmula con número de Gödel sust( Y, Y, 17) no se puede demostrar". De acuerdo con la notación que acabamos de introducir, la fórmula con número de Gödel sust( Y, Y, 17) es la que se obtiene al tomar la fórmula con número de Gödel Y (una variable desconocida) y, en cualquier lugar donde aparezca el símbolo con número de Gödel 17 (es decir, en cualquier lugar donde haya una Y), reemplazarlo por dicha variable Y.

La cosa está empezando a complicarse, pero lo que es seguro es que nuestra afirmación metamatemática "la fórmula con número de Gödel sust( Y, Y, 17) no se puede demostrar" se traduce en una fórmula con un número de Gödel único. Llamémoslo N.

Hagamos ahora una última sustitución: Gödel creó una nueva fórmula insertando el número N en cualquier lugar donde hubiera una Y en la fórmula anterior. Esa nueva fórmula dice "la fórmula con número de Gödel sust( N, N, 17) no se puede demostrar". Llamemos a esta última fórmula.

Por supuesto, tiene un número de Gödel. ¿Cuál es? He aquí la sorpresa: dicho número de Gödel solo puede ser sust( N, N, 17). Por definición, sust( N, N, 17) es el número de Gödel de la fórmula que resulta de tomar la fórmula con número de Gödel N y, en cualquier lugar donde haya un símbolo con número de Gödel 17, reemplazarlo por N. ¡Y esa fórmula resultante es justo ! Debido a la unicidad de la descomposición en factores primos, ahora vemos que la fórmula de la que habla no es sino la propia . Y está afirmando sobre sí misma que es indemostrable.

Pero ¿es posible demostrar ? Si así fuera, querría decir que hay alguna secuencia de fórmulas que demuestra la fórmula con número de Gödel sust( N, N, 17). Pero eso es lo contrario de lo que afirma , que nos asegura que no existe tal demostración. En un sistema coherente de axiomas, no es posible que dos enunciados opuestos, y ∼, sean ambos verdaderos. Por tanto, la verdad de solo puede ser indecidible.

Sin embargo, aunque sea indecidible, está claro que es cierta. afirma que "la fórmula con número de Gödel sust( N, N, 17) no se puede demostrar". ¡Y eso es justamente lo que hemos hallado! Dado que es verdadera pero indecidible dentro del sistema de axiomas que hemos usado para construirla, dicho sistema es necesariamente incompleto.

Cabe pensar que tal vez podríamos postular algún axioma adicional, usarlo para demostrar y resolver la paradoja. Sin embargo, algo así no es posible. Gödel demostró que, siguiendo un esquema similar al que acabamos de emplear, ese sistema extendido de axiomas permitiría construir una nueva fórmula verdadera, ', la cual no podría demostrarse dentro del nuevo sistema extendido. Así pues, todo intento de obtener un sistema matemático completo será siempre como una pescadilla que se muerde la cola.

El segundo teorema
Hemos visto que, si un conjunto de axiomas es coherente, entonces es incompleto. Este es el primer teorema de Gödel. El segundo -que ningún conjunto de axiomas puede demostrar su propia coherencia- puede deducirse fácilmente a partir de él.

¿Qué significaría que un conjunto de axiomas pudiera demostrar que nunca conduce a una contradicción? Querría decir que existe una secuencia de fórmulas construida a partir de esos axiomas que demuestra la fórmula que, desde un punto de vista metamatemático, dice "este conjunto de axiomas es coherente". Por el primer teorema, ese conjunto de axiomas sería entonces necesariamente incompleto.

Pero "el conjunto de axiomas es incompleto" es lo mismo que decir "existe alguna fórmula verdadera que no se puede demostrar". Esta afirmación es equivalente a nuestra fórmula . Y sabemos que los axiomas no pueden demostrar .

Así que Gödel construyó una demostración por contradicción: si un conjunto de axiomas pudiera demostrar su propia coherencia, entonces seríamos capaces de demostrar G. Pero no podemos, de modo que ningún conjunto de axiomas puede demostrar su propia coherencia.

Los teoremas de Gödel acabaron con la búsqueda de un sistema matemático coherente y completo. El significado de la incompletitud "sigue sin comprenderse del todo", escribieron Nagel y Newman en 1958. Hoy en día, eso continúa siendo cierto.
Este artículo apareció originalmente en

QuantaMagazine.org, una publicación independiente promovida por la Fundación Simons para potenciar la comprensión pública de la ciencia.

# data[].attributes.attachment_link.description
En 1931, el lógico austriaco Kurt Gödel llevó a cabo el que probablemente podamos calificar como uno de los logros intelectuales más asombrosos de la historia.

# data[].attributes.body
Se conoce como lógica matemática, también llamada lógica simbólica, lógica formal, lógica teorética o logística, a la aplicación del pensamiento lógico a determinadas áreas de la matemática y la ciencia.

# data[].attributes.body
El concepto de matemática recreativa es tan viejo como lo son los juegos en los que interviene la lógica o el cálculo de algún modo.

# data[].attributes.body
La palabra “lógica” tiene su origen en la voz griega logiké, proveniente del término logos, equivalente a “palabra” o “pensamiento” por igual.