Точно так же имеет вполне практическое значение не только то, что мы называем «исходным элементом» или «принципом» каждого данного звука, но и конкретный учет всех состояний данного звука в зависимости от обстановки, в которую он попадает. Тут тоже нельзя отмежеваться от структурного рассмотрения. Мало перечислить эти основные признаки или эти конкретные состояния. Еще надо уметь перечислить это в известном смысловом порядке, перечислить эти признаки или состояния в их смысловом движении, в их подвижной структуре. И, поскольку структура эта может выступать с разных своих сторон, в разных своих моментах и в разных комбинациях этих моментов, мы должны зафиксировать еще и такой принцип, который верно отразил бы и тем самым для нас гарантировал бы наглядность картины всякой такой комбинации, интуитивную данность всех этих комбинированных частичных проявлений данного звука. Что же это за принцип, если его формулировать точно, научно и математически? Это и есть принцип разбиения исходного множества признаков данного звука на всевозможные и в нем таящиеся подмножества.
Математическая точность в синтезе с элементарной наглядностью и простотой – вот в чем заключается практическое значение теоретико-множественной трактовки теории моделей.
Однако, чтобы дать искомое нами точное определение фонемы, введем несколько более специальных терминов. Они должны конкретизировать нашу общую теорию моделей именно для целей языкознания.
Неоднородность признаков фонемы
Определим, прежде всего, чтó такое несовместимые признаки. Если в языке имеется хотя бы один звук, в котором совмещается два данных признака, эти последние считаются совместимыми. Или, как говорят математическим языком, совместимы те два признака, которые образуют собою подмножество признаков, соотнесенное с каким-нибудь звуком речи. В противоположном случае признаки считаются несовместимыми.
Возьмем русский звук «с», который является губным, глухим, фрикативным и твердым. Эти четыре признака, очевидно, совместимы, так как любое составленное из них подмножество признаков соотнесено в данном случае с вполне определенным звуком С. Если, однако, мы захотели бы ввести сюда еще и признак мягкости, то он оказался бы несовместимым с твердостью звука С; и вообще не существует ни одного звука, в котором признаки твердости и мягкости были бы совместимы. Из этого определения совместимости или несовместимости с полной ясностью вытекает намерение математической лингвистики с возможно большей четкостью охарактеризовать структурный смысл изучаемых в ней фактов языка.