Está en la página 1de 4

INSTITUTO DE EDUCACIÓN SUPERIOR TECNOLÓGICO

PÚBLICO JULIO CESAR TELLO

ELECTROTECNIA INDUSTRIAL

CURSO: LOGICA Y FUNCIONES


DOCENTE: FILIBERTO GONZALEZ GOMEZ
ALUMNA: CHRISTOPHER JESUS DIAZ MUÑOZ
TAREA: RESUMEN DE LA LECTURA BREVE HISTORIA DE LA
LOGICA
2020
RESUMEN
La descripción de la historia de la lógica, desarrollo futuro y al descripción histórica
de la cinco revoluciones señalas por por Poncaire
INTRODUCCIÓN
La evolución está ligada a la evolución intelectual del ser humano cuando el
hombre infiere, deduce y razona. Por el enfoque de Poncaire hay etapas, entre
ellas 2 tópicos de rigor y formalidad, la creatividad y caos.
Las etapas se identifican por revolución: matemáticas, científicas, formal, digital y
lógica.
LÓGICA MATEMÁTICA
El objetivo es cuestionar los conceptos y las reglas de deducción.
MATEMÁTICA Y LA LÓGICA
Periodo clásico representado por Platón, Aristóteles y Euclides.
 Platón: Introduce sus ideas y abstracción, forma academias de formación
política y filosófica. Él dice que el mundo sensible debe su existencia al
mundo sensible, su maestro fue Sócrates.
 Aristóteles: Razonamiento deductivo y sistemático, la lógica de Aristóteles
más conocido como “organon”. Establece una correspondiente entre el
pensamiento lógico y la estructura ontológica.
 Euclides: Crea axiomas, pública obras entre ellas “elementos”, los
principios naturales o parámetros geométricos se conocen como
postulados.

LA CIENCIA MATEMATICA
Esta etapa donde la autoridad religiosa embruteció la creatividad intelectual. El
reconocimiento de la nueva etapa donde revitaliza la ciencia y la matemática. Los
representantes más conocidos son: Descartes, Newton, Leibniz.
 Rene descartes: “Duda universal”, dudo hasta desde si mismo (pienso
luego existo).Creo la geometría analítica, está en dos geometrías
cuantitativas y método algebraico.
 Newton: Descubrió la gravitación universal, las leyes que rigen la mecánica
clásica.
 Gottfriend: Fundo la academia de ciencia en Berlín, uso el lenguaje
riguroso, exacto y universal.
FORMALIZACION DE LA MATEMATICA
Resurgimiento riguroso de las matemáticas, uso los infinitesimales, se crea la
lógica, la escuela formal, lógica booleana, el cálculo proposicional y la inducción
matemática, el cálculo de secuentes.
 Guiseppe Peano: Su obra ''Formulaire de mathematiques''. Los axiomas
de Peano permiten definir el conjunto de los números naturales.
 David Hilbert: Fue un enconado defensor de la axiomática, su concepción
reconocía tres sistemas de entes geométricos (puntos, rectas y planos) a
los que podían aplicarse axiomas distribuidos en cinco diferentes
categorías: pertenencia, orden, igualdad o congruencia, paralelismo y
continuidad.
 Friedrich G. Frege: Inicio el análisis de los fundamentos de la matemática,
introdujo los cuantificadores u operadores y en elaboro una teoría de la
cuantificación.
 George Boole: Aplicó el cálculo matemático a la lógica, fundando el
álgebra de la lógica, contribuyo a aclarar la estructura de los objetos
lógicos, en contraposición a los materiales y aun en contraposición a los
matemáticos, su obra principal es ''Investigación de las leyes del
pensamiento''.
 Augustus De Morgan: Su trabajo fundamenta la teoría del desarrollo de
las relaciones y la matemática simbólica moderna o lógica matemática.
 Georg F. Cantor: La idea del ''infinito continuo'' creador de la teoría de los
números irracionales y de los conjuntos.
 Gentzen: Formuló la prueba de la consistencia de un sistema de aritmética
clásica.
 Bertrand Rusell: Creadores de la logística y uno de los pensadores de
mayor influencia en la filosofía científica contemporánea, siguiendo los
trabajos de Cantor, Peano y Frege, Rusell se propuso fundamentar y
axiomatizar la matemática a partir de conceptos lógicos, la publicación
''Principia Mathematica'' (en colaboración con Whitehead.
 Kurt Gödel: La demostración de la hipótesis cantoriana del continuo y el
teorema y la prueba de incompletez semántica, “siempre habrá enunciados
que no son demostrables ni refutables. Para probar esta aserción se sirvió
de la matematización de la sintaxis lógica.
LA REVOLUCIÓN DIGITAL
Inicio con la invención de la computadora digital y el acceso universal a redes de
alta velocidad.
 Alan Turing: Une a la lógica y la computación antes que cualquier
computadora fuera inventada, él ideó (llamada la Máquina de Turing, su
objetivo fue desarrollar la máquina más simple posible capaz de realizar
computación. La máquina propuesta por Turing es un dispositivo
relativamente simple, pero capaz de realizar cualquier operación
matemática.
 Norbert Weiner: Publica su libro más famoso: ''Cibernética, o control y
comunicación en el animal y la máquina'', funda la ciencia de la cibernética
''Ciencia que estudia la traducción de los procesos biológicos a procesos de
máquina''.
 Alfred Tarski: Realizo importantes estudios de álgebra en general, teoría
de mediciones, lógica matemática, teoría de conjuntos, y metamatemáticas.

LA SIGUIENTE REVOLUCIÓN LÓGICA


Esta revolución lógica será la asimilación práctica de las matemáticas y la
computación dentro de la lógica.

También podría gustarte