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]).
Категория залога определяется как категория смешанного типа, так как залоговые образования могут быть представлены и формами одного и того же слова, и разными словами. Учения о морфологических категориях очень разнообразны и рассматриваются в рамках темы "Основы классификаций категорий в русской морфологии".
5.2. ОГРАНИЧЕНИЕ ПОНЯТИЙ. Ограничение понятий представляет собой операцию, противоположную операции обобщения. Ограничить понятие - значит перейти от понятия с большим объемом, но меньшим содержанием к понятию с меньшим объемом, но большим содержанием, иначе говоря, чтобы ограничить понятие, нужно перейти от рода к виду: увеличить его содержание путем прибавления видовых признаков. Ограничивая понятие "студент", мы можем перейти к понятию "студент гумфака НГУ". Пределом ограничения являются единичные понятия. Например, "студент гумфака НГУ Муравьев".
5.3. ОПРЕДЕЛЕНИЕ ПОНЯТИЙ. Древнегреческому философу Платону приписывают высказывание о том, что "должен быть почитаем, как бог, тот, кто хорошо может определять и делить". Определение позволяет раскрыть содержание понятий, которые употребляются в рассуждениях. Содержание понятия представляет собой, как известно, совокупность существенных признаков предмета, поэтому раскрыть содержание какого-либо понятия - значит указать его существенные признаки. Поэтому логическая операция, раскрывающая содержание понятия, называется определением, или дефиницией. Понятие, содержание которого требуется раскрыть, называется определяемым (дефиниендум - лат. definiendum - 'определяемое', Dfd); понятие, раскрывающее содержание определяемого понятия, - определяющим (дефиниенс - лат. definience -'определяющее', Dfn).
5.3.1. ВИДЫ ОПРЕДЕЛЕНИЙ (ОБЩАЯ КЛАССИФИКАЦИЯ). Различают номинальные и реальные определения.
5.3.1.1. НОМИНАЛЬНЫЕ ОПРЕДЕЛЕНИЯ. Номинальным называется определение, посредством которого взамен описания какого-либо предмета вводится новый термин, или имя (лат. nomen), объясняется значение термина, его происхождение. Например, "положительная элементарная частица, имеющая массу электрона, называется позитрон". Многие номинальные определения строятся без указания на существенные признаки предмета и, следовательно, не раскрывают содержания понятия, поэтому, строго говоря, номинальные определения определениями не являются.
5.3.1.2. РЕАЛЬНЫЕ ОПРЕДЕЛЕНИЯ. Реальным называется определение, раскрывающее существенные признаки самого предмета. Это определение через род и видовое отличие: "стул - это предмет мебели для сидения на четырех ножках, со спинкой, без подлокотников". Как видно, номинальные и реальные определения различаются по своим задачам: объяснить значение термина и раскрыть существенные признаки предмета.
5.3.2. ЯВНЫЕ ОПРЕДЕЛЕНИЯ содержат прямое указание на присущие предмету существенные признаки. Они состоят из двух четко выраженных понятий - определяемого и определяющего. Основным видом явного определения является определение через род и видовое отличие: "лексикология - раздел языкознания, изучающий словарный состав языка". Генетическим называется определение, указывающее на происхождение предмета, на способ его образования: "галлицизмы - слова и выражения французского происхождения".
5.3.2.1. ПРАВИЛА ЯВНОГО ОПРЕДЕЛЕНИЯ И ВОЗМОЖНЫЕ ОШИБКИ, ВОЗНИКАЮЩИЕ В РЕЗУЛЬТАТЕ НАРУШЕНИЙ ЭТИХ ПРАВИЛ.
Определение должно быть соразмерным: Dfd = Dfn. Ошибочны слишком широкое определение: "студент есть учащийся"; слишком узкое определение: "студент - учащийся НГУ"; в одном отношении слишком широкое, в другом отношении слишком узкое определение: "студент есть учащийся 491 группы НГУ".
Ошибочным является и перекрещивающееся определение, при котором объемы определяемого и определяющего частично пересекаются: "Философия - это все, о чем писал Б. Спиноза". Примером "определения как попало" может служить анекдотичная история с естествоиспытателем Ж. Кювье (1769 - 1832 гг.). Составители энциклопедического словаря показали Кювье определение понятия "рак" и попросили его оценить: "Рак - небольшая красная рыба, которая ходит задом наперед". "Великолепно, - сказал Кювье. - Однако разрешите мне сделать небольшое замечание. Дело в том, что рак не рыба, он не красный и не ходит задом наперед. За исключением всего этого, ваше определение превосходно".
Определение не должно содержать в себе круга, т. е. нельзя определять понятие через само себя или другое понятие, которое непосредственно или опосредованно определяется через первое: "Идеалист - человек идеалистических убеждений"; "Явное - окно в неявное" (Анаксагор); "Я - это я и моя судьба" (Х. Ортега-и-Гассет). В определении не должно быть тавтологии.
Определение должно быть ясным. Несоблюдение этого правила ведет к логической ошибке - определение неизвестного через неизвестное ("компендиум - это эпитома, или синопсис", речь идет о конспекте, кратком изложении). К неясным определениям (если их понимать именно как определения!) относятся и многочисленные определения с парафразами, метафорами и прочими семантическими фигурами: "Архитектура - это застывшая музыка" (И.В. Гете); "Человек - всего лишь тростник, слабейший из творений природы, но он тростник мыслящий" (Б. Паскаль); "Мальчик - это много шума и крика в оболочке грязи" (А. Кларк); "Язык - ахиллесова пята женщины" (Л. Леонидов); "Язык - зеркало мыслей народов" (Х. Сехадор); "Начальник - тот, кто следит за часами во время перерыва на кофе" (Х. Тревис). Кроме сравнения, с определениями не следует смешивать приемы описания и характеристики. Задача описания заключается в том, чтобы более точно и полно указать признаки предмета, явления, события, лица, причем перечисляются не только существенные, но и несущественные признаки ("Как упоителен, как роскошен летний день в Малороссии!.." (Н. Гоголь)). При характеристике перечисляются отличительные характерные признаки предмета, явления, лица ("Аристотель - величайший мыслитель древности").
Определение положительных понятий не должно быть отрицательным: "высокий" не означает "ненизкий".
5.3.3. НЕЯВНЫЕ ОПРЕДЕЛЕНИЯ. Не все понятия можно определить явно. Не могут быть определены через ближайший род, видовое отличие, происхождение предельно широкие понятия - категории. В этих случаях прибегают к неявным определениям, а также к приемам, заменяющим определение - описаниям (наиболее точным и полным указаниям признаков предмета), характеристикам (указаниям отличительных признаков единичного предмета), сравнениям, различениям, остенсивным определениям (демонстрациям). К неявным определениям относится определение через указание на отношение предмета к своей противоположности - этот прием широко используется при определении философских категорий: "свобода есть осознанная необходимость", "возможность - потенциальная действительность", "действительность - реализованная возможность" и т. п.
5.4. ДЕЛЕНИЕ ПОНЯТИЙ. Деление понятий - это операция разбиения объема понятия на взаимно не пересекающиеся и непустые подклассы, объединение которых составляет исходное множество. В операции деления следует различать делимое понятие, т. е. понятие, объем которого требуется раскрыть, члены деления - соподчиненные виды, на которые делится понятие, и основание деления - признак, по которому производится деление. Различают правильное и неправильное деление.
Деление является правильным, если оно удовлетворяет следующим пяти условиям, называемым в теории понятия правилами деления.
5.4.1. ПРАВИЛА ДЕЛЕНИЯ И ОШИБКИ, ВОЗНИКАЮЩИЕ ПРИ НАРУШЕНИИ ЭТИХ ПРАВИЛ.
Деление должно происходить по одному определенному основанию (если допускается ошибка, то результатом деления будет нечто, вроде "Дети делятся на две категории - на невоспитанных и ненаших").
Полученные при делении понятия должны быть попарно несовместимыми. Члены деления должны исключать друг друга. При смешении оснований деления видовые понятия будут находиться в отношении частичного совпадения (ср.: "Живые существа подразделяются на животных, растения и белок").
Члены деления как классы должны исчерпывать объем исходного понятия, т. е. объединение их должно быть равно этому объему. Деление оказывается слишком "узким", если некоторые члены деления не указываются (ср.: "В русском языке падежи бывают именительный и предложный").
Никакой из членов деления не должен быть пустым классом, т. е. при делении не должны включаться классы предметов, отсутствующие в объеме делимого понятия.
Деление должно быть непрерывным, то есть в процессе деления нужно переходить к ближайшим видам, не перескакивая через них. Ошибка, возникающая при нарушении этого правила, носит название "скачок в делении".
5.4.2. ДЕЛЕНИЕ И РАСЧЛЕНЕНИЕ. Деление понятий не нужно смешивать с мысленным расчленением целого на части. Если члены деления представляют собой самостоятельные виды, то при расчленении выделяются отдельные части предмета, из которых он состоит. Например, автомобиль состоит из колес, руля, кузова и т. д.
Операция деления понятия на виды может иметь разные по характеру основания деления: а) деление по изменению видообразующего признака, т. е. члены деления выделяются на основании изменения характеристики, выступающей в качестве основания деления (например, людей можно делить на группы по возрасту); б) дихотомическое деление - деление объема понятия на два класса, находящихся в отношениях противоречия (А - не-А).
5.4.3. КЛАССИФИЦИРОВАНИЕ И ТАКСОНОМИЯ. Классифицирование есть не что иное, как отдельное деление, либо совокупность делений (деление объема некоторого исходного понятия, затем полученных при этом членов и т. д.). Не существует, однако, общепринятой характеристики классифицирования как особого вида деления. Различие между тем, что мы называем просто делением, и теми делениями, которые называют классификационными, состоит, по мнению ряда ученых, в том, что в первом случае операция деления применяется в связи с решением той или иной частной задачи исследования, поэтому результаты такого деления не фиксируются и не сохраняются специально в фонде человеческих знаний. Результаты подобного рода делений называют рабочими делениями, а под классификациями понимают обычно результаты делений, постоянно используемые в науке и имеющие непреходящий характер.
По степени существенности основания деления мы различаем естественные классификации, для построения которых в основание берутся существенные признаки классифицируемых единиц (и тем самым естественные классификации могут служить источником знаний об изучаемых объектах), и вспомогательные искусственные классификации (например, алфавитные списки статей в лексикографических изданиях), при построении которых учитываются несущественные признаки.
Классификационная процедура лежит в основе большинства современных методов лингвистических исследований - сравнительно-исторического, собственно логического (а прежде всего - в основе лингвистической типологии, выявлении фреквенталий - наиболее частых явлений в языках самых разных семей, почти универсалий), структурного, конструктивного и т. д. и всех их разновидностей.
Для описания структурных классификаций и самой процедуры классифицирования в лингвистике используется термин таксономия, заимствованный из биологических терминосистем, в которых таксономия рассматривалась как раздел систематики. В лингвистике пока нет строгого разграничения таксономии и систематики, и последняя обычно включается в таксономию на том основании, что систематизация исследуемых объектов - онтологический результат таксономии. Таким образом, лингвистическая таксономия - это совокупность принципов и правил классифицирования лингвистических объектов (языков и языковых единиц), а также результат этого классифицирования - классификация. В строгом смысле таксономия предполагает классификацию, отражающую иерархическую организацию системы объектов. В структуре самой таксономии это выражается в иерархии таксономических рангов (шагов классификации), связанных отношениями последовательного включения от низшего ранга к высшему. Каждому рангу в таксономии соответствует класс объектов - таксон, характеризуемый определенной степенью обобщенности. Лингвистическая систематика обычно строится как пересечение нескольких таксономий, т. е. как многомерная классификация: например, звук [ж] по месту образования входит в класс передненебных звуков, передненебные относятся к классу переднеязычных, которые, в свою очередь, могут быть твердыми или мягкими, и [ж] относится к твердым звукам, включающимся в макротаксон согласных звуков, в то же время по способу образования [ж] относится к щелевым, звонким согласным звукам.
Таксономий, как и классификаций, существует два вида - естественная, индуктивно выведенная из анализа свойств объектов (например, генеалогическая классификация языков), и искусственная, базирующаяся на некотором логическом принципе, вводимом априорно (например, типологическая классификация языков). Содержательно одна и та же таксономия может быть в одних случаях естественной, в других искусственной: например, таксономия частей речи в александрийских грамматиках была естественной, но при механическом перенесении античной грамматической модели на германские, славянские и др. языки стала искусственной, не включающей весь языковой материал и "обнаруживающей" по аналогии с древнегреческим в этих языках такие явления, которых там просто не могло быть (так, составители церковнославянских грамматик описывали некоторые указательные местоимения как артикли). Естественная таксономия дает более жесткую и, как правило, единственную группировку объектов.
По характеру таксономической процедуры различают качественную таксономию, объединяющую объекты по наличию или отсутствию у них таксономических признаков, и количественную, учитывающую степень обладания объектами таксономических признаков. Качественная таксономия дает четко разграниченные таксоны - классы (например, фонетическая или морфологическая родовая таксономия). Количественная таксономия может содержать как классы, так и поля, т. е. таксоны, не имеющие четких границ и диффузно смыкающиеся с другими таксонами (семантические поля в лексикологии). В семиотической теории языка различаются таксономии имен, предикатов, предложений [Виноградов, 1990].