Множество (или класс) состоит из элементов, которые объединяются в целое по некоторым отличительным признакам. Так, объем понятия "первые три четных числа" будет состоять из чисел 2, 4 и 6, а объем всех четных чисел содержит бесконечное количество элементов. Общим признаком для любого четного числа является делимость на 2. Поскольку все четные числа составляют бесконечное множество, то в этом множестве можно выделить самые разнообразные подмножества, например подмножество четных чисел, делящихся на 3, 5, 7, и т.д.

Как мы убедимся в дальнейшем, операции над понятиями связаны с действиями над их объемами. Это же относится и к делению понятий на общие, единичные и нулевые. Если множество, представляющее объем понятия, состоит из многих или бесконечного числа элементов, то оно называется общим. Примером может служить понятие "планеты Солнечной системы", содержащее конечное число элементов. Объем понятия "четное число", как мы видели, состоит из бесконечного числа элементов. Иногда понятие с бесконечным объемом называют универсальным, чтобы отличить его от понятий, содержащих хотя и большое, но конечное число элементов. К единичным относятся понятия, объем которых состоит из одного-единственного элемента. Часто такие понятия называют просто описаниями, например выражения "самая высокая гора в Европе", "самая протяженная река в мире" и т.п. являются такими понятиями-описаниями. Наконец, к нулевым понятиям относят те, объемы которых не содержат ни одного элемента, например понятие "вечный двигатель".

Рассмотрим теперь, как связаны между собой содержание и объем понятия.

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

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

Несмотря на свою очевидность, этот закон не раз оспаривался в истории философии и методологии науки. Еще совсем недавно он подвергался критике сторонниками диалектической логики.

Какие доводы выдвигаются против закона обратного отношения между содержанием и объемом понятия?

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

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

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

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

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

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