Andrés D’ Jesús Bello Fajardo
(2015) Ingeniería de Sistemas 2do
Semestre Universidad “Gran Mariscal de Ayacucho”, Cd Bolívar Edo Bolívar
Venezuela, andreb_o0@hotmail.com \ octubredel2010@gmail.com.
RESUMEN
Este paper se basa en
las definiciones de la lógica como ciencia de pensar y también se parte de un recorrido sobre la
historia de cómo llego esta ciencia a involucrase en las ciencias
computacionales llegando a ser de suma importancia tanto para el diseño de
estos como para programación y desarrollo de algoritmos.
PALABRAS CLAVE
Formal, inferencia, estructura,
algoritmos.
INTRODUCCIÓN
Un argumento tiene su
lógica cuando resulta convincente, razonable y claro; en definitiva cuando
cumple una función de eficacia. La habilidad de pensar y expresar un argumento
es de sumo interés en vida cotidiana, ya sea para defender o proteger una
verdad basándose en hechos lógicos, como para identificar lo correcto o
incorrecto. En este paper se tratara sobre que es la lógica y las definición
que le han dado a lo largo de la historia para luego reconocer su aplicación en la ingeniería
de sistemas.
REVISIÓN BIBLIOGRÁFICA
Hoy en día, y gracias
a los trabajos de un gran número de matemáticos y filósofos, entre los que
podemos destacar a Aristóteles, George Boole (1815-1864), Giuseppe Peano
(1858-1932), Georg Cantor (1845-1918), Gottlob Frege (1848-1925) y Bertrand
Russell (1872-1970), se ha desarrollado la lógica simbólica o lógica formal,
que se caracteriza por el uso de un lenguaje formal, simbólico, como el que se
usa en las matemáticas, así como unas reglas estrictas de transformación entre
distintas proposiciones
METODOLOGÍA
Diseño: Se realizó
una revisión sistemática de documentos de páginas web dedicadas a la definición
de términos, así como de revisiones sistemáticas y estudios científicos.
Estrategia de
búsqueda: En primer lugar se llevó a cabo una búsqueda en Google Chrome de
documentos y guías relacionados con la definición del tema, así como también se
investigó sobre el origen de cómo se relacionan las ciencias computacionales
con la lógica, además se revisaron varios artículos relacionados con el tema.
DESARROLLO / ANÁLISIS / RESULTADOS / ARGUMENTACIÓN
Esta es considerada
una ciencia formal que no tiene contenido, que se dedica al estudio las formas
validas de inferencia y/o estructuras o esquemas del pensamiento humano como
las reposiciones, conceptos y razonamientos, para establecer leyes y principios
válidos para obtener criterios de verdad. También se refiere al sentido común,
como algo que es natural o normal. Esta palabra posee origen griego y significa
intelectual, argumento o razón.
La lógica es también
considerada una disciplina filosófica, para el autor Gregorio Fingermann
la lógica es "La ciencia de las leyes y de las formas del pensamiento, que
nos da normas para la investigación científica y nos suministra un criterio de
verdad". En la antigüedad y a medida que pasaba el tiempo y a lo largo de
la historia muchos científicos y filósofos dieron a conocer su opinión de
lo que para ellos era o es en si esta ciencia y a su vez dieron sus aportes a
la misma, a continuación las definiciones de lógica de algunos de estos
empezando por Aristóteles que según él "La lógica es la
ciencia de la demostración, pues sólo se preocupa de formular reglas para
alcanzar verdades a través de la demostración". Para San Agustín "La
lógica o arte de razonar es la parte de la ciencia que enseña el método para
alcanzar la verdad". Según Kant "La lógica es la ciencia de las leyes
necesarias del entendimiento y de la razón". Para Hegel
"La lógica es la ciencia de la idea pura de la idea en el elemento abstracto
del pensamiento". Para J. S. Mill "La lógica es la ciencia de
las aspiraciones intelectuales que sirven para estimación de la prueba"
La lógica siempre fue
vista como una ciencia relacionada con la aplicación de conocimientos en busca
de la verdad, ahora bien existen cuatro principios lógicos del pensamiento
que permiten pensar con orden y sentido estos son, primero el principio
de identidad todo objeto es idéntico a sí mismo ("A es A"), segundo
principio de no contradicción es imposible que algo sea y no sea al mismo
tiempo y en el mismo sentido ("es imposible que A sea B y no sea B"),
tercer principio el del tercero excluido todo tiene que ser o no ser
("A es B" o "A no es B"), estos tres primeros principios fueron
aportados por Aristóteles y el cuarto fue planteado por el filósofo alemán
Wilhelm Leibniz (1646-1716), el cual trata sobre el principio de razón
suficiente todo objeto debe tener una razón suficiente que lo explique.
La aplicación de la lógica en los sistemas computacionales empezó en 1920 cuando Hilbert
consideraba a la lógica como una teoría axiomatizada, que según
este enfoque, es posible demostrar teoremas por medio de los métodos
matemáticos tradicionales, sin embargo, para la época no existían algoritmos
que soportaran la construcción de tales deducciones, y no fue hasta que en
los años 50, cuando los computadores fueron accesibles, Davis y Putnam
utilizaron los resultados de Herbrand y elaboraron el primer algoritmo de
computador para demostrar el teorema.
En 1959 Newell, Shaw y Simon diseñaron el sistema logic theorist,
con los que impactaron la inteligencia Artificial contemporánea. En los años 60
surgió una demanda por la aplicación de la lógica en conexión con el análisis y
la síntesis, lo que significó que las propiedades de un programa se pudieran
describir mediante fórmulas lógicas o axiomas, y que fuera posible tratar de
responder las preguntas acerca del funcionamiento correcto del mismo. La base
formal de este enfoque fue principalmente la lógica de Hoare (1969), cuyos
aportes contienen los resultados más importantes en esta área. En este
proceso se utilizó la lógica de segundo orden, e incluso la temporal, en la
formalización y los trabajos de Cliff, Hoare & Shepherdson), Loeckx &
Sieber y Goos, ilustran que el área de computación es un área de importante en
el desarrollo y aplicación de la lógica.
La lógica sin duda es
la herramienta principal y la que más aplica un profesional de sistemas “un don
que todo ser humano tiene pero depende de la astucia e inteligencia del mismo”,
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 la programación
lógica(que no es lo mismo que programar), y en el análisis y optimización de
algoritmos. La lógica también se aplica a los circuitos electrónicos
de una computadora, que responden a diferentes señales eléctricas,
haciendo devolver un valor dependiendo de las entradas que se le dan al
sistema.
Esta siempre ha sido
una herramienta fundamental en las ciencias computacionales y sus desarrollos
son la base para elaborar soluciones informáticas, tanto en software como en hardware, desde
la publicación de los trabajos de Herbramd en 1930, la lógica se ha convertido
en un valioso instrumento conceptual al servicio de las ciencias
computacionales. Organismos internacionales como la “Association for Computing
Machinery” (ACM) y el “Institute for Electrical on Electronic Engineers” (IEEE)
proponen aplicar la lógica en las ciencias computacionales como “ Instrumento
se la tarea de representación y resolución de problemas por medio de
computador, además, reconocer el carácter fundamental de la lógica como
herramienta imprescindible para el ingeniero, ya que le permite elaborar
especificaciones formales y formalizar líneas de razonamiento, diseño y
descripción de sistemas.”
CONCLUSIÓN
La lógica es el
sentido común estructurado de forma formal que se basa de la verdad y su
aplicación en la ingeniería en sistemas es que esta inicialmente se formó bajo
el concepto de lógica y esta se
convirtió en una herramienta imprescindible para las ciencias computacionales,
como en la Inteligencia Artificial, con la teoría de bases de datos
relacionales y el análisis y síntesis de programas.
Diseñar, desarrollar
y mantener software son procesos netamente creativos que se sustentan
fundamentalmente en la capacidad de razonamiento, en el pensamiento
computacional y algorítmico y en la habilidad para abstraer cualquier problema,
por lo que es necesario estructurar este curso para ofrecer una base sólida de
la lógica en la línea computacional para los futuros ingenieros de sistemas.
Debido a la publicación
de los trabajos de Herbramd la lógica se ha convertido en un valioso
instrumento conceptual al servicio de las ciencias computacionales, en la
que ayudan para representar el conocimiento y para soportar el diseño de
sistemas de información, es decir, hoy la lógica computacional se aborda desde
la perspectiva de aplicación a la computación
BIBLIOGRÁFIA
1) “Lógica” (https://es.wikipedia.org/wiki/L%C3%B3gica)
2) “Significado de Lógica” (http://www.significados.com/logica/)
3) “¿Qué es la Lógica?”
(https://es.wikiversity.org/wiki/%C2%BFQu%C3%A9_es_la_L%C3%B3gica%3F)
4) “DEFINICIÓN DE LÓGICA” (http://definicion.de/logica/#ixzz3mrcQ3FgX)
5) “Definición de lógica” (2006) D.R. Universidad Nacional Autónoma de
México. Programa de Conocimientos Fundamentales. Hecho en México.
(http://www.conocimientosfundamentales.unam.mx/vol1/filosofia/m01/t01/01t01s01.html)
6) Rodríguez T (2006) “lógica”
(http://tatianagomez7.blogspot.com/)
7) Torres M (2012) ”¿Para que Aprender Lógica y Argumentación?”
(http://www.academia.edu/4216015/Ensayo_presentacion_para_logica_y_argumentacion)
8) Millas j (2007) “La lógica funciona”
(http://carmenlobo.blogcindario.com/2007/07/00702-logica.html)
9) Correia M “La Actualidad de la Lógica de Aristóteles”; “Actuality of
Aristotle's logic”; Instituto de Filosofía Pontificia Universidad Católica de
Chile Santiago, Chile
(http://www.scielo.cl/scielo.php?pid=S0718-43602006000100009&script=sci_arttext)
10) Edgar Serna M. (2013) “Educación en la ingeniería”
(http://www.educacioneningenieria.org)
11) Brian Habib (?) "la logica del ingeniero de
sistemas", Maturin, Venezuela,
(http://logicadelingenierodesistemas.blogespot.com
12) "Logica Computacional"
(http://www.eserna.com/logica
No hay comentarios.:
Publicar un comentario