Единственное ограничение, накладываемое Расселом на образование такой функции, связано с требованием теории типов. Она должна указывать предикативное свойство соответствующего класса. Различие между предикативными и непредикативными свойствами можно проиллюстрировать следующим примером. Рассмотрим свойство быть человеком и свойство иметь все свойства человека. И то и другое относятся к одному и тому же классу предметов, но в отличие от первого, второе свойство имеет в виду и само себя. Так как если мы утверждаем, что Сократ имеет все свойства человека, то наряду с приписыванием ему свойств быть двуногим и бесперым, быть политическим животным и т.д. мы приписываем ему и свойство иметь все свойства человека. Непредикативное свойство самореферентно, т.е. указывает и на само себя. Соответственно, функция, выражающая самореферентное свойство, будет применяться сама к себе, что, как было показано выше, приводит к парадоксу. С точки зрения Рассела, функции, выражающие непредикатитвные свойства, должны относиться к более высокому типу, чем функции, выражающие предикативные свойства, несмотря на то, что они специфицируют один тот же класс. Таким образом, функции, как и классы, должны рассматриваться в строгой иерархии, которая конструируется Расселом в разветвленной теории типов.
Утверждение о существовании формально эквивалентной предикативной функции, которая может заменить класс во всех контекстах, доказать конструктивными средствами невозможно. Поэтому Рассел принимает его как аксиому, так называемую аксиому сводимости, которая формулируется следующим образом: «Существует такая формально эквивалентная предикативная функция (, что для всякого x аргумент x удовлетворяет функцию f тогда и только тогда, когда он удовлетворяет функцию (». Символически:
(( ((() (x) (fx((!x),
где ‘(’ знак тождества, а ‘!’ в выражении ‘(!x’ указывает на предикативность функции (.
2.2.6 Примитивные значения и теория дескрипций
Рассмотрение отношений, чисел и классов демонстрирует один важный принцип, который практикует Рассел. Логический анализ воспринимается им как метод, который устанавливает критерий того, что может рассматриваться как реально существующее, а что нет. Например, отношения, которые нельзя редуцировать к свойствам, реальны, а числа и классы – нет, поскольку вторые суть фикции, так как редуцируемы к пропозициональным функциям, а первые суть фикции фикций, так как редуцируемы к классам. Основная проблема, обнаруживаемая данным анализом, связана с использованием определенных выразительных средств. Дело в том, что язык, повседневно используемый для выражения мыслей, скрывает их действительную структуру. Задача философского исследования – выявить эту структуру и зафиксировать с помощью искусственного языка, который был бы свободен от двусмысленностей языка естественного. Искусственный язык должен способствовать освобождению выражений науки от компонентов, имеющих фиктивное значение. Особый смысл в таком исследовании приобретает логика, формальные методы которой и позволяют разработать такой язык. Последующее расширение границ и методов формального анализа ставится Расселом в зависимость от того, что рассматривать в качестве допустимых типов значения.