-
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)
-
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.
-
se le debe el descubrimiento de la gravitación universal, el desarrollo del cálculo infinitesimal e importantes descubrimientos sobre óptica, así como las leyes que rigen la mecánica clásica
-
es la duda universal, que consiste de prescindir de cualquier conocimiento previo que no queda confirmado por la evidencia con que ha de manifestarse el espíritu. Descartes dudó de toda enseñanza recibida, de todo conocimiento adquirido, del testimonio de los sentidos e incluso de las verdades de orden racional.
-
Después de declinar la escuela clásica de los griegos, se presenta un periodo en el cual la autoridad religiosa embruteció a la creatividad intelectual. El renacimiento inicia una nueva era en la cual se permite la revitalizan de la ciencia y las matemáticas.
-
La evolución de la lógica está intrínsecamente ligada a la evolución intelectual del ser humano, ya que como ciencia del razonamiento, su historia representa la historia misma del hombre. La lógica surge desde el primer momento en que el hombre, al enfrentar a la naturaleza, infiere, deduce y razona, con el ánimo de entenderla y aprovecharla para su supervivencia
-
tratamiento sistemático de las leyes de pensamiento en relación con la adquisición de conocimiento. Estos representan el primer intento de establecer a la lógica como ciencia. Aristóteles da una clasificación de todos los conceptos o nociones (sustancias, cantidad, relación, acción, pasión, diferencia, propiedad y accidente) y trata las reglas del razonamiento silogístico. Aristóteles no hace de la lógica una disciplina metáfisica.
-
Los ''Elementos'' están divididos en trece libros y constituyen una recopilación de gran parte de las matemáticas conocidas en tiempos de Euclides; su gran valor reside en el uso riguroso del método deductivo, distinguiendo entre principios (definiciones, axiomas y postulados) y teoremas, que se demuestran a partir de los principios.
-
(427-347 AC) intenta instaurar en Siracusa una utópica república dirigida por filósofos, y crea la Academia en Atenas, que no era solouna institución filosófica, sino servía de formación política a los jóvenes de la aristocracia. Según muchos críticos, Platón edifica su teoría del conocimiento para justificar el poder preeminente del filósofo y parte de los pensamientos socráticos: la búsqueda de conceptos y definiciones estables de las ideas abstractas (justicia, bondad, valor, etc.).
-
Gerson Blanco Victorio
0901-15-17394
Sección B -
La lógica muestra un devenir histórico muy interesante, naciendo de la fuerte formalización de las matemáticas de los griegos, que fué impactada, como muchas ciencias, por el pensamiento de la Edad Media, donde la religión se anteponia a todo; pero, el impetú de la mente de los filósofos renacentistas ayudó a retomar su desarrollo.
-
