Día Mundial de la Lógica

Día Mundial de la Lógica

El 14 de enero se celebra el Día Mundial de la Lógica, una efeméride que trata de poner en su sitio el papel de la lógica en la vida. Se trata de una disciplina, la lógica, que está presente en todos los ámbitos de la sociedad, pero sobre todo en la informática y en las tecnologías de la información y de la comunicación.

La fecha se ha elegido como un homenaje a dos grandes pensadores lógicos del siglo XX:

• Kurt Gödel, matemático y filósofo austriaco que elaboró el teorema de la incompletitud y transformó el estudio de la lógica en el siglo XX. Él falleció el 14 de enero de 1978.
• Alfred Tarski, matemático y lógico polaco que nació el 14 de enero de 1901 y formuló teorías que interactuaron con las de Gödel.

La palabra “lógica” viene del griego “logos” que puede traducirse de distintas maneras: palabra, pensamiento, argumento, principio o razón son algunas de las principales. En este sentido la lógica es el estudio de los principios y de los razonamientos.

La lógica es el estudio de los razonamientos y las inferencias. Se trata de un conjunto de cuestiones y análisis que han permitido comprender cómo se diferencian los argumentos válidos de las falacias y de qué manera llegamos a estos.

Para esto ha sido indispensable el desarrollo de distintos sistemas y formas de estudio, que han derivado en cuatro grandes tipos de lógica.

1. Lógica formal: También conocida como lógica tradicional o lógica filosófica, se trata del estudio de las inferencias con contenido puramente formal y explícito. Se trata de analizar los enunciados formales (lógicos o matemáticos), cuyo significado no es intrínseco sino que sus símbolos tienen sentido por la aplicación útil que se les da. La tradición filosófica de la cual deriva esto último se llama precisamente “formalismo”.
2. Lógica informal: Por su parte, la lógica informal es una disciplina más reciente, que estudia, evalúa y analiza los argumentos desplegados en el lenguaje natural o cotidiano. De ahí que reciba la categoría de “informal”. Puede tratarse tanto de lenguaje hablado como escrito o bien, cualquier tipo de mecanismo e interacción utilizada para comunicar algo.
3. Lógica simbólica: Tal como su nombre lo indica, lógica simbólica analiza las relaciones entre símbolos. En ocasiones se sirve del lenguaje matemático complejo, ya que se encarga de estudiar problemas que la lógica formal tradicional encuentra complicados o difíciles de abordar. Suele dividirse en dos subtipos:

Lógica predicativa o de primer orden: se trata de un sistema formal compuesto por fórmulas y variables cuantificables

Proposicional: se trata de un sistema formal compuesto por proposiciones, que son capaces de crear otras proposiciones a través de conectores llamados “conectivas lógicas”. En este casi no hay variables cuantificables.

4. Lógica matemática: Dependiendo del autor que la describe, la lógica matemática puede considerarse un tipo de lógica formal. Otros consideran que la lógica matemática incluye tanto la aplicación de la lógica formal a las matemáticas, como la aplicación de los razonamientos matemáticos a la lógica formal.

Queremos en esta ocasión considerar la Relación entre la lógica y la informática

La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.

La lógica juega un papel básico en la informática (bases de datos, complejidad computacional, lenguajes de programación, inteligencia artificial, diseño y verificación de sistemas hard y soft, etc.), y es sin duda uno de los fundamentos que proporcionan la madurez y agilidad necesarias para asimilar los conceptos, ...

En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica. Un cálculo definido por unos símbolos y unas reglas de inferencia. Lo que ha permitido un campo de aplicación fundamental en la actualidad: la informática.

Las relaciones entre la lógica y la informática son recíprocas. Aparte de la computación de la lógica, es decir, del uso efectivo del computador como instrumento para la solución de problemas lógicos, es interesante considerar lo que podríamos llamar lógica de la computación, entendiendo por tal el estudio de las relaciones de fundamentación de la lógica con respecto a la informática, tanto en el plano de la teoría como en el de la técnica.

En la informática existen 3 partes fundamentales, que son la entrada de información el proceso de la información y la salida de la información, básicamente es todo lo que hace la informática lo demás ya serian como ramas o subpartes de estas tres iniciales.

Así como la lógica analiza la estructura de un argumento en la informática las partes tienen que tener una estructura (lógica), de lo contrario al igual que en la lógica algo mal estructurado seria invalido.