HISTORIA DE LA

LOGICA
 
La historia de la disciplina desde sus orígenes iniciando con los
griegos antiguos hasta nuestros días

Orígenes de la lógica en el oeste

Precursores de la lógica antigua

Existía una leyenda medieval de acuerdo a la cual el griego filósofo

Parmenides (siglo 5 A.C.) invento la lógica mientras vivía en una roca
en Egipto. La historia es pura leyenda, pero esto refleja el hecho de
que Parmenides fue el primer filósofo en usar un amplio argumento
para sus opiniones, antes que simples proposiciones, una visión de
realidad. Pero usar argumentos no es lo mismo como estudiarlos, y
Parmenides nunca formulo sistemáticamente o estudio principios de
argumentación de su propio pensamiento Realmente, no hay
evidencia de que él fue el que implemento las reglas de inferencia
usadas en la presentación de su doctrina.

Quizás el uso de argumentos de Parmenides fue inspirado por la

practica de los primeros griegos matemáticos entre ellos Pitagoras.
Así que es significativo que Parmenides había tenido un maestro,
Pitágoras. Pero la historia del Pitagoreanismo en este periodo inicial
esta envuelto en un misterio, y es difícil separar hechos de leyendas.

Si Parmenides no fue informado de las reglas generales subrayadas

en sus argumentos, lo mismo quizás no es verdad para su discípulo
Zeno de Elea (siglo 5 B.C.) Zeno fue el autor de muchos argumentos,
conocidos colectivamente como "Paradojas de Zeno",

Otros autores tambien contribuyeron a que el interes de los griegos

creciera en deducción y prueba. Los retoricos y sofistas Gorgias,
Hippias, Prodicus, y Protagoras (todos siglo 5 B.C.). cultivaron el arte
de defender o atacar una tesis por significado de los argumentos. Esto
concerniente a las tecnicas de argumentos en ocasiones simplemente
guia un despliegue verbal de debate de habilidad, al cual Platon
llamaba "euristic." Pero es tambien verdadero que los sofistas fueron
intrumentos para traer la argumentación a la posición central, esto
viene a sujetar el pensamiento griego. Los sofistas fueron, los
primeros en demandar que la moral sea justificada por razones.

Ciertamente las enseñanzas particulares de algunos sofistas y

retoricos son significativos para los principios de la lógica. Por
ejemplo, Pitágoras es reportado de haber sido el primero en distinguir
diferentes tipos de sentencias: preguntas, respuestas, oraciones y
requerimientos.

Prodicus aparece para mantener que dos palabras no pueden

significar exactamente la misma cosa. Por lo tanto, el se dedico con
mucha atención y cuidadosamente, distinguiendo y definiendo el
significado de sinónimos aparentes, incluyendo muchos terminos
éticos.

Sócrates, puso interes en las lecturas de Prodicus, como prodicus el

propuso la definición de cosas, particularmente en el campo de la etica
y los valores.

Platon continuo el trabajo comenzado por los sofistas y por Socrates.

En el caso del Sofista, el se distinguio afirmando de la negación hizo la
importante distinción entre verbos y nombres (incluyendo sustantivos y
adjetivos). El remarco que una sentencia completa no puede consistir
de un nombre o un verbo solamente pues requiere por lo menos una
de cada uno. Esta observación indica que el análisis del lenguaje se
ha desarrollado hasta el punto de investigar la estructura interna de las
sentencias, en adicion a la relacion de sentencias en su totalidad para
alguna otra. Este nuevo descubrimiento seria un arte de gran
desarrollo para los pupilos aristotelicos de Platon (384-322 BC)

Hay pasajes en los escritos de Platon donde el sugiere que la practica

de argumentos en la forma de dialogo (dialéctica platonica) tiene un
significado largo, mas alla del uso ocasional para investigar un
problema en particular. La sugerencia es que la dialéctica es una
ciencia de su propio criterio o quiza un metodo para llegar a una
conclusión científica en otros campos.

Aristóteles.

El trabajo lógico de todos estos hombres, fue importante y debe ser

recordado como poco sistematico y fragmentario. Ninguno de ellos
fue. Sistematico, investigadores sostenidos en la inferencia de su
propio pensar. Eso parece haber hecho Aristóteles y al final de sus
refutaciones sofisticadas, Aristóteles reconoce que en la mayoria de
los casos descubrimientos nuevos cuenta con labores previas de
otros, por lo que, mientras lo que los otros logran tal vez es pequeño,
pero son de gran influencia.

