Lógica
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX. Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas. En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.
Predicado (lógica)
La lógica en que se cuantifican los argumentos es la lógica de predicados o lógica de primer orden, pues trata de individuos. La lógica que cuantifica los predicados es lógica de orden superior o lógica de segundo orden.