Cicerón
En la filosofía antigua, la lógica, relacionada con la razón y la argumentación, es la forma de distinguir lo verdadero de lo falso, reconocer la coherencia y lo contradictorio. Por lo tanto, es el instrumento que subyace a las teorías construidas en los otros dos dominios filosóficos, la física y la moral. De hecho, cada acción reflexiva requiere distinguir entre lo que se debe hacer y lo que no se debe hacer, y por lo tanto, buscar certezas en las que basar la elección.
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.