Круг Эйлера. Круги Эйлера - примеры в логике
Леонард Эйлер (1707-1783) – известный швейцарский и российский математик, член Петербургской академии наук, бо́льшую часть жизни прожил в России. Наиболее известным в математическом анализе, статистике, информатике и логике считается круг Эйлера (диаграмма Эйлера-Венна), используемый для обозначения объема понятий и множеств элементов.
Джон Венн (1834-1923) – английский философ и логик, соавтор диаграммы Эйлера-Венна.
Совместимые и несовместимые понятия
Под понятием в логике подразумевается форма мышления, отражающая существенные признаки класса однородных предметов. Они обозначаются одним либо группой слов: «карта мира», «доминантовый квинтсептаккорд», «понедельник» и др.
В случае когда элементы объема одного понятия полностью или частично принадлежат объему другого, говорят о совместимых понятиях. Если же ни один элемент объема определенного понятия не принадлежит к объему другого, мы имеем место с несовместимыми понятиями.
В свою очередь, каждый из видов понятий имеет собственный набор возможных отношений. Для совместимых понятий это следующие:
- тождество (равнозначность) объемов;
- пересечение (частичное совпадение) объемов;
- подчинение (субординация).
Для несовместимых:
- соподчинение (координация);
- противоположность (контрарность);
- противоречие (контрадикторность).
Схематически отношения между понятиями в логике принято обозначать при помощи кругов Эйлера-Венна.
Отношения равнозначности
В данном случае понятия подразумевают один и тот же предмет. Соответственно, объемы данных понятий полностью совпадают. Например:
А – Зигмунд Фрейд;
В – основоположник психоанализа.
Либо:
А – квадрат;
В – равносторонний прямоугольник;
С – равноугольный ромб.
Для обозначения используются полностью совпадающие круги Эйлера.
Пересечение (частичное совпадение)
В данную категорию входят понятия, имеющие общие элементы, находящиеся в отношении перекрещивания. То есть объем одного из понятий частично входит в объем другого:
А – педагог;
В – меломан.
Как видно из данного примера, объемы понятий частично совпадают: определенная группа педагогов может оказаться меломанами, и наоборот – среди меломанов могут быть представители педагогической профессии. Аналогичное отношение будет в случае, когда в качестве понятия А выступает, например, «горожанин», а в качестве В – «автоводитель».
Подчинение (субординация)
Схематически обозначаются как разные по масштабу круги Эйлера. Отношения между понятиями в данном случае характеризуются тем, что подчиненное понятие (меньшее по объему) полностью входит в состав подчиняющего (большего по объему). При этом подчиненное понятие не исчерпывает полностью подчиняющее.
Например:
А – дерево;
В – сосна.
Понятие В будет являться подчиненным по отношению к понятию А. Так как сосна относится к деревьям, то понятие А становится в данном примере подчиняющим, «поглощающим» объем понятия В.
Соподчинение (координация)
Отношение характеризует два и более понятия, исключающих друг друга, но принадлежащих при этом определенному общему родовому кругу. Например:
А – кларнет;
В – гитара;
С – скрипка;
D – музыкальный инструмент.
Понятия А, В, С не являются пересекающимися по отношению друг к другу, тем не менее, все они относятся к категории музыкальных инструментов (понятие D).
Противоположность (контрарность)
Противоположные отношения между понятиями подразумевают отнесенность данных понятий к одному и тому же роду. При этом одно из понятий обладает определенными свойствами (признаками), в то время как другое их отрицает, замещая противоположными по характеру. Таким образом, мы имеем дело с антонимами. Например:
А – карлик;
В – великан.
Круг Эйлера при противоположных отношениях между понятиями разделяется на три сегмента, первый из которых соответствует понятию А, второй – понятию В, а третий – всем остальным возможным понятиям.
Противоречие (контрадикторность)
В данном случае оба понятия представляют собой виды одного и того же рода. Как и в предыдущем примере, одно из понятий указывает на определенные качества (признаки), в то время как другое их отрицает. Однако, в отличие от отношения противоположности, второе, противоположное понятие, не заменяет отрицаемые свойства другими, альтернативными. Например:
А – сложная задача;
В – несложная задача (не-А).
Выражая объем понятий подобного рода, круг Эйлера разделяется на две части – третьего, промежуточного звена в данном случае не существует. Таким образом, понятия также являются антонимами. При этом одно из них (А) становится положительным (утверждающим какой-либо признак), а второе (В или не-А) – отрицательным (отрицающим соответствующий признак): «белая бумага» – «не белая бумага», «отечественная история» – «зарубежная история» и т. д.
Таким образом, соотношение объемов понятий по отношению друг к другу является ключевой характеристикой, определяющей круги Эйлера.
Отношения между множествами
Также следует различать понятия элементов и множества, объем которых отображают круги Эйлера. Понятие множества заимствовано из математической науки и имеет достаточно широкое значение. Примеры в логике и математике отображают его как некую совокупность объектов. Сами же объекты являются элементами данного множества. «Множество есть многое, мыслимое как единое» (Георг Кантор, основатель теории множеств).
Обозначение множеств осуществляется заглавными буквами: А, В, С, D… и т. д., элементов множеств – строчными: а, b, с, d…и др. Примерами множества могут быть студенты, находящиеся в одной аудитории, книги, стоящие на определенной полке (или, например, все книги в какой-либо определенной библиотеке), страницы в ежедневнике, ягоды на лесной поляне и т. д.
В свою очередь, если определенное множество не содержит ни одного элемента, то его называют пустым и обозначают знаком Ø. Например, множество точек пересечения параллельных прямых, множество решений уравнения х2 = -5.
Решение задач
Для решения большого количества задач активно используются круги Эйлера. Примеры в логике наглядно демонстрируют связь логических операций с теорией множеств. При этом используются таблицы истинности понятий. Например, круг, обозначенный именем А, представляет собой область истинности. Таким образом, область вне круга будет представлять ложь. Чтобы определить область диаграммы для логической операции, следует заштриховать области, определяющие круг Эйлера, в которых ее значения для элементов А и В будут истинны.
Использование кругов Эйлера нашло широкое практическое применение в разных отраслях. Например, в ситуации с профессиональным выбором. Если субъект озабочен выбором будущей профессии, он может руководствоваться следующими критериями:
W – что я люблю делать?
D – что у меня получается?
P – чем я смогу хорошо зарабатывать?
Изобразим это в виде схемы: круги Эйлера (примеры в логике – отношение пересечения):
Результатом станут те профессии, которые окажутся на пересечении всех трех кругов.
Отдельное место круги Эйлера-Венна занимают в математике (теория множеств) при вычислении комбинаций и свойств. Круги Эйлера множества элементов заключены в изображении прямоугольника, обозначающего универсальное множество (U). Вместо кругов также могут использоваться другие замкнутые фигуры, но суть от этого не меняется. Фигуры пересекаются между собой, согласно условиям задачи (в наиболее общем случае). Также данные фигуры должны быть обозначены соответствующим образом. В качестве элементов рассматриваемых множеств могут выступать точки, расположенные внутри различных сегментов диаграммы. На ее основе можно заштриховать конкретные области, обозначив тем самым вновь образованные множества.
С данными множествами допустимо выполнение основных математических операций: сложение (сумма множеств элементов), вычитание (разность), умножение (произведение). Кроме того, благодаря диаграммам Эйлера-Венна можно проводить операции сравнения множеств по числу входящих в них элементов, не считая их.