Феноменология галлюцинаций

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

3.333 Функция не может быть собственным аргументом, поскольку знак функции уже содержит в себе протокартину своего аргумента, которая не может содержать самое себя. Предположим, например, что функция F(fx) могла бы быть собственным аргументом; тогда должна была бы иметь место пропозиция: «F (F (fx))», и в ней внешняя функция F и внутренняя функция F должны обладать разными значениями, так как внутренняя функция имеет форму AE(fx), а внешняя y(AE(fx)). Общим у них является лишь буква «F», которая сама по себе ничего не означает.

Это сразу становится ясно, когда мы вместо «F(Fu)» напишем «($AE): F (AEu) x AEu = Fu». Тем самым устраняется парадокс Рассела

[Витгенштейн 1999]

Витгенштейн исходит из того, что знак функции (переменной) содержит в себе протокартину (прототип, образец) своего аргумента, то есть, скажем, знак функции «Х – жирный» содержит в себе возможный аргумент «свинья». Эта протокартина не может содержать самое себя, так как она уже не является переменной. Таким образом, нельзя построить функцию функции, потому что иначе получится свинья свиньи. Но что будет, если попытаться построить такую саморефлексирующую функцию? Это будут просто две разные функции.

Вот как понимает это место «Трактата» его американский комментатор Х. О. Мунк: