Lógica
La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.
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.