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.
Lógica
La lógica de predicados es el término genérico para los sistemas formales simbólicos como la lógica de primer orden, la lógica de segundo orden, la lógica de muchos órdenes y la lógica infinitaria. Proporciona una cuenta de cuantificadores lo suficientemente general para expresar un amplio conjunto de argumentos que ocurren en el lenguaje natural. Por ejemplo, la famosa paradoja del barbero de Bertrand Russell, "hay un hombre que afeita a todos y sólo a los hombres que no se afeitan a sí mismos", puede formalizarse mediante la sentencia formula_4, utilizando el predicado no lógico formula_5 para indicar que "x" es un hombre, y la relación no lógica formula_6 para indicar que "x" afeita a "y"; todos los demás símbolos de las fórmulas son lógicos, y expresan el cuantificadores universal y existencial, la conjunción, el implicación, la negación y el bicondicional.