Отличие предикатов в различных системах логики заключается в следующем:

• В логике предикатов первого порядка имеется лишь один тип квантифицируемых переменных — предметные (индивидные) переменные, возможными значениями которых являются индивиды, отдельно взятые предметы (люди, города, числа и т.п.). 12
• В логике предикатов второго порядка дополнительно вводятся переменные, пробегающие по признакам индивидов — их свойствам и отношениям между ними. 12
• В логике предикатов третьего порядка разрешается квантификация по признакам признаков индивидов и т.д.. 12
• Выделяют также односортные и многосортные системы логики предикатов: в односортной все переменные, принадлежащие к одному и тому же типу, имеют одинаковую область пробега, в многосортной с каждой переменной связывается собственное множество её возможных значений. 12

Кроме того, в зависимости от типа сущностей, составляющих допустимые в теории области пробега квантифицируемых переменных, различают классические и неклассические логические теории. 12