Текст книги "Логика и аргументация: Учебное пособие для вузов."
Автор книги: Георгий Рузавин
Жанр:
Философия
сообщить о нарушении
Текущая страница: 3 (всего у книги 24 страниц)
Изучая способы образования и определения понятий, построения суждений и умозаключений, логика неизбежно должна абстрагироваться, отвлекаться от их конкретного содержания. В противном случае она была бы не в состоянии выделить те общие черты, которые характерны для всех понятий, суждений и умозаключений. Так, например, умозаключения: «Если Кай – человек, то он смертей» и «Если треугольник равнобедренный, то углы при его основании равны», всегда приводят к истинным результатам, когда их посылки истинны. Хотя содержание этих умозаключений весьма отлично друг от друга, но форма рассуждения в обоих случаях одинакова. Но чтобы выявить эту логическую форму в чистом виде, необходимо абстрагироваться (отвлечься) от конкретного содержания суждений или мыслей, оставить это в стороне как нечто не имеющее прямого отношения к форме. Для этого лучше всего подходит обозначение понятий и суждений с помощью символов и формул, аналогично тому, как поступают в элементарной алгебре, когда выражают с их помощью арифметические утверждения. Подобными символами в очень ограниченной мере пользовался уже Аристотель и некоторые его последователи.
С возникновением математической логики, которую часто называют символической, использование символов и формул приобрело систематический характер, а в связи с этим в значительной мере возросло и применение математических методов в логике. Прежняя логика была не в состоянии выявить логическую форму рассуждений, поскольку для этого необходимо было построить формализованные языки, с помощью которых можно было бы свести рассуждения на естественном языке к преобразованию формул на специально созданном искусственном логическом языке.
В первом приближении логическую форму мысли можно рассматривать как способ связи элементов мышления в единую структуру. Так, в понятии мы имеем дело со связью его признаков, которые характеризуют смысл понятия или его содержание. В суждении атрибутивного типа выражается связь между субъектом и предикатом, которая отображает реально связь между предметом и его свойством; в реляционном суждении речь идет об отношении между различными предметами, в умозаключении – об отношении между его посылками и заключением, а в доказательстве – между аргументами и тезисом.
С понятием логической формы непосредственно связан вопрос о правильности мышления и отличии его от истинности.
Логическая правильность мышления, в частности рассуждения, связана с соблюдением норм и законов логики. Иначе говоря, правильность мышления напрямую зависит от того, осуществляем ли мы логические операции над формами мысли в соответствии с нормами, обоснованными логикой: например, образуем и определяем понятия, строим и преобразуем суждения, устанавливаем отношения между ними, придерживаемся ли правил логического следования при выводе дедуктивных умозаключений и т.д. Такие правила имеют общий характер и не зависят от конкретного содержания мысли.
Поскольку правильность рассуждения зависит исключительно от его формы, постольку в нем все дескриптивные (описательные) термины можно заменять другими. Поэтому, если нам известно, что некоторое рассуждение является правильным, то путем замены его дескриптивных терминов другими мы может убедиться также в правильности другого рассуждения, имеющего такую же логическую форму. Гораздо более эффективным приемом проверки правильности рассуждения является построение противоречащего рассуждения, или контрпримера.
Фундаментальный принцип логики состоит в том, что в правильном рассуждении из истинных посылок нельзя вывести ложного заключения. Если мы построим рассуждение той же самой формы, в котором посылки будут истинными, а заключение будет ложным, то рассматриваемое нами рассуждение будет логически неправильным. Если же контрпримера построить не удается, тогда рассуждение считается правильным.
Такой прием проверки правильности рассуждений был известен еще Аристотелю и, по-видимому, применялся задолго до него. Однако поиск контрпримера – дело во многом случайное. Ведь если мы не обнаружили противоречащий пример, то не можем окончательно утверждать, что рассуждение будет непременно правильным. Для этого необходимо располагать систематической процедурой для поиска контрпримеров. Традиционная логика не могла решить эту проблему, поскольку не обладала методами формализации рассуждений, с помощью которых только и возможен систематический поиск контрпримеров.
Понятие истинности мышления противоположно понятию его правильности, ибо оно учитывает конкретное содержание мысли, например суждения. Еще Аристотель называл суждение истинным, если оно соответствует действительности, т.е. соединяет в мысли то, что соединено в самой действительности. Так суждение "железо – металл" истинно, потому что свойство "быть металлом" присуще железу. Аналогично этому умозаключение будет истинным, если его результат верно отображает действительность, соответствует реальным фактам, данным наблюдения, опыта и практики вообще. Если умозаключение является дедуктивным и выводится из истинных посылок в точном соответствии с правилами логического следования, то его заключение не нуждается в дальнейшей проверке, ибо является достоверно истинным.
Нередко вместо термина "логическая правильность" мысли употребляется термин "логическая истинность", а для обозначения истинности в этом случае используется термин "фактическая или содержательная истинность". Очевидно, что хотя понятия правильности и истинности имеют противоположный смысл, их нельзя противопоставлять друг другу в абсолютном плане. Ведь в реальном процессе познания ориентированном на поиск и доказательство истины, одинаково важны как правильность рассуждений, так и фактическая истинность полученных результатов.
Правильность мысли есть необходимое, но недостаточно условие для установления её истинности. Чтобы быть истинной, мысль должна соответствовать действительности верно отражать ее.
Смешение этих понятий иногда может привести к противоречиям и ошибкам, особенно когда это касается абстрактных теорий. Известно, что вплоть до открытия неевклидовой геометрии Н.И. Лобачевским геометрия Евклида считалась единственно верным геометрически» учением об окружающем нас физическом пространстве. Если заменить в этой геометрии аксиому о параллельных на противоположную, т.е. допустить, что через точку вне данной прямой на плоскости можно провести к ней по крайней мере две параллельные линии, то полученная в результате этого неевклидова геометрия будет такой же логически непротиворечивой, т.е. правильной, как и обычная геометрия Евклида. Хотя с точки зрения логической правильности обе геометрии одинаково допустимы и равноценны, но теоремы неевклидовой геометрии кажутся весьма необычными человеку, воспитанному на геометрии Евклида. Так, сумма углов треугольника в геометрии Лобачевского меньше 180 градусов, а число параллельных, которые можно провести к данной прямой, бесконечно велико. По этим причинам геометрия Лобачевского встретила серьезное сопротивление со стороны традиционно мыслящих математиков и была признана лишь много времени спустя.
Но какая же из этих геометрий истинна? На этот вопрос можно получить ответ, только сопоставив их результаты с данными экспериментальных физических исследований, например измерив сумму внутренних углов треугольника, две вершины которого находятся на Земле, а третья, скажем, на Сириусе или иной звезде. Но для наших земных и околоземных расстояний расхождения между теорией и опытом пренебрежимо малы. Этот примечательный случай из истории геометрии показывает, насколько важно отличать логическую правильность от фактической истинности, когда речь идет о применении абстрактных теорий к реальному миру. Если логическая правильность, или, как говорят математики, непротиворечивость теории, может быть установлена логико-математическими методами, то ее фактическая истинность требует обращения к эмпирическим методам исследования, которые как раз и обнаруживают соответствие или расхождение выводов теории с действительностью.
1.5. Логика и языкЯзык, как известно, представляет собой средство коммуникации, общения между людьми, с помощью которого они обмениваются друг с другом мыслями, той или иной информацией. Мысль находит свое выражение именно в языке, без такого выражения мысли одного человека оказываются недоступными другому.
Главная цель логики состоит в том, чтобы найти правила и принципы обоснованных рассуждений. В доказательных рассуждениях мы опираемся на правила дедуктивных умозаключений, которые при истинных посылках гарантируют получение достоверно истинных заключений. В правдоподобных рассуждениях мы стремимся с помощью соответствующих аргументов (доводов) подтвердить и обосновать свои заключения. Оперируя понятиями и суждениями, мы абстрагируемся в логике от целого ряда условий и обстоятельств, поскольку нашей задачей является сохранение, передача и преобразование истины. По сути дела основная задача логики состоит в том, чтобы сформулировать правила преобразования информации, т.е. из имеющейся информации получить новую информацию. Именно для этой цели и предназначены рассуждения, или умозаключения, содержащие в своем составе различные посылки, состоящие из суждений, которые в свою очередь состоят из понятий.
Для выражения всех этих элементов рассуждения служат различные средства языка. Понятия выражаются посредством отдельных слов или словосочетаний, суждения и умозаключения – с помощью простых или сложных предложений. Поэтому логический анализ рассуждений тесно связан с анализом языка, хотя отнюдь не сводится к последнему. Действительно, при логическом анализе суждений мы интересуемся его логической структурой, а не грамматической формой. Поэтому выделяем в суждении те элементы, которые имеют существенное значение для его характеристики с точки зрения истинности и ложности. В строгом смысле слова только суждения могут рассматриваться как истинные или ложные, ибо именно они могут верно или неверно, адекватно или неадекватно относиться к действительности. Предложения же хотя и используются для выражения суждений, сами по себе не могут рассматриваться как истинные или ложные. Более того, существуют в нашем языке такие предложения, которые служат не для выражения суждений, а представляют собой вопросы, повеления и т.п. Подробнее о них речь пойдет в гл.3, здесь же нам хотелось бы обратить внимание на различие между логическим и грамматическим анализом.
Почему так важен логический анализ, какую роль он играет в повседневном и особенно научном познании?
1. Поскольку язык развивался как средство коммуникации и взаимопонимания между людьми, постольку он главным образом совершенствовался для быстрой передачи информации, увеличения объема передаваемых сообщений, иногда даже за счет неточности и неопределенности их смысла. Это особенно характерно для образного языка ораторской и художественной речи, которая изобилует сравнениями, метафорами, синонимами и омонимами и другими языковыми средствами, придающими ей особую окраску, эмоциональность, наглядность и выразительность. Но все это значительно затрудняет логический анализ языка, а иногда и затрудняет понимание речи.
2. Как универсальное средство для коммуникации и обмена мыслями и информацией, язык выполняет множество функций, которые не интересуют логику. Логика, напротив, стремится как можно точнее передать и преобразовать существующую информацию и тем самым устранить некоторые недостатки естественного языка путем создания искусственных формализованных языков. Такие искусственные языки используются прежде всего в научном познании, а в последние годы они нашли широкое распространение в программировании и алгоритмизации различных процессов с помощью компьютеров. Достоинство подобных языков состоит прежде всего в их точности, однозначности, а самое главное – в возможности представления обычного содержательного рассуждения посредством вычисления.
Формализация рассуждения состоит в представлении его посредством символов и формул искусственного (формализованного) языка, в котором перечисляются, во-первых, исходные формулы, выражающие основные утверждения содержательной теории, во-вторых, первоначальные понятия, которые фигурируют в этих утверждениях, и, в-третьих, явно указываются те правила вывода или преобразования, с помощью которых в содержательных теориях получают теоремы из аксиом, а в формальных теориях исходные формулы преобразуют в производные. Нетрудно заметить, что формализация рассуждения происходит в соответствии с требованиями аксиоматического метода, знакомого нам из школьного курса геометрии. Разница состоит только в том, что вместо понятий и суждений в ней используются символы и формулы, а логический вывод теорем из аксиом заменяется преобразованием исходных формул в производные. Таким образом, при полной формализации содержательное мышление (рассуждение) его отображается в формальном исчислении. Кроме формализованных языков логики и математики, к искусственным научным языкам относят также языки тех наук, в которых широко используются символы и формулы. Типичным является, например, язык химических символов и формул. Однако в таких языках символы и формулы служат для более компактной и краткой записи соответствующих понятий и утверждений. Так, в химии символы употребляются для записи химических элементов или простых веществ, а формулы – для записи их соединений и сложных веществ. Но само рассуждение проводится как обычно на содержательном уровне.
Какую роль играет формализация в научном познании вообще и в логике в особенности?
1. Формализация дает возможность анализировать, уточнять, определять и эксплицировать (разъяснять) понятия. Интуитивные понятия хотя и кажутся более ясными и очевидными с точки зрения здравого смысла, оказываются не подходящими для научного познания в силу их неопределенности, неоднозначности и неточности. Так, например, понятия непрерывности функции, геометрической фигуры в математике, одновременности событий в физике, наследственности в биологии и многие другие существенно отличаются от тех представлений, которые они имеют в обыденном сознании. Кроме того, некоторые исходные понятия обозначаются в науке теми же словами, которые употребляются в разговорном языке для выражения совершенно других вещей и процессов. Такие основополагающие понятия физики, как сила, работа и энергия, отображают вполне определенные и точно указанные процессы: например, сила рассматривается в физике как причина изменения скорости движущегося тела, а работа – как произведение силы на путь. В разговорной речи им придается более широкий, но неопределенный смысл, вследствие чего физическое понятие, например работы, неприменимо к характеристике умственной деятельности. Но даже в науке смысл и значение вводимых понятий со временем изменяется, уточняется и обобщается.
2. Формализация приобретает особую роль при анализе доказательств. Представление доказательства в виде последовательности формул, получаемых из исходных с помощью точно указанных правил преобразования, придает ему необходимую строгость и точность. При таком подходе исключаются ссылки на интуицию, очевидность или наглядность чертежа, так что при соответствующей программе доказательство можно передать вычислительной машине. О том, какое значение имеет строгость доказательства, свидетельствует история попыток доказательства аксиомы о параллельных в геометрии, когда вместо такого доказательства сама аксиома заменялась эквивалентным утверждением. Именно неудача подобных попыток заставила Н.И. Лобачевского признать невозможным такое доказательство.
3. Формализация, основанная на построении искусственных логических языков, служит теоретическим фундаментом для процессов алгоритмизации и программирования вычислительных устройств, а тем самым и компьютеризации не только научно-технического, но и другого знания.
Следовательно, формализация предполагает содержательный логический анализ тех способов рассуждения, посредством которых получаются одни утверждения из других, но сами утверждения, представляющие по своей структуре суждения, в свою очередь состоят из понятий. Поэтому мы начнем изучение логики с анализа понятий.
Проверьте себя
1. Что представляет собой эристика, где она впервые возникла и какое значение сохранила для нас?
2. Какая связь существует между риторикой и логикой?
3. Почему аристотелевскую логику называют формальной?
4. В чем выражается психологизм в логике и почему он несостоятелен?
5. Что называют логической формой и чем она отличается от содержания мысли?
6. Как можно выделить логическую форму мысли? Чем отличается логическая форма от грамматической?
7. Что называют логической правильностью мысли? Какая связь существует между правильностью и истинностью мысли?
8. Как можно проверить логическую правильность утверждения и его истинность?
9. Постройте контрпример к утверждению "Если политик обещает невыполнимое, то он обманывает людей".
10. Какая существует связь между языком и логикой? Какой язык называют формализованным и чем он отличается от естественного языка?
2 ГЛАВА. Понятие как форма мышления
В современной логике, особенно математической, которая ориентируется на дедуктивные, доказательные рассуждения, проблема понятия утратила то значение, которая она имела в традиционной логике. Со времен Г. Фреге понятие рассматривается как пропозициональная функция или функция-высказывание (лат. propositio – предложение), которая удовлетворяется теми значениями аргументов, которые составляют объем понятия. Поскольку же понятие входит в состав высказываний, оно выступает вместе с другими компонентами в рамках разнообразных логических исчислений. Такой подход в определенных условиях не только допустим, но и необходим, в частности, когда мы стремимся отобразить содержательное мышление в формальном исчислении. А формальные исчисления и связанные с ними алгоритмы служат основой современной компьютеризации.
Однако и с исторической и с современной точки зрения такой взгляд на понятие является весьма ограниченным, ибо не раскрывает ни происхождения понятий, ни оперирования ими в научном познании и даже в практических рассуждениях. Для нас особое значение имеет тот факт, что понятия играют существенную роль в процессе аргументации. Действительно, многие споры и дискуссии зачастую происходят именно из-за неясности, нечеткости и неточности используемых при этом понятий. Вот почему мы должны заняться детальным анализом логической структуры понятий, способов их определения и уточнения, а также операций с ними.
2.1. Понятие как результат обобщенияОтображение внешнего мира человеком начинается с чувственного познания, когда предметы и явления предстают перед ним как объекты непосредственного, живого созерцания. На этой ступени важная роль принадлежит органам чувств, с помощью которых информация извне поступает в мозг. В результате анализа и переработки полученной информации возникают: во-первых, ощущения, которые отображают отдельные свойства конкретных вещей (цвет, запах, твердость и т.п.); во-вторых, восприятия, в чувственной форме выражающие эти вещи целиком, т.е. как совокупность взаимосвязанных свойств; в-третьих, представления, когда вещь осознается без непосредственного ее восприятия. Поэтому представления занимают промежуточное положение между чувственным и рациональным познанием, так как они опираются прежде всего на память о тех впечатлениях, которые сохранились от непосредственного созерцания вещи. Но уже здесь происходит некоторое отдаление и отвлечение от второстепенных, несущественных черт и деталей вещи.
Переход от чувственного к рациональному познанию опирается прежде всего на процессы абстрагирования и обобщения. С помощью абстрагирования мы отвлекаемся от несущественных, неосновных, второстепенных свойств и отношений. Выделенные таким образом свойства и отношения являются общими для изучаемых классов вещей.
Понятие как раз и является той основной формой мышления, посредством которой мы выделяем определенные классы вещей и отличаем их друг от друга. Следовательно, понятие выступает, во– первых, как результат абстракции, т.е. мысленного выделения существенных свойств вещей от несущественных, главных – от второстепенных, а, во-вторых, как обобщение этих существенных свойств в едином понятии.
Обобщение заключается в отвлечении от всех индивидуальных различий внутри класса изучаемых объектов, например в понятии «студент» мы не обращаем внимания на его специальность, успеваемость, национальность и другие конкретные особенности.
Таким образом, понятие можно определить как результат абстрагирования, выделения определенных классов предметов с помощью обобщения указанных предметов посредством их отличительного или существенного признака. Термин «признак» обозначает выраженные в понятии свойства и отношения реальных вещей.
Наиболее знакомыми и привычными для нас являются свойства, поэтому классическая логика ориентировалась на свойства вещей. Но между вещами существуют также разнообразные отношения, которые выражаются с помощью понятий. В современной логике их называют предикатами (лат. praedicatum – логическое сказуемое суждения), причем свойства обозначаются одноместными предикатами, а отношения – многоместными предикатами.
Содержание и объем понятия
Прежде чем приступить к подробному анализу понятия, обратим внимание на различие между реальным предметом (вещью, явлением, процессом) и предметом мысли. Очевидно, что в понятии как форме мысли мы имеем дело с отображением реальных, объективных свойств. Следовательно, реальный предмет и предмет мысли принадлежат к разным областям действительности: первый – к миру объективному, существующему независимо от человека, второй – к субъективному миру познающего лица. Но это различие не исключает связи между ними. Если в наших понятиях мы будем адекватно отображать свойства и отношения вещей, то они будут давать нам верное знание о действительности.
Поскольку мы отличаем одни классы вещей от других, то для характеристики понятия основное значение приобретает его содержание.
Под содержанием понятия подразумевают совокупность отличительных признаков предмета мысли. Так, в математике мы отличаем квадраты от ромбов и прямоугольников на том основании, что у ромбов стороны равны, но углы не равны, а у прямоугольников углы равны, но стороны не равны.
Обычно понятие определяют как форму мысли, в которой отображаются существенные признаки изучаемых предметов. Однако заранее нам не известно, в какой мере те или иные признаки являются существенными. На деле это выявляется лишь в процессе исследования, особенно в научном познании. Поэтому целесообразно, на наш взгляд, говорить об отличительных признаках, с помощью которых мы можем различать разные классы предметов. Кроме того, для решения одних задач и проблем целесообразно считать существенными одни признаки, для решения других – иные. Например, хотя равносторонние и равноугольные треугольники составляют один и тот же класс, но содержание и смысл этих понятий различны, ибо в первом случае речь идет о сторонах треугольника, а во втором – об его углах.
Объем понятия можно определить как класс или множество тех предметов, которые обладают отличительными или существенными признаками, общими для них всех. Термин «класс» чаще всего употребляется в логике, в математике предпочитают говорить о множествах. Но в данном случае мы не будем проводить между ними различия.
Множество (или класс) состоит из элементов, которые объединяются в целое по некоторым отличительным признакам. Так, объем понятия «первые три четных числа» будет состоять из чисел 2, 4 и 6, а объем всех четных чисел содержит бесконечное количество элементов. Общим признаком для любого четного числа является делимость на 2. Поскольку все четные числа составляют бесконечное множество, то в этом множестве можно выделить самые разнообразные подмножества, например подмножество четных чисел, делящихся на 3, 5, 7, и т.д.
Как мы убедимся в дальнейшем, операции над понятиями связаны с действиями над их объемами. Это же относится и к делению понятий на общие, единичные и нулевые. Если множество, представляющее объем понятия, состоит из многих или бесконечного числа элементов, то оно называется общим. Примером может служить понятие "планеты Солнечной системы", содержащее конечное число элементов. Объем понятия "четное число", как мы видели, состоит из бесконечного числа элементов. Иногда понятие с бесконечным объемом называют универсальным, чтобы отличить его от понятий, содержащих хотя и большое, но конечное число элементов. К единичным относятся понятия, объем которых состоит из одного-единственного элемента. Часто такие понятия называют просто описаниями, например выражения "самая высокая гора в Европе", "самая протяженная река в мире" и т.п. являются такими понятиями-описаниями. Наконец, к нулевым понятиям относят те, объемы которых не содержат ни одного элемента, например понятие "вечный двигатель".
Рассмотрим теперь, как связаны между собой содержание и объем понятия.
Закон обратного отношения между объемом и содержанием понятия
Отношение между объемом и содержанием понятия было сформулировано в виде закона еще в XVII в. (логике Пор-Рояля). Коротко его можно выразить так: чем богаче содержание понятия, тем уже его объем и, наоборот, чем беднее содержание понятия, тем шире его объем. Например, содержание понятия четного числа богаче понятия натурального числа. Поэтому объем четного числа уже объема натурального числа. Аналогично этому содержание понятия «металл» богаче понятия «химический элемент» и, следовательно, объем понятия «металл» уже объема понятия «химический элемент». Обратите внимание, что закон обратного отношения применим к понятиям, находящимся друг к другу в отношении «частного» к «общему» или, точнее, «вида» и «рода».
Четные числа, как известно, составляют специфический вид натуральных чисел, а последние по отношению к ним являются родом. Точно так же металлы составляют часть или вид среди общего рода химических элементов. Термины "шире" и "уже", "богаче" и "беднее" употребляются при формулировке закона для краткости. Более развернуто они означают, что содержание будет богаче, если оно включает большее количество отличительных или существенных признаков. Объем соответственно считается более узким, если он содержит меньшее количество элементов.
Более точная формулировка закона обратного отношения между содержанием и объемом понятия может быть дана в таком виде: если объем одного понятия составляет часть другого, имеющего тот же род, то содержание второго составляет часть содержания первого понятия, и наоборот, когда содержание одного понятия есть часть содержания другого, тогда объемы понятий находятся в обратном отношении.
Несмотря на свою очевидность, этот закон не раз оспаривался в истории философии и методологии науки. Еще совсем недавно он подвергался критике сторонниками диалектической логики.
Какие доводы выдвигаются против закона обратного отношения между содержанием и объемом понятия?
Поскольку прогресс науки приводит к образованию новых, более общих и глубоких теорий, постольку эти понятия и теории не могут рассматриваться как более бедные по содержанию, считают критики данного закона. Другие идут еще дальше и заявляют, что такие общие понятия содержат все богатство особенного и единичного. Но эти доводы не выдерживают критики, во-первых, потому, что более общие понятия хотя и могут быть более глубокими, но они не могут сохранять в своем содержании специфические особенности менее общих и тем более единичных понятий. Другое дело, что в сочетании с той информацией, которая содержится в таких понятиях, более общие понятия дают более глубокое объяснение изучаемых явлений. Во-вторых, критики закона обратного отношения не учитывают тот факт, что процесс познания идет не только от частного к общему, от конкретного к абстрактному, но и в обратном направлении – от абстрактного к конкретному знанию. Абстракции создаются именно для того, чтобы глубже понять конкретную действительность, а это становится возможным только в единстве более общих и менее общих понятий. В-третьих, если бы критики закона были правы, тогда не стоило сохранять менее общие понятия и теории, но характерная особенность научного познания состоит именно в преемственности развития, сохранении и удержании всего того ценного, что достигнуто на предшествующих этапах познания.
Отношения между понятиями
Определив объем понятия, можно рассмотреть, какие отношения могут существовать между различными их типами.
Отношение эквивалентности существует тогда и только тогда, когда объемы сравниваемых понятий полностью совпадают. Это означает, что отличительные или существенные признаки, присущие сравниваемым понятиям, принадлежат всем элементам множеств, составляющих их объемы. Так, понятие эквивалентности характеризует отношение между классами равносторонних и равноугольных треугольников, равноугольных ромбов и квадратов, равносторонних прямоугольников и квадратов. Легко убедиться, что, несмотря на отличительные признаки этих понятий, все они принадлежат к одному классу элементов, т.е. имеют тот же самый объем. Обратите внимание на то, что все перечисленные понятия оказываются эквивалентными только по объему, содержание же их различно. Так, признаки «иметь равные стороны» или «обладать равными углами» отличаются друг от друга по смыслу.
Отношение перекрещивания (частичного совпадения) объемов понятий существует тогда и только тогда, когда часть объема одного понятия входит в объем другого, и в свою очередь часть объема второго понятия входит в объем первого. Таковы отношения между объемами понятий «студенты» и «спортсмены», «студенты» и «филателисты», ибо ясно, что не все студенты являются спортсменами или филателистами. Обычно для наглядного изображения отношений между объемами понятий употребляются диаграммы Л. Эйлера, в которых объем понятия представляется кругом. Поскольку у эквивалентных понятий объемы совпадают, то отношение между ними изображается одним кругом. В случае частичного совпадения объемов отношение изображается пересечением двух кругов. Если обозначить объем одного понятия через А, другого – через В, то графически отношения эквивалентности (рис. 1) и
Отношение субординации (подчинение объемов) понятий существует тогда и только тогда, когда объем одного понятия полностью входит в объем второго. Понятие меньшего объема составляет часть, или, точнее, вид понятия с большим объемом, который по отношению к нему называют родом. На диаграмме Эйлера (рис. 3) это отношение изображается включением меньшего круга в больший.
