|
186 применение, являются одним и тем же символом; знаки, которые имеют одинаковую наружность, но по-разному применяются, являются различными символами (см. 3.32.-3.323. - В. Р.). Но в случае, когда знак "F" находится за скобками, он является другим символом по сравнению с тем случаем, когда он находится внутри скобок, поскольку он имеет разное применение. Однако тогда мы не сможем построить выражение, в котором один и тот же символ выступает одновременно и как функция, и как ее собственный аргумент. Идея Витгенштейна состоит в том, что в корректной записи будет видна невозможность такой конструкции, и именно это и устраняет расселовскую теорию типов. Другими словами, в корректной записи нельзя построить самореферирующую пропозицию без того, чтобы не стало очевидно, что внутренняя пропозиция содержит функцию, отличную от функции, содержащейся во внешней пропозиции. Но тогда станет очевидным, что нельзя построить самореферирующую пропозицию. Ибо, совершая такую опрометчивую попытку, мы с очевидностью убеждаемся, что у нас получается не одна самореферирующая пропозиция, но две разные пропозиции. Короче, теория типов совершенно необязательна, поскольку в корректном символизме проблема, с которой имел дело Рассел, просто не возникает. Она исчезает в самой операции со знаками" [Mounce 1981: 55-56]. Анализ "Теории типов" Рассела Витгенштейном служит ярким примером практического применения витгенштейновской теории, разграничивающей то, что может и должно быть сказано, от того, что может быть только показано, или обнаружено, в логической структуре пропозиции или любой другой Картины. Следуя бритве Оккама, Витгенштейн как бы говорит: язык, если его правильно применять, сам обнаруживает невозможность самореференции - никакие теории тут не нужны. 4.022 Пропозиция обнаруживает свой Смысл. Пропозиция обнаруживает, как обстоит дело, если она истинна. И она свидетельствует о том, что оно обстоит так. Являясь Картиной, изоморфной по своей Логической Форме Реальности, Пропозиция "самым своим видом" показывает, обнаруживает свой Смысл. Допустим, я слышу брошенную кем-то при мне фразу "Лапшин с Автономовым поехали в семерку". Я могу обнаружить, что она соответствует некоей Ситуации, когда двое мужчин едут на трамвае, скажем, в типографию. Или что они только что были в комнате, и теперь их здесь нет. И если Пропозиция является Истинной, то Картина, которую я представляю, показывает, что имело бы место в этом случае. Пропозиция показывает Возможное Положение Вещей (Ситуацию) и свидетельствует об истинном, действительном Факте. Она показывает, обнаруживает Смысл, и говорит, свидетельствует о Значении. Различие между — 162 —
|