Histricamente la palabra "lgica" ha ido cambiando de sentido.

Comenzsiendo una modelizacin de los razonamientos, propuesta por los filsofosgriegos, y posteriormente ha evolucionado hacia diversos sistemas formales,relacionados con la teora.E t i m o l g i c a m e n t e l a p a l a b r a lgica deriva del trmino griego logiks derivado de logos 'razn'. Ahora bien, sta no slo es racional por el hecho de que es segn la razn, lo cual es comn a todas las artes; sinotambin por el hecho de que versa acerca de acto de la razn misma, y estocomo materia peculiar.El nacimiento de la lgica propiamente dicho est directamente relacionado c o n e l nacimiento intelectual del ser humano. La lgica emerge c o m o mecanismo espontneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla.La historia de la lgica documenta el desarrollo de lalgicaen varias culturasy tradiciones a lo largo de la historia. Aunque muchas culturas han empleadointrincados sistemas de razonamiento, e, incluso, el pensamiento lgico estabaya implcito enBabiloniaen algn sentido, la lgica como anlisis explcitode los mtodos de razonamiento ha recibido un tratamiento sustancial solooriginalmente en tres tradiciones: lachina, laindiay lagriega. Aunque las dataciones exactas son inciertas, particularmente en el caso de laIndia, es probable que la lgica emergiese en las tres sociedades hacia elsiglo IV a. C. El tratamiento formalmente sofisticado de la l gica proviene de la tradicing r i e g a , e s p e c i a l m e n t e d e l a l g i c a a r i s t o t l i c a , q u e s e r a m s t a r d e desarrollada por loslgicos islmicosy, l u e g o , p o r l o s l g i c o s d e l a E d a d Media europea. El descubrimiento de la lgica india entre los especialistas britnicos en elsiglo XVIIIinfluy tambin en la lgica moderna.H i s t r i c a m e n t e s e c o n s i d e r a a Aristtelese l f u n d a d o r d e l a l g i c a c o m o propeduticaoherramientab s i c a p a r a t o d a s l a s Ciencias., y a q u e f u e e l primero enformalizar completamente el campo.Poncair destaca cinco etapas o revoluciones en ese proceso que se presentanentre dos grandes tpicos: del rigor y la formalidad, a la creatividad y el caos.L a s e t a p a s s e i d e n t i f i c a n c o m o : R e v o l u c i n M a t e m t i c a , R e v o l u c i n Cientfica, Revolucin Formal y Revolucin Digital adems de la prxima y prevista Revolucin Lgica. EVOLUCIN HISTRICA DE LA LGICA Se puede considerar distintos perodos en la evolucin histrica de la Lgica: 1. el pre-aristotlico, 2. el aristotlico, 3. el post-aristotlico, 4. el medieval y escolstico, 5. el moderno de la Reforma y el racionalista, y 6. el ms reciente, junto con el perodo logstico

En la poca medieval contribuyeron al desarrollo de la lgica los escolsticos (La escolstica (del latn scholasticus, y ste a su vez del grieg o [aquel que pertenece a la escuela]), es el movimiento teolgico y filosfico que intent utilizar la filosofa grecolatina clsica para comprender larevelacin religiosa del cristianismo. Domin en las escuelas catedralicias y en los estudios generales quedieron lugar a las universidades medievales europeas, en especial entre mediados del siglo XI y mediadosdel XV.) Duns Escoto, Guilermo de Ockham, Alberto de Sajonia y Raimundo Llull. La lgica moderna , en la que destacan importantes lgicos, tiene sus antecedentes, entreotros, a Francisco Bacon (1561-1626), en cuyos trabajos reivindica la importancia del mtodoinductivo dndole nuevos fundamentos (la induccin incompleta), en su obra NovumOrganum. Se considera como precursor de la lgica moderna a Leidniz (1646-1716), quien fueel primer en formular la idea de un clculo lgico. Cabe mencionar tambin a Leonhard Euler(1707-1783), quien popularizo el uso de los diagramas circulares para anlisis del silogismo.La lgica simblica se inicia con el lgebra de la lgica de George Boole (1815-1864). John Venn(1834-1923) utiliz diagramas que se trasladan para el anlisis de esta lgica.A fines del siglo XIX, la preocupacin de los matemticos estaba centrada en buscar en la lgicaun fundamento para sus conceptos y procedimientos demostrativos. Los trabajos de GottlobFrege (1848-1925) estuvieron entre ellos. l aport la distincin entre variables y constantes, elconcepto de funcin lgica y el uso de los cuantificadores por lo cual se le considera padre dela lgica moderna. Su obra principal es conceptografa. En 1879, Frege public su revolucionariaobra titulada Conceptografa (Begriffsschrift), en la que sent las bases de la lgica matemticamoderna, iniciando una nueva era en esta disciplina que haba permanecido prcticamente inalteradadesde Aristteles. Mediante la introduccin de una nueva sintaxis, con la inclusin de los llamados cuantificadores (para todo o para al menos un), permiti formalizar una enorme cantidad denuevos argumentos. Tambin fue el primero en distinguir la caracterizacin formal de las leyes lgicas desu contenido semntico. Giussepe Peano (1858-1925) cre un lenguaje simblico para las demostraciones matemticas:emple puntos en lugar de los signos de agrupacin y simboliz los cuantificadores y otrossignos, aportes que fueron acogidos posteriormente en principia mathematica, la obra de B.Russell y Alfred N. Whitehead. Ellos realizan la sntesis de toda la teora de la inferencia y lostipos de inferencia empleados en la demostracin de teoremas de la matemtica anteriores ensu obra conjunta Principia mathematica.