Neneytor

-------------------------------------------------
Lógica
La lógica es una ciencia formal que estudia los principios de la demostración e inferencia válida. La palabra deriva del griegoantiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (logos), «palabra, pensamiento, idea, argumento, razón o principio».
Así como el objeto deestudio 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 depremisas.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 el contenido específico delargumento 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 dela filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dió lugar a la lógica matemática. En el siglo XX la lógica ha pasadoa 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 lainformática. Hasta el siglo XIX, la lógicaaristotélica y estoica mantuvieron siempre una relació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, que hoy interpreta como una parte pequeña de la lógica de clases.
Índice  [ocultar]  * 1 Acepciones* 1.1 Ciencia argumentativa y propedéutica * 1.2 Ciencia del pensar * 1.3 Ciencia formal * 1.4 Lógica informal * 2 Sistemas lógicos * 2.1 Lógicas clásicas *...