Александр Журавлев - ДИАЛОГ С КОМПЬЮТЕРОМ

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

В связи с такой направленностью устремлений нас интересуют в сложных конструкциях лишь логико-структурные отношения между их частями и ничего больше. А отношения эти мы собираемся описывать следующим образом.

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

Поскольку мы начали «от Адама» (с построения первоначальной классификации), то в наших иллюстрациях синтаксических конструкций в дальнейшем будут действовать Адам и Ева. Кстати, отношения между ними проследить легче всего, поскольку никто третий их отношениям не мешал. Поэтому и обозначения введем такие: самостоятельные части — А и Е, зависимые части — а и е.

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

Всего в нашей классификации оказалось 9 типов таких конструкций, которые мы и рассмотрим по порядку, каждую в отдельности.

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

а (Е), что читается так: а является атрибутом Е. Пример: Известно, что Адам любит Еву. ←→

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

Известно, что Адам любит Еву

Адам, как известно, любит Еву.

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

Для нас-то и так понятно, какая часть самостоятельна, а какая зависима. Но компьютеру все это придется разжевывать очень основательно. Как видим, в синтаксисе форма настолько тесно сплавлена, слита с содержанием, что и при выявлении типов форм с необходимостью приходится обращаться к содержательным критериям.

А это весьма и весьма усложняет работу с компьютером. Как ему объяснить, что значит самостоятельное или зависимое предложение? По каким признакам он будет отыскивать их в реальном сложном предложении, в реальном тексте? Пока на такие вопросы нет однозначных ответов. Единственная надежда на то, что логические формулы с указанием структурных трансформаций, довольно четко и формализованно описывающие логико-структурные отношения частей внутри конструкций, помогут со временем обучить компьютер и этим премудростям.

Итак, в окончательном виде логико-структурная формула конструкций первого типа такова:

а (Е) ←→ Е

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

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