Виды понятий и отношения между ними

Виды понятий и отношения между ними. Виды понятий Вопрос о видах понятий – это прежде всего вопрос о различных способах мысленного выделения и обобщения предметов в процессе познания.

Знание видов понятий важно прежде всего с гносеологической точки зрения, для понимания процесса познания. Но оно имеет и немалую практическую значимость. А именно, оно важно для понимания смыслов тех или иных утверждений, а также для обеспечения точности выражения мыслей. Таким образов, это знание является существенным моментом логической культуры мышления. Различение видов понятий осуществляется с разных точек зрения главным образом по трем основаниям [6, с. 19–22]: 1) по некоторым характеристикам объемов понятий; 2) по характеру признаков, составляющих видовое отличие мыслимых предметов в понятии, точнее говоря, по характеру предиката, выражающего это видовое отличие, то есть предиката А(х) в понятии хА(х); 3) по характеру предметов, обобщаемых в понятии.

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

Понятие хА(х) является логически пустым, если А(х) есть логически противоречивая характеристика предметов х, например, «вещество, которое является кристаллическим и не является таковым». Понятие хА(х) фактически пусто, если фактически не существует предметов х с данной характеристикой А(х). Таково, например, понятие «ворон белого цвета». Не существует также, как известно, атомов в том смысле, как их понимали в Древней Греции, а именно как неделимых частиц.

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

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

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

Единичное понятие по сути своей представляет собой, как и всякое другое, некое обобщение и этим отличается от имени отдельного предмета. Мы не всегда при этом можем даже знать, что класс обобщаемых предметов является именно единичным. Без дополнительных знаний не ясно, например, является ли общим или единичным понятие «город, породненный с Волгоградом». Возможно, не каждому известно, что в объем этого понятия входят 9 городов в разных странах мира [6, с. 19–22]. В некоторых случаях возникают трудности при попытке решить вопрос, является ли некоторое понятие общим или единичным в силу характера мыслимых в понятии предметов.

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

Аналогичные трудности возникают с понятиями «любовь», «бытие» и т.п. (так называемые абстрактные понятия). Полезно использовать в таких случаях следующий критерий понятие является общим, если в пределах его объема могут быть выделены некоторые виды предметов. Так, в объеме понятия «вода» мы можем выделить: «морская вода», «речная вода», «дистиллированная» и «недистиллированная». Еще более просто решить указанный вопрос, когда возможна индивидуализация мыслимых в понятии объектов.

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

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

Понятие фактически универсально, если предикат, составляющий его видовое отличие, не выражает никакой информации относительно предметов рода данного понятия и при этом именно в силу значений составляющих его дескриптивных терминов. Обычно это подразумевает наличие закона науки, указывающего на то, что все предметы рода обладают этим признаком. Так, например, фактически универсально понятие: «Жидкость такова, что давление на какую-нибудь ее точку передается во все стороны с одинаковой силой». Здесь мы имеем случай, когда содержанием понятия является закон-признак, необходимо присущий всем жидкостям (согласно закону Паскаля). Естественно, что он ничего не выделяет в множестве жидкостей, то есть не несет никакой информации относительно них, поскольку верен для любых жидкостей.

Но если бы в качестве родового было взято понятие «физическое тело», тогда понятие с тем же видовым отличием выделяло бы именно жидкости [6, с. 19–22]. Указанное различие внутри универсальных и пустых понятий связано с приведенным выше различением логических и фактических содержаний и соответственно объемов понятий. II. По характеру признаков выделяют обычно положительные и отрицательные, относительные и безотносительные понятия.

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

