Тайна курочки рябы. Безумие и успех в культуре

По мнению Витгенштейна, именно вследствие неразграничения в языке Знаков и Символов возникают философские идеи. Философы принимают разные Знаки одного Символа за разные Символы или же, наоборот, принимают разные Символы за две знаковые манифестации одного Символа. В результате они выстраивают величественные философские системы, в основе которых лежит то же самое эпистемическое qui pro quo, которое необходимо для построения сюжета в художественном произведении (см. [Руднев 1996]). Так Витгенштейн строит свой миф о философии как болезни языка и - в следующем параграфе - провозглашает идею совершенного логического языка как метода выздоровления от философской болезни.

3.325 Чтобы избежать этих заблуждений, мы должны использовать некий знаковый язык, который исключал бы применение одинаковых Знаков по отношению к разным Символам и не применял бы одинаково Знаки, обозначающие по-разному. Этот знаковый язык подчиняется логической грамматике- логическому синтаксису.

(Исчисление понятий у Фреге и Рассела является подобным языком, правда, не исключающим еще всех ошибок.)

Именно благодаря этому разделу Витгенштейн связывается в сознании историков философии прежде всего с логическим позитивизмом - направлением в философии, которое стремилось к построению идеального логического языка с тем, чтобы избежать ошибок традиционной философии. Эти идеи разрабатывались после опубликования "Трактата" Венским логическим кружком (председатель М. Шлик), и "Трактат" признавался чем-то вроде Нового Завета для деятелей этого кружка. Правда, те из философов, которые добились наиболее позитивных и значительных результатов в этой области - в первую очередь, Р. Карнап, книги которого "Логический синтаксис языка" [Сагпар 1936] и "Значение и необходимость" [Карнап 1959] стали чрезвычайно важными событиями в истории логической семантики, - относились к "Трактату" критически и даже враждебно вследствие его слишком большой интеллектуальной перегруженности, принципиальной невписываемости ни в какие концептуальные философские рамки, а также большого количества противоречий, иногда мнимых и легко снимаемых, но порой достаточно глубоких.

3.332 Ни одна Пропозиция не может свидетельствовать о самой себе, поскольку пропозициональный Знак не может содержаться в самом себе (вот и вся "Theory of Types").

Рассел разработал "Теорию типов" для снятия парадокса теории множеств. Вот как он сам излагает ее суть в "Моем философском развитии": "Проще всего проиллюстрировать это на парадоксе лжеца. Лжец говорит: "Все, что я утверждаю, ложно". Фактически то, что он