158591 (Понятия и отношения между ними), страница 3

Это указывает на то, что сравнение объемов и содержаний осуществляется с учетом совокупности знаний Г. Однако допускается, что Г может быть пустым множеством (при непустом Г имеем фактические относительно этого Г объемы и содержания, при пустом – логические).

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

На этом основан широко применяемый в логике и теории информации способ оценки информативности логических форм высказываний.

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

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

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

2.1 Виды понятий

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

Различение видов понятий осуществляется с разных точек зрения главным образом по трем основаниям [6, с. 19–22]:

1) по некоторым характеристикам объемов понятий;

2) по характеру признаков, составляющих видовое отличие мыслимых предметов в понятии, точнее говоря, по характеру предиката, выражающего это видовое отличие, то есть предиката А(х) в понятии хА(х);

3) по характеру предметов, обобщаемых в понятии.

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

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

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

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

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

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

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

II. По характеру признаков выделяют обычно положительные и отрицательные, относительные и безотносительные понятия.

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

Безотносительным или относительным понятие является в зависимости от того, представляет ли его видовое отличие атрибутивное или реляционное свойство). Безотносительными являются, например, понятия; кристаллическое вещество», «преступное действие», «общественный прогресс». Относительными будут: «отец Сократа», «столица Франции», «столица какого-нибудь государства».

III. По характеру обобщаемых в понятии объектов следует различать прежде всего понятия, в которых обобщаются отдельные предметы того или иного типа (вида ХА(Х)) и системы объектов (понятия вида (Х₁…, Х_К) А(Х₁,…, ХК), К>1). Примеры первых: «живое существо», «плодовое дерево», «город, находящийся на Экваторе» и т.п. К числу вторых относятся: «параллельные прямые», «изотопы», «родственники», «супруги», «однокоренные слова», «друзья».

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

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

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

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

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

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

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

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