Положительными являются, например, понятия «европейское государство», «столичный город», «родственники». Примеры отрицательных понятий – «человек, не знающий логики», «непересекающиеся прямые», «нечестный и безнравственный человек». Безотносительным или относительным понятие является в зависимости от того, представляет ли его видовое отличие атрибутивное или реляционное свойство). Безотносительными являются, например, понятия; кристаллическое вещество», «преступное действие», «общественный прогресс». Относительными будут: «отец Сократа», «столица Франции», «столица какого-нибудь государства». III. По характеру обобщаемых в понятии объектов следует различать прежде всего понятия, в которых обобщаются отдельные предметы того или иного типа (вида ХА(Х)) и системы объектов (понятия вида (Х1…, ХК) А(Х1,…, ХК), К>1). Примеры первых: «живое существо», «плодовое дерево», «город, находящийся на Экваторе» и т.п. К числу вторых относятся: «параллельные прямые», «изотопы», «родственники», «супруги», «однокоренные слова», «друзья». Дальнейшее подразделение относится к понятиям вида ХА(Х), то есть к понятиям, в которых обобщаются отдельные предметы. При этом различаются понятия конкретные и абстрактные, с одной стороны, собирательные и несобирательные – с другой.

Первое из указанных делений связано с различением конкретных и абстрактных объектов.

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

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

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

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

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

Как известно, нет строгих граней даже между более простыми предметами и явлениями действительности, и почти любое различение видов тех или иных предметов в той или иной степени условно и неопределенно [6, с. 19–22]. Понятие свойства (как и отношения) возникает в результате двойного абстрагирования.

С одной стороны, происходит отвлечение некоторого свойства от предметов – изоляция его от предметов и превращение в самостоятельный предмет (изолирующее абстрагирование); с другой стороны, осуществляется обобщение этого свойства путем выделения общих основных свойств этих свойств и отвлечения от основных (обобщающе-различающее абстрагирование). Значительная доля условности имеется и в делении понятий на собирательные и несобирательные.

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

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

Очевидно, что собирательное понятие может быть и единичным, например, «студенческий коллектив МГУ», «созвездие Большой Медведицы» и др. Отдельные предметы, составляющие совокупности, мыслимые в собирательном понятии, вообще говоря, существуют или могут существовать отдельно или самостоятельно. Но в некоторых отношениях их совокупность выступает как одно целое (например, перед всеми людьми, составляющими производственный коллектив, стоят некоторые общие задачи, и все они в совокупности несут ответственность за их выполнение и т.д.). Это обусловливает возможность и необходимость в некоторых случаях мыслить совокупность как один предмет.

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

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

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

Предметами понятий могут быть отдельные предметы и их характеристики (свойства, отношения и т.д.). Предметы – и даже одни и те же – могут обобщаться по различным их сторонам, по наличию и отсутствию свойств, качеств, отношений, по собственным характеристикам предмета и по отношению его к другим предметам и т.д. [6, с. 19–22]. Совокупности взаимосвязанных предметов могут мыслиться разрозненно и, наоборот, возможно мысленное объединение в некоторый агрегат предметов, существующих раздельно, и т.п. Знание этих способов позволяет овладеть, понятием как одной из форм мышления. Это важно также и для того, чтобы умело пользоваться имеющимися нашем распоряжении понятиями в процессе рассуждения. 2.2 Виды отношений между понятиями Для того чтобы правильно оперировать понятиями – в этом состоит одна из целей изучения теории понятия – необходимо учитывать, что они существуют в системе знания не изолированно, а находятся в каких-то отношениях между собой.

Эти отношения многообразны.

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

Те и другие отношения определенным образом связаны между собой.

