Раздел логических теорий, в котором изучаются общезначимые связи между высказываниями о свойствах и отношениях предметов. В основе логики предикатов лежит формализованный язык, отображающий субъективно-предикатную структуру высказываний. См. Также Исчисление предикатов..