Contenido ……………………………… 2 Introducción …………………………… 3
Un poco de Historia …………………… 4 La lógica ………………………………… 5
Lógica computacional ………………… 5 Inteligencia artificial …………………… 6
Objeto de estudio de la lógica……………8 La lógica como lenguaje………………… 9
Relación de la lógica con otras ciencias…10 Raciocinio ……………………………… 14
Opinión …………………………………15 Referencia Bibliográficas ……………… 16 Revista digital: Estudio de la lógica
Revista digital: Estudio de la lógica
En el sentido más general de la palabra, el estudio de la lógica se remonta al
siglo IV a.C., cuando Aristóteles la puso a la cabeza de su sistema filosófico como materia indispensable para cualquier otra ciencia. La lógica aristotélica era bastante rígida y estrecha de miras, pero con todo pervivió casi inalterada, paralelamente al resto de su doctrina, hasta el siglo XVI. A partir de aquí, mientras su física fue sustituida por la nueva física de Galileo y Newton, la lógica simplemente fue ignorada. Se mantuvo, pero en manos de filósofos y en parte de los matemáticos con inclinaciones filosóficas, aunque sin jugar ningún papel relevante en el desarrollo de las ciencias. Leibniz le dio cierto impulso pero sin abandonar una postura conservadora. A principios del siglo XIX, los trabajos de Boole y algunos
otros empezaron a relacionarla más directamente con la matemática, pero sin obtener nada que la hiciera especialmente relevante (aunque los trabajos de Boole cobraran importancia más tarde por motivos quizá distintos de los que él mismo tenía en mente). A través del transcurrir del tiempo es notable el proceso que surgió para que la lógica fuera reconocida en las ciencias, en especial para la matemática como una herramienta, la lógica forma parte fundamental de la razón de ser de las cosas y de la búsqueda de soluciones coherentes a problemas de la realidad, surgiendo así la
lógica computacional una de las más importantes en la historia que ha permitido sistematizar las pruebas matemáticas, cálculos y procedimientos lógicos, que en la actualidad permiten desarrollar infinidad de cálculos, procedimientos, desarrollos, y soluciones a problemas, pero este tema se irá abordando con un poco más de
profundidad para comprender el objeto de estudio de la lógica.
Revista digital: Estudio de la lógica
Aristóteles, quien es ampliamente reconocido como el padre fundador de la lógica. Sus trabajos principales sobre la materia tradicionalmente se agrupan bajo el nombre Órganon («herramienta»), y constituyen la primera investigación sistemática acerca de los principios del razonamiento válido o correcto. Para Aristóteles, la lógica era una herramienta necesaria para adentrarse en el mundo de la filosofía y la ciencia. Sus propuestas ejercieron una influencia sin par durante más de dos milenios.
Critica “Que desde los tiempos más tempranos la lógica ha transitado por un camino seguro puede verse a partir del hecho de que desde la época de Aristóteles no ha dado un sólo paso atrás. [...] Lo que es aún más notable acerca de la lógica es que hasta ahora tampoco ha podido dar un sólo paso hacia adelante, y por lo tanto parece a todas luces terminada y completa”. Aristóteles definió la lógica como “ciencia que estudia los razonamientos correctos”, por lo que la entendía como un instrumento al servicio de las demás ciencias cualquier ciencia (la física, por ejemplo) debe construirse con razonamientos correctos (de ahí que se la considere como un ciencia formal, pues no se interesa por el contenido de los razonamientos, sino por su forma).
Revista digital: Estudio de la lógica
La lógica es la ciencia que se encarga de exponer las leyes, modos y formas del razonamiento. Se trata de una ciencia formal que no tiene contenido, pero que se dedica al estudio de las formas válidas de inferencia. Es decir, trata del estudio de los métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.
Lógica computacional o lógica formal siempre ha sido una herramienta fundamental para el progreso de las ciencias computacionales, y sus desarrollos son la base para elaborar soluciones informáticas, tanto en software como en hardware.
La metodología de trabajo de la Lógica consiste en la examinación de la Validez o Invalidez aplicando una sistematización en los Argumentos, analizando por ende su Estructura Lógica, sin tener en cuenta el contenido de lo que se ha argumentado, ni considerar siquiera el Lenguaje utilizado, además de no contemplar el estado de Realidad del contenido, por lo que se considera a la misma como una Ciencia Formal.
Revista digital: Estudio de la lógica
Kurzweil (1990) definiendo a la inteligencia artificial como “El arte de crear máquinas con capacidad de realizar funciones que realizadas por personas requieren inteligencia”
Schalkoff en 1990 que conceptualiza a la inteligencia artificial como “Un campo de estudio que se enfoca a la explicación y estimulación de la conducta inteligente en función de procesos computacionales”.
Haugeland (1995) en la cual plantea inteligencia artificial como interesante tarea de lograr que computadoras piensen, máquinas mente, en su amplio sentido literal”.
a la “la las con
Revista digital: Estudio de la lógica
La inteligencia artificial (IA) es un área multidisciplinaria que, a través de ciencias como las ciencias de la computación, la lógica y la filosofía, estudia la creación y diseño de entidades capaces de resolver cuestiones por sí mismas utilizando como paradigma la inteligencia humana. La noción de inteligencia artificial fue desarrollada en referencia a ciertos sistemas creados por los seres humanos que constituyen agentes racionales no vivos. La racionalidad, en este caso, es entendida como la capacidad para maximizar un resultado esperado. La inteligencia artificial, por lo tanto, consiste en el diseño de procesos que, al ejecutarse sobre una arquitectura física, producen resultados que maximizan una cierta medida de rendimiento. Estos procesos se basan en secuencias de entradas que son percibidas y almacenadas por la mencionada arquitectura. Los dispositivos que cuentan con inteligencia artificial pueden ejecutar distintos procesos análogos al comportamiento humano, como la devolución de una respuesta por cada entrada (similar a los actos reflejos de los seres vivos), la búsqueda de un estado entre todos los posibles según una acción o la resolución de problema mediante una lógica formal. En la actualidad, la forma de inteligencia artificial más popular existe en los videojuegos, dado que su consumo es masivo. En este contexto, se aplica a enemigos y personajes controlados por el ordenador, para que su actuación a lo largo de la experiencia interactiva resulte creíble y parezca espontánea. Demás está decir que el tipo de inteligencia artificial utilizada en cada caso es diferente, y responde a una serie de necesidades particulares.
Revista digital: Estudio de la lógica
El objeto de estudio de esta ciencia son las formas, estructuras o esquemas de pensamiento; por eso mientras las otras ciencias se centran en las relaciones de su objeto de estudio con diversos fenómenos, la lógica se ocupa de las relaciones mismas. Podemos distinguir entre dos tipos generales de lógica:
b) La lógica material, también llamada lógica aplicada, que es en la cual un proceso de raciocinio o de pensamiento se analiza en consideración al contenido real de sus premisas y que por lo tanto debe llevar a una conclusión que sea concordante con la realidad.
a) La lógica formal, también llamada lógica pura, que es precisamente la “ciencia” que determina cuáles son las formas correctas y válidas de los raciocinios.
Normalmente el hablar con otras personas se nos hace algo de lo más cotidiano, sin embargo, el lenguaje es algo muy complejo donde interactúan diversas actividades mentales. El hombre se sirve del habla para numerosos propósitos como para satisfacer demandas y necesidades, controlar a otros, establecer contactos con la gente, expresar sentimientos, simular o crear, preguntar o escribir. La lógica como lenguaje se orienta más a las personas que otros lenguajes de programación clásicos, por lo que se convirtió en la base fundamental para la aparición de la nueva generación de lenguajes de programación. Este paradigma de programación, conocido como programación lógica, por si solo justifica la inclusión de la lógica en los programas de informática.
Revista digital: Estudio de la lógica
Psicología: Para algunos la lógica deber ser una parte de la psicología. Los que apoyan este hecho suelen considerar que la ciencia de lo psíquico ha de abarcar todo lo que se relacione con lo mental, y ya que la lógica estudia las formas del pensamiento, de ahí surge el supuesto de que lo psicológico deber determinar a la lógica.
Sin embargo, al contrastar ambas ciencias, encontramos que la psicología presenta un conocimiento demasiado disperso sobre su objeto de estudio, insuficiente como para albergar a lógica dentro de la débil estructura en que se envuelve lo mental desde el punto de vista psicológico; por otra parte, a la lógica no le interesan los procesos que generan los pensamientos, solamente le incumbe la estructura correcta o incorrecta de cierto tipo de estos.
Revista digital: Estudio de la lógica
Matemáticas: A partir del siglo XIX surgió con gran auge la tendencia a considerar a la lógica como una parte muy importante de las matemáticas, creándose desde ese momento una relación indisoluble que apostaba por la ruptura definitiva de la lógica con la filosofía. Para varios lógicos del siglo antepasado, las ciencias formales debían estar indisolublemente unidas. En contra parte, los filósofos señalaban un excesivo énfasis en lo formal por parte de los lógicos matemáticos, un énfasis que extraviaba a la lógica de su carácter original. Al día de hoy el debate continua vigente, sin que ninguno de los bandos ceda terreno, sin embargo es importante señalar que han surgido relevantes avances de la lógica desde el campo de las matemáticas.
Revista digital: Estudio de la lógica
Metafísica:
Los lógicos matemáticos han acusado a los filósofos de hacer ontología con la lógica, lo cual es el principal factor de reticencia sobre la lógica hecha desde el terreno filosófico, con justa o injusta razón, es indudable que algunos lógicos se han perdido en el discurso ontológico en lugar de atenerse al objeto de estudio de esta ciencia. En un extremo neutral encontramos un bando que acusa tanto a los metafísicos como a los matemáticos de extraviar a la lógica de su verdadera naturaleza; conocer las estructuras del pensamiento valido. La metafísica es la parte de la filosofía que se refiere al estudio de aquellas cuestiones que van más allá del campo de la física, "el arquetipo de la realidad" su estructura y naturaleza, como ejemplo seria la idea de una deidad, y la lógica estudia los conceptos a priori por medio del razonamiento basándose en las ciencias formales por medio de la demostración de argumentos validos. Siendo así la metafísica es una rama de la filosofía y se sub entiende que se vale del método lógico racional.
Revista digital: Estudio de la lógica
Gramática: La lógica se apoya en la gramática, ya que esta es el estudio de las reglas y principios que regulan el uso de las lenguas y la organización de las palabras dentro de una oración. Los pensamientos se estructuran en palabras distribuidas a lo largo de una oraciones, antes que cualquier análisis lógico, es indudable que debe existir un uso adecuado de la gramática; claro que sin caer en el exceso de creer que esta determina a la lógica o viceversa. ¿Qué relación existe entre lógica gramática y matemática?
La lógica tiene relación con la gramática porque ambas estudian la palabra, y tiene relación con la matemática porque ambas son ciencias formales y estudian relaciones y estructuras.
Revista digital: Estudio de la lógica
Es una operación discursiva por medio de la cual obtenemos un conocimiento nuevo (inferido) que parte de un conocimiento previo. Existen dos tipos generales de raciocinios, a saber: Raciocinio inductivo Se refiere a un conocimiento de los objetos sensibles, es un tipo de razonamiento que parte de ciertas comprobaciones de la experiencia (observación) para llegar a un punto de validez general. De ahí que se pueda decir que es un tipo de conocimiento que parte de un caso singular para llegar al conocimiento universal. Este es el tipo de raciocinio utilizado para elaborar leyes universales en las ciencias. Raciocinio deductivo Recibe su validez de los principios lógicos; en el intervienen varias relaciones lógicas, por lo mismo generalmente se expresa mediante silogismos. Es un razonamiento que parte de un conocimiento universal para aplicarlo en casos singulares.
Revista digital: Estudio de la lógica
En este segmento tenemos la oportunidad de dar a conocer las opiniones de la Ingeniera Nelsy Vivenes, profesora de la Universidad de Oriente Núcleo Monagas, actualmente se desempeña como facilitadora del Curso Especial de Grado en las Ciencias de Computación del seminario Teoría de Autómatas y Lenguajes Formales. ¿Es cierto que la lógica estudia solo la realidad de las cosas? A través de la lógica estudiamos el razonamiento de las proposiciones haciendo semejanzas con el razonamiento humano (formas de pensar, actuar, etc.) para así tener una visión concreta de la realidad. ¿Desde su perspectiva, cual es el objeto de estudio de la lógica? Su objeto de estudio se basa en la capacidad que tenemos los seres humanos para razonar, concretar y coordinar soluciones a diversos problemas. ¿Cómo se utiliza la lógica en la inteligencia artificial? Sabemos que la inteligencia artificial se basa en simular el comportamiento neuronal humano entonces a través de la lógica proposicional podemos utilizar tablas de la verdad e ir incorporándolas secuencialmente al prototipo desarrollado de acuerdo a las respuesta recibidas.
Revista digital: Estudio de la lógica
definicion. (21 de Marzon de 2015). Obtenido de (http://definicion.de/inteligencia-artificial/) e-educativa-catedu. (21 de Marzo de 2015). Obtenido de http://e ducativa.catedu.es/44700165/aula/archivos/repositorio/100 0/1248/html/3_clasificacin_de_las_ciencias.html el rincon del vago. (21 de Marzo de 2015). Obtenido de http://html.rincondelvago.com/logica_22.html eserna. (22 de Marzo www.eserna.com/logica/
de
2015).
Obtenido
de
eserna. (21 de Marzo de 2015). Eserna. Obtenido de www.eserna.com/l贸gica/ importancia. (21 de Marzo de 2015). Obtenido de (http://www.importancia.org/logica.php)
wikipedia. (21 de Marzo de 2015). Obtenido de http://es.wikipedia.org/wiki/Inteligencia_artificial
Revista digital: Estudio de la l贸gica
UNIVERSIDAD DE ORIENTE DEPARTAMENTO DE INGENIERÍA DE SISTEMAS CURSOS ESPECIALES DE GRADO ÁREA: CIENCIAS DE LA COMPUTACIÓN LÓGICA COMPUTACIONAL
UNIDAD I