# data[].attributes.body
- André Alvarado
- Emelda Rodríguez
- Juan Chávez
- Melvin Andara

# data[].attributes.body
Es considerado como el primer representante de la filosofía occidental: tanto, así como para reconocérsele como el iniciador de la indagación racional sobre el universo.

# data[].attributes.body
Consideró que “los números son el lenguaje de la naturaleza”, por ello fue uno de los fundadores de la matemática de occidente y la matemática supone la idea de “prueba lógica”.

# data[].attributes.body
Escribió un poema en que el afirmaba que “el ser es y el no ser no es”. Con esta afirmación da origen a la tradición ontológica de la filosofía de occidente al igual que a la metafísica, pero, especialmente, a la tradición lógica al plantear, de alguna manera, “el principio de identidad” y “el principio de no contradicción”.

# data[].attributes.body
Para él el mundo que perciben los sentidos es un mundo de sombras, el mundo verdadero es el mundo de las ideas en donde se encuentra el verdadero ser al cual se llega mediante un ascenso dialéctico que nos lleva a la verdadera causa de todo.

En el diálogo "El sofista o sobre lo Ente, Lógico" presenta una derivación lógica en escala, mostrando la fundamentación de la participación de unos conceptos en otros. Partiendo del más general para llegar al más específico y plantea el método de la división diairética

# data[].attributes.body
Es considerado el padre de la lógica. En su obra "Organon" palabra que en griego significa instrumento, y que realmente es un instrumento para dirigir correctamente el pensamiento a través de las distintas formas que se presentan al pensar del hombre, expone los argumentos de la lógica.

# data[].attributes.body
Concebía la lógica con “la capacidad de ser inventiva”, es decir, de buscar nuevas verdades, no sólo inferir las verdades contenidas en los principios generales de los cuales es posible deducir cualquier otra proposición (lógica deductiva).

“El Arte Magna” de este pensador lo lleva a convertirse en el verdadero precursor de todos los cálculos lógicos renacentista y modernos.

# data[].attributes.body
Realizo una obra en seis partes que titula "La gran restauración", en la cual propugna por un saber que sirva para el hacer, por un saber útil para la vida práctica. La segunda parte lleva como título "Novum Organum" el cual propone una nueva lógica que se orienta hacia los hechos y posee dos partes: una destructiva y una constructiva.

# data[].attributes.body
Afirmo que era posible la construcción de un lenguaje como el de Aritmética, pero teniendo como punto de partida nuestras ideas claras y simples.

Formuló reglas lógicas para el descubrimiento; estatablece como criterios de la verdad la claridad y la distinción de las ideas; y la prueba demostrativa para el procedimiento de la duda metódica.

# data[].attributes.body
Fue quien planteó aplicar la deducción matemática al contexto de los razonamientos filosóficos; generando con ello el cálculo ideológico ó cálculo racionador, que aunque no lo concluyó, hubo otros matemáticos del siglo XIX que lo concluyeron como lo fue Boole y Frege.

# data[].attributes.body
Afirma en la introducción a “La Ciencia de la Lógica” que, “según esto, la lógica ha de entenderse como el sistema de la pura razón, como el reino del puro pensamiento.

La razón lógica es un proceso permanentemente móvil, dinámico, dialéctico, en el cual el pensamiento sigue la realidad y es real en sí mismo, ya que según afirma “todo lo racional es real y todo lo real es racional”.

# data[].attributes.body
Junto con Boole y Peano, el matemático y lógico Friedrich G. Frege inicio la corriente de pensamiento que, partiendo del análisis de los fundamentos de la matemática, llevó a cabo la mas profunda renovación y desarrollo de la lógica clásica. Fue el primero en introducir los cuantificadores u operadores y en elaborar una teoría de la cuantificación

# data[].attributes.body
George Boole aplicó el cálculo matemático a la lógica, fundando el álgebra de la lógica, que en cierto modo realiza el sueño de Leibniz de una ''characteristica universalis'' o cálculo del raciocinio. El empleo de símbolos y reglas operatorias adecuados permite representar conceptos, ideas y razonamientos mediante variables y relaciones (ecuaciones) entre ellas.

# data[].attributes.body
La enunciación de los principios del italiano Guiseppe Peano acerca de lógica matemática y su aplicación práctica quedaron contenidos en su obra ''Formulaire de mathematiques''. Los axiomas de Peano permiten definir el conjunto de los números naturales.

# data[].attributes.body
Matemático y lógico quien fue pionero en la teoría de la computación y contribuyó en importantes análisis lógicos de los procesos computacionales. Las especificaciones para la computadora abstracta que él ideó (llamada la Máquina de Turing) resultó ser una de sus mas importantes contribuciones a la teoría de la computación. Turing además probó que es posible construir una máquina universal que con una programación adecuada podrá hacer el trabajo de cualquier máquina diseñada para resolver problemas específicos.

# data[].attributes.body
La siguiente revolución lógica será la asimilación práctica de las matemáticas y la computación dentro de la lógica. Se hará énfasis en que las computadoras exploten la información inteligentemente, pasando de las bases de datos a las bases de conocimientos.