Logica

LOGICA
Puede definirse la lógica como el conjunto de conocimientos que tienen por objeto la enunciación de las leyes que rigen los procesos del pensamiento humano; así como de los métodos que han de aplicarse al razonamiento y la reflexión para lograr un sistema de raciocinio que conduzca a resultados que puedan considerarse como certeros o verdaderos
El nacimiento de la lógica propiamentedicho está directamente relacionado con el nacimiento intelectual del ser humano. La lógica emerge como mecanismo espontáneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla. Poncairé destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos grandes tópicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como:Revolución Matemática, Revolución Científica, Revolución Formal y Revolución Digital además de la próxima y prevista Revolución Lógica
Platón
Platón, 427aC - 347 aC, propone instaurar en Siracusa una utópica república dirigida por filósofos. Crea la Academia de Atenas que no era solo una institución filosófica, sino centro de formación política para jóvenes aristócratas. Según algunosespecialistas, Platón edifica su teoría del conocimiento con el fin de justificar el poder emergente de la figura del filósofo. Sostiene la existencia de dos mundos -el mundo de las ideas y el de mundo físico de los objetos. Según Platón, lo concreto se percibe en función de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas. Platón escoge el formato diálogo como forma detransmisión del pensamiento
ARISTÓTELES:
“La lógica es la ciencia de la demostración, porque se preocupa de dar reglas para alcanzar la verdad de evidencia inmediata, que conocemos por medio de la demostración”
Lo que ahora se conoce como lógica clásica o tradicional fue por primera vez enunciada por Aristóteles, quien elaboró leyes para un correcto razonamiento silogístico. Un silogismo es unaproposición hecha de una de estas cuatro afirmaciones posibles: "Todo A es B" (universal afirmativo), "Nada de A es B" (universal negativo), "Algo de A es B" (particular afirmativo), o "Algo de A no es B" (particular negativo. Las letras sustituyen a palabras comunes como "perro", "animal de cuatro patas", o "cosa viviente", llamadas términos del silogismo. Un silogismo bien formulado consta de dospremisas y una conclusión, debiendo tener cada premisa un término en común con la conclusión y un segundo término relacionado con la otra premisa.
Euclides
Matemático alejandrino autor de la universal obra, los célebres Elementos. Uno de los textos matemáticos más relevantes de la historia del pensamiento científico hasta del siglo XIX. Los Elementos están divididos en XIII Libros yconstituyen la recopilación más exhaustiva de las matemáticas conocidas en el año 300 aC. Su valor universal lo propaga el uso riguroso del método deductivo que distingue entre principios -definiciones, axiomas y postulados-, y teoremas, que se demuestran a partir de los principios. A lo largo de la historia se mantuvo la sospecha de que el quinto postulado era demostrable a partir de los anteriores. Eldeseo de resolver tal hipótesis ocupa hasta el siglo XIX con la construcción de las geometrías no euclidianas y se deduce con ellas la imposibilidad de demostrar el quinto postulado.

Apolonio de Perga
La obra sobre curvas cónicas de Apolonio de Perga, «un geómetra de la época helenística-, inicialmente dirigido a euclidianos exquisitos, se convirtió en manual para balísticos del Renacimientocomo Tartaglia y, poco después, en base inmediata de la dinámica newtoniana»4.
GOTTFRIED WILHELM LEIBNITZ
El filósofo y matemático alemán Gottfried Wilhelm Leibnitz (Leipzig, 1646 - Hannover, 1716) - a quien cabe considerar el creador de la lógica matemática - desarrolló la idea de un calculus ratiocinator, mediante el cual se aplicaría un sistema de reglas a algunos conceptos generales...