Filosofia

La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική(logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra,  HYPERLINK "http://es.wikipedia.org/wiki/Pensamiento" \o "Pensamiento" 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 partir de premisas.1 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 elcontenido especí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.
La lógica tradicionalmente se consideró una rama de la filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XXla lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, lalógica aristotélica y estoica mantuvieron siempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eranformales, no eran formalistas.2 Hoy esa relación se trata bajo un punto devista completamente diferente. La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.
La lógica se puede clasificar como lógica tradicional o no formal y lógica simbólica o formal:
 
1.    Lógica tradicional o no formal.
2.    Lógica simbólica o formal.
 
En la lógica no formal ológica tradicional se considera la destreza para interpretar y distinguir un razonamiento correcto de un razonamiento incorrecto como un producto de la experiencia humana obtenida en la relación con el mundo circundante. En palabras de Galindo (1999), se consideran los procesos psicobiológicos del pensamiento lógico. 
 
La lógica como ciencia constituye la lógica formal o simbólica, la cual seencarga de investigar, desarrollar y establecer los principios fundamentales que siguen la validez de la inferencia; es considerada como uno de los sistemas mediante el cual se llega a formas puras y rigurosas.  HYPERLINK "http://datateca.unad.edu.co/contenidos/90004/EXE/EXE_Julio_31_de_2012/clasificacin_de_la_lgica.html" \l "_ftn1" [1] 
En el pensamiento simbólico, las palabras se manipulan, segúnlas reglas establecidas, como si fueran simples signos sin preocuparse por su sentido.
 
De allí, que afirmemos que la lógica se ocupa de la forma de los pensamientos y no de su contenido.
Del latín "iudicium". Por juicio se entiende el acto mental por el que el entendimiento afirma o niega que algo posea tal o cual propiedad. A los términos relacionados de este modo por el juicio se les llamasujeto y predicado, respectivamente, y al término con el que se establece la relación se le denomina "cópula". El juicio se expresa mediante el enunciado o proposición. Aristóteles distingue en los juicios la materia y la forma. La materia o contenido del juicio son los conceptos que se relacionan; la forma es la relación que se establece entre ellos a través del verbo ser. Aristóteles representa elsujeto del juicio con un signo (S) y el predicado con otro (P) para intentar separar la materia de la forma: así, la forma del juicio "Juan es alto" se representaría como "S es P", y la forma del juicio "Juan no es alto" como "S no es P".Los juicios se clasifican en varios grupos, atendiendo a la cantidad (según la extensión del sujeto: universales, particulares, singulares), a la cualidad...