220-1 (622659), страница 7
Текст из файла (страница 7)
Формальные понятия вводятся с использованием соответствующих переменных. Присутствие переменных уже указывает на их возможную область определения. «Формальное понятие уже дано с предметом, который под него подводится» [4.12721], поэтому вводить одновременно формальное понятие и то, что под него подпадает, бессмысленно. Скажем, вводить как исходные переменную ‘ x ’ и константу ‘а’ для указания на предметы нельзя. Ведь правильное использование ‘ x ’ в ‘ fx ’ уже подразумевает, что ее место может быть занято ‘ a ’. Если же ‘ a ’ вводится особо, то это должно подразумевать, что у а есть какое-то особое свойство. Но последнее может быть выражено только содержательным понятием в осмысленном предложении, а стало быть, ‘ a ’ тогда не было бы неопределяемым. Все неопределяемые должны вводиться со знаком формального понятия, в противном случае возникают псевдопредложения. Если помимо формального понятия предмет в качестве исходного вводится имя ‘Сократ’, то необходимо было бы указать, что Сократ является предметом, обладающим особым свойством. Но указание на то, что Сократ является предметом, бессмысленно, поскольку это должно показываться логической формой предложения, а обладание особым свойством выходит за рамки внутренних свойств и потому не может вводиться как логическое неопределяемое. Все, что касается исходных понятий логики, должно вводиться на уровне формальных понятий, особенности которых показывает синтаксис.
В заблуждение, связанное с нарушением этого требования, как считает Витгенштейн, впадает Рассел, который наряду с понятием функции в качестве исходных вводит конкретные функции [4.12721]. В самом деле, чтобы предотвратить возникновение парадоксов, он в аксиоме сводимости постулирует существование предикативных формально-эквивалентных функций. Но это может свидетельствовать лишь о том, что формальное понятие функции изначально было введено неправильно. Зачем Расселу вдруг понадобилось уточнение? Если ориентироваться на синтаксис, то, как показано выше, правильное использование формального понятия функции само предотвращает появление парадоксов. Надлежащее использование переменных, определяемое логической формой предложения, само показывает, что всякая функция является предикативной.
Черты формальных понятий полностью определены синтаксисом предложений, который задает символическую интенцию знаков, с помощью которых построено это предложение. Но сами эти черты не могут быть выражены в каком-то другом предложении: «Вопрос о существовании формального понятия бессмыслен. Ибо ни одно предложение не может на такой вопрос ответить» [4.1274]. Предложение показывает символическую интенцию своих знаков, и тому, кто не видит, бесполезно давать объяснения, поскольку объяснение должно опираться на предложения, символические особенности которых уже известны. Но тому, кто не понимает символических особенностей первых, еще более неясными были бы символические особенности вторых. В этом случае лишь возникла бы распространенная методологическая ошибка: Объяснение неизвестного через еще более неизвестное.
Здесь находит свое завершение тема, высказанная в Заметках, продиктованных Дж.Э. Муру. Синтаксис может быть только показан предложениями, но не может быть высказан в других предложениях[86] . «То, что может быть показано, не может быть сказано» [4.1212], поскольку образ тогда должен был бы выйти за рамки своей формы отображения [4.12]. Образ в этом случае опредмечивался бы, выступал бы не как факт, а как предмет, которому приписываются свойства, что бессмысленно [4.1241]. Говорить о логической форме можно было бы только в том случае, если бы она выступала в качестве обладающего внешними свойствами предмета, но тогда, необходимо было бы выйти за рамки возможности изображения, необходимо было бы «поставить себя вместе с предложениями вне логики, т.е. вне мира» [4.12]. Синтаксис нельзя объяснить в том смысле, что нельзя сформулировать правила функционирования знаков. Его можно только прояснить, показывая, как функционируют знаки: «Теперь мы понимаем наше чувство, что обладаем правильным логическим пониманием, если все правильно в нашем знаковом языке» [4.1213], где символику определяет не наличие знака, а его отношение к другим знакам. Символическую интенцию элементов предложения характеризует только синтаксическая структура, т.е. логическая форма. И как форма отображения она не может быть высказана предложением, она им показана.
5. Операциональный принцип контекстности
Изложенные выше концепции Витгенштейна оставляют открытым вопрос о том, как гипотетические конструкции, привлекающие формальные понятия предмета или состояния дел, применимы к языку повседневного общения. Этот вопрос вовсе не является праздным. В рамках общей постановки проблемы, где Витгенштейн пытается объяснить сущность любого языка, открытой остается задача объяснения того, каким образом гипотетические конструкции могут быть использованы в отношении естественного языка. Действительно, ни имена, ни предметы не могут предоставить ни одного примера. То, что в естественном языке понимается под именем или предметом, весьма далеко отстоит от того, что в ЛФТ понимается как подпадающее под соответствующие формальные понятия. Непосредственное следование логическому синтаксису далеко увело бы от потребностей языка повседневного общения. Но это не может служить аргументом в пользу того, что связь естественного языка с реальностью имеет какой-то иной характер. Логика, как выражение целесообразности любого языка, показывает символические особенности всякого знака, как гипотетического, так и реального[87] . Вопрос о сущности языка не решается Витгенштейном специально для идеального символического языка, но если такой вопрос может быть решен вообще, он должен решаться для языка как такового. В перспективе ответить нужно лишь на один вопрос: “Можем ли мы по праву применять логику, как она изложена, скажем, в Principia Mathematica к обычным предложениям без оговорок?”[88] . Проблема, собственно, в том, что, ориентируясь на идеальные структуры, можно смоделировать логическую форму реальности и показать ее в синтаксической структуре идеального языка. Но как решить эту проблему для языка повседневной жизни?[89] Структура витгенштейновой онтологии включает предметы, которые по определению просты и образуют субстанцию мира, но нельзя привести ни одного примера подобного предмета. В этом заключается их гипотетичность. То же самое относится к состояниям дел. Стало быть, если онтология имеет лишь идеальный, гипотетический характер, то и проблемы, поставленные Витгенштейном, могли бы быть решены только для того языка, который соответствует такой реальности, т.е. также имеет гипотетический, идеальный характер. Обыденный же язык соотносится с объектами повседневности, очевидно являющимися составными, и оперирует выражениями, которые мы считаем именами, но которые, с точки зрения гипотетически простых предметов, именами являться не могут.
Эту проблему Витгенштейн отчетливо ставит в подготовительных материалах. В частности, он пишет: «В чем состоит моя основная мысль, когда я говорю о простых объектах? Разве ‘составные предметы’ не удовлетворяют в конце концов как раз тем требованиям, которые я, казалось бы, устанавливал для простых предметов? Если я даю этой книге имя ‘ N ’ и говорю теперь о N , разве отношение N к такому ‘составному предмету‘, к таким формам и содержаниям по существу не то же самое, которое я мыслил себе между именем и простым предметом?»[90] . И далее: «Совершенно ясно, что я фактически могу соотнести имя с этими часами, как они лежат здесь передо мной и идут, и что это имя будет иметь значение вне какого бы то ни было предложения в том самом смысле, который я вообще когда-либо придавал этому слову, и я чувствую, что это имя в предложении будет соответствовать всем требованиям, предъявляемым к ‘именам простых предметов’»[91] .
Решение этой проблемы можно найти в тех же подготовительных материалах. То, что может рассматриваться и обычно рассматривается в качестве имени, как говорит Витгенштейн, «сводит свое полное комплексное значение в единицу»[92] . Но позиция имени определена лишь синтаксической разработкой структуры, т.е. в контексте, так как «синтаксическое употребление имен полностью характеризует форму составных предметов, которые они обозначают»[93] . Комплескность значения не может служить аргументом, поскольку значение знака задает синтаксис. Если на что-то указывает имя, то с точки зрения такого указания оно должно рассматриваться как простое. Последнюю цитату вполне можно рассматривать как формулировку принципа контекстности. Правда, тезис, что имя обретает значение только в контексте предложения, имеет здесь операциональный смысл, который позволяет использовать концептуальные основания и построенные на их основе функциональные исчисления к выражениям обыденного языка. Вопрос о действительном значении элементов предложения решает их применение. Если при обращении к естественному языку в предложении “Сократ – человек” выражение ‘Сократ’ с точки зрения синтаксической структуры рассматривается как имя, это обеспечивает восприятие его значения в качестве простого. В последнем случае принцип контекстности есть не что иное как мостик, перекинутый от идеальных моделей к многообразию повседневной жизни. Если выражение, пусть и обозначающее комплексный предмет, в контексте предложения можно использовать как структурный элемент, соответствующий имени, значит, к нему применим анализ, аналогичный анализу последнего. То же самое касается и остальных элементов предложения.
[44] Дневники 1916-1918. С.37.
[45] Там же. С.17.
[46] Там же. С.114.
[47] О том, что подобные предложения Витгенштейн не считал элементарными, можно, судить по его более поздней работе (см.: Витгенштейн Л. Несколько заметок о логической форме — Логос: философско-литературный журнал, М.: Гнозис, 1994. С.210-216), где данная точка зрения в некоторых аспектах подвергается критике. В частности, там он считает, что характеризующая качество степень должна включаться в элементарное предложение. Поэтому элементарные предложения, даже если они не противоречат друг другу, могут друг друга исключать.
[48] Дневники 1916-1918. С.86.
[49] Эта позиция отличается от той, что была прорисована в Заметках по логике, где функциональные знаки обладали собственным, отличным от имен значением, хотя оно и было вторичным, извлекаемым из поведения фактов.
[50] Г.Энском в Introduction to Wittgenstein’s Tractatus (а следом за ней и другие авторы, например, Fogelin R.J. Wittgenstein.– Routledge & Kegan Paul , London , 1976.– P .49) предлагает записывать полностью проанализированные элементарные предложения, из которых состоит идеальный логический язык, в виде ‘ a – b – c – d ’. В частности, она пишет: «Если бы мы задали ‘ a – b – c – d ’ как элементарное предложение, тогда ‘ a – b – c –( )’ и ‘ a –(‘)–(‘‘)– d ’, были бы двумя различными функциями, которые можно было бы представить как ‘ fx ’, ‘Ф( x , y )’ соответственно; и репрезентация ‘ a – b – c – d ’ в виде значения этих двух функций была бы ‘ fd ’, ‘Ф( b , c )’» ( P .101). Здесь функциональные знаки также рассматриваются как совокупности имен. Однако если установлен полный состав функциональных знаков, тогда от них не остается ничего; в этом случае «(‘)–(‘‘)–(‘‘‘)–(‘‘‘‘) было бы формулой, ‘логической формой – логическим первообразом’ элементарного предложения» (Р.101). Здесь функциональный знак исчезает, поэтому «у Витгенштейна в полностью проанализированном предложении мы не находим ничего, кроме множества аргументных мест, наполненных именами объектов; здесь не остается выражения такого вида, которое могло бы рассматриваться как обозначение понятия» (Р.110). С такой интерпретацией мы не согласны по следующим причинам. Во-первых, Витгенштейн не строит идеальный логический язык, состоящий из полностью проанализированных предложений, а стремится прояснить строй любого языка. Полный состав предложения указать невозможно, полностью проанализированное элементарное предложение является лишь абстракцией, затребованной логическим анализом. Во-вторых, если бы можно было a priori предоставить конкретный пример элементарного предложения в виде констелляции имен ‘ a – b – c – d ’, как предлагает Энском, Витгенштейн не преминул бы воспользоваться случаем. Однако он специально указывает, что любые примеры форм элементарного предложения были бы искусственны [5.554] и «желание их дать должно вести к явной бессмыслице» [5.5571]. В логике относительно элементарного предложения можно лишь указать части, не разлагаемые далее определениями, предполагая, что этим еще не все определено. Поэтому в знаке элементарного предложения функциональный знак не может исчезнуть.
[51] В письмах к Огдену Витгенштейн следующим образом разъясняет афоризм 3.326: «Для того чтобы распознать символ в знаке, мы должны посмотреть, как этот знак осмысленно используется в предложениях. Т.е. мы должны наблюдать за тем, как используется знак в соответствии с законами логического синтаксиса. Таким образом, ‘осмысленный’ означает здесь то же самое, что и ‘синтаксически корректный’» ( Letters to C . K . Ogden . P .59).
[52] В ранней версии ЛФТ Витгенштейн следующим образом мотивирует принцип синтаксической контекстности: «Если бы имена имели значение и когда они комбинируются в предложения, и вне них, невозможно было бы, так сказать, гарантировать, что в обоих случаях они имели бы одно и то же значение в одном и том же смысле слова» ( Prototractatus , 2.0122). Парадокс Рассела как раз основан на таком смешении, поскольку знаку f , рассматриваемому вне предложения, придается одно значение, а при вхождении в предложение в различной связи он приобретает разные значения.
[53] В Prototractatus первичность синтаксиса отождествляется с требованием определенности смысла: «Требование определенности можно было бы сформулировать также и следующим образом: Если предложение должно иметь смысл, синтаксическое употребление каждого из его частей должно быть установлено заранее» [3.20103]. В ЛФТ требование определенности смысла является аналогом требования полноты анализа [3.23–3.251]. Стало быть, первичность синтаксиса и полнота анализа если и не равнозначные, то тесно связанные требования.
[54] Здесь следует учесть, что, используя ‘ a ’ и ‘ b ’ в качестве различных имен, в расчет принимаются не различия в их очертаниях, поскольку таковые свидетельствовали бы об их непростоте. Подобные различия не относятся к сущности знакового изображения, а свидетельствуют лишь о принципиальной ущербности любой знаковой системы, которая пытается установить различия значков, апеллируя к их внешнему виду.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
