В математике и компьютерных науках рекурсивными функциями
называются такие функции, которые могут «использовать самих себя в качестве аргументов», это значит, что, применив эту функцию единожды и получив новую сущность из старой, вы можете вновь применить эту функцию уже к новой сущности и так далее, до бесконечности. Этот повтор позволяет создавать множество вложений, наподобие матрешки. Истинная рекурсия – мощный математический инструмент, однако существуют ее подобия, которые выполняют аналогичные действия, не будучи истинной рекурсией. Стандартным примером рекурсии в языке может служить встраивание придаточных предложений одно в другое: вот кот, который пугает и ловит синицу, которая часто ворует пшеницу, которая в тёмном чулане хранится, в доме, который построил Джек[168]. Очевидно, мы можем так добавлять придаточные сколько душе угодно, ad infinitum, и одним из естественных свойств языка является его бесконечность. Этот детский стишок – далеко не самая длинная грамматическая конструкция из используемых. Однако существуют и другие способы добиться бесконечности. Том съел горошину, и еще горошину, и еще горошину, и… можно тоже продолжать бесконечно долго (и бесконечно занудно), но это будет итерация, а не рекурсия. Но даже если рекурсия и действует в естественном языке, то в нем должно, по идее, действовать и достаточно четкое ограничение, сколько рекурсивных вложений может отследить собеседник. Если вы способны уловить семь, то вы просто «черный пояс» в мире болтунов; но заметили ли вы, что я втянул вас в демонстрацию того, что даже у вас есть пределы, поскольку в этой фразе вложений всего шесть. Более того, в джунглях Амазонки обнаружен, по крайней мере, один язык – пирахан[169], в котором вообще нет таких возможностей (Everett, 2004), а есть относительно простые функции, которые выглядят рекурсивными до тех пор, пока вы не попробуете применить их к себе более одного раза (дважды или … n раз, где n – любое целое число). В программе Microsoft Word, к примеру, можно делать подстрочные или надстрочные надписи:базовая мощность
и
человек женский пол
Но попробуйте сделать еще одну надстрочную надпись к «базовой мощности» – по идее, это должно работать, однако не работает! В математике вы можете приделывать мощность к мощности и так далее, но не можете заставить Microsoft Word вывести их на экран (существуют другие редакторы, которые позволяют проделывать такие вещи, например TeX). Но уверены ли мы, что человеческие языки, по крайней мере некоторые, могут образовывать настоящие рекурсии, или все они похожи на Microsoft Word? Может ли наша интерпретация грамматик как рекурсивных быть скорее элегантной математической идеализацией, чем действительным отражением «движущихся частей» грамматики?
Пинкер и Джекендофф представили убедительные аргументы, подтвержденные эмпирическими наблюдениями и опровергающие идеи Хомского, выдвинутые им в поддержку его минималистской программы и вытекающих из нее следствий85
. Они показали, что утверждение о том, что Merge может выполнять всю работу, выполненную более ранними системами, ложно или не имеет смысла, поскольку последователи Хомского вводят множество конструкционных особенностей, официально ими отвергаемых, в качестве уже существующих в Merge конструкционных изменений. По иронии судьбы, если мы проигнорируем антагонизм Хомского по отношению к естественному отбору и тому факту, что именно он ответственен за появление врожденных способностей к языку, предложенные им схемы вполне подходят для описания конструкций зарождающейся грамматики, из которых появились все поздние грамматические мемы.Более того, вполне резонно предположить, что сам процесс соединения слов (тот самый Merge) был не случайным шагом, не добавлением соли в суп, а постепенным развитием более частных случаев, которые и сегодня можно увидеть в действиях детей (да и взрослых): поставь кубик на кубик; используй свой большой каменный топор, чтобы сделать топор поменьше, а из него – еще поменьше; положи ягоду в кучку, сложи кучки в большую кучу, большие кучи в гигантскую кучу; положи кучку в чашку, чашку в контейнер, контейнер в сумку и так далее. Является ли хоть один из этих процессов истинной
рекурсией? Но это неправильный вопрос, точно так же, как и вопрос: в какой момент гоминин становится настоящим Homo sapiens? Мы знаем, что правилом эволюции являются постепенные превращения, и постепенное возникновение (чего-то вроде) настоящей рекурсии, достаточно органичной для природного языка, выглядело бы настоящим шагом вперед, если бы мы могли идентифицировать его.