La logique prédictive est le terme générique des systèmes formels symboliques tels que la logique du premier ordre, la logique du deuxième ordre, la logique à plusieurs points et la logique infinie.
La logique est utilisée en mathématiques.