- •Глава 1
- •§ 1. Формальное мышление и логика
- •§ 2. Логика и рассуждения
- •§ 3. Логическая онтология
- •§ 4. Логическая культура
- •Глава 2
- •§ 1. Общая характерисрика понятия
- •Знак Смысл Значение
- •§ 2. Содержание и объем понятий
- •Объем понятия
- •§ 3. Обобщение и ограничение понятий
- •Род и вид
- •Часть и целое
- •Глава 3
- •§ 1. Виды понятий
- •II. Виды понятий, выделяемые по числу элементов объема.
- •III. Виды понятий, выделяемые по характеру элементов объема.
- •§ 2. Отношения между понятиями
- •Виды совместимости
- •Глава 4
- •§ 1. Определения и их виды
- •Виды определений
- •Родовидовые определения
- •Правила определения
- •Глава 5
- •§ 1. Операция деления, правила и ошибки
- •Структура деления
- •Некоторые особенности деления
- •Виды деления
- •§ 2. Правила деления и возможные ошибки.
- •2. Правило исключения.
- •3. Правило одного основания.
- •Комментарий к правилам деления
- •§ 3. Понятие о классификации
- •Виды классификаций
- •Глава 6
- •§ 1. Общая характеристика суждения
- •Виды суждений
- •Истинность и ложность суждений
- •Виды простых суждений
- •S (не) есть p.
- •§ 2. Категорические суждения
- •§ 3. Сложные суждения
- •4. «Если..., то...» — условное суждение, или импликация.
- •5. «... Тогда и только тогда, когда...» — эквивалентность — суждение эквивалентности.
- •§ 4 Запись категорических суждений и силлогизмов при помощи языка логики предикатов
- •Глава 7
- •§ 1. Отношения между простыми суждениями
- •§ 2. Отношения между сложными суждениями
- •Глава 8
- •§ 1. Общая характеристика
- •§ 2. Закон непротиворечия
- •§ 3. Закон тождества
- •§4. Закон исключенного третьего
- •§ 5. Закон достаточного основания
- •§ 6. О нарушениях законов логики
- •Глава 9.
- •§ 1. Понятие и структура умозаключения
- •§ 2. Классификация умозаключений
- •Глава 10
- •§ 1. Условно-категорические и чисто условные умозаключения
- •Обозначим
- •Кто такие X, y и z?
- •§ 2. Разделительно-категорические умозаключения
- •§ 3. Условно-разделительные умозаключения
- •§ 5. Непрямые умозаключения
- •Сведение к абсуpду
- •Рассуждение от противного
- •Рассуждение по случаям
- •Глава 13
- •§ 1. Понятие и виды силлогизмов
- •§ 2. Непосредственные силлогизмы
- •А |-I, e |-о
- •§ 3. Простой категорический силлогизм
- •Структура силлогизма
- •Аксиома силлогизма
- •Фигуры силлогизмов
- •Модусы силлогизмов
- •I фигура
- •II фигура
- •III фигура
- •Запись силлогизмов на языке логики предикатов
- •§ 4. Способы проверки правильности силлогизмов
- •§ 5. Энтимемы
- •Глава 12
- •§ 1. Общая характеристика индуктивных умозаключений
- •§ 2. Виды индуктивных умозаключений
- •Установлено, что
- •Математическая индукция
- •§ 3. Научная индукция, или методы обнаружения причинных связей
- •Метод единственного сходства
- •Метод единственного различия
- •Соединенный метод сходства и различия
- •Метод сопутствующих изменений
- •Метод остатков
- •Ошибки, встречающиеся при обнаружении причинных связей
- •§ 4. Умозаключения по аналогии
- •Структура умозаключений по аналогии
- •Виды умозаключений по аналогии
- •Условия состоятельности аналогий
- •Аналогия и моделирование
- •Глава 15.
- •§ 1. Доказательство
- •Понятие доказательства
- •Структура доказательства
- •Способы доказательства
- •§ 2. Опровержение
- •§3. Правила доказательства и возможные ошибки
- •Послесловие
- •Список источников
- •Указатель имен
Виды совместимости
Представим себе возможные случаи совместимости двух понятий A и B. Во-первых, может быть так, что объемы понятий A и B совпадают. Во-вторых, может быть так, что объем понятия B целиком входит в объем A, но в то же время имеются такие элементы A, которые не являются элементами объема понятия B. В-третьих, может быть так, что объемы понятий имеют общую часть, но есть такие элементы объема понятия B, которые не являьтся элементами объема понятия A и наоборот.
Рассмотрим эти три случая подробнее.
Понятия A и B назовем равнозначными, если объемы этих понятий состоят из одних и тех же элементов.
Отношения между понятиями по объему удобно иллюстрировать кругами Эйлера. В данном случае получится следующий рисунок:
Рис. 3
Пример. Следующие понятия являются равнозначными: (A) Луна и (B) естественный спутник Земли; (A) квадрат и (B) равносторонний прямоугольник; (A) дочь и (B) женщина; (A) сын и (B) мужчина; (A) сын и (B) внук.
Понятие B подчиняется понятию A, если объем B является собственным подмножеством объема A.
Несложно заметить, что вид понятия подчиняется самому этому понятию, а любое понятие подчиняется своему роду.
При помощи кругов Эйлера это отношение изобразим таким образом:
Рис. 4
Пример: Следующие понятия находятся в отношении подчинения: (B) студент и (A) человек; (B) человек и (A) животное; (B) историк и (A) гуманитарий; (B) мать и (A) дочь — все это пары понятий, из которых первое подчиняетсэ второму.
Понятия A и B находятся в отношении перекрещивания, если они совместимы и имеются элементы объема понятия A, не являющиеся элементами объема понятия B, и элементы объема понятия B, не являющиеся элементами объема понятия A.
При помощи кругов Эйлера отношение перекрещивания можно изобразить следующим образом:
Рис. 5
Пример. (A) студент и (B) спортсмен, (A) женщина и (B) красивый человек, (A) монархия и (B) демократическое государство — все это пары перекрещивающихся понятий.
Как устанмвить, в каком отношении находятся совместимые понятия? Для этого следует задать нашим понятиям A и B два вопроса:
1. Все ли A являются B?
2. Все ли B являются A?
Если мы на оба вопроса отвечаем «да», то получаем отношение равнозначности.
Если мы на первый вопрос отвечаем «да», а на второй — «нет», то понятие A подчиняется понятию B.
Если мы на первый вопрос отвечаем «нет», а на второй — «да», то понятие B подчиняется понятию A.
Если мы на оба вопроса отвечаем «нет», то получаем отношение перекрещивания,
Пример. Рассмотрим понятия «сын» и «мужчина». Причем под мужчиной будем понимать человека мужского пола. Зададим наши вопросы.
Все ли сыновья являются мужчинами? — Да.
Все ли мужчины являются сыновьями? — Да.
Следовательно, мы получили отношение равнозначности.
Пример. Теперь рассмотрим отношения между понятиями «сын» и «отец».
Всякий ли сын является отцом? — Нет.
Всякий ли отец является сыном? — Да.
Мы получили отношение подчинения, причем понятие «отец» подчиняется понятию «сын»1.
Это дает нам решение задачи, приведенной в диалоге наших персонажей в начале этого параграфа. Графически это решение можно представить следующим образом:
Рис. 6
Если подытожить наше рассмотрение видов отношения совместимости, то мы получим следующую диаграмму:
Рис. 7
Виды несовместимости
Отношение несовместимости не менее практически важно для мышления, чем отношение совместимости. В нашем мышлении часто возникает задача показать несовместимость некоторых мыслей, например, в дискуссиях. Тогда нам необходимо знание отношений несовместимости между мыслями и умение его выявлять.
Отношения между несовместимыми понятиями мы будем делить на два вида: соподчинение ипротиворечие.
Понятия A и B называются соподчиненными, если существует третье понятие C, такое, что A подчиняется C и Bподчиняется C, и существует элемент объема понятия С, который не входит ни в объем понятия А, ни в объем понятия B.
Графически это отношение можно изобразить так:
Рис. 8
Пример.Понятия (A) «студент» и (B) «школьник» соподчинены понятию (C) «учащийся», потому что «студент» подчиняется понятию «учащийся», «школьник» подчиняется тому же понятию, но существуют еще учащиеся, например,аспиранты, которые не являются ни школьниками, ни студентами.
Противоречащими называются понятия A и B, если существует третье понятие C, такое, что A подчиняется C и Bподчиняется C и не существует такого элемента объемапонятия C, который бы не был элементом объема понятияA или элементом объема понятия B.
Короче говоря, прориворечащие понятия делят объем третьего понятия ровно на две несовместимые части.
Графически это отношение между понятиями можно изобразить так:
Рис. 9
Пример. Понятия (A) «монархия» и (B) «республика» являются противоречащими понятиями, потому, что они несовместимы и оба подчинены понятию (C) «форма правления государства», и никакой другой формы правления, кроме монархии и республики, нет.
Пример. Если отвлечься от наличия среди (C) людей гермафродитов и транссексуалов, то противоречащими понятиями будут понятия (A) «мужчина» и (В) «женщина».
Самый простой1 способ образования понятия, противоречащего данному, — это добавление к имени, выражающему данное понятие, частицы «не». «Человек» — «нечеловек», «совместимые понятия» — «несовместимые понятия» и т.п. При этом только всегда надо представлять объем какого третьего понятия они делят на несовместимые части.
Отношение противоречия — одно из самых важных в логике. Впоследствии мы будем изучать специальный закон (не)противоречия. На отношении противоречия основывается такая важная логическая операция, как дихотомическое деление, которое мы с вами подробнее изучим в главе 7.
«Tertium non datur» — «третьего не дано» — этой старинной формулой может быть описано отношение противоречия. Если же понятия находятся в отношении соподчинения, то «третье» дано, но дано оно может быть по-разному. Поэтому среди понятий, находящихся в отношении соподчинения, мы выделим простое соподчинение и противоположность.
Понятия A и B находятся в отношении противоположности, если A и B соподчинены третьему понятию C и представляют собой крайние степени выраженности некоторого качества.
Определение кажется сложным, но, в принципе, имеет простое содержание, что сразу же выяснится на рисунке и примерах. Учет крайних степеней выраженности качества выходит за пределы логики, поскольку имеет отношение уже не к форме мысли, а к ее содержанию. Поэтому выделение в рамках отношения соподчинения еще и отношения противоположности имеет нелогический характер, однако мы приводим его из-за его близости логике (оно «почти логическое») и практической (и даже философской!) важности
Графически это отношение традиционно изображается следующим образом:
Рис. 10
Отметим, что, строго говоря, между диаграммой, изображающей отношение соподчинения, и только что приведенной диаграммой никакого различия нет. То, что круги A и B примыкают к диаметрально противоположным точкам окружности C, просто означает тот (нелогический) факт, что A и B представляют крайние случаи выраженности некоторого качества, присущего элементам C.
Пример. Пусть понятием C будет «цвет». Тогда A — это «белый цвет», а B — это «черный цвет». Понятно, что они представляют собой крайние степени выраженности качества цвета.
Пример. Пусть C — это понятие «человек». Тогда A — это «мудрец», B — это «глупец». Последние понятия представляют собой крайние степени наличия у человека ума, а между ними расположено множество людей со средними умственными способностями1.
В свое время Аристотель разработал теорию, согласно которой добродетель — это среднее между двумя крайними степенями развития некоторого качества души. Так, например, такие противоположности — трусость и безрассудная отвага, а между ними — добродетель «мужество». Графически это можно изобразить так:
Рис. 11
На этом основании можно сказать, что трусость — это недостаток, а безрассудная отвага — избыток того качества души, которое, будучи присуще душе в меру, представляет собой мужество.
Точно также можно охарактеризовать то качество души, которое определяет бережливое отнмшение к своему имуществу. Избыток этого качества — скупость, недостаток — расточительность, среднее между ними — щедрость.
Нетрудно заметить, что отец логики — Аристотель — применил здесь учение о противоположных понятиях для того, чтобы выработать свое учение о добродетели.
Мы получили следующую классификацию пар понятий, находящихся в отношении несовместимости:
Рис. 12
Если эту классификацию соединить с классификацией совместимых понятий, то мы получим классификацию всех отношений между сравнимыми понятиями, а следовательно, и классификацию всех отношений между понятиями.
Теория отношений между понятиями создает в нашей голове мощную структуру, позволяющую систематизировать отношения между любыми понятиями, и на основе ясного и отчетливого знания этих отношений строить свои дальнейшие рассуждения об этих понятиях. Если вам удастся овладеть этой структурой, то у вас не останется каких-либо трудностей в решении задач на отношения между понятиями, как учебных, типа той, что мы решали с нашими героями в начале этого параграфа, так и реальных задач, возникающих при обучении и исследовании.