Lógica

La lógica es una ciencia formal que se basa en las leyes, modalidades y formas del conocimiento científico. Se trata de una ciencia de carácter formal que carece de contenido ya que hace foco enel estudio de la demostración y las alternativas válidas de inferencia. Es decir, propone estudiar los métodos y los principios adecuados para identificar al razonamiento correcto frente al que no lo es.La palabra deriva del griego antiguo que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de (lógos),«palabra, pensamiento, idea, argumento, razón o principio».
Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partirde premisas. La lógica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenidoespecífico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.
Aunque se atribuye su origen a Zenón deElea, el verdadero sistematizador e impulsor de la lógica griega fue Aristóteles, cuyos trabajos, agrupados posteriormente bajo la denominación de "Organon", se consideró durante más de 20 siglos comoun compendio completo y definitivo de lógica. 

A finales del siglo XX, sin embargo, debido a los trabajos de Boole y Frege, entre otros, la lógica experimentará un cambio sustancial: deja de basarseen la clasificación de las proposiciones y adopta el principio de generación recursiva, lo que permite prescindir totalmente del lenguaje ordinario a favor de un lenguaje puramente formal, compuestopor un pequeño número de signos y de ciertas reglas de combinación para formar enunciados. Desde entonces los estudios de lógica no han dejado de progresar, quedando reducida la lógica...