Логико-философский трактат

Витгенштейн Людвиг

3.331. Обратимся с учетом этого к «теории типов» Рассела. Очевидно, что Рассел ошибается, поскольку он использует значения знаков, составляя правила их употребления.

3.332. Никакое суждение не может утверждать что-либо о себе, поскольку пропозициональный знак не может содержаться в себе самом (а это суть «теории типов»).

3.333. Причина, по которой функция не может быть собственным аргументом, заключается в том, что функция уже содержит прототип аргумента и не может содержать саму себя.

Предположим, что функция F(fx) является собственным

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

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

3.334. Правила логического синтаксиса должны быть самоочевидными, когда известен способ обозначения каждого знака.

3.34. Суждение обладает постоянными и случайными свойствами. К случайным относятся те свойства, которые возникли из конкретного способа порождения пропозиционального знака.

Постоянные свойства – те, без которых суждение не в состоянии выразить свой смысл.

3.341. Таким образом, в суждении постоянно то общее, что есть у всех суждений, выражающих один и тот же смысл.

Точно так же в символе постоянно то общее, что есть у всех символов, служащих выполнению одной задачи.

3.3411. Поэтому можно сказать: то, что есть общего у всех символов, обозначающих объект, является истинным именем объекта. И потому, один за другим, все типы комбинаций оказываются несущественными для имени.

3.342. Пусть в наших обозначениях достаточно условностей, безусловно вот что: если нечто определено произвольно, нечто другое должно иметь место. (Такова природа обозначения.)

3.3421. Важен не конкретный способ обозначения, а то, что он является возможным. Именно так в целом обстоит в философии: раз за разом частное оказывается несущественным, зато возможность частного снова и снова открывает нечто относительно сути мира.

3.343. Описания суть правила перевода с одного языка на другой. Любой корректный знаковый язык должен подлежать переводу в соответствии с подобными правилами; именно это является общим для всех знаковых языков.

3.344. Символ обозначает то, что является общим для всех тех символов, которыми его возможно заменить по правилам логического синтаксиса.

3.3441. К примеру, мы можем выразить то общее, что присуще всем системам записи функций истинности, следующим образом: общее у них то, что, например, формулы «~p» («не p») и «p q» («p или q») могут заменить любую из них.

(Это характеризует способ, каким нечто общее может быть выявлено той или иной возможной знаковой системой.)

3.3442. И знак комплекса при анализе расчленяется не произвольно, не каким-либо особенным образом для каждого нового суждения.

3.4. Суждение определяет

место в логическом пространстве. Существование этого логического места обеспечивается самим фактом существования его составных частей, то есть существованием осмысленного суждения.

3.41. Пропозициональный знак с логическими координатами образует логическое место.

3.411. В логике сходно с геометрией место является возможностью: что-то может в нем существовать.

3.42. Суждение, которое может определять лишь одно место в логическом пространстве, неизбежно задается во всем логическом пространстве в целом.

(Иначе отрицание, логическая сумма, логическое произведение и т. д. вводили бы в систему координат все новые и новые элементы.)

(Логические строительные леса вокруг картины определяют логическое пространство. Сила суждения пронизывает логическое пространство.)

3.5. Обдуманный, употребленный пропозициональный знак есть мысль.

4. Мысль есть суждение, наделенное смыслом.

4.001. Совокупность суждений есть язык.

4.002. Человек обладает способностью конструировать языки, наделенные свойством выражать любой смысл, вне зависимости от значения слов и вообще представления о том, что слова имеют значение, – так люди говорят, не задумываясь о том, как возникают отдельные звуки.

Повседневный язык есть часть человеческого организма, не менее сложная, чем прочие составляющие. Человек не в состоянии извлечь непосредственно из языка его логику. Язык облекает мысли в разные одежды. Причем так, что по внешней форме одеяния невозможно определить форму мысли под ним, потому что внешняя форма одеяния не предназначена для обнажения формы тела.

Молчаливо принимаемые соглашения, на которых построено употребление повседневного языка, весьма сложны.

4.003. Большинство суждений и вопросов об объектах философских не ложны, но бессмысленны. Посему мы не можем дать ответ на подобные вопросы, а можем лишь указать на их бессмысленность.

Большинство суждений и философских вопросов проистекают из неспособности понять логику нашего языка.

(Они принадлежат к той же категории, что и вопрос, насколько добро тождественно красоте.)

И неудивительно, что наиболее серьезные проблемы на самом деле оказываются не проблемами вовсе.

4.0031. Вся философия есть по сути «критика языка» (хотя и не в том смысле, какой вкладывал в это выражение Маутнер ⁶). И Рассел показал, что наглядной логической форме суждения вовсе не обязательно быть действительной.

4.01. Суждение есть картина реальности.

Суждение представляет собой модель реальности, какой мы воображаем себе последнюю.

4.011. На первый взгляд суждение – к примеру, напечатанное в книге – не кажется картиной реальности, о которой рассказывает. Но и записанные ноты на первый взгляд не кажутся картиной музыкального фрагмента, а фонетическая нотация (алфавит) – картиной нашей речи.