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

ENSAYO DE LÓGICA

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

Los seres humanos hemos adquirido la capacidad de pensar de manera lógica a través del proceso evolutivo. Nuestro aprendizaje tiene un importante factor lógico y es, a la vez, la base de las matemáticas, el pilar de todas las ciencias que han permitido el desarrollo de las tecnologías que hoy usamos a diario. Lalógica se encuentra detrás de todas nuestras acciones cotidianas, no se puede concebir un mundo sin lógica.
Nuestra capacidad lógica esta unida a la idea de razonamiento. En el libro “Introducción a la lógica formal” de Alfredo Deaño, el autor diferencia varios tipos de pensamientos, siendo uno de ellos el razonamiento. Puede resultar obvio dividir en dos tipos básicos de razonamiento, el verdaderoy el falso, pero no es la única división posible. Se pueden clasificar también en razonamiento no deductivo, si las bases del razonamiento son verdaderas previsiblemente lo será la conclusión. Y razonamiento deductivo, si las premisas son verdaderas la conclusión debe ser verdadera.
El razonamiento esta directamente relacionado con la lógica. El mismo autor define el concepto de “lógica” comoteoría formal del razonamiento y la argumentación que busca validarlo. Entonces, podríamos decir que la lógica es la búsqueda de una conclusión en base a unas premisas.
También podríamos definir la lógica como lo hace Pascual Julián Iranzo en su libro Lógica Simbólica, en el que explica que no hay un acuerdo sobre las limitaciones del campo de la lógica. Para el autor, la lógica es la ciencia queestudia el razonamiento, la cual no pretende comprender los efectos psicológicos que producen estos razonamientos sobre los seres humanos sino que estudia el resultado de la actividad de razonar. La lógica nació como un intento de mecanizar el razonamiento, llegando a verse como la base principal en la computación. Una de las mayores aportaciones a la unión de la lógica y la computación se le debeal filósofo Leibniz.
Leibniz estaba convencido de sé que podría desarrollar un cálculo de los razonamientos porque estaba convencido de que el pensamiento era fruto de la realización de un cálculo. Intentó que la lógica se fundamentase por unos sistemas de reglas que nos permitiesen pasar de las premisas a la conclusión como si de una operación matemática se tratase. También concibió la idea deaplicar las técnicas de la deducción matemática a los razonamientos filosóficos. No podemos olvidarnos de George Boole, el cual invento el sistema algebraico que lleva su nombre. Este algebra consiste en un sistema de representación lógica.
Para Leibniz la distinción entre mundo actual y posible lleva a una distinción entre enunciados. Por lo que diferenció entre “enunciado analítico” sonverdaderos para todos los mundos posibles y “enunciado sintético” solo son verdaderos para el mundo actual.
Para llegar a la conclusión de si un enunciado es analítico o sintético, se ha establecido un método muy preciso llamado “lógica de proposiciones”. Esta se encarga de analizar las relaciones entre sujeto y predicados.
Para ello se estableció el “lenguaje formal”. Formalizar un lenguaje quieredecir que se especifiquen unas reglas para su uso. Se debe especificar los símbolos que se admiten (alfabeto), el conjunto de normas con el cual se pueden relacionar (sintaxis). Un grupo de símbolos unidos correctamente según el modelo formal se conoce como palabra o formula bien formada. Los lenguajes formales forman una parte esencial de las matemáticas, la lógica y la computación.
Ya que lalógica consiste en un conjunto de oraciones llamadas fórmulas o expresiones. Lógica formal se refiere al hecho de formar un enunciado en el cual intervienen variables de enunciados y símbolos de conectivas. Es decir, formalizar enunciados del lenguaje natural consiste en operar sobre nuestro lenguaje natural sustituyendo los signos que nos permiten enlazar enunciados del lenguaje por los símbolos...