Empezando por el principio
La L贸gica desde el principio tiene un car谩cter netamente filos贸fico y su objeto formal lo constituy贸 el estudio de los elementos discursivos y abstractos de los conceptos, los juicios y los razonamientos.
La deducci贸n es un razonamiento mediante el cual se para de verdades universales a verdades m谩s particulares. La inducci贸n permite extraer verdades de car谩cter m谩s universal a partir de otras de car谩cter particular. Tanto una como otra se han utilizado con profusi贸n en la ciencia y forman base de la misma, por tanto la demostraci贸n es una consecuencia derivada del proceso del rozamiento.
La l贸gica formal analiza e investiga las denominadas leyes l贸gicas, su estructura y composici贸n.
Artist贸teles es el creador de la l贸gica occidental y hay que buscar los precursores en la dial茅ctica de los sofistas y las ense帽anzas y di谩logos de S贸crates y Plat贸n.
En la Edad Media, la Escol谩stica desarroll贸 muchos temas formales, al tiempo que redescubri贸 y reconstruy贸 la l贸gica aristot茅lica a partir de as traducciones e interpretaciones de los 谩rabes y desarroll贸 el m茅todo anal贸gico.
En el Renacimiento se extendi贸 el uso de diagramas y simplificaciones, as铆 como toda una serie de definiciones, an谩lisis y clasificaciones de los conceptos, juicios y razonamientos. Aqu铆 se cimentaron las bases de la ciencia actual, Galileo desarroll贸 los m茅todos deductivos y la hip贸tesis, mientras que Bacon perfeccion贸 los m茅todos inductivos y los dot贸 de un amplio instrumental te贸rico.
Ya en el siglo XVII la l贸gica formal experiment贸 un nuevo y brillante desarrollo, paralelo al estudio e investigaci贸n de las matem谩ticas. Leibniz fue una figura destacada en este per铆odo. Ya a mediados el siglo XIX Boole adopt贸 una metodolog铆a similar a la empleada en las matem谩ticas puras para el estudio de los problemas de l贸gica y crea la l贸gica matem谩tica, a cual ha permitido la introducci贸n en el campo de estudio de las ciencias exactas de toda una serie de cuestiones que tradicionalmente se hab铆an escapado a 茅sta: conjuntos, proposiciones, lenguaje, etc.
