|
185 делает, это утверждение, что оно относится к тотальности его утверждений, и только включив его в эту тотальность, мы получаем парадокс. Мы должны будем различить суждения, которые относятся к некоторой тотальности суждений, и суждения, которые не относятся к ней. Те, которые относятся к некоторой тотальности суждений, никак не могут быть членами этой тотальности. Мы можем определить суждения первого порядка как такие, которые не относятся к тотальности суждений; суждения второго порядка - как такие, которые отнесены к тотальности первого порядка и т.д. ad infinitum. Таким образом, наш лжец должен будет теперь сказать: "Я утверждаю ложное суждение первого порядка, которое является ложным". Он поэтому не утверждает суждения первого порядка. Говорит он нечто просто ложное, и доказательство того, что оно также и истинно, рушится. Такой же точно аргумент применим и к любому суждению высшего порядка" [Рассел 1993: 25-26]. По мнению Витгенштейна, "Теория типов" излишня, так как необходимо, чтобы логическая запись сама, не прибегая к сильной прагмасемантике, показывала противоречивость того или иного суждения. 3.333 Функция не может быть собственным аргументом, поскольку Знак Функции уже содержит в себе Протокартину своего аргумента, которая не может содержать самое себя. Предположим, например, что Функция F (fx) могла бы быть собственным аргументом; тогда должна была бы иметь место Пропозиция: "F (F (fx))", и в ней внешняя Функция F и внутренняя функция F должны обладать разными значениями, так как внутренняя Функция имеет форму 0 (fx), а внешняя у (0 (fx)). Общим у них является лишь буква "F", которая сама по себе ничего не означает. Это сразу становится ясно, когда мы вместо "F (Ри)"напишем "(30): F (0u) х 0u = Fu". Тем самым устраняется парадокс Рассела. Витгенштейн исходит из того, что Знак Функции (переменной) содержит в себе Протокартину (прототип, образец) своего аргумента, то есть, скажем, Знак Функции "X - жирный" содержит в себе возможный аргумент "свинья". Эта Протокартина не может содержать самое себя, так как она уже не является переменной. Таким образом, нельзя построить Функцию функции, потому что иначе получится свинья свиньи. Но что будет, если попытаться построить такую саморефлексирующую функцию? Это будут просто две разные функции. Вот как подробно комментирует это место "Трактата" Х.О. Мунк: "Может ли в функции "х - жирный"сама функция (х) занять позицию своего аргумента "х"? Допустим, что может. Тогда ее можно записать как F (f). Но, говорит Витгенштейн, то, что занимает эти две позиции, является не одним символом, а двумя. Тождество знака, как надо помнить, гарантируется не его физической наружностью, но употреблением. Знаки, имеющие совершенно различную наружность, но одно и то же — 161 —
|