Выяснение отношений между содержаниями может быть связано с вопросами: является ли содержание одного понятия более широким, чем содержание другого, или, могут ли признаки, составляющие содержание одного и другого, принадлежать одним и тем же предметам? Об объемах двух понятий соответственно можно спросить; является ли объем одного понятия уже объема другого, или, имеются ли такие предметы, которые одновременно являются элементами объема и одного, и другого понятия? Обратим внимание сразу на то, что надо отличать отношения понятий о тех или иных предметах от отношений между самими предметами, тем более что имеются даже общие термины для обозначения отношений того и другого типа. Так, мы говорим, что крыло самолета является частью самолета, а объем понятия «реактивный самолет» является частью объема понятия «самолет». Городской район – часть города, но объем понятия «городской район», конечно, не является частью объема понятия «город». Отношения «часть» – «целое» между предметами называются мерно-логическими; рассматриваемые здесь отношения между понятиями – это логические отношения (при этом определенного типа, связанные именно с указанными выше вопросами [6, с. 19–22]. Однако среди отношений между понятиями возможно различение отношений по логическим и фактическим содержаниям и соответственно объемам.

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

I. Любые два понятия прежде всего являются сравнимыми или несравнимыми.

Два понятия сравнимы, если они имеют общий род. В противном случае понятия несравнимы. Например, понятия «плоская геометрическая фигура (род), замкнутая и ограниченная четырьмя прямыми (видовое отличие)» и «плоская геометрическая фигура (род), замкнутая и ограниченная тремя прямыми (видовое отличие)» являются сравнимыми.

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

Однако, строго говоря, все предметы, поскольку понятие «предмет» употребляется здесь в широком смысле «как предмет мысли», имеют какие-то общие признаки, хотя бы именно тот, что они являются или могут быть предметами мысли. Кажутся явно несравнимыми, например, понятия «радость» и «искусственный спутник Земли». Однако, если мы их сформулируем так, что возьмем в качестве рода множество никак не охарактеризованных предметов («нечто») и все остальные характеристики, по которым выделяем соответствующие объекты мысли, отнесем к видовым отличиям, то понятия оказываются сравнимыми. Таким образом, существенно обращать внимание на строение (формулировку) понятия.

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

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

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

Несовместимые понятия: «студент-отличник» и «неуспевающий студент», «интернационалист» и «националист», «кристаллическое вещество» и «вещество, не имеющее определенной температуры плавления». Ясно, что для решения вопроса о совместимости или несовместимости понятий нужно иметь сами понятия, а не слова, которые служат их сокращениями.

Так, если молекулой называется наименьшая частица вещества, обладающая химическими свойствами, то совместимыми, очевидно, понятия «молекула» и «атом», поскольку имеются так называемые одноатомные молекулы (молекулы инертных (благородных) газов). В множестве пар совместимых понятии различаются три вида: 1) равнозначные понятия; 2) понятия, находящиеся в отношении логического подчинения; 3) перекрещивающиеся понятия. Равнозначными называются понятия, объемы которых совпадают и только содержания различны.

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

Примеры: «четырехугольник» и «прямоугольный четырехугольник», «философ» и «философ-материалист», «международные отношения» и «международные экономические отношения», «химически простое вещество» и «металл» [6, с. 19–22]. Отношение логического подчинения иначе характеризуют как родовидовое, называя понятие, объем которого включает объем другого в качестве своей правильной части, родовым по отношению к этому второму, а второе – видовым по отношению к первому.

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

Примеры противоречащих понятий: «город, являющийся столичным» и «город, не являющийся столичным», «слово изменяющееся по числам и падежам» и «слово, не изменяющееся по числам и падежам». Обычно мы более менее удачно применяем термин «противоположности» при интуитивном его употреблении. Определение же его смысла является трудной проблемой. Как правило, в этом отношении находятся понятия, которые отражают крайние степени какой-либо интенсивности.

Более конкретно речь идет о понятиях, объемы которых составляют два крайних вида в множестве видов, которые выделены и расположены по степени изменения какого-нибудь признака. Так, например, объем понятия «ахроматический цвет» можно разделить по степени яркости на «белый», «светло-серый», «серый», «темно-серый», «черный». Таким образом, «белый» и «черный» здесь оказываются противоположностями. По-видимому, в любом случае, говоря о противоположных понятиях, мы подразумеваем возможность какого-либо упорядочивания видов предметов, входящих в его объем.

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