Aristóteles fue el primer lógico en usar variables, esta innovación fue

tremendamente importante, sin ellas habria sido imposible alcanzar el
nivel de generalidad y abstracción que el hizo.

Formas categóricas

Muchas de las lógicas de Aristóteles fueron concebidas con cierto tipo

de propocisiones que pueden ser analizadas como:

1. usando un cuantificador ("cada", "alguno" o el universal "no")

2. un sujeto
3. una unión
4. quizás una negación
5. un predicado. Proposiciones analizables {mas tarde fueron
lamadas proposiciones y tomaron las siguientes formas:

afirmativo universal: todo es uno

negativo universal: todo no es uno o equivalente a no es

afirmativo particular: algo es un

negativo particular: algo no es un

afirmativo indefinido: es un

negativo indefinido: no es un

afirmativo singular: x es un (donde x se refiere a un algo individual)

negativo singular: x es un (donde x se refiere a un algo individual)

En De Interpretaciones aristoteles discutio la manera en la cual las

proposiciones negativas y afirmativas con el mismo sujeto y predicado
pueden ser opuestas una ala otra. El observaba que cuando dos
propocisiones son relacionadas como A y E, ellas no pueden ser
verdaderas juntas pero si pueden ser falsas. A estos pares Aristóteles
los llamo contrarios.
La logica de aristoteles presupuso descubrimientos principales que el
explícitamente no formulo acerca de las relaciones logicas entre
alguna proposición cualquiera, independiente de las proposiciones
internas analizadas dentro de la categoría de cualquier otra forma.

Theophrastus of Eresus (c. 371- c. 286 B.C)

Sucesor de aristoreles como lider de su escuela en Atenas; quien dejo

las nociones de Aristóteles de lo posible como tambien de lo no
imposible y adopto nociones alternativas de Aristóteles como
simplemente que es no imposible. Esto le permitio una considerable
simplificación de la teoria modal de Aristóteles. Asi que su conversión
de leyes a modal categórico fue exactamente paralela a las
correspondientes leyes de (for assertoric categoricals. )

Theophrastus tiene tambien el credito con investigaciones dentro de

los silogismos hipotéticos. El extenso trabajo en esta area es incierto,
pero al parecer el investigo una clase de inferencias llamadas
totalmente silogismos hipotéticos, en el cual ambas premisas y la
conclusión son condicionales.

Theophrastus fue la primer persona en la historia de la logica conocida

por haber examinado la lógica de proposiciones seriamente. Pues
hasta ese momento no habia investigaciones sustanciosas dentro de
esa area.

Los megarianos y estoicos

En el mundo antiguo, la logica de aristoteles y sus seguidores fue la

corriente principal. Pero hubo tambien una segunda tradición de
logica: Megarians y Stoicos.

Los megarians fueron seguidores de Euclide, dentro de logica el mas

importante megarian fue Doidorus Cronus y su pupilo Philo de
Megara. Los estoicos fueron seguidores de Zeno de Citium.

El mas importante logico stoico fue Chrysippus (c. 279-206 BC). La

influencia de los megarian en la logica estoica es discutible, pero
muchos detalles son inciertos. Los megarians se interesaron en la
logica de enigma. Muchos paradojas han sido atibuidas a ellos. Los
megarians tambien discutieron como definir varias notaciones modales
y debatieron la interpretación de proposiciones condicionales.
Diodorus propuso una interpretación de proposiciones condicionales
sostenido en la proposición "If p, entonces q".

A diferencia de los aristotélicos, los estoicos desarrollaron una logica

proposicional a la desatención de terminos lógicos. Ellos se
concentraron en proposicione hipotéticas como premisas.
Theophrastus ya habia dado algunos pasos en esta area pero su
trabajo no era de mucha influencia para los estoicos.

Al final la idea de las dos corrientes se redujo a comentarios y libros

para la educación general.

Logica medieval.

La transmision de la logica griega al latin occidental

Las traducciones de Boethius acerca de categoris y De

interpretaciones de Aristoteles, tuvieron mas influencial que las de
Victorinus, por lo que es una de las figuras mas importantes de la
logica medieval.

Ademas Boethius escribio comentarios y otros trabajos logios que

fueron de tremenda importancia en la edad media latina. Hasta el siglo
XII sus escritos y traducciones fueron el principal origen del
conocimiento lógico europeo.

Logica arabe

el mas importante trabajo logico fue hecho en el mundo arábigo en el

año 1300. el mas original e importante de todos los lógicos arabes fue
Avicena quien produjo tratados independientes en lugar de basarse en
los trabajos de Aristóteles.

El renacimiento de la logica en Europa

No fue sino hasta el siglo XI que los serios intereses de la logica

fueron revividos. El mas importante fue el meodo general de anselm
de utilizacionde técnicas logicas dentro de la teologia.

El primer importante latino despues de Boethius fue Peter Abelard. El

escribio 3 conjuntos de comentarios y

Explicaciones en Prophiry´s isasoge y categorías de Aristóteles y de

interpretaciones: Introductiones parvulorum, Logica "Ingredientibus," y
Logica "Nostrorum petitioni sociorum".
 

Las propiedades de terminos y discusion de falacias

Las refutaciones sofistas y el estudio de falacias, produjo una nueva

literatura logica. En s totalidad los nuevos tipos de tratados fueron
escritos enlo que fue llamado "the properties of terms", propiedades
semánticas importantes en el estudio de la falacia. Todos estos
tratados y la logica contenida en ellos constituye la peculiarmente
contribución a la logica medieval. Esto es lo que fue llamado la logica
moderna. Todos estos descubrimientos inician en la mitad del siglo XII
y continuan hasta finales de la edad media.

El desarrollo en los siglos XIII Y XIV

Los mas importantes de este periodo fueron (1) Peter of Spain, quien
escribio un articulo mas comunmente conocido como "summulae
logicales", y fue usado como un libro de texto en algunas
universidades medievales; (2) Lambert of Auxerre, quien escribio
logica algunas veces entre 1253 y 1257; (3) William of Sherwood,
quien produjo introducciones a la logica.

Jean Buridan fue un importante logista de la universidada de paris,

escribio principalmente durane 1330 y ´40s, contribuyo en areas como
la logica y la filosofia.

Teoria de la suposicion

Es la mejor union de dos teorias bajo un mismo nombre. La primera

algunas veces llamada "supposition proper" y en general 3 tipos
principales de suposición fueron distinguidos

1. suposicion personal
2. supocicion simple
3. supocision material

la segunda parte aplica teorias a terminos de suposicion personal, e

incluye 3 tipos

1. determinacion , (2) confuso y distributivo, (3) totalmente

confundido.

Logica medieval posterior

En 1372 Pierre d´Ailly escribio un impotante trabajo, conceptos e
insolubres, los cuales aplicaban una sofisticada teoria del lenguaje
mental en orden a resolver paradojas semanticos como el de parados.
Los mas notables logistas de este periodo fueron Henry Hopton (fl.
1357), John Wycliffe (c. 1330-84), Richard Lavenham (d. after 1399),
Ralph Strode (fl. c. 1360), Richard Ferrybridge (or Feribrigge; fl.
c.1360s), and John Venator (tambien conocido como John Huntman o
Hunter; fl. 1373).

El siglo XVI

Desiderius Erasmus (1466-1536), ensayista, humanista, fundador de

la teoria del silogismo unico

El aleman humanista Philipp Melanchton (1497-1560), tenia una

aprecicacion balanceada de la logica de aristoteles

El reformador frances Pierre de la Ramee, puso especial atencion a la

validacion de silogismos con premisas singulares, la jerarquia de su
pensamiento se componia de conceptos, argumentos, sentencias y
metodos que fueron mucha influencia en el siglo 17 y 18.

Ramón Lull (1235-1315), sus notaciones mas tarde influenciarian

Pascal y Leibniz e iniciarian la teroria de la probabilidad. Esta misma
influencia puede tambien ser vista con Juan Luis Vives (1492-1540),
quien uso una V para indicar la inclusion de una de los terminos en
otro. Con el siglo 17 viene en incremento en la logica simbolica. Pero
era utilizada en escritos de manera algebraica para representar
propocisiones, conceptos clases propiedades y relaciones, inspirados
en el triunfo obtenido por los matemáticos, los logisticos esperaron
imitar el éxito con el uso especial de símbolos para las notaciones
logicas.

El enlace de la logica con las matemáticas fue un tema especialmente

característico en la era moderna. Y viene una conciencia de la
importancia de la logica formal, aunque en la epoca medieval hicieron
muchas distinciones entre modelos de sentencias y argumentos.
Quiza la primera vez que se ve realizada la notación de la logica
moderma de forma (o formal) fue en el trabajo de Sir William R.
Hamilton y el matemático Augusto de Morgan.

 
El siglo XVII

Otro intrigante tratado de logica del siglo 17 en terminos de

demostración, postulados y definiciones de una moda euclidiana, es
del italiano Jesuit Gerolano llamado "demonstrative logic" (logica
demostrativa, en 1697) Saccheri. Saccheri es mejor conocido por su
sugerencia de la posibilidad de una geometría no-euclidiana en "euclid
cleared of every flaw" en 1733.

Otro tabajo tradicional de lógica fue de arnold Geulinex, en 1662

"Logic Restored to its Fundamentals". Este trabajo intento resurgir los
ricos detalles de la logica escolástica, incluyendo la teoria de la
suposición y articulos de importancia existencial.

Leibniz : El creo en 1680 el calculo simbolico, que es similar al sistema

de George Boole de 1847, y depues de esto el estudio del calculo
simbolico fue en gran aumento. De manera general, se puede decir
que ambos fueron los menos influenciados en la historia de la logica.

Leibniz mas tarde desarrollo un objetivo de diseño el cual llamo

"universally characteristic language" (lengua caracteristica universal).
Representaria conceptos con el despliegue de mas conceptos básicos
de los cuales ellos estaban compuestos. y ademas naturalmente
representados (de manera grafica o de dibujos). El concepto de
alguna manera podia ser aprovechado por algunos lectores, no
importando su lengua nativa. Otro y distinto objetivo propuesto a la
lógica fue "calculo racional". Leibniz uso 2 notaciones para expandir el
calculo logico basico. En su notación "A B C" indica lo siguiente "A + B
= C" o "A B = C", tomando en cuenta que A, B, Y C son conceptos o
propiedades y no cosas individuales. Leibniz tambien uso la
yuxtaposicion de terminos que pueden ser representados de la
siguiente manera "A B = C" o "A B = C," significa que todos los
conceptos en ambos A y B contituyen el concepto C

Como en los inicios de la lógica simbolica, incluyendo la mayoria

desarrollada en el siglo XIX el sistema de Leibnitz tuvo dificultades con
declaraciones particulares y negativas, esto incluyo una pequeña
discusión de lógica proposicional y un tratamiento no formal de
declaraciones cuantificadas relacionales, aunque Leibnitz merece
llevarse el credito por su gran originalidad en su lógica simbolica,
especialmente en su lógica de ecuaciones y algebraica.
Posteriormente los trabajos simbolicos de Lambert, Ploucquet, Euler y
aún Boole –todos aparentemente influenciados por Leibnitz o aún
Bernoulli, mostraron la extensión a estos trabajos, considerados
actualmente como una de las mejores ideas matemáticas.
 

The 18th and 19th centuries

En el siglo 18 hubo muchas contribuciones al desarrollo de la logica

formal : Ploucquet, Lambert y Euler, aunque ninguno de ello fue mas
alla de Leibniz y nadie influencio a los desarrolladores subsecuentes
de la manera en que Boole y Frege mas tarde hicieron.

Gouttfried Ploucquet

El trabajo de Gouttried Ploucquet (1716-90) se fundamentó en ideas

de Leibniz, a pesar de que el cálculo simbólico que Ploucquet
desarrolló no se parece al de Leibniz. La base de la lógica simbólica
de Ploucquet fue el signo ">", el cual desafortunadamente él usó para
indica que dos conceptos no están unidos. Por ejemplo, no teniendo
conceptos bases en común ; en su interpretación de la proposición, es
equivalente a lo que llegó a convertirse en el siglo XX en la función
"Sheffer stroke" ( también conocida como Pierce) significando "no..
(esto)..ni...(lo otro)". El signo de igualdad fue usado para denotar
identidad conceptual, como en el caso de Leibniz. Las letras
mayúsculas se utilizaron para términos distribuidos y las minúsculas
para términos no distribuidos. La intersección de conceptos se
representó por "+"; el signo de multiplicación (o yuxtaposición) se
entendió para la unión inclusiva de conceptos, y la barra sobre la letra
se entendió como el complemento (en la manera de Leibniz).
Ploucquet se interesó en la representación gráfica de relaciones
lógicas usando líneas, por ejemplo. El también fue uno de los primeros
logistas simbólicos que se preocupó por la representación de la
cuantificación. No siendo un matemático, no persiguió la interpretación
lógica de las operaciones inversas (división, raíz cuadrada, etc) y las
expansiones binomiales.

Johann Heinrich Lambert

Fue el más grande logista del siglo dieciocho. Fue el primero en

demostrar la irracionalidad de, y. Su lógica simbólica y formal fue
desarrollada en su obra "Sies intentos con el Método Simbólico en la
Teoría de la Razón" (1777). Como los sistemas de Leibniz, Ploucquet
y la mayoría de los alemanes, su sistema fue intensional, utilizando
términos para entender conceptos, no cosas individuales. Utilizó el
signo de identidad y el signo de adición en la manera algebráica
natural que se observa con Leibniz y Boole. Cinco características
distinguen su sistema del de otros. Primero: separa los conceptos
simples que constituyen un concepto más complejo en género y
diferencia. Segundo: diferenció entre las letras para los conceptos de
conocido, indeterminado y genuinamente indeterminado, utilizando
diferentes letras del alfabeto latín. Tercero: su disyunción u operación
de adición "+" fue tomada en el sentido exclusivo –exclusión de dos
conceptos que se sobreponen-. Cuarto: concluyó la expresión de
cuantificación como que "Cada A es un B" escribiendo "a=mb". Quinto:
consideró brevemente los teoremas simbólicos que no podrían
sostenerse si los conceptos fueran relaciones, tales como "es el padre
de". También introdujo una notación para expresar nociones de
relación en términos de funciones individuales: en su sistema "i=::c"
indica que el concepto individual i es el resultado de aplicar una
función al concepto individual c.

Otros logistas del siglo XVIII.

Leonhard Euler: Lambert desarrolló un método gráfico para

representar la intersección del contenido de conceptos con la
intersección de segmentos de línea. Leibniz también experimentó con
técnicas similares. Y Euler popularizó técnicas de dos dimensiones,
estas técnicas y su relación con los diagramas de Venn son
especialmente importantes en la educación de la lógica. En el método
de Euler el área interior de los círculos representan (intencionalmente)
el concepto más básico creando un concepto o propiedad. Los
métodos de Euler fueron sistemáticamente desarrollados por Josheph
Diez Gergonne en 1816-17. Por razones complicadas, casi todos los
alemanes que desarrollaron la lógica formal se relacionan con áreas
de Protestantes.

Emmanuel Kant y George Wilhelm Friedrich Hegel hicieron grandes

contribuciones a la filosofía pero sus contribuciones a la lógica formal
fue mínima. Kant se refiere a la lógica como un artificio virtual
completo en su obra "Crítica de la Razón Pura" (1781). Hegel se
refiere en su obra "Ciencia de la Lógica" (1812-16) a los siglos de
trabajo en la lógica, desde Aristóteles como una mera preocupación
con "manipulaciones técnicas".

En el mundo de habla en inglés, la lógica ha sido más fácil y

continuamente tolerada, aún si no alcanza las alturas de la
sofisticación matemática que alcanzó en Alemania y Francia. Algunos
autores son Henry Aldrich, Isaac Watts, Jonh Wesley, Richard
Whately, John Stuart Mill.

Boole y De Morgan.
Dos de los más importantes contribuyentes a la lógica británica en la
primera mitad del siglo diecinueve. Su trabajo va en contra de lo que
hasta esa fecha se había logrado por figuras como Whately, George
Bentham, Sir William Hamilton y otros. Boole fue el más grande
formulador de la lógica simbólica extensional que hoy en día se
imparte en clases. Publicó dos trabajos "El Análisis Matemático de la
Lógica" en 1847 y "Una investigación de las Leyes del Pensamiento"
en 1854. El primero representa el resultado de dos corrientes de
influencia: la corriente tradicional y el rápido crecimiento en el siglo
diecinueve de discusiones de álgebra y anticipaciones algebráicas no
estándares. Estos últimos conceptos gradualmente evolucionaron a
álgebra abstracta "no estándar" tales como vectores, álgebra lineal,
quaternions, álgebra boleana.

De Morgan puntualizó y después fue extensivamente repetido por

Peirce y Frege, que las inferencias relacionales son el corazón o la
base de la inferencia matemática y el razonamiento científico; las
inferencias relacionales no son sólo un tipo de razonamiento sino que
son el tipo más importante de razonamiento deductivo. También se le
atribuye a De Morgan la observación de que la lógica aristotélica fue
inutil en mostrar la validez de la inferencia.

Charles Sander Peirce.

Descubridor del álgebra lineal y primera figura americana significante

en la lógica. Su trabajo puede verse como una exploración de
propiedades formales y abstractas de su relación lógica distintiva. La
utilizó para expresar la inclusión de clases, el conector de la lógica de
proposiciones "si...entonces", la relación entre premisas y la
conclusión de un argumento. Abandonó los estrictos caracteres
algebráicos e incrementó la notación utilizando quantificadores
modernos.

Glottlob Frege.

Jóven matemático alemán (1879) cuya especialidad fue el cálculo,

publicó el mejor libro de lógica simbólica del siglo diecinueve "Notación
Conceptual", contiene un cuidadoso uso de quantificadores y
predicados (aunque los predicados son descritos como funciones,
sugiriendo la técnica de Lambert); la notación de Frege fue única y
problemáticamente de dos dimensiones, lo que ocasionó que fuera
poco leído. Frege conocía la importancia de las funciones
matemáticas y de que estas forman la base para la notación de
predicados (funciones).

Ernst Schoröder.

Continuador del trabajo de Hermann Grassmann, su aportación fue:

"Existe un contraste de los objetos entre el álgebra numérica y la
lógica boleana, son completamente distintos en aritmética, letras y
números, pero existen conceptos arbitrarios". También utilizó la frase
"lógica matemática". Su principal trabajo fue una obra de tres
volúmenes "Lectura de la Lógica del Algebra" , esta es una
recopilación de lo conocido hasta 1890 de la lógica del álgebra, junto
derivaciones de miles de teoremas y una extensa bibliografía de la
historia de la lógica.

Otros logistas del siglo XIX

Francia: Lous Liard y Lous Couturat. Rusia: V.V. Bobyn, Platon

Sergeevich Poretsky. Inglaterra: William Stanley Jevons, John Venn,
Alexander Bain, Sophie Bryant. Italia: Giuseppe Peano. La lógica del
siglo diecinueve culminó con el Primer Congreso Internacional de
Filosofía y el Segundo Congreso Internacional de Matemáticas,
consecutivamente en Paris en Agosto de 1900.

La logica en el siglo XX.

Cinco proyectos empezados en el siglo IX fueron continuados en el

siglo XX , especialmente en los trabajos de "Principia Matematica" de
Russelll y Whitehead. Estos fueron el desarrollo de un conjunto
consistente o propiedades de teoría (originados en el trabajo de
Cantor y Frege), la aplicación del método axiomático (incluyendo no-
simbólico), el desarrollo de quantificadores lógicos y el uso de la lógica
para entender los objetos matemáticos y la naturaleza de las raíces de
las matemáticas. Estos cinco proyectos se unificaron en un esfuerzo
general para usar técnicas simbólicas, algunas veces llamadas
matemáticas o formales. La lógica se va convirtiendo en matemática
en dos sentidos. El primero, en un intento para usar métodos
simbólicos como aquellos que han llegado a dominar las matemáticas.
El segundo, un propósito dominante de la lógica, llega a ser usado
como herrramienta, para entender la naturaleza de las matemáticas-
tal como en la definición de conceptos matemáticos, caracterizando
sistemas matemáticos o describiendo la naturaleza de raíces
matemáticas ideales.
Conjunto de teorias del siglo XX.

1. Axiomas de Zermelo.
2. Sintaxis de la lógica formal de los sistemas.
3. Semántica formal.
4. El primero y el segundo teorema del estado incompleto.
5. Determinidad (Decidability)
6. Lógica formal no matemática.

CONCLUSIONES.

La evolución de la lógica y de las matemáticas ha sido el resultado del

ejercicio de la parte abstracta o conceptual de inteligencia humana,
cada vez se ha ido afinando más la definición de estos conceptos
permitiendo representar mejor la realidad o creando sistemas que
simulan una realidad.