Prädikat (Logik)

Prädikat (von ‚zusprechen‘) nennt man in der modernen Logik den Teil einer atomaren Aussage, durch den eine Eigenschaft von einem Gegenstand ausgesagt wird. Der der Eigenschaft entsprechende Begriff wird dem Gegenstand zugesprochen, oder von ihm prädiziert. Das einfachste formallogische System, welches mit (bestimmten) Prädikaten operiert, ist die Prädikatenlogik erster Ordnung. Es gibt zwei Möglichkeiten, aus Prädikaten Aussagesätze zu gewinnen: zum einen dadurch, dass man das Prädikat auf bestimmte einzelne Gegenstände oder auf bestimmte n-Tupel von Gegenständen anwendet, oder dadurch, dass man die passenden Leerstellen des Prädikats durch Individuennamen ersetzt oder durch Quantifizierung bindet.