Lgica

Definicin La lgica es una ciencia formal que estudia los principios de la demostracin e inferencia vlida. La palabra deriva del griego antiguo (logike), que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razn o principio. As como el objeto de estudio tradicional de la qumica es la materia, y el de la biologa la vida, el de la lgica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.1 La lgica investiga los principios por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lgica, y no por el contenido especfico del argumento o el lenguaje utilizado. Por esta razn la lgica se considera una ciencia formal, como la matemtica, en vez de una ciencia emprica. La lgica tradicionalmente se consider una rama de la filosofa. Pero desde finales del siglo XIX, su formalizacin simblica ha demostrado una ntima relacin con las matemticas, y dio lugar a la lgica matemtica. En el siglo XX la lgica ha pasado a ser principalmente la lgica simblica, un clculo definido por smbolos y reglas de inferencia, lo que ha permitido su aplicacin a la informtica. Hasta el siglo XIX, la lgica aristotlica y estoica mantuvieron siempre una relacin con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas.2 Hoy esa relacin se trata bajo un punto de vista completamente diferente. La formalizacin estricta ha mostrado las limitaciones de la lgica tradicional o aristotlica, que hoy se interpreta como una parte pequea de la lgica de clases.

Alejandro Snchez Salinas