Курсовая работа: Понятия и отношения между ними

Для сравнения признаков по информативности может быть использовано понятие «логическое следование». Если из высказывания или высказывательной формы А логически следует В, то есть АВ, но обратное неверно, тогда А более информативно, чем В. АВ само по себе указывает на то, что информация В составляет часть информации А.

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

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

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

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

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

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

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

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

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

W х А(х )W х В(х )А(х ) В(х )

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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