Закон обратного отношения между объемами и содержаниями понятий. Логические и фактические объемы и содержания понятий

Глава III

СОДЕРЖАНИЕ И ОБЪЁМ ПОНЯТИЙ

Признаки понятий.

Понятия в психологии получаются из сравнений сходных представлений. Представления в свою очередь складываются из отдельных элементов. Составные элементы представления или понятия принято называть признаками. Признаки есть то, чем одно представление или понятие отличается от другого. Например, признаками золота мы считаем «металл», «драгоценный», «имеющий определённый удельный вес» и т. п. Это всё то, чем золото отличается от других вещей, от неметаллов, от недрагоценных металлов и т. п.

Не все признаки нужно считать равноценными. Каждое понятие имеет множество различных признаков, но при мышлении о нём мы прежде всего по преимуществу мыслим только известные признаки. Эти признаки являются как бы основными, около которых группируются другие признаки. Первые признаки называются существенными, или основными, а остальные — второстепенными. Основные признаки — это такие признаки, без которых мы не можем мыслить известного понятия и которые излагают природу предмета. Например, для ромба существенным является тот признак, что он есть четырёхугольник с параллельными и равными сторонами и т. п.; несущественным для понятия ромба является тот признак, что он имеет ту или другую величину сторон, ту или другую величину углов.

Признаки понятий со времени Аристотеля принято делить на следующие 5 классов:

1. Родовой признак.

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

2. Видовое различие.

Если мы скажем, что химия есть наука, занимающаяся изучением строения вещества, то прибавление признака — «занимающаяся изучением строения вещества» будет служить для обозначения того, чем эта наука отличается от других наук. Такой признак, который служит для того, чтобы выделять понятие из ряда ему подобных понятий, называется видовым различием (differentia specifica). Возьмём понятия «моряк русский», «моряк французский», «моряк английский». В этом случае «русский», «французский», «английский» есть видовое различие; оно служит для того, чтобы выделить моряка одной нации от моряков всех прочих наций.

3. Вид (species). Если к родовому признаку присоединить видовое различие, то получится вид. Например, «здание для склада оружия» == арсенал; «здание для склада хлеба» = амбар. В этом случае «здание» есть род, «для хранения оружия» есть видовое различие; присоединение к роду видового различия даёт вид «арсенал». Присоединение к понятию «здание» видового признака «служащее для хранения хлеба» даёт вид «амбар». Вид может быть Признаком, потому что его можно приписать понято. Например, «эта наука есть химия».

4. Собственный признак (proprium). Собственный признак — это такой признак, который присущ всем вещам данного класса, который не содержится в числе существенных признаков, но который может быть выведен из них. Например, существенным признаком человека является его «разумность». Из этого свойства вытекает его способность владеть речью. Этот последний признак есть собственный признак. Основной признак треугольника — это прямолинейная плоская фигура с тремя сторонами. Что же касается того признака треугольника, что сумма углов его равняется двум прямым, то это есть его собственный признак, потому что вытекает или выводится из основных признаков. Мы этого признака не мыслим, когда думаем о треугольнике, поэтому он является выводным.

5. Несобственный признак (accidens). Несобственный пригнан — это такой признак, который не может быть выведен из существенного признака, хотя и может быть присущ всем вещам данного класса. Например, чёрный цвет ворона есть accidens. Если бы чёрный цвет ворона был выводим из основных свойств то, то он мог бы быть назван proprium, но он не выводим, так как мы не знаем, по какой причине вороны имеют чёрный цвет юрьев. Он есть, следовательно, accidens.

Несобственные признаки делятся на две группы: на неотделимые несобственные признаки (accidens inseparable) и отделимые несобственные признаки (accidens separabile). Последние суть те признаки, которые присущи только некоторым вещам того или другого класса, но не всем, а первые присущи всем вещам данного класса. Например, чёрный цвет ворона есть accidens inseparabile. Чёрный цвет волос для человека есть accidens separabile, потому что есть люди, которые не имеют чёрного цвета волос. По отношению к отдельным индивидуумам несобственный признак также может быть отделимым и неотделимым. Отделимые — это такие признаки, которые одно время имеются налицо, а в другое время не имеются. Например, Бальфур—первый министр Англии. Через некоторое время он может не быть первым министром. Это есть признак отделимый. «Лев Толстой родился в Ясной Поляне». В этом предложении признак «родился в Ясной Поляне» есть неотделимый признак.

