Книги по разным темам Pages:     | 1 |   ...   | 16 | 17 | 18 | 19 | 20 |   ...   | 28 |

Переменные, относящиеся к кванторам общности или существования, называются связанными переменными (в отличие от свободных) Областью действия квантора называется та часть формулы, к которой он относится; ее можно сравнить с той частью предложения в английском языке, к которой относится артикль (например, a big red block — большой красный кубик)

В языке исчисления предикатов есть также операторы, которые соответствуют отрицанию () и некоторым союзам (&, отчасти сходное с и; V, подобное или; —>, по значению напоминающее если..., то) естественного языка. Все эти соответствия между русским или английским языком и исчислением предикатов, однако, непросты и неоднозначны. Сопоставление естественного языка г языками математической логики (в частности, с целью составления правил автоматического перевода с одного языка на другой) представляет поэтому достаточно сложную задачу, над которой на протяжении последних десятилетий с успехом работают математики, логики и языковеды.

Существенные трудности, выявившиеся на первых же этапах этой работы, обусловлены некоторыми различиями языка исчисления предикатов и таких естественных языков, как русский. В языке исчисления предикатов нет элементов, которые прямо бы соответствовали определению (например, русским прилагательным, большой, красный и т. п.) Основным видом определений в таком языке, как русский, можно считать определительное предложение. Все другие определения выводятся из этих последних, зеленый кубик означает то же самое, что и кубик, который является зеленым. Робот, играющий с человеком в кубики, должен уметь понимать фразы типа цвет кубика — зеленый. На основании понимания таких фраз робот

118

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

Известным типам определительных предложений естественного языка соответствует логический оператор дескрипции: ( й x) S (х), что означает тот именно х, который обладает свойством S (дескрипция обозначается перевернутой греческой буквой й — йотой, поэтому этот оператор называют лйота-оператором). Область действия йота-оператора — все предложения с х в качестве свободной переменной. Например, (ш) (Рх& Qx) означает тот индивидуальный объект, который обладает свойством Р и не обладает свойством Q.

Дескриптом называется объект, для которого дается дескрипция. Если существует только один объект, удовлетворяющий условию, соответствующему области действия йота-оператора, то дескрипция и ее дескрипт удовлетворяют условию единственности. Согласно толкованию дескрипций в системе Гильберта и Бернайса, индивидуальные объекты которой — натуральные числа, дескрипции допускаются только в том случае, если они удовлетворяют условию единственности.

В естественном языке также обязательно предполагается существование и единственность объекта, описываемого в определительных предложениях того типа, который соответствует дескрипциям. Таковы предложения типа Писатель, который написал Юрия Милославского, жил во времена Гоголя. Предполагается, что именно этот писатель был единственным автором Юрия Милославского и что факт его существования бесспорен.

В тех случаях, когда в определительных предложениях естественного языка речь идет не об индивидуализированных объектах, в передаче того же смысла на логическом языке используются переменные, связанные квантором общности (□) или существования (з). Этим объясняется то, что предложение на естественном языке Pick up a big red block (Подними большой красный кубик) (т. е. кубик, цвет которого—красный) робот переводит в команду Найди все большие красные кубики. На квантор общности (□) в этом предложении указывает неопределенный артикль а.

Если в предложении использован определенный артикль the big red block (Этот единственный большой красный кубик), то можно в логической передаче того же смысла использовать йота-оператор [76, с. 176, примеч. 3], но лишь тогда, когда Дескрипция удовлетворяет условию единственности. Именно по этой причине команду pick up the big red block (Подними этот (единственный) большой красный кубик) робот реализует сразу же в качестве операции с конкретным объектом (без

119

предварительного выбора предметов из некоторого множества), но лишь в том случае, если имеется только один-единственный такой объект. В противном случае робот остановится и попросит объяснить ему, какой именно предмет имеется в виду.

Сравнение естественного языка с логическими позволяет увидеть в некоторых естественных языках как бы окаменелые следы того пути, которым человек пришел к открытию математики. Еще Спиноза заметил, что если человек держит в руке сестерций и драхму (или, чтобы сделать пример более современным, доллар и франк), у него не возникнет в уме понятия два до тех пор, пока он не обнаружит общего признака у этих разных предметов — не поймет, что это две монеты. Многие естественные языки сохранили в названиях числительных или особых счетных слов след того времени, когда пересчитывали конкретные множества предметов. Для каждого из таких конкретных множеств было особое числительное.

Напротив, некоторые другие естественные языки в выражении идеи числа скорее приближаются к тем современным логическим теориям, в которых множества рассматриваются без какого-либо уточнения того, какие индивидуальные объекты в них входят [76, с. 405]. В таких естественных языках выражения типа два переводятся как количественные предикаты (быть в количестве двух). Понятие числа в этих языках вводится как предикат от предиката: четыре стороны света понимается как предикат быть четырьмя от предиката быть сторонами света, две монеты как предикат быть двумя от предиката быть монетой. В современной китайской фразе чжэчжан чжоуцзы санътяо туй (у этого стола три ножки — буквально этот стол — три ножки) в состав предиката санътяо входит числительное сань (три) и классификатор длинных предметов — тяо (буквально—ветка). Следовательно, санътяо означает быть тремя— о длинных предметах — или является предикатом быть в количестве трех от предиката быть длинным (предметом). Буквально вся фраза означает этот стол — его ножки (как неотъемлемая его часть) имеются в количестве трех, будучи длинными предметами.

По степени близости к тому или иному типу искусственного логического языка разные естественные языки существенно отличаются друг от др\га. Характеристика свойств естественного языка в целом должна даваться на основании сопоставления между собой всех известных естественных языков. Нет оснований выбирать один из них (например, английский) в качестве эталона естественного языка и считать другие языки менее представительными.

В последнее время предположено сходство модели смысла

120

основных сочетаний глаголов с существительными (дополнениями и подлежащими) в таком европейском языке, как французский, и в формализованном языке механики Ньютона [42, 46]. Возможно, что это сходство (в духе мысли Дж. фон Неймана об историческом характере математики, являющейся таким же языком, как санскрит [80, с. 59]) следует объяснять единством происхождения. Математика Ньютона развилась на основе языков типа европейских (сам Ньютон разговаривал по-английски, но писал на тогдашнем международном языке науки — латинском). В основе глагольных категорий некоторых языков американских индейцев лежат представления, которые, по мысли известного лингвиста Уорфа, можно было бы сравнить скорее с физической моделью Эйнштейна.

Можно думать, что многообразие картин мира, описываемых естественными языками, основано на тех же особенностях устройства человека, что и многообразие научных языков, описывающих мир. Поэтому сравнение различных естественных языков с искусственными может представить интерес для современной науки в целом. Начало такого сравнения намного предшествует возникновению кибернетики и даже современной науки о языке — лингвистики, по возрасту намного превосходящей кибернетику. Еще Декарт, которого по праву считают не только предтечей многих достижений точной мысли последних трех веков, но и предвестником лингвистики второй половины нашего века, видел в математике особый язык, вырастающий из естественного (следует помнить, что при этом имеется в виду математика нового времени, отличная от той древнейшей — образной и правополушарной, которая могла и не иметь истоков в естественном языке левого полушария).

Сходную мысль неоднократно высказывал родоначальник современной квантовой механики Нильс Бор. Он считал, что необходимая для объективного описания однозначность определений достигается при употреблении математических символов именно благодаря тому, что таким способом избегаются ссылки на сознательный субъект, которым пронизан повседневный язык [117, с. 96].

Глубина последней мысли Бора становится ясной благодаря лингвистическим исследованиям недавнего времени. Они подтвердили, что для всех естественных языков в отличие от всех логических, общими являются прежде всего такие грамматические категории, которые определяются отношениями между говорящим и слушающим.

121

ГОВОРЯЩИЙ И СЛУШАЮЩИЙ

Основной точкой отсчета в описании речевого общения на любом естественном языке является субъект речи — говорящий человек (рис. 37).

В естественном языке говорящий обозначается формами первого лица (я), слушающий — формами второго лица (ты). Слушателей может быть много, поэтому второе лицо может быть либо в единственном числе (ты), либо во множественном (вы). Говорит же чаще всего один человек, если отвлечься от случаев хорового исполнения, в современных обществах не столь частых (мы кричим, мы поем, где мы относится ко множеству говорящих). Множественное число столы означает стол... (и сгол...)... и стол, но мы обычно означает не ля... (и я)... и я, а ля и еще кто-то (как русское мы с ним вдвоем).

Во многих языках мира есть особые формы первого лица множественного числа, обозначающие говорящего вместе со слушателем: мы (называемое линклюзивным или включающим ) в смысле я и ты вместе, мы включая и тебя тоже (рис. 37). Такое первое лицо множественного числа, включающее (или инклюзивное), отличается от первого лица множественного числа, которое обозначает говорящего вместе с другими людьми, но не включает второго участника акта речевого общения— слушающего (множественное число лэксклюзивное или лисключающее).

Известен рассказ о миссионере, который неудачно пытался обратить членов одного африканского племени, начав со слов: Мы все грешники, и мы все нуждаемся в обращении в веру, но, говоря на языке этого племени, употребил вместо включающей формы множественного числа форму лисключающую и поэтому слушатели его должны были понять так: Я и мои близкие (но не вы — мои слушатели), мы грешники, и я и все мои близкие, мы (но не вы — мои слушатели) нуждаемся в обращении в веру.

Разница между инклюзивными и эксклюзивными формами в русском языке обнаруживается в некоторых случаях в глаголе. Пожелание Отдохнем^ является инклюзивным, оно относится одновременно и к говорящему, и к слушающему, тогда как Отдохни^ обращено только к слушающему. Точно так же Пойдемте^ является инклюзивным обращением (к себе самому и к группе слушающих или к одному слушающему, если к нему обращаются вежливо а Вы), а Пойдите^ — форма, обращенная к слушающему (или слушающим).

Если первые два лица в естественных языках обозначают уча-

122

Рис. 37. Акт речевого общения и категория лица в естественном языке

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

Третье лицо по своему значению определяется отрицательно: тем, что человек (или люди) не участвует в речевом общении, не является ни говорящим (первым лицом), ни слушающим (вторым лицом). С этим значением третьего лица согласуются и особенности его выражения во многих языках, где оно в глаголе часто обозначается отсутствием какого бы то ни было оконча-

123

ния в отличие от первого и второго лиц, имеющих особые окончания.

Естественные языки различаются лишь тем, как в них выражается лицо: в глаголе (как это обычно в большинстве языков мира), в личном местоимении или же в каких-либо других фирмах.

В русском предложении я думаю лицо (первое, указывающее на то, что мыслит говорящий — субъект речи, являющийся одновременно и сознающим себя субъектом мысли) выражено личным местоимением (я) и окончанием глагола (думаю). В аналогичном латинском предложении cogito (я мыслю) нет необходимости в выражении лица посредством особого личного местоимения: латинское личное местоимение ego (я) может быть добавлено только для усиления (например, чтобы передать смысл именно я, а не кто-нибудь другой).

В английском / think (я мыслю) лицо выражено только местоимением, что видно из противоположного ему you think (ты думаешь). Этим объясняется разница между латинским изречением Декарта cogito ergo sum (я мыслю, следовательно, я существую), где союз ergo связывает две глагольные формы первого лица, и английским переводом этой фразы / thihk, therefore I am, в котором при каждом сказуемом — глаголе в форме первого лица (мыслю, существую) ставится подлежащее—личное местоимение первого лица, как и в обычном русском переводе изречения. Отличие русского способа выражения категории лица посредством личного местоимения от латинского обозначения с помощью личного окончания отчетливо видно в русских формах прошедшего времени, где в глаголе (я думал, ты думал, он думал) лицо не выражается, оно передается личным местоимением.

Есть некоторые языки, где категория лица почти не выражена в глаголе, но и личные местоимения тоже употребляются в них ограниченно. Примером могут служить такие языки Восточной Азии, как китайский и литературный корейский язык. Однако именно в подобных языках наглядно видна связь этой категории с характером речевого общения. В разговоре с незнакомым человеком на литературном корейском языке (как и в литературном китайском) употребление личных местоимений считалось невежливым, они заменялись другими словами: господин, учитель, хозяин дома и т. п. Такое почтительное наименование слушающего составляет одну из характерных черт феодально-вежливых языков многих стран Азии определенного периода. Здесь отчетливо видна зависимость языковых форм выражения от самой социальной ситуации, преобладавшей в большинстве случаев речевого общения (рис. 38).

124

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

Pages:     | 1 |   ...   | 16 | 17 | 18 | 19 | 20 |   ...   | 28 |    Книги по разным темам