La aplicación de la lógica

Introducción.

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un argumento es válido. La lógica es ampliamente aplicada en la filosofía, matemáticas, computación, física. En la filosofía para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lógica permite saber el significado correcto. En las matemáticos para demostrar teoremas resultados matemáticas que puedan ser aplicados en investigaciones. En la computación para revisar programas. En general la lógica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lógico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lógico que permita realizar dicha tarea. Si una persona desea comer necesita dirigirse al lugar adeacuado tener los utensilios necesarios para poder realizar la tarea revisar si hay comida gas para cocinar una estufa en fin todo aquello que lógicamente necesite para obtener lo que desea.

Es cuestión de detenernos a pensar o analizar todo nuestras tareas diarias meticulosamente.

El conocimiento a mi parecer personal toma gran importancia cuando llega al mayor número de personas, pero no todas las personas tenemos el mismo lenguaje o entendimiento, para esto hay que realizar una especie de traducción del tema para que todos lo podamos entender ya sea a otro idioma o de una forma más explícita. Esto surge a raíz de que dos grupos de personas con lenguaje diferente entran en contacto y al no poder entenderse buscan la forma de poder hacerlo, y esto no es tan ajeno a las matemáticas como pensamos.

La palabra algoritmo esta basado en el nombre del matemático llamado Muhammad ibn Musa al-Jwarizmi que vivió aproximadamente en el siglo IX. Su trabajo consistió en preservar y difundir el conocimiento de la antigua Grecia. Sus libros eran de fácil comprensión, de ahí que su principal logro no fuera el de crear nuevos teoremas o corrientes de pensamiento, sino el de simplificar la matemática a punto tal que pudieran ser comprendidas y aplicadas por un mayor número de personas. También estudió la manera de reducir las operaciones que formaban el cálculo.

Asi nos damos cuenta que los algoritmos o métodos de solución no son cosa de la época moderna o de la computación nada mas ya que los antiguos griegos y egipcios comenzaron el amplio conocimiento sobre este tema. Empezó con Aristóteles ( mi amor platónico) en geometría y otros campos de las matemáticas , estos conocimientos predominaron durante largo tiempo. Leibinz (uno de los dos impulsor del cálculo) nunca desarrollo grandes ideas sobre el tema pero marco el inicio de lo que conocemos como Lógica matemática.

Históricamente la palabra “lógica” ha ido cambiando de sentido. Comenzó siendo una modelación de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría. Etimológicamente la palabra lógica deriva del término griego logikós derivado de logos ‘razón’

“Lógica matemática o también llamado Lógica simbólica es una parte de las matemáticas que se encarga de los sistemas formales, también de los conceptos tales como demostración matemática y computación.”

http://campusvirtual.unex.es/cala/epistemowikia/index.php?title=L%C3%B3gica_matem%C3%A1tica

Del año 600 aC hasta 300 aC se desarrollan en Grecia los principios formales de las matemáticas. Este periodo clásico lo protagonizan Platón, Aristóteles y Euclides. Platón propone ideas o abstracciones. Aristóteles resuelve el razonamiento deductivo y sistematizado. Euclides es el autor que establece el método axiomático. En los Elementos Euclides organiza las pruebas deductivas de que dispone dentro de una estructura sistemática, rigurosa, altamente útil.

Durante años varios genios intentaron construir maquinas que aunque bien estructuradas estaban escasas de tecnología para lograr su función inicial. Mientras el campo de la computación se vio inmóvil durante años, la lógica matemática fue creciendo rápidamente.

Desde los Primeros Analíticos de Aristóteles, o los tratados iv y vi de los Tractatus –después llamados Summulae Logicales– de Pedro Hispano, o el ensayo “Non inelegans specimen demonstrandi in abstractis” de Leibniz,

...