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.
Historia de la lógica
Los filósofos estoicos introdujeron el silogismo hipotético y anunciaron la lógica proposicional, pero no tuvo mucho desarrollo. El término «lógica» se encuentra en los antiguos peripatéticos y estoicos como una teoría de la argumentación o argumento cerrado. De este modo la "forma argumentativa" responde al "principio de conocimiento" que supone que representa adecuadamente la realidad. Por ello, sin perder su condición de formalidad, no son formalistas y no se acaban de desprender de las estructuras propias del lenguaje.Por otro lado, la lógica informal fue cultivada por la retórica, la oratoria y la filosofía, entre otras ramas del conocimiento. Estos estudios se centraron principalmente en la identificación de falacias y paradojas, así como en la construcción correcta de los discursos.