Таким образом, в этом параграфе о дедуктивных методах в лингвистике автор, может быть, и оперирует каким-то точным определением языковой модели, но этого определения для читателя он не раскрывает.
Наконец, понятие языковой модели автор еще раз пытается вскрыть в §2, где он противопоставляет модель и ее интерпретацию. Автор исходит из традиционной в математике логизации математического предмета, которая выставляет сначала самые общие категории математического мышления, не подлежащие никакому определению, ясные сами собой, затем – связь этих категорий в небольшое число основных аксиом, лежащих в основе данной математической дисциплины, и, наконец, путем чистой дедукции из этой системы аксиом выводится конкретное содержание данной математической дисциплины в виде известного числа тех или других теорем, доказываемых на основе допущенных категорий и аксиом. Лингвист, который знакомится с подобного рода утверждениями автора, прежде всего спросит себя: при чем тут математика и как доказать полное тождество математических и лингвистических дедукций? Никакого доказательства в рассматриваемой книге мы не находим, а оно, несомненно, есть или может быть. Почему же оно в таком случае не приводится в руководстве, предназначенном для лингвистов? Кроме того, если существует полная аналогия в логизации математики и лингвистики, то ведь логизация какой-нибудь математической дисциплины прямо и начинается с установления исходных категорий и из объединения этих категорий в аксиомы. Так, например, логизация геометрии начинается с фиксирования основных геометрических образов: точки, линии, плоскости тела. Лингвист, желающий построить лингвистику по типу математики, казалось, и должен был бы начать с установления такого же рода первичных и далее уже не разложимых категорий или образов, за которыми тут же должны были последовать и соответствующие лингвистические аксиомы. Тогда это была бы очевидная и понятная логизация или формализация всей лингвистической области, и всякий лингвист только приветствовал бы подобное логическое упорядочение своего спутанного и слишком уж сложного предмета. Однако никакого намека на подобного рода языковую логизацию в разбираемой книге мы не находим. И читателю приходится принимать на веру, что между математикой и лингвистикой есть такая близкая аналогия и смутно гадать на тему, какие именно исходные категории и аксиомы лежат в основе его предмета.
Однако посмотрим, что же именно пишет автор, чтобы определить языковую модель? С удивлением мы отмечаем, что в начале §2 автор не только ничего не говорит специально о языковой модели, но выставляет такое положение, которое можно применить ко всем моделям вообще и даже не только к языковым моделям: «Из всего многообразия понятий, накопленных данной наукой, отбираются некоторые, которые удобно считать первичными» (с. 9). Во-первых, всякая реальная наука, не преследующая никаких целей логизации или формализации и даже не оперирующая понятием модели, всегда начинает с установления самых общих и основных понятий. Тут нет ничего характерного для учения о моделях. Во-вторых, здесь характерен субъективно-идеалистический и релятивистский налет в самом способе выражения. Употребляется такой термин, как «отбор» понятий. А в других случаях математические лингвисты щеголяют также термином «набор» понятий или элементов. Подобного рода термины тоже берутся из релятивистской математики, на каждом шагу подчеркивающей полную произвольность и субъективность понятий, выбираемых в качестве основных. Тут же говорится об «удобстве» считать те или иные понятия первичными. Мы привыкли думать, что первичными понятиями в каждой дисциплине являются вовсе не те, которые «удобно» «отобрать» и «набрать» в качестве первичных. С нашей точки зрения, первичны те понятия, которые первичны для самого бытия, для той действительности, которая отражается в понятиях. При чем тут «отбор» или «набор» или «удобство»? Такие выражения совершенно ничего не дают для логической структуры какой-нибудь области, будь то математическая или лингвистическая, а только отражают собою субъективно-идеалистическую или релятивистскую направленность соответствующих мыслителей или авторов.