Неудачи испании

Предикативные функции образуют строгую иерархию порядков, которая зависит от той общности, которую они предполагают. Все функции, с помощью которых построены атомарные высказывания, в указанном выше смысле, и высказывания, построенные из атомарных с помощью логических союзов (т. е. элементарные высказывания), являются предикативными функциями от индивидов. Они образуют общность, в которую входят функции вида fx, ~fx,fx v gx, fx^gx, где л — индивидная переменная. Предикативные функции от индивидов Рассел обозначает как/Ъс и относит их к первому порядку. Предикативные функции первого порядка образуют определенную целостность и fix может быть преобразована в мнимую переменную.

Функции, которые в свою структуру включают указание на другие свойства, относятся к более высоким порядкам. Так, if).

Предикативность четко фиксирует порядок функции через указание совокупности ее возможных значений и позволяет ограничить использование мнимых переменных рамками одного типа. Так, например, если мы берем функцию «х имеет все свойства философа», то мы не можем преобразовать «свойство философа» в мнимую переменную до тех пор, пока не укажем, что эта функция является предикативной, т. е. пробег мнимой переменной, которую она включает, ограничен типом ниже ее самой. В этом случае свойство «иметь все свойства философа» относится к порядку более высокому, чем свойства философа, и не должно включаться в их совокупность.

Поэтому, если конструкция if) .