Блинов Аркадий. Аналитическая философия

a, b, c)’, где артикулированы уже три простые части. Данный анализ можно продолжить далее, разлагая неартикулированную часть, обозначенную функциональным знаком ‘G(…, …, …)’. Отметим, что при таком подходе относительно функциональной части не предполагается, что она обозначает каким-то иным способом, чем имена. Функциональная часть лишь указывает на неопределенность присутствующую в элементарном предложении ¹²³. Здесь не должно вводить в заблуждение то, что ‘познакомил’, как обычно считается, предполагает какое-то иное значение, чем ‘Отелло’ или ‘Дездемона’. Этот элемент указывает на такую же неопределенность в элементарном предложении, как и выражение ‘познакомил Дездемону с Кассио’, и может быть посредством определений разложен далее. Смущение здесь может вызвать только то, что значение выражений ‘Отелло’ и ‘Дездемона’ предполагается простым, поскольку им соответствуют самостоятельные индивиды. Но как указывал еще Рассел, значение таких имен ни в коем случае не является простым, поскольку они представляют собой скрытые дескрипции. К тому же значение в данном случае нас не интересует, мы лишь предполагаем, что эти знаки являются простыми. Точно так же относительно функционального знака предполагается, что он указывает на неопределенную часть, которая может быть разложена определениями. В этом отношении анализ должен показать, что и выражение ‘познакомил’ состоит из имен. Однако не дело логики осуществлять полный анализ каждого выражения. В логике можно лишь сказать, что полный анализ в конце концов должен привести к конструкции, которая состоит только из имен. Но поскольку a prioriпривести пример формы такой конструкции нельзя, логика при записи элементарных предложений ограничивается лишь указанием на не разлагаемые далее и определяемые части ¹²⁴.
   Знак предложения, вида ‘ fа’, состоит из более простых частей. Однако поскольку простые части вводятся с точки зрения элементарного предложения, необходимо учитывать, что ни ‘ f’, ни ‘ а’ сами по себе никакой интенции значения не имеют. Их значение определяется только с точки зрения той функции, которую они выполняют в элементарном предложении. «Имя имеет значение только в контексте предложения» [3.3]. В данном случае этот тезис Витгенштейна можно назвать синтаксическим принципом контекстности. Понимать ‘ а’ как имя можно только ориентируясь на целое предложение, где этот знак выражает часть, которую нельзя разложить далее определениями. То же самое относится к функциональному знаку, выражающему еще не определенную часть предложения. Только в отношении того, что неопределяемо и еще не определено в ‘ fа’, имеет смысл говорить об имени и функции, приписывая ‘ f’ и ‘ а’ некоторую интенцию значения. Интенция значения знака задается формой его логико-синтаксического применения [3.327]. Знак ‘ а’ может рассматриваться как имя только в том случае, если он применяется в комбинации с функциональными знаками, а знак ‘ f’ – как функциональный знак только в том случае, если он комбинируется с именем. В этом смысле ни имена, ни знаки функций не являются самодостаточными, они предполагают друг друга. Осмысленное употребление имен как имен должно учитывать их соотношение с функциями, и наоборот [3.326]. В этом случае знак становится символом, он наполняется интенцией значения. Само по себе ‘ f’или ‘ а’ есть лишь чувственно воспринимаемый значок [3.32], в котором символ можно распознать только в контексте предложения, где становится ясным способ употребления данного значка ¹²⁵.
   Все это говорит о том, что знаки имен и функций должны вводиться не сами по себе, как у Рассела и Фреге, а с точки зрения их общей формы употребления. Общая форма употребления имени или знака функции должна предполагать все их возможные вхождения в элементарные предложения. Здесь нужно учитывать относительную независимость знаков функций и имен. Несмотря на то, что в общем случае их интенция значения устанавливается только друг относительно друга, они могут входить в разные предложения в связи с другими именами и знаками функций соответственно. Предложения могут иметь сходное содержание, что и изображается сходством выражений. Например, в элементарные предложения ‘ fа’ и ‘ fb’ входит одно и то же ‘ f’, здесь одна из частей предложений выразима одним и тем же образом в обоих случаях. «Выражение – все то существенное для смысла предложения, что предложения могут иметь друг с другом общего» [3.31]. Сходство выражений определяется не только содержанием, но и формой. Именно форма свидетельствует об их символических особенностях. «Выражение предполагает формы всех предложений, в которые оно может входить» [3.311]. В этом отношении выражение выступает общим признаком некоторого класса предложений. Указать символические особенности знака – значит указать класс предложений, для которых он является общим выражением. В таком указании общее выражение остается постоянным, а все остальное рассматривается как переменная [3.312]. В ‘ fа’ и ‘ fb’ есть общее выражение, которое можно использовать для указания на класс всех подобных предложений. В этом случае ‘ fх’ является переменной предложения, а значения данной переменной суть все предложения указанного вида. Символическая особенность функционального знака фиксируется данной переменной через указание на то, что, сочленяясь с выражениями определенного вида (именами), он образует элементарные предложения. Описание значений переменной предложения показывает область осмысленного употребления функционального знака. То же самое относится к именам. Имя может быть общим выражением некоторого класса предложений, как, например, в ‘ fа’ и ‘ ga’. В этом случае для указания на такой класс можно использовать переменную предложения, где постоянным выражением будет имя, изображая эту переменную, скажем, так ‘ (а’. Здесь переменная предложения также фиксирует символические особенности имен, показывая область их осмысленного употребления.
   Подход Витгенштейна к переменным существенно отличается от подхода Фреге и Рассела, для которых переменная, присутствующая в предложении, всегда указывала на определенную категорию знаков, с заданным типом значения. Скажем, для Фреге в ‘ fх’ переменная ‘ х’ указывает на ненасышенную, требующую дополнения часть функции, являющейся неполным символом. Аргументное место данной функции может быть занято именами, полными выражениями, которые, сочленяясь с функцией, образуют предложение. Переменная ‘ х’ в таком случае указывает на класс имен. Для Витгенштейна же «каждая переменная может рассматриваться как переменная предложения. (Включая и переменное имя.)» [3.314]. Т.е. переменной является не сам по себе ‘ х’, а все выражение ‘ fх’. Значениями такой переменной будут не знаки особого типа, а предложения соответствующего вида. При таком подходе имя также характеризуется существенной неполнотой, поскольку его символические особенности определяются только в отношении возможности сочленения с функциональным знаком. Если собственным именам естественного языка придать функцию имен в смысле Витгенштейна, то все сказанное можно проиллюстрировать следующим примером. Допустим, что “Сократ – философ” и “Платон – философ” являются элементарными предложениями. В качестве таковых на них можно указать как на возможные значения переменной ‘Философ( х)’. Точно так же предложения “Сократ – философ” и “Сократ – грек” можно указать как значения переменной ‘ ((Сократ)’. Преобразовывая какую-либо часть элементарного предложения в переменную, мы всегда получаем переменную предложения, для которой существует класс предложений, являющихся всеми значениями данной переменной. Правда, этот класс может зависеть от того, что мы произвольно, как в приведенном примере, определили в качестве составных частей предложения, но «если мы превратим все те знаки, значение которых было определено произвольно, в переменные, то такой класс все еще существует. Но теперь он зависит не от какого-либо соглашения, а только от природы предложения. Он соответствует логической форме – логическому прообразу» [3.315]. Логическим первообразом предложений во всех указанных примерах будет переменная ‘ (x’. Аналогичным способом можно указать логический первообраз предложений с двумя именами, скажем так: (( x, y), тремя именами: (( x, y, z) и т.п.
   Логический прообраз фиксирует область осмысленного употребления возможного знака, делает его символом. Вводить знак как имя – значит учитывать прообраз тех предложений, в которых он выступает в качестве имени, т.е., сочленяясь с функциональным знаком, символизирует совершенно особым способом. Так же и в общем случае: введение знака предполагает описание вида тех предложений, в которых он может встречаться. Такой подход не предполагает апелляции к значениям знаков, а « есть только описание символов и ничего не высказывает об обозначаемом» [3.317].
   Различие знаков, вводимое на уровне синтаксиса элементарного предложения, позволяет пересмотреть теорию типов Рассела. Для того чтобы запретить образование бессмысленных выражений, Рассел фиксировал тип знаков, из которых строилось предложение, через указание их значений. Комбинация знаков, относящихся к одному и тому же типу (например, где функция выступала бы в качестве собственного аргумента), считалась бессмысленной, поскольку приводила к парадоксу. Однако если функция вводится способом, предложенным Витгенштейном, при котором предполагается описание способов ее употребления, то парадокс становится невозможным, и при этом не требуется обращения к значениям знаков, поскольку «функция не может быть своим собственным аргументом, потому что функциональный знак уже содержит прообраз своего аргумента, а он не может содержать самого себя» [3.333]. Как это понимать? Рассел запрещает образование выражений вида ‘ f( fx)’. Однако когда вводится ‘ fx’, предполагается указание на прообраз ‘ (x’, который фиксирует форму аргумента, указывая возможные значения переменной ‘ fx’. Для ‘ f( fx)’ прообраз будет другим, а именно ‘ (( (x)’, соответственно другой будет и форма аргумента. Здесь вводит в заблуждение использование одного и того же ‘ f’, но само по себе ‘ f’ ничего не обозначает, символические особенности проявляются только в контексте ¹²⁶. Прообразы же показывают, что в связи с различием аргументов внутреннее и внешнее ‘ f’ хотя и являются одинаковыми знаками, но представляют собой различные символы. Таким образом, если учитывать не только внешний вид знаков, но и их символические особенности, показываемые синтаксисом предложения, не только решается парадокс Рассела, теория типов вообще становится излишней. Тем самым из логики устраняется одна из наиболее существенных предпосылок, не имеющая чисто логического характера. Правильная трактовка синтаксиса элементарного предложения сама по себе делает невозможным образование бессмысленных выражений. Здесь не требуется помощи извне, связанной с онтологическими допущениями теории типов; и в этом смысле ‘логика заботится о себе сама’ ¹²⁷.
   Следующий важный тезис, вытекающий из синтаксического принципа контекстности, транспонирует одну из центральных тем Заметок по логикеи имеет исключительное значение для понимания вытекающей из синтаксиса онтологии. Витгенштейн утверждает, что хотя элементарное предложение состоит из имен, оно не является классом имен. Как указывалось ранее, этот тезис отталкивается от критики теории Рассела, рассматривающего предложение как комплекс знаков, связываемых в процессе суждения. С точки зрения ЛФТв предложении символическую нагрузку несет не само по себе наличие знака, а его отношение к другому знаку, поэтому предложение не комплекс значков, а факт. Как пишет Витгенштейн, «знак предложения состоит в том, что его элементы, слова, соотносятся в нем друг с другом определенным способом. Знак предложения есть факт» [3.14]. Факт, в отличие от простого комплекса значков, характеризуется внутренней динамикой. Когда Рассел записывает предложение как комплекс значков типа [a, b, R, xRy], значение здесь имеет только наличие значка определенного вида; их порядок устанавливает субъективная компонента, конституирующая истинность и ложность. Для Витгенштейна же определяющим является то, что предложение само по себе связано с действительностью. И эту связь задает возможность знаков соотноситься определенным образом. Факт имеет внутреннюю динамику; комплекс же, как совокупность значков, статичен. Проясним это, отталкиваясь от понимания имени.
   Выше говорилось, что простые части элементарного предложения отличаются друг от друга только тем, что они различны, поскольку указание любого различия предполагало бы их непростоту ¹²⁸. Но как тогда их можно было бы различить? Только с точки зрения их отношения друг к другу. Поэтому наличие различных имен в предложении фиксируется через их отношение друг к другу при переходе от одной простой части к другой. Этот переход не всегда является непосредственным, но он должен быть обязательно; а именно: «Неверно: “Комплексный знак ‘ aRb’ говорит, что анаходится в отношении Rк b”, верно следующее: “ То, что‘ a’ стоит в определенном отношении к ‘ b’, говорит, что aRb”» [3.1432]. В элементарном предложении символизирует как раз соотношение простых частей, а не наличие значков определенного вида, поскольку именно отношение одного знака к другому задает их символические особенности ¹²⁹. Различая имена, мы в первую очередь обращаем внимание не на наличие знака, а на его отношение к другому знаку. Можно сказать, что в предложении ‘ aRb’ знаки ‘ a’ и ‘ b’ конституируются в качестве имен через отношение к неопределенной части ‘ R’, а в качестве разных имен – через отношение друг к другу. В ‘ fa’ ‘ a’ конституируется в качестве имени через отношение к ‘ f’ и т.п. Предложение – это комплексный знак, но не комплекс знаков. Знак ‘ aRb’ может пониматься как комплекс значков, но тогда он более не является предложением ¹³⁰. «То, что знак предложения является фактом, завуалировано обычной формой выражения – письменной или печатной» [3.143], поскольку обычно ‘ aRb’ мы склонны воспринимать как комплекс знаков, а не как динамическое соотношение его частей. Кроме того, поскольку любое выражение приобретает значение только в контексте предложения, комплекс вообще не должен рассматриваться как самостоятельное выражение, а характеризуется существенной неполнотой и на манер дескрипций Рассела может быть разложен определениями. Любой комплекс, хотя и не в действительности, но в возможности, согласно требованию полноты анализа может быть разложен до простых составляющих, каковыми выступают имена ¹³¹.
   Синтаксические отношения, конституирующие символическую функцию знака, Витгенштейн, называет формальными или внутренними, а знаки, чьи символические свойства выявляются посредством таких отношений, – выражениями формальных понятий. Например, формальное или внутреннее свойство имени быть знаком простой части предложения конституируется его отношением к другим частям предложения ¹³². Свойства подобного рода являются характеристическими чертами логической формы предложения, которая становится ясной, как только мы понимаем символическую функцию знаков, из которых оно построено. Например, понимание предложения ‘ fa’ задает соотношение знаков ‘ f’ и ‘ a’ с точки зрения прообраза ‘ (x’. Само это понимание не зависит от какого-то нового описания. Мы видим, как понимать предложение ‘ fa’, когда смотрим на конфигурацию знаков. Логическая форма предложения показаназнаком самого предложения. Таким образом, внутренние отношения и внутренние свойства знаков суть то, что показано знаком предложения, когда мы понимаем символические функции его частей.
   Синтаксические, или внутренние, отношения характеризуют не только соотношение знаковых компонентов элементарного предложения. Во внутренних отношениях друг к другу находятся и элементарные предложения. Здесь появляются важные для Витгенштейна понятия логического места и логического пространства. В афоризме 3.4 говорится: «Предложение определяет место в логическом пространстве. Существование этого логического места гарантируется существованием одних только составных частей, существованием осмысленного предложения». Обосновывая обращение к геометрическим понятиям пространства и места, вернемся опять к основному свойству элементарных предложений. Как уже говорилось, элементарные предложения взаимонезависимы. С точки зрения пространства взаимонезависимость любых предметов определяется тем, что они не могут занимать одно и то же место. Это же с геометрической интерпретации можно распространить на элементарные предложения. Место элементарного предложения предопределено его логическим свойством, а именно непротиворечивостью любому другому элементарному предложению. Следовательно, если дано элементарное предложение, то подразумеваются уже все предложения, которым оно не противоречит. Отношение элементарного предложения к другим элементарным предложениям внутреннее, поскольку само по себе элементарное предложение должно показывать, является ли другое предложение элементарным. Иными словами, элементарное предложение должно показывать формы тех предложений, которым оно не противоречит. Или, вернее сказать, элементарное предложение показывает, находится ли другое предложение вне его пространства, так же как геометрический предмет, даже будучи включен в комплекс других предметов, показывает, находится ли другой предмет вне его пространства. Отсюда следует, что «если даны элементарные предложения, то тем самым также даны всеэлементарные предложения» [5.524]. Так как с элементарным предложением вводятся все элементарные предложения, «предложение должно действовать на все логическое пространство» ¹³³.
   Под ‘всем логическим пространством’ Витгенштейн понимает не только элементарные предложения, но и их конструкции. Логическое пространство должно допускать не просто отдельные ‘кирпичики’, но и ‘блоки’, где относительно последних должна быть решена возможность входить в ту или иную взаимосвязь. Логика должна показать возможность построения из элементарных составляющих определенных конструкций, которые предопределены возможностями самих составляющих. Само по себе элементарное предложение является независимым знаком, но в полном логическом пространстве должно быть определено его место относительно других предложений. Таким образом, логическое место задается не просто предложением, но и его возможным отношением к каждому другому предложению: «Знак предложения и логические координаты – это и есть логическое место» [3.41]. Здесь логические координаты суть не что иное, как способность предложения входить во взаимосвязь с другими предложениями, «иначе через отрицание, логическую сумму, логическое произведение вводились бы – в координации – все новые элементы» [3.42].
   Понимать это следует видимо так: в самом элементарном предложении должна быть уже предрешена его возможность образовывать связи с другими предложениями. В противном случае пришлось бы допустить нечто помимо предложений, а именно логические союзы, обладающие особым значением. Однако поскольку каждое предложение действует на все логическое пространство, можно обойтись без введения таких элементов, поскольку на логическое пространство и его отдельные места можно указать с помощью самих предложений, не привлекая для этого знаки, обладающие собственным значением.
   Поясним это на примере. Пусть ‘ p’ является элементарным предложением. Его логическое место лежит вне всех других элементарных предложений. На логическое место вне самого ‘ p’ можно указать отрицанием, поскольку «отрицающее предложение определяет логическое место с помощью логического места отрицаемого предложения, описывая первое как лежащее вне последнего» [4.0641] ¹³⁴. Здесь отрицание не имеет собственного значения. Оно есть лишь способ указания на особое место в логическом пространстве, но само в этом пространстве никакого места не занимает. Если взять два элементарных предложения, то можно указать пространство, которое объединило бы их логические места в одно целое, например с помощью логического умножения ‘ p(q’. На это же пространство можно указать и по-другому, скажем, так ‘((( p( (q)’. Но в том и другом случае новые элементы знаков не имеют собственного значения, а являются лишь способами указания.
   Это предварительное объяснение логического пространства и логического места станет прозрачным ниже, когда будут рассматриваться операции истинности.

2.4.2 Изобразительная теория предложений

   Возможность быть истинным и быть ложным, указывающая на расчленимость, играет определяющую роль в установлении структуры элементарного предложения. Однако определяющая роль синтаксиса в установлении интенции значения элементов предложения еще не решает вопроса о том, как предложение ‘достает’ до действительности. Для предложения должна быть объяснена сама возможность быть истинным или быть ложным. Вне объяснения этой возможности интенция значения остается пустой, а все синтаксические категории – лишенными смысла. И хотя логику затрагивает лишь способность предложений к истинности и ложности, вне объяснения этой способности синтаксическое описание ‘повисает в воздухе’. Действительность должна сравниваться с предложением [4.05], синтаксические единицы которого устанавливают границы выразимости. Витгенштейн принимает корреспондентский тезис о том, что истина и ложь характеризуют связь предложения с действительностью, но трактует его особым, отличным, например от Рассела, способом. Один из основных тезисов ЛФТгласит: «Истинным или ложным предложение может быть только потому, что оно является образом действительности» [4.06]. В данном тезисе понятие действительности еще не специфицировано; во всяком случае, он еще не устанавливает, из каких элементов состоит действительность. Можно лишь сказать, что предложение способно представлять действительность. И в способе представления главную роль играет понятие образа (Bild): «Предложение – образ действительности. Предложение – модель действительности, как мы ее себе мыслим» [4.01].
   Привлекая для объяснения предложения понятие образа, Витгенштейн трактует последнее особым способом. Для правильного понимания, что такое образ, прежде всего следует учесть, что он не является репрезентацией предмета или класса предметов ¹³⁵. «Образ состоит в том, что его элементы соотносятся друг с другом определенным способом. Образ есть факт» [2.14; 2.141]. Для прояснения этого положения рассмотрим структуру, понимание которой не вызывает сомнения в своей образной природе. План Московского метрополитена предоставляет хороший пример. Обозначенные на плане пункты соответствуют действительным станциям, линии, соединяющие пункты, соответствуют отрезкам пути. Но суть изобразительного отношения этого плана не сводится к простому наличию элементов. Главное – в их взаимном расположении. Из плана ясно видно, какая станция предшествует, а какая следует за той, которая привлекла наше внимание, какая станция находится севернее, а какая южнее, как расположены относительно друг друга и относительно кольца отрезки, соединяющие эти пункты, и т.п. Во всех этих случаях видно, что изобразительное отношение к действительности фиксируется не простым наличием выделенных пунктов, но их отношением к другим элементам плана.
   Сам способ, выбранный в типографии для удобства отображения, очевидно, не является единственным. Те же самые отношения, позволяющие с достаточной степенью свободы ориентироваться в подземных коммуникациях, можно отобразить и другим способом, используя иной тип графического отображения или, скажем, создав трехмерную модель. Отобразительные особенности плана в любом случае фиксируются соотношением элементов (т.е. фактом), а не их наличием. «То, что элементы образа соотносятся друг с другом определенным способом, представляет, что так соотносятся друг с другом вещи» [2.15]. Образ характеризуется прежде всего структурой, т.е. соотношением элементов, которая может быть отображена различными способами. Но для того, чтобы образ был образом, необходимо, чтобы эта возможность была уже предрешена в выбранных способах отображения. Эту возможность Витгенштейн называет формой отображения: «Форма отображения есть возможность того, что предметы соотносятся друг с другом так же, как элементы образа» [2.151]. Форма отображения есть то общее, что образ имеет с действительностью. «То, что образ должен иметь общим с действительностью, чтобы он мог отображать ее на свой манер – правильно или ложно – есть его форма отображения» [2.17]. Конкретная реализация формы отображения зависит от природы образа [2.171]. Если необходимо отобразить пространственные соотношения, то образ может иметь пространственный характер. Если же вдруг необходимо отобразить различную освещенность или окраску станций метрополитена, то в образе это можно было бы представить с помощью красок различной интенсивности, где одна была бы раскрашена ярче другой или обозначена красками иного оттенка. Однако форма отображения во всех случаях связана с соотношением элементов образа.