Die
Prädikatenlogiken (auch
Quantorenlogiken) bilden eine Familie
logischer Systeme, die es erlauben, einen weiten und in der Praxis vieler Wissenschaften und deren Anwendungen wichtigen Bereich von Argumenten zu formalisieren und auf ihre Gültigkeit zu überprüfen. Auf Grund dieser Eigenschaft spielt die Prädikatenlogik eine große Rolle in der
Logik sowie in
Mathematik,
Informatik,
Linguistik und
Philosophie.