Historia de la Logica

  • 100

    A

  • Period: 300 to Jan 1, 600

    Las matematicas y la logica

    600 AC. hasta 300 A.C
    se desarrollaron en grecia los Principios Formales de las Matematicas
    En este periodo clasico los protagonizan Platon , Aristoteles y Euclides
  • Period: 332 to 384

    Aristoteles

    Conosidos como ORGANON, contiene el primer tratado sistematico de las leyes de pensamientos para la daquisicion de conocimientos.
  • Period: 347 to 427

    Platon

    Crea la Academia de antenas que no era solo una institucion , sino centros de formacion politica para jovenes aristocratas
  • Jan 1, 1000

    <<<< Antes de Cristo >>>>>

    <<<< Antes de Cristo >>>>>
  • Period: to

    Rene Descartes

    Filosofo y Matematico Frences:
    la geometria exige ser cuantitativa para ser usada en ciencia e ingenieria. Parte de la duda universal como principio de cualquier conocimiento previo que no quede demostrado por la evidencia con que ha de manifestarse el espiritud.
    la evidecia interios que se manifiera en su propio sujeto <Pienso, luego existo>

    Ubi Dubium ibl libertas, Donde hay duda hay Libertad
  • Period: to

    Isacc Newton

    Se le debe el descubrimiento de:
    * La Gravitacion Universal
    * El Desarrollo de Calclo Infinitesimal
    * Descubrimiento sobre Optica
    *Leyes que Rigen la mecanica Cuantitativa
  • Period: to

    Gottfried W. Lelbniz

    Filosofo y Matematico:
    En discurso sobre el arte combinatorio enuncia la necesidad de un lenguaje riguroso, extracto y universal puramente formal.
  • Gottfried Wilhelm Leibniz

    Gottfried Wilhelm Leibniz
    Como Matematico, su principal trabajo publicado NUEVO METODO PARA LA DETERMINACION DE LOS MAXIMOS Y LOS MINIMOS, en la que expone las ideas funadmentales del calculo infinitesimal, anticipandose unos anos a Newton
  • Su Obra Fundamental: Isacc Newton

    Su Obra Fundamental: Isacc Newton
    Principios Matematicos de la Filosofia Natural
  • Academia de Ciencias de Berlin

    Academia de Ciencias de Berlin
    Fundador de academia de Ciencia de Berlin
  • Period: to

    Georg Wilhelm Friedrich Hegel

    FILOSOFO ALEMAN:
    faciando por la obra de Kant y de Rousseau. Autor de ciencia de la logica se le atribuye con este trabajo la construccion de la logica dialectica entendida como principal motor del concepto que disuelve y produce las particualaridades.
  • Period: to

    Nikolal I. Lobachevshy

    MATEMATICO RUSO,
    Funda la geomeria No Euclidiana y Renueva por ello los funamentos que hasta ese memento cimentaban la ciencia y la geometria. Llevo acabo su revolucion en el planteamiento que hata entonces habia utilizado la ciencia Matematica para resolver el enigma del quinto postulado de Euclides.
  • Siglo XVIII

    Siglo XVIII
    LEIBNIZ>>
    filosofo matematico, pensaba que se podia crear un lenguaje simbolico tan perfecto que evitara las controvencias entre los filosofos y redujera las dipustas a meros errores de calculo, pero su obra no fue conocida en su epoca
  • Period: to

    Agustus De Morgan

    LA MAYOR CONTRIBUCION
    En el estudio de la logica incluye la formulacion de las Leyes de Morgan y su trabajo fundamenta la teoria del desarrollo de las relaciones y las matematicas simbolica moderna o loca matematica
  • Period: to

    Gorge Boole

    LOGICO Y MATEMATICO:
    Aplica el calculo matematico a la ligica
    El empleo de simbolos y reglas operatorias adecuadas permiten representar conceptos, ideas y razonamientos mediante variables y reacciones
  • Period: to

    Georg F. Cantor

    MATEMATICO ALEMAN:
    Se debe la idea del infinito continuo, es decir , la posibilidad de considerar conjuntos infinitos dados simultaneamente Se le considera el creador de la teoria de los numeros irracionales y de los conjuntos.
  • Period: to

    Friendrich G. Frege

    Junto con Boole y Peano EL MATEMATICO Y LOGICO
    partieron del anilis de las fundamentos de la matica lleva acabo la mas profunda renovacion y desarrollo de la logica clasica hasta el momento.
    Es el primero en introducir los cuantificadores u operadores y en elaborar una Teoria de la Cuantificacion.
  • George Boole

    George Boole
    Su Obra principal en investigacion de las leyes del pensamiento en las que se fundan las teorias matematicas de la logica y la probalidad , usadas hasta la fecha
  • Period: to

    Guiseppe Peano

    la enunciacion de lso principios del italiano, acerca de la logica matematico y su aplicacion practica quedaron contenidos en su obra formulaire de mathematiques. Permiten definir el conjunto de los numeros naturales
  • Period: to

    David Hilbert

    MATEMATICO ALEMAN:
    Aporto grandes avances a compos fundamentales de la relatividad y la matematica cuantica con la Teoria de Invariantes y el concepto de Espacio de Hilbert.
  • Period: to

    Bertrand Rusell

    Es uno de los creadores de la logistica y unos de los pensadores de mayor influencia en la filosofia cientifica contemporanea.
  • Period: to

    Luitzen Egbertus Jan Brouwer

    Fue conocido como LEJ BROUWER y fundador de la escuela de la logica intuicionista
    son significativos sus trabajos Life, Art and Mysticis 1905 y sobre la infiabilidad de los principios logicos
  • Period: to

    Norbert Welner

    CIENTIFICO NORTEAMERICANO>
    Desde los inicios la cibernetica se relaciona directamete con ciencia como neurologia, biologia, biosociologia, robotica e inteligencia artificial
  • David Hilbert

    David Hilbert
    Publica su obra Fundamental de Geometria, en la que formula sus principios de axiomatizacion de la geometria
  • Logica Formal

    Logica Formal
    la logica formal comenzo a se estudiada en el campo de las matematicas y posteriormente por la ciencias computacionales, naciendo asi la logica simbolica. la logica simbolica trata de esquematizar los pensamientos de forma clara y sin ambiguedades. para ello ua un lenguaje de signos propios y distintos al verval
  • Siglo XIX

    matematicos como G. Boole y A. De Morgan integraron expresar la forma de los razoniamientos validos en un lenguaje. el desarrollo posterior de la logica simbolica es la obra de G. Peano ,C. pierce Entre otros
  • Period: to

    600 A.C. hasta 300 A.C.

    se desarrollan en Grecia los Principios formales fe las matematicas
    este periodo clasico lo portagonizo Platon, Aristoteles y Euclides
    Platon propone idea o abstracciones
    Aristoteles reuelve el rezonamiento deductivo y sistematizado
    Euclides es el autor que establesca el metodo axiomatico
  • Period: to

    427 A.C - 347 A.C.

    Propone instaurar en Siracusa una etopica republica dirigida por el filisofo Platon
  • Period: to

    Alfred Tarski

    ermetico profesor de la universidad de california Berkeley
    realizo importantes estudios sobre algebrajen general, teoria de mediciones, logica matematica, teoria de conjuntos y matematicas
  • Period: to

    Kurt Godel

    aporto multiples contribuciones a la logica matematica, destacando la demostracion de la consistencia de la hipotesis contoriana del continuo y el teorema y pueva de incompletez semantiaca
  • Period: to

    Guntzen

    formulo la pureba de la consistencia de un sistema de aritmetica clasica en el cual el metodo no elemental es una extension de induccion matematica a partir de una secuancias de numeros naturales a un cierto segmento de numeros ordinales transifinitos.
  • Period: to

    Cantor, Peano y Frege

    En este empeno culmina con la publicacion de los monumentales PRINCIPIA MATHEMATICA en colaboracion con whitehead
  • Norbert Weiner

    Norbert Weiner
    Puiblica su libro mas famoso> Cibernetica, o control y comunicacion en el animal y la maquina , en donde se utiliza por primera vez la palabra Civernetica
  • Period: to

    A