Predykat drugiego rzędu

W logice matematycznej predykat drugiego rzędu to predykat , który jako argument przyjmuje predykat pierwszego rzędu . Porównaj predykat wyższego rzędu .

Idea orzekania drugiego rzędu została wprowadzona przez niemieckiego matematyka i filozofa Frege'a . Opiera się na jego pomyśle, że predykat taki jak „jest filozofem” oznacza raczej pojęcie niż przedmiot . Czasami sama koncepcja może być przedmiotem propozycji, na przykład w „Nie ma bośniackich filozofów”. W tym przypadku nie mówimy nic o żadnym filozofie bośniackim, ale o pojęciu „jest filozofem bośniackim”, którego nie zadowala . Tak więc orzeczenie „nie jest spełnione” przypisuje coś pojęciu „jest bośniackim filozofem”, a zatem jest orzeczeniem drugiego poziomu.

Ta idea jest podstawą teorii liczb Fregego .