Содержание и объём понятий.

Понятия могут быть рассматриваемы с точки зрения содержания и объёма.

Рис. 1.

Рис. 2.

Содержание понятия—это то, что мыслится в понятии.

Например, в понятии «сахар» мыслятся признаки: сладкий, белый, шероховатый, имеющий тяжесть и т. д.; эти признаки в совокупности и составляют содержание понятия «сахар». Содержание понятия, другими словами, есть сумма признаков его; поэтому каждое понятие можно разложить на ряд присущих ему признаков. Содержание понятия может быть весьма изменчивым в зависимости от принятой точки зрения, от размера знания и т. п. Например, в понятии «сахар» химик мыслит одно содержание, а нехимик— другое.

Объём понятия есть то, что мыслится посредством понятия, т. е. объём понятия есть сумма тех классов, групп, родов, видов и т.п., к которым данное понятие может быть приложено. Например, объём понятия «животное»: птица, рыба, насекомое, человек и т. д.; объем понятия «элемент»: кислород, водород, углерод, азот и т. д.; объём понятия «четырёхугольник»: квадрат, прямоугольник, ромб, трапеция;

Таким образом, различие между объёмом понятия и содержанием понятия сводится к следующему: объём понятия означает ту совокупность предметов, к которым должно прилагаться данное понятие, а содержание обозначает те признаки, которые приписываются тому или другому понятию.

Для более ясного представления объёма понятий и отношения объёмов существует особый приём, называемый «логической символикой».

На рис. 1 большой круг символизирует собой понятие «элемент», а меньшие круги, в нём находящиеся, символизируют понятия, входящие в его объём. Если мы изображаем какой-нибудь круг внутри другого круга, то мы этим символизируем, что объём одного понятия входит в объём другого. Из рис. 2 видно, что понятие «дерево» содержит в своём объёме понятия «дуб», «ель» и т. п. Отдельные точки в круге «ель» символизируют индивидуальные, или единичные, ели.

Понятие с большим объёмом называется родом по отношению к тому понятию с меньшим объёмом, которое входит в его объём. Понятие с меньшим объёмом в этом' случае называется видом. Понятия с большим объёмом можно назвать также понятиями более широкими или более общими.

Любой вид может сделаться родом. Например, понятие «пальма» относится к понятию «дерево», как вид к роду, но в свою очередь оно относится уже как род к своим видам — «пальма кокосовая», «пальма фиговая» и т. д. Вообще более общее понятие есть род для менее общего понятия; более общее понятие представляет собой родовое понятие для менее общего, менее общее само становится родом для ещё менее общего и т. д., пока мы не придём к такому понятию, которое уже не может в своём объёме содержать какие-либо другие виды, а может подразделяться только на отдельные индивидуумы.

Рис. 3.

Рис. 3 а.

Следует упомянуть о попытке греческого философа Порфирия (233—304) при помощи схемы облегчить понимание отношения между охватывающими друг друга понятиями, т. е. понятиями, из которых одно входит в объём другого. Эта схема называется «деревом Порфирия». В понятие «бытия» (т. е. того, что вообще существует) входит понятие «телесного бытия» и «бестелесного бытия». Тело содержит в своём объёме одушевлённое тело, или организм, и неодушевлённое тело. Понятие «организм» содержит в своём объёме чувствующие и нечувствующие организмы (растения). Чувствующие организмы содержат в своём объёме разумные и неразумные существа и т. д. (рис. 3).

Бытие есть высший род, который уже не может быть видом для другого рода. Такой род называется summum genus; человек — это низший вид. В его объём уже не входят понятия с меньшим объёмом, а входят только отдельные индивидуумы. Такое понятие называется infima species (самый низший вид). Ближайший высший класс (или род) того или другого вида называется proximum genus (ближайший род). Отношение между более широкими и узкими понятиями можно изобразить и иначе, именно, поместив круги, служащие для обозначения понятий с меньшим объёмом, внутри кругов, служащих для обозначения понятий с большим объёмом (рис. За).

Ограничение и обобщение. Процесс образования менее общих понятий из более общих называется ограничением (determlnatio). Для образования менее общего понятия мы должны к более общему прибавить несколько признаков, благодаря чему понятие уясняется (determinatur). Например, чтобы из понятия «дерево» получить менее общее понятие «пальма», надо к признакам дерева прибавить специальные признаки пальмы: вид её листьев, прямизну ствола и т. д. Обратный процесс образования более общего понятия из менее общего, при котором, наоборот, некоторое количество признаков от данного понятия отнимается, называется обобщением (generalisatio).

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

Предположим, что у нас есть понятие А (наука). Из него при помощи видового различия а мы можем образовать вид Аа (математика); прибавив к понятию Аа видовое различие B (определение пространственных отношений), получим геометрию АаЬ. Прибавив к этому виду признак с (определение пространственных отношений на плоскости), получим планиметрию АаЬс.

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

Отношение между объёмом и содержанием понятия. Для того чтобы ответить на вопрос, какое существует отношение между объёмом и содержанием понятия, возьмём какой-нибудь пример. Объём понятия «человек» обширнее, чем, например, объём понятия «негр». Употребляя понятие «человек», мы думаем обо всех людях, мы думаем о людях, живущих во всех пяти частях света, между прочим и в Африке. Употребляя понятие «негр», мы думаем только о тех людях, которые живут в Африке. Но о содержании этих двух понятий следует сказать как раз наоборот: содержание понятия «негр» будет обширнее содержания понятия «человек». Когда мы говорим о негре, то мы можем найти в нём все признаки понятия «человек» плюс ещё некоторые особенные признаки, как-то: чёрный цвет кожи, курчавые волосы, приплюснутый нос, толстые губы и т. п.

Итак, по мере увеличения содержания понятия уменьшается его объём, и наоборот.

Вопросы для повторения

1. Что такое признаки понятий?

2. Какие признаки понятий мы отличаем?

3. Что такое родовой признак?

4. Что такое видовое различие?

5. Что такое вид?

6. Что такое собственный признак?

7. Что такое несобственный признак?

8. Что такое содержание понятия?

9. Что такое объём понятия?

10. Что такое summum genus?

11. Что такое infima species?

12. Что такое обобщение?

13. Что такое ограничение?

14. Какое существует отношение между объемом и содержанием понятия?

Закон обратного отношения между объемами и содержаниями понятий. Логические и фактические объемы и содержания понятий

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

Может быть принята и более общая формулировка:

•Если объем одного понятия составляет часть объема другого (с тем же родом), то содержание второго составляет часть содержания первого.

Кроме того, поскольку понятия имеют один и тот же род, отношение «часть — целое» между содержаниями понятий сводится к отношению между видовыми отличиями этих понятий, то есть между предикатами А{х) и В(х).

Таким образом приходим к формулировке:

Объем одного понятия составляет часть другого (с тем же родом), если и только если содержание второго составляет часть содержания первого.

Однако, если для объемов понятий мы уже имеем определение отношения «объем одного понятия составляет часть объема другого» (см. § 16), то аналогичное отношение для содержаний понятий определить не так просто. Первое, что напрашивается, это — сравнение содержаний понятий по количеству признаков. В таком случае для понятий «число, которое делится на 2 и на 3» и «число, которое делится на 3» вопрос решается просто: содержание первого шире, поскольку больше количество составляющих его признаков. Однако сразу возникает неясность, когда мы рассматриваем понятия «число, которое делится на 2 или на 3» и «число, которое делится на 3». Кажется, что количество признаков в первом также больше, чем во втором, но объем первого также шире, чем объем второго. В таких понятиях как «студент, сдавший все экзамены сессии на отлично» и «студент, сдавший какие-нибудь экзамены сессии на отлично» количество признаков представляется даже одинаковым. Однако они явно различаются по своей информативности. «Сдал все экзамены» безусловно более информативно, чем «сдал некоторые экзамены», и ясно, что объем первого понятия уже, чем объем второго. Ясно также, что «делится на 3» содержит больше информации, чем «делится на 2 или на 3». Кстати, «делится на 2 или на 3» — это один признак, он является общим для чисел, обобщаемых в приведенном выше понятии (сравни «слово, обозначающее действие или состояние» среди приведенных выше упражнений).

В истории логики известен так называемый парадокс Больцано, по видимости, опровергающий закон обратного отношения. Формулируются два понятия: «Человек, знающий европейские языки» (имеются в виду, конечно, все европейские языки) и «Человек, знающий живые европейские языки». Видимость такова, что содержание второго понятия шире, поскольку к характеристике языков добавляется признак «живые», то есть действующие в настоящее время. Но и объем этого понятия также шире, чем объем первого.

Ясно, что всякий, знающий все европейские языки, знает, конечно, и все живые европейские языки, но не наоборот. Отношения между объемами этих понятий может быть представлено схемой:

А — человек, знающий все живые европейские языки

В — человек, знающий все европейские языки

Из этой схемы очевидно, что людей, знающих все живые европейские языки, больше, чем людей, знающих все эти языки.

Для сравнения признаков по информативности может быть использовано понятие «логическое следование». Если из высказывания или высказывательной формы А логически следует В, то естьЛ(= В, но обратное неверно, тогда А более информативно, чем В. А\= В само по себе указывает на то, что информация В составляет часть информации Л. Обозначим объемы понятий хА(х) и хВ[х) соответственно WxA { x ) и WxBfx ) {« WxA { x )>> читается: множество предметов х, обладающих свойством А[х)). Тогда закон обратного отношения для двух понятий принимает вид: И6:А(х) a WxB ( x ) если и только еслиЛ/ х) \=В{х).

Ясно, что приведенные выше «парадоксальные случаи» легко разрешаются. Содержание (информация предиката) «х делится на 2 или на 3» составляет часть информации предиката «х делится на 2», поскольку имеет место следование А{х) N А(х) vB ( x ), вообще, из А следует A v В. Предикат «х, сдавший все экзамены» информативнее, чем «х, сдавший какие-нибудь экзамены». Логическая форма первого - \/у Щх, у), второго — 3 у Щх, у). Второе есть следствие первого (вообще Vy А{у) N Зу А{у)). Предикат, составляющий содержание (видовое отличие) первого понятия в формулировке парадокса Больцано имеет форму \/у Щх, у) (где область значений х - люди, у - европейские языки).

Видовое отличие второго понятия выражает предикат «Для всякого европейского языка, если он является живым, то х знает его» - У у ( P { y ) zDR ( x r у)). Нетрудно убедиться - и предлагаем это читателю, — что из первого логически следует второе: \/у R ( x , у) t = \/у {Р(у) zDR ( x , y )).

Однако приведенных уточнений все-таки оказывается недостаточно. Возьмем, например, пары понятий «квадрат» и «квадрат с взаимно перпендикулярными диагоналями», или «число, делящееся на 2 и на 3» и «число, делящееся на 2, на 3 и на 6». Согласно понятию логического следования и введенному определению отношения «часть» для содержаний между понятиями, содержание второго понятия в каждой из этих пар шире, чем содержание первого, однако объемы первого и второго в каждой паре совпадают. Для разрешения трудностей этого рода необходимы определенные уточнения понятий «содержание понятия», «объем понятия», а вместе с тем и формулировки самого закона. Необходимо различать логическое и фактическое содержание понятия и аналогично логический и фактический объемы понятий. Логическое содержание, которое до сих пор, по существу, имелось в виду, — это имеющаяся в понятии информация относительно обобщаемых в нем предметов, зависящая лишь от логической формы понятия. Фактическое содержание — это информация, которую мы имеем в понятии с учетом значений, имеющихся в его формулировке дескриптивных терминов (знаков предметов, свойств, отношений). «С учетом значений... дескриптивных терминов» означает «с учетом некоторой совокупности знаний относительно предметов, свойств, отношений - значений этих терминов» в составе некоторой теории, в которой используется данное понятие.

Утверждение «фактическое содержание понятия хВ{х) относительно совокупности знаний Г составляет часть фактического содержания понятия хА(х) относительно той же совокупности знаний» определяется как Г, А(х) t = В(х).

Ясно, что если логическое содержание В — одного понятия, составляет часть логического содержания А — другого понятия, то это же отношение существует и между их фактическими содержаниями, ибо если A t = В, то согласно законам классической логики Г, А i = В для любого Г. Очевидно теперь, что фактические содержания А и В упомянутых выше понятий «квадрат» и «квадрат с взаимно перпендикулярными сторонами» совпадают. Имеем Г, А 1= В и Г, В 1= А, где Г — множество из одного высказывания — теоремы геометрии: «Во всяком квадрате диагонали взаимно перпендикулярны». Аналогичным образом устанавливаем совпадение фактических содержаний понятий «число, делящееся на 2 и на 3» и «число, делящееся на 2, на 3 и на 6», используя в качестве Г множество из 3 (истинных) утверждений арифметики: «Если некоторое число а делится на Ъ и с, которые не имеют общего делителя, отличного от единицы, то оно делится и на их произведение», «2 и 3 не имеют общего делителя, отличного от единицы», «Шесть есть произведение двух и трех».

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

Как уже упоминалось, объемы рассмотренных пар понятий, а также следующих — «квадрат» и «квадрат с взаимно перпендикулярными диагоналями», «число, делящееся на 2 и на 3» и «число, делящееся на 2, на 3 и на б» равны. Теперь уточним: равны именно фактические их объемы. Что касается логических объемов, то для понятий каждой пары они различны. Именно: объем второго понятия в каждой паре уже, чем объем первого.

Действительно, если логическую форму первого понятия в первой паре, например, представить какхР(х), а второго — х[Р(х) & 0{х)), то логические объемы их соответственно представляют множество WxP ( x ) и Wx ( P ( x ) & Q ( x )), второе множество уже, поскольку оно равно WxP { x ) n WxQ ( x ).

Как видим из анализа последнего примера, сравнение логических объемов, как, впрочем, и фактических, можно осуществлять, подвергнув их предварительно разложению на некоторые составляющие.

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

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

WxA { x ) cWxB { x ) = A { x ) t = В{х),

где Г указывает на то, что сравнение объемов и содержаний осуществляется с учетом совокупности знаний Г. «А{х) и В{х)» есть то же, что и «Г, А[х) и В(х)». Однако допускается, что Г может быть пустым множеством (при непустом Г имеем фактические относительно этого Г объемы и содержания, при пустом - логические).

Этот закон играет важную роль во многих процессах познания. По существу, он является основой семантической теории информации. Само понятие семантической информации, например, информации того или иного высказывания А, определяют обычно как меру или показатель того, насколько принятие этого высказывания за истину ограничивает некоторое множество исходных возможностей М. Информативность А тем больше, чем сильнее это ограничение. Если мы, например, говорим, что данное вещество химически сложно, то ограничиваем множество химических веществ до химически сложных; утверждение же о том, что это вещество является химически сложным и состоит из кислорода и водорода, делает круг возможностей, к которому относится рассматриваемое вещество, еще более узким и, значит, является более информативным.

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

Информация при этом определяется относительно множества «возможных миров М». Логическая форма А некоторого высказывания А 0 тем более информативна, чем уже множество М А — «возможных миров», в которых истинно А. В понятии множество исходных возможностей — это его род. Объем понятия — результат его ограничения за счет добавления видового отличия. Степень этого ограничения и есть показатель информативности предиката, выражающего это видовое отличие.

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

Не нашли, что искали? Воспользуйтесь поиском по сайту: