logica computacional

LA LÓGICA:
UN FUNDAMENTO PARA LAS CIENCIAS COMPUTACIONALES
1.1.

CONCEPTO DE LÓGICA

1.1.1

Definiciones de algunos autores

“La Lógica es un término que deriva del griego "Λογικός" (logikê-logikós), que a su vez es "λόγος"
(logos), que significa razón. La Lógica es la ciencia encargada de estudiar el pensamiento a través
de las Formas Mentales. Se considera que Aristóteles fue el quefundó la Lógica como un medio de
conocimiento o Propedéutica, una herramienta básica para todas las Ciencias”.
Tomado de http://es.wikipedia/
“La lógica es la disciplina que estudia esta distinción determinando las condiciones bajo las cuales
la verdad de ciertas creencias conduce con certeza a la verdad de alguna otra creencia. La lógica
estudia, pues, los principios de los razonamientoscorrectos”.
Tomado de http://w3.cnice.mec.es/eos/
“El estudio de la lógica es el estudio de los métodos y principios usados al distinguir entre los
argumentos correctos (buenos) y los argumentos incorrectos (malos). El estudio de la lógica,
especialmente la lógica simbólica como el estudio de cualquier ciencia exacta incrementara la
capacidad de razonamiento.”
“El razonamiento es la claseespecial de pensamiento llamada interferencia, en la que se sacan
conclusiones partiendo de premisas”.
Tomado de http://elrincondelvago.com/

Se puede concluir entonces que:
La lógica es la capacidad del ser humano para ordenar sus pensamientos de forma secuencial, el
cual a través del razonamiento correcto, conduce a la solución de problemas.

1.1.2

Otros conceptos importantesIngeniería: Mecanismo creado por el hombre para llevar a cabo la investigación en distintos
campos de la ciencia como las matemáticas, la física, la química, entre otros; mediante el cual crea
y construye.
Se extiende a grandes campos tales como la construcción de elementos mecánicos, las obras
civiles, los sistemas, de tal forma que genere mayor producción al menor esfuerzo.

Lógica computacional:es la capacidad del hombre para crear elementos como la computadora,
el cual utiliza como herramienta, para la solución de problemas.

1.2.

EVOLUCION DE LA LÓGICA

Históricamente la palabra ha ido cambiando de sentido. Comenzó siendo una modelización de los
razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia
diversos sistemas formales, relacionadoscon la teoría.
La lógica formal, como un análisis explícito de los métodos de razonamientos, se desarrolló
originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el
Siglo I a.C.
En China no duró mucho tiempo: la traducción y la investigación escolar en lógica fue reprimida por
la dinastía Qin, acorde con la filosofía legista. En India, la lógicaduró bastante más: se desarrolló (
por ejemplo con la nyaya) hasta que en el mundo islámico apareció la escuela de Asharite, la cual
suprimió parte del trabajo original en lógica. (A pesar de lo anterior, hubo innovaciones escolásticas
indias hasta principios del siglo XIX, pero no sobrevivió mucho dentro de la India Colonial). El
tratamiento sofisticado y formal de la lógica modernaaparentemente proviene de la tradición
griega.
Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos
dentro del lenguaje natural. En el Organon Aristóteles la define como “el arte de la argumentación
correcta y verdadera”.
Nació así la “Lógica Informal”, o el estudio metódico de los argumentos. Durante varios siglos, sólo
fue investigada por la retórica,la oratoria y la filosofía, entre otras ramas del conocimiento. Se
especializó medularmente en la identificación de falacias y paradojas, así como en la construcción
correcta de razonamientos.
A partir de mediados del Siglo XIX la lógica formal comenzó a ser estudiada en el campo de las
matemáticas y posteriormente por las ciencias computacionales, naciendo así la Lógica simbólica.
La...