Lógica y Metodos Formales En La Computación

ENSAYO DE LÓGICA

“Lógica
y
Métodos Formales
en la
Ciencia
de la Computación”

La capacidad que tenemos los seres humanos de pensar lógicamente es una evolución a lo largo de toda nuestra existencia, por lo tanto el nacimiento de la lógica esta directamente relacionado con el nacimiento intelectual del ser humano. Locke ya expresó esta idea en el siglo XVII: “Dios no ha sido tanahorrador con los hombres como para hacerlos meras criaturas con dos patas y dejarle a Aristóteles la tarea de hacerlos racionales”.

Esta capacidad la podemos referenciar con la idea de razonamiento. Según desarrolla Alfedro Deaño en su libro “Introducción a la lógica formal”, el razonamiento es un tipo de pensamiento junto a otros varios que la psicología distingue. Por lo tanto en la aplicaciónde la lógica podemos decir que un razonamiento consiste en derivar una conclusión a partir de sus premisas. El razonamiento se puede dividir según la relación que se da entre los enunciados que se toman como premisas y otro enunciado tomado como conclusión. Así según esta división podemos decir el razonamiento queda divido en dos válidos o verdaderos y no válidos o falsos. Podemos también hablarde razonamiento no deductivo, el razonamiento es válido si la verdad de las premisas hace probable la verdad de la conclusión y de razonamiento deductivo, el razonamiento es válido cuando la verdad de las premisas implica necesariamente la verdad de la conclusión.

Así pues siguiendo a Alfedro Deaño podemos definir el concepto de lógica como la teoría formal del razonamiento, el estudio de laargumentación formalmente válida, la ciencia de la inferencia deductiva. Ya que hablar de un razonamiento formalmente válido es como hablar de un razonamiento deductivamente válido, ya que la unión de premisas y conclusión solo es necesaria cuando las premisas nos arrastran a la conclusión.
Pero también podemos definirla como la ciencia que estudia el razonamiento, la cual no busca entender losefectos que producen estos razonamientos sobre los propios seres humanos sino que estudia el producto o resultado de la actividad de razonar.

La lógica nació como un intento de mecanizar los procesos selectivos del razonamiento, llegando a verse como la principal involucrada en la computación actual. Una de las mayores aportaciones a la unión de la lógica y la computación se le debe al granfilósofo Leibniz.
Leibniz estaba convencido de que podría desarrollar un cálculo de los razonamientos, por lo que intentó que la lógica se fundamentase en cálculos, es decir, por unos sistemas de reglas que nos permitiesen pasar de las premisas a la conclusión simplemente computando. También concibió la idea de aplicar las técnicas de la deducción matemática a los razonamientos filosóficos.
Tambiéndebemos tener en mente a George Boole, el cual invento el álgebra de Boole, base actual de la aritmética computacional moderna.

Hoy en día este intento de seguir desarrollando esta intención es muy importante para el mundo de la computación, la inteligencia artificial e ingeniería del software.

Según la Real Academia Española, el ‘Lenguaje’ queda definido como:
“Estilo y modo de hablar yescribir de cada persona en particular”
“Uso del habla o facultad de hablar”

Pero primero debemos definir el concepto de lenguaje natural, es el medio que utilizamos de manera cotidiana para establecer nuestra comunicación con el resto de seres humanos.

Cada ciencia, como decía Aristóteles recorta para sí un campo de objetos, dedicándose a estudiar las leyes que describen y explican elcomportamiento de éstos. Puesto que cada disciplina estudia una especie de objetos, lo natural es que use un lenguaje específico. Así cada ciencia crea su propio lenguaje.

Como ya hemos dicho la lógica estudia la relación de consecuencia entre unas premisas y la conclusión de argumento correcto, así lo define Pascual Julián Iranzo en su libro. Pero para comprender esto debemos de definir una...