logica

La *lógica* es una ciencia formal
 que estudia los principios de la demostración
e inferencia
 válida
. La palabra deriva delgriego antiguo
 "λογική" ("logike"), quesignifica «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de "λόγος" (logos
), «palabra
,pensamiento
, idea
, argumento
, razón
 oprincipio
».
Asícomo el objeto de estudio tradicional de la química
 es la materia
, y el de labiología
 la vida
, el de la lógica es lainferencia
. La inferencia es el proceso por el cual sederivan 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 esaceptable, lo es por su estructura lógica
, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal
, como lamatemá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 hademostrado una íntima relación con las matemáticas
, y dio lugar a la lógica matemática
. En el siglo XX la lógica ha pasado a ser principalmente la lógica simbólica, un cálculo definido porsímbolos
 y reglas de inferencia
, lo que ha permitido su aplicación a lainformática
. Hasta el siglo XIX, la lógica aristotélica
 y estoica
 mantuvieron siempre unarelación con los argumentos formulados en lenguaje natural
. Por eso aunque eran formales, no eran formalistas.[2]
 Hoy esa relación se trata bajo un punto de vista completamentediferente. 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 lalógica de clases
.