Es una de las ciencias formales, y una disciplina filosófica, que estudia los principios de inferencia. Hay diversos sistemas lógicos o tipos de lógica, pero los dos más estudiados y útiles para las matemáticas son la lógica de proposiciones y la lógica de predicados (o de primer orden).