Lógica (plan aprendizaje)
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. La lógica investiga los fundamentos 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 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 XX la 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.
Juan David García Bacca
Bien diferente es la historia de la lógica. No es, por lo pronto, una serie, restrospectivamente coherente, de supuestos inventos conceptuales, planes y aparatos; sino una sucesión, coherente sin duda de fases de formalización creciente, y mejor aún: de purificación de la misma forma, por eliminación de una serie de materiales de los que la forma no hizo nunca materiales suyos, y de los que fue nada más molde neutral o entramado sustentador —cual esqueleto. Y luego comenta que: La lógica bajo la forma que le dan Whitehead, Russell, Hilbert, Carnap, Tarski... no es más que el esqueleto —limpio, mondo—, de la misma lógica que, recubierta aún de carne : de vida helénica, estoica, renancentista más tarde, llega a ese "fin- final- resultado" puro que es "Principia mathematica".García Bacca reconoce que la lógica ha llegado a convertirse en un esqueleto, se ha mineralizado, ha perdido su carácter orgánico, y dada su rigidez no se puede tratar con método transformador, como ocurre con las ciencias naturales, sino con método de interpretación. Sin embargo, valora la hermeneútica como método interpretativo. Para Bacca queda abierta la posibilidad creadora, pues en la hermenéutica de Dilthey, Heidegger, Gadamer, etc., subyace la innovación. Pero no por eso resulta inútil la tarea de mostrar que, realmente y hasta ahora, la historia filosófica de la lógica tiene que hacerse, si ha de decirse en palabras lo que ha sido, con método hermenéutico [...]