Логика и лингвистика 6 страница

4.6.2. КОНКРЕТНЫЕ И АБСТРАКТНЫЕ ПОНЯТИЯ. Понятия делятся на конкретные и абстрактные в зависимости от того, что они отражают: предмет (класс предметов) или его свойство (отношение между предметами). Понятие, в котором мыслится предмет или совокупность предметов как нечто самостоятельно существующее, называется конкретным; понятие, в котором мыслится свойство предмета или отношение между предметами, называется абстрактным. Так, понятие "книга", "свидетель", "государство" являются конкретными, понятия "белизна", "смелость", "ответственность" - абстрактными. С античных времен по поводу реальности существования конкретных и абстрактных понятий идет спор между номиналистами и реалистами. Номинализм отрицает онтологическое (бытийное) значение универсалий (общих понятий). Номиналисты считают, что универсалии существуют не в действительности, а только в мышлении. Так киник Антисфен, стоики критиковали теорию идей Платона: идеи, считали они, не имеют реального существования и находятся только в уме. В лингвистике этот спор косвенным образом отразился при выборе единого критерия для классифицирования имен существительных по их лексико-грамматическим разрядам.

4.6.3. ПОЛОЖИТЕЛЬНЫЕ И ОТРИЦАТЕЛЬНЫЕ ПОНЯТИЯ. Понятия делятся на положительные и отрицательные в зависимости от того, составляют ли их содержание свойства, присущие предмету, или свойства, отсутствующие у него. Понятия, содержание которых составляют свойства, присущие предмету, называются положительными. Понятия, в содержании которых указывается на отсутствие у предмета определенных свойств, называются отрицательными. Так, понятия "грамотный", "порядок", "верующий" являются положительными; понятия "неграмотный", "беспорядок", "неверующий" - отрицательными. Не следует смешивать логическую характеристику понятий положительных и отрицательных с политической, нравственной, юридической оценкой тех явлений, которые они отражают. Так, "преступление" является положительным понятием, а "бескорыстие" - отрицательным. В русском языке отрицательные понятия выражаются словами с отрицательными приставками не -, без -, а -, де -, ин - и др.

4.6.4. БЕЗОТНОСИТЕЛЬНЫЕ И СООТНОСИТЕЛЬНЫЕ ПОНЯТИЯ. Понятия делятся на безотносительные и соотносительные в зависимости от того, мыслятся ли в них предметы, существующие раздельно или в отношении с другими предметами. Безотносительные понятия отражают предметы, существующие раздельно и поэтому мыслящиеся сами по себе, вне связи с другими предметами. Таковы понятия "студент", "государство". В соотносительных понятиях отражаются предметы, существующие только в связи и одновременно друг с другом и поэтому не мыслящиеся один без другого, например, понятия "родители" и "дети", "начальник" и "подчиненный", "причина" и "следствие". Особую систему соотносительных понятий образуют терминологические понятия.

4.7. ОТНОШЕНИЯ МЕЖДУ ПОНЯТИЯМИ. ОБЩАЯ КЛАССИФИКАЦИЯ. По отношению друг к другу понятия делятся на сравнимые и несравнимые. Сравнимыми называются понятия, имеющие некоторые общие (интегральные) признаки, позволяющие сравнивать эти понятия друг с другом ("консонантизм", "вокализм" - "фонетическая система"). Несравнимыми называют понятия, не имеющие общих признаков (например, "квадрат" и "редукция"). В логических отношениях могут находиться только сравнимые понятия, которые делятся на совместимые и несовместимые. Понятия, объемы которых полностью или частично совпадают, называются совместимыми. Понятия, объемы которых не совпадают ни полностью, ни частично, называются несовместимыми (или внеположными).

4.7.1. ОТНОШЕНИЯ СОВМЕСТИМОСТИ. Существует три вида отношений совместимости: равнозначность, пересечение (перекрещивание), подчинение (субординация). Отношения между понятиями принято изображать с помощью круговых схем (кругов Эйлера-Венна).

4.7.1.1. ОТНОШЕНИЯ РАВНОЗНАЧНОСТИ. В отношении равнозначности находятся понятия, в которых мыслится один и тот же предмет. Объемы этих понятий совпадают, хотя их содержание различно ("Москва" и "столица России", "первый в мире космонавт" и "Ю. А. Гагарин", "дистрибуция звука" и "положение звука по отношению к соседним звукам в слове или синтагме").

4.7.1.2. ОТНОШЕНИЯ ПЕРЕСЕЧЕНИЯ. В отношении пересечения находятся понятия, объем одного из которых частично входит в объем другого ("филолог" и "спортсмен"; некоторые филологи являются спортсменами и некоторые спортсмены являются филологами).

4.7.1.3. ОТНОШЕНИЯ ПОДЧИНЕНИЯ. В отношении подчинения (субординации) находятся понятия, объем одного из которых полностью входит в объем другого. Понятие, имеющее больший объем и включающее объем другого понятия, называется подчиняющим, а понятие, имеющее меньший объем и составляющее часть объема другого понятия, - подчиненым ("высшее учебное заведение" и "НГУ", "художник" и "маринист", "ученый" и "филолог", "филолог" и "русист"). Если в отношении подчинения находятся два общих понятия, то подчиняющее понятие называется родом, подчиненное - видом. Если в отношении подчинения находятся общее и единичное понятия, то подчиняющее понятие является видом, а единичное - индивидом ("студент" (А) - "филолог" (В) - "Муравьев" (С)).

4.7.2. ОТНОШЕНИЯ НЕСОВМЕСТИМОСТИ. Существует три вида отношений несовместимости: соподчинение (координация), противоположность (контрарность) и противоречие (контрадикторность).

4.7.2.1. КООРДИНАЦИЯ. Два понятия находятся в отношении соподчинения к третьему, если они не имеют общих элементов объемов и это третье понятие оказывается подчиняющим для каждого из них. Например, "дерево" - (А), "хвойное дерево" - (В),"лиственное дерево" - (С).

4.7.2.2. КОНТРАРНОСТЬ. В отношениях противоположности находятся понятия, одно из которых содержит некоторые признаки, а другое эти же признаки отрицает, замещая их исключающими признаками ("черный" и "белый", "тяжелый" и "легкий", "отличник" и "неуспевающий").

4.7.2.3. КОНТРАДИКТОРНОСТЬ. В отношении противоречия находятся понятия, одно из которых содержит некоторые признаки, а другое эти же признаки исключает ("черный" - "нечерный", "тяжелый" - "нетяжелый", "успевающий" - "неуспевающий"). Между двумя противоречащими понятиями не может быть никакого третьего понятия.

Таким образом, можно выделить следующие отношения между понятиями по объему: 1) совпадение объемов - отношение равнозначности; 2) частичное совпадение объемов - отношение пересечения; 3) включение объемов - отношение подчинения; 4) исключение объемов - отношения несовместимости, среди которых особо следует выделить соподчинение.

5. ЛОГИЧЕСКИЕ ОПЕРАЦИИ С ПОНЯТИЯМИ (ОБЩАЯ КЛАССИФИКАЦИЯ)

5.1. ОБОБЩЕНИЕ ПОНЯТИЙ. Обобщить понятие - значит перейти от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием. Например, обобщая понятие "Новосибирский госуниверситет" мы переходим к понятию "университет". Объем нового (общего) понятия шире исходного (единичного) понятия; первое относится ко второму как индивид к виду. Содержание понятия, образованного в результате операции обобщения, уменьшилось, так как мы исключили его индивидуальные признаки.

Обобщение понятия не может быть беспредельным. Наиболее общими являются понятия с предельно широким объемом - категории, например "материя", "сознание", "движение", "свойство", "отношение" и др. Категории не имеют родового понятия, обобщить их нельзя. Рассмотрим вопрос о категориях подробнее.

Категоризация в узком смысле - подведение явления, объекта, процесса и т. п. под определенную рубрику опыта - категорию - и признание его членом этой категории. В более широком смысле категоризация - процесс образования и выделения самих категорий, членения внешнего и внутреннего мира человека сообразно сущностным характеристикам его функционирования и бытия, упорядоченное представление разнообразных явлений через сведение их к меньшему числу разрядов или объединений и т. п., а также результат классификационной (таксономической) деятельности. Таким образом, категоризация - одно из ключевых понятий в описании познавательной деятельности человека, связанное едва ли не со всеми когнитивными способностями и системами в его когнитивном аппарате, а также с совершаемыми в процессах мышления операциями - сравнением, отождествлением, установлением сходства и подобия и т. п. Хотя способность к категоризации, а следовательно, способность классифицировать и распределять явления, воспринимаемые как идентичные или в чем-либо сходные, в одни группировки, а также способность определять, относится ли вновь обнаруживаемая реалия к установленным прежде группировкам, проявляется у человека очень рано, несомненно, что она изменяется с возрастом и приобретает более совершенный характер с накоплением опыта, а, главное, с усвоением языка. Иногда утверждают, что категоризация - явление лингвистическое и о нем следует говорить как о лингвистической категоризации. Ее результаты отражены в полнозначной лексике, а каждое полнозначное слово можно рассматривать как отражающее отдельно взятую категорию со стоящими за ней многочисленными ее представителями. Не будь имен, как знали бы мы, к какому классу или категории относит человек, говорящий на естественном языке, какой-либо объект, процесс, признак или явление. Но такое утверждение не следует понимать чересчур буквально: животные тоже реагируют на стимулы разной природы, маленькие дети, не зная общих терминов (например, номинаций "фрукты" или "овощи"), раскладывают по просьбе экспериментатора данные им предметы по разным кучкам, и т. д.

Категоризация связана и с таким явлением, как концептуализация мира - выделение отдельных концептов или их устойчивых объединений. Изучение когнитивного развития ребенка доказывает, как показал Лев Семенович Выготский (1896 - 1934 гг.), что процесс формирования концептов проходит разные качественные стадии, на одной из которых ребенок создает малоупорядоченные "кучи" - синкреты, на другой - обобщает однородные предметы - комплексы и т. д. до тех пор, пока он не начинает формировать подлинные концепты. В анализе категоризации нужно учитывать пути формирования новых категорий и пути пополнения и развития имеющихся, исследование отношений между членами одной категории и критериев, в соответствии с которыми они считаются или не считаются представляющими одну и ту же категорию. Центральными понятиями при описании процесса категоризации являются понятия прототипа и объекта базисного уровня. В отличие от научных и логических категорий естественная категория может объединять члены с неравным статусом, т. е. не полностью повторяющимися признаками. Один из таких членов может обладать привилегированным положением, являя собой лучший образец своего класса, т. е. наиболее полно отвечая представлению о сути объединения и своем прототипе, вокруг которого группируются остальные члены категории. Как уже отмечалось, образование категории тесно связано с формированием концепта или группы концептов, вокруг которых она строится, т. е. с выделением набора признаков, выражающих идею подобия или сходства объединяемых единиц: в естественных категориях ее члены объединяются не потому, что такой набор считается обязательным для каждого члена категории, но потому, что эти члены демонстрируют - в большей или меньшей степени - некоторое подобие с тем членом, который выбирается за лучшего представителя своего класса. Суждения о принадлежности к одной или разным категориям - итог сопоставления двух концептуальных структур, выраженный в высказывании X - это пример категории Y. Однако ответом на вопрос о принадлежности X категории Y может быть не только утвердительный, отрицательный, но и "может быть", "не вполне уверен" и т. п., поэтому ответы указанного типа носят творческий характер. Проблема выведения знания о типе, категории из знания об отдельных представителях (экземплярах) составляет одну из центральных проблем когнитивной психологии и до сих пор не решена. Ясно, что самое непосредственное отношение к данному процессу имеет язык и в любом языке мира специальными обозначениями выделены главные для него категории [Кубрякова, 1996в].

5.1.1. КАТЕГОРИИ ЛОГИЧЕСКИЕ. Итак, категории - это предельно общие понятия, не подлежащие дальнейшему обобщению, не имеющие родового понятия. В течение всего периода существования философской мысли логики стремились выявить корпус (таблицы) этих предельно общих понятий: категории должны существовать объективно и должны отражать наиболее существенные, закономерные связи и отношения реальной действительности и познания.

5.1.1.1. КАТЕГОРИАЛЬНАЯ ТАБЛИЦА АРИСТОТЕЛЯ. Ранние формы философского анализа категорий возникли в древности в учениях, пытавшихся выявить основные принципы бытия. Впервые собственно учение о категориях было изложено Аристотелем. Аристотель обобщил попытки предшествующих философов и составил таблицу категорий, с гордостью заявив, что "мы не нашли ничего такого, что было бы сказано до нас, а должны были сами создать с большой затратой времени и сил". В четвертой главе "Категорий" он пишет: "Из сказанного без какой-либо связи каждое означает или сущность, или "сколько", или "какое", или "по отношению к чему-то", или "где", или "когда", или "находиться в каком-то положении", или "обладать", или "действовать", или "претерпевать". Сущность, коротко говоря, - это, например, человек, лошадь; "сколько" - это, например, длиною в два локтя, в три локтя; "какое" - например, белое, умеющее читать и писать; "по отношению к чему-то" - например, двойное, половинное, большое; "где" - например, в Ликее, на площади; "когда" - например, вчера, в прошлом году; "находиться в каком-то положении" - например, лежит, сидит; "обладать" - например, обут, вооружен; "действовать" - например, режет, жжет; "претерпевать" например, его режут, жгут" (с. 55). Таким образом, Аристотель выделил категории сущности, количества, качества, отношения, места, времени, положения, состояния, действия, страдания. Таблица Аристотеля оказала определяющее влияние на развитие учения о категориях вплоть до нового времени, но в ХХ в. она подверглась резкой критике со стороны выдающегося французского структуралиста Э. Бенвениста, который, в отличие от большинства структуралистов, очень много внимания уделял связи языка и мышления (см. его ставшую классической статью "Категории мысли и категории языка" (1958), на которую мы уже ссылались).

Отношения мысли и языка не симметричны, и язык нельзя считать лишь формой мысли. Если язык может быть описан вне всякой связи с мышлением, то мышление нельзя описать в отрыве от языка. В связи с этим Бенвенист спорит с многовековой традицией, идущей от Аристотеля, согласно которой мышление первично относительно языка, поскольку оно обладает общими, универсальными категориями, отличными от специфических для каждого отдельного языка языковых категорий. К числу таких категорий со времен Аристотеля относили субстанцию, количество, время и т. д. Для опровержения такой точки зрения Э. Бенвенист разбирает особенности подхода Аристотеля и показывает, что все эти категории так или иначе оказываются категориями древнегреческого языка, на котором писал философ и который он только и учитывал. В системе общих аристотелевских категорий находят отражение система частей речи этого языка (различие имен, в том числе прилагательных, глаголов, наречий), набор грамматических категорий (залог, время), существование особых языковых единиц, в частности, глагола бытия, выполняющего также функцию связки. Как показывает Э. Бенвенист, логика Аристотеля представляет собой упрощенный древнегреческий синтаксис. Разумеется, Э. Бенвенист не считает все эти явления специфическими лишь для древнегреческого языка и отмечает общеиндоевропейский характер многих из них, в результуте чего данные категории, как правило есть во французском языке, отдаленно родственном древнегреческому. Однако эти категории вовсе не обязаны иметь место во всех языках. В связи с этим приводится пример из языка эве (его носители живут в Западной Африке, в современных Того и Бенине), где привычному для европейца единому глаголу бытия соответствует пять совершенно различных глаголов. Подробный анализ взглядов Бенвениста дается В. М. Алпатовым в его "Истории лингвистических учений".

5.1.1.2. КАТЕГОРИАЛЬНАЯ ТАБЛИЦА КАНТА. Новый этап в анализе категорий открыло учение Иммануила Канта (1724 - 1804 гг.). Кант рассматривал категории как априорные формы рассудка: система категорий дана нам свыше, заложена от Бога, а мы их только выражаем, используя средства своего языка. Раз они даны - они абсолютны и постоянны. Априоризм Канта позволял рассматривать категории как неизменные формы мышления, упорядочивающие опыт. В категориальную таблицу Канта входят следующие категории: качество (реальность, отрицание, ограничение), количество (единство, множество, цельность), отношение (субстанция и свойство, причина и действие, взаимодействие), модальность (возможность-невозможность, действительность-недействительность, необходимость и случайность).

5.1.1.3. КАТЕГОРИАЛЬНАЯ ТАБЛИЦА ГЕГЕЛЯ. Новый подход к категориям и диалектическую их трактовку выдвинул Георг Вильгельм Фридрих Гегель (1770 - 1831 гг.), считавший, что категории являются порождениями абсолютной идеи, они взаимосвязаны и взаимопереходящи. Все категории он свел в следующую таблицу: бытие (качество, количество, мера), сущность (основание; явление; действительность - субстанция, причина, взаимодействие), понятие (субъект, абсолютная идея, объект).

Таблицы категорий разных философов отличаются друг от друга. Так в ранг категории могли возводиться понятия "заброшенность", "забота" (экзистенциалисты Хайдеггер, Сартр, Ясперс [15]).

Р. Браун заметил, что в выборе названия для определенной вещи люди придерживаются таких стратегий, которые заставляют их выбирать из целого ряда возможных имен только строго определенные имена, и эти имена "помещают" называемую вещь в категорию, используемую наиболее часто и приемлемую для описания многих ситуаций. В исследованиях и экспериментах Э. Рош и ее коллег понятие базового уровня категоризаци и приобрело терминологическое значение: так был назван уровень, промежуточный между самым высоким (суперординатным) и нижним (субординатным или субкатегориальным) в иерархии категорий. По утверждению Рош, человек оперирует при решении многих задач (т. е. не только в акте номинации, но и в актах классификации) концептами и названиями на этом промежуточном уровне. Дж. Лакофф правильно отметил тот факт, что изменив представления о сути категорий и явлений категоризации, мы меняем по существу и представление о мире [Lakoff, 1987], ибо начинаем понимать, как мир представляется обыденным сознанием [Кубрякова, 1996г].

5.1.2. КАТЕГОРИИ ПОНЯТИЙНЫЕ. В языкознании понятийные категории - это смысловые компоненты общего характера, свойственные не отдельным словам и системам их форм, а обширным классам слов, выражаемые в естественном языке разнообразными средствами. В отличие от скрытых и грамматических категорий, которые мы опишем ниже, понятийные категории рассматриваются безотносительно к тому или иному конкретному способу выражения (прямому или косвенному, явному или неявному, лексическому, морфологическому или синтаксическому). Обычно понятийные категории считаются универсальными, отраженными всеми или большинством языков мира. Благодаря именно этому свойству они выступают как основа сводимости описаний разнообразных и разносистемных в типологическом смысле языков (напомним, что во всех языках существуют такие языковые универсалии, как отношения между субъектом и предикатом, категория посессивности, оценки, определенности-неопределенности, множественности и др.). Большинство понятийных категорий характеризуются "полевой" структурой с "ядром" и "периферией". В качестве "ядра" выступает грамматическая категория. Так, аспектуальности и таксису соответствует вид (таксис характеризует временные отношения между действиями: одновременность и неодновременность, прерывание, соотношение главного и сопутствующего действия и т. п.); темпоральности соответствует время, модальности - наклонение, диатезе - залог (диатеза - соответствие между ролями глагольной лексемы, а именно между субъектом, объектом, адресатом, и выражающими их членами предложения); полу соответствует род, персональности - лицо, градуальности - степени сравнения, количеству - число и т. д.

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

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

5.1.3. КАТЕГОРИИ СКРЫТЫЕ. Идея скрытых категорий принадлежит еще В. фон Гумбольдту, но сам термин (как и его синоним "криптотип") был предложен Б. Л. Уорфом в 1938 году для обозначения семантических и синтаксических признаков слов или словосочетаний, не находящих явного(эксплицитного) морфологического выражения, но важных для построения и понимания высказывания, в частности потому, что они оказывают влияние на сочетаемость данного слова с другими словами в предложении (Уорф изучал грамматический строй индейских языков, резко отличающихся от европейских языковых систем).

К скрытым категориям русского языка относятся, например, такие понятийные категории, как определенность-неоределенность, личность-неличность существительного, контролируемость-неконтролируемость, конкретность-неконкретность и др.

Определенность-неопределенность существительного отражается на его способности выступать в роли темы (того, что уже известно) в безударной позиции и ремы (новой информации) в ударной позиции. Так, в высказывании Из школы возвратились дети возможно определенное и неопределенное понимание слова дети (в романских языках это понимание выражается определенным или неопределенным артиклем), а в высказывании Дети возвратились из школы при нейтральной интонации допускается лишь определенное понимание слова дети. Неличные существительные не употребляются в дательном падеже со значением бенефицианта (получателя) (нельзя сказать купить крем сапогам, достать гарнитур спальне) и в конструкции "У + Род. п. есть..." (ср. возможность употребления высказывания У меня высокая температура и невозможность построения фразы типа * У воздуха высокая температура). Предикаты со значением контролируемости не могут без изменения значения фигурировать в отрицательных конструкциях с императивом совершенного вида (нельзя сказать * Не защити диссертацию, * Не плюнь в колодец, а отрицательный императив Не сядь сюда используется только в значении предупреждения: Стул сломан. Не сядь сюда!). Предикаты со значением неконтролируемости не могут сочетаться с обстоятельством цели (нельзя сказать Стрела летит попасть в яблоко); не могут они также фигурировать в инфинитивных конструкциях со значением внезапности (ср.: А царица хохотать / Да плечами пожимать... и *Дождь лить как из ведра, * Она толстеть). Конкретная-неконкретная референция существительного накладывает ограничения на возможность перифразирования. При неконкретном понимании слова профессор предложение Она хочет выйти замуж за профессора может быть перифразировано как Тот, за кого она хочет выйти замуж, должен быть профессором; при конкретном понимании высказывание перифразируется в Тот, за кого она хочет выйти замуж, профессор [Булыгина, Крылов, 1990].

5.1.4. ЯВНЫЕ ЯЗЫКОВЫЕ КАТЕГОРИИ. В лингвистике под языковой категорией часто понимают любую группу языковых элементов, выделяемых на основании какого-либо общего свойства, но в строгом смысле языковая категория - это некоторый признак (параметр), который лежит в основе разбиения обширной совокупности однородных языковых единиц на ограниченное число непересекающихся классов, члены которых характеризуются одним и тем же значением данного признака (например, категория падежа, категория одушевленности-неодушевленности, категория вида, категория глухости-звонкости и т. п.). Соответственно языковые элементы, которым свойственны эти признаки, разбиваются на ряды противопоставленных форм. Часто термином "категория" называют одно из значений упомянутого признака (категория аккузатива, категория совершенного вида).

Таким образом, языковая категория должна иметь план выражения (собственно критерий классифицирования, параметр, категориальный признак) и план содержания (формальный элемент).

Категориальные признаки делятся на:

1) дифференциальные (модифицирующие). Эти признаки всегда существуют в оппозиции, например, твердые - мягкие согласные, единственное - множественное число;

2) интегральные (классифицирующие).

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

Один из важнейших и наиболее изученных типов языковых категорий - грамматические категории, а именно морфологические и синтаксические. Наборы синтаксических категорий подробно рассматривается в курсах синтаксиса современного русского литературного языка. Здесь мы остановимся только на морфологических категориях.

5.1.5. КАТЕГОРИИ МОРФОЛОГИЧЕСКИЕ. Своим выявлением и четким определением морфологические категории обязаны, как ни странно, критике логических основ грамматики, приведшей к четкому отграничению собственно языковых категорий от категорий логики. Это развило технику формально-грамматического анализа и выдвинуло на первый план морфологию. В XIX в. интерес к целостным, законченным единицам речи (суждению и предложению) сменился вниманием к минимальным единицам языка (корневым морфемам и аффиксам). Внутри одной части речи ряды морфологических форм образуют морфологическую категорию.

Морфологическая категория, по определению составителей "Русской грамматики-80" (1981 - 82 гг.), - это система противопоставленных друг другу рядов морфологических форм (регулярных видоизменений слова, объединенных тождеством его лексического значения и различающихся морфологическими значениями) с однородными значениями. Следует отметить, что лексическое тождество словоформ одной и той же лексемы может нарушаться (ср. чашка чая и чашка чаю), а определение морфологической категории содержит логический круг: слово обладает системой морфологических значений и существует в языке в виде форм (словоформ), формы одного и того же слова определяются как регулярные видоизменения слова, объединенные тождеством его лексического значения и различающиеся морфологическими значениями, о чем было уже сказано выше, а морфологическая категория - это система противопоставленных друг другу морфологических форм.

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

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

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