Введение в общую теорию языковых моделей

К этому правильному заключению С.К. Шаумяна мы присоединили бы только одно соображение, основанное на том, что в термине «модель» все же имеется какое-то весьма оригинальное семантическое зерно, заставляющее бесчисленных авторов все же пользоваться этим термином и выставлять на первый план, несмотря на его путанность и противоречивость. В каждом из приведенных у нас выше пониманий этого термина, несомненно, содержится какой-нибудь оттенок или какой-нибудь элемент соответствующего универсального и совершенно необходимого для науки понятия. То обстоятельство, что современное научное мышление еще не пришло к единообразию в этом вопросе и что каждый раз возникают все новые и новые оттенки этого понятия и этого термина, подобного рода обстоятельство ни в каком случае не может приводить нас в уныние и уже тем более не должно приводить нас к попытке обойтись без этого термина и без этого понятия. Нужно только потребовать, чтобы авторы, конструирующие категорию модели и допускающие этот термин, не поддавались описанному у нас выше семантическому разнобою, но давали это понятие и этот термин в максимально ясном, максимально последовательном и непротиворечивом виде. К сожалению, этого никак нельзя сказать о многих авторах, использующих это понятие и этот термин в своих исследованиях.

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

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

3. Что такое языковая модель?

Схема конструирования

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

В чем же тогда дело и что нового дает нам здесь математическая лингвистика в сравнении с традиционной?

Теория множеств