Существует несколько различных методов рисования диаграмм для изображения связей между терминами силлогизма. Один из этих методов назван в честь английского математика и логика Венна, который жил в XIX в. и первым предложил использовать подобные диаграммы. Диаграммы Венна — это те же самые диаграммы, которые вы, возможно, рисовали на уроках математики, если изучали теорию множеств. (Этот способ обучения «новой математике» пользовался большой популярностью, но потом был заброшен, и педагоги вернулись к «старой математике».) Второй вариант диаграмм для отображения связей — это диаграммы Эйлера. Согласно популярной легенде, швейцарский математик Леонард Эйлер, живший в XVIII в., придумал этот метод, когда получил задание обучить немецкую принцессу искусству силлогистических рассуждений. Поскольку принцесса испытывала трудности при понимании задач, Эйлер изобрел простой метод, помогающий понять отношения между терминами и проверить правильность рассуждений. Третий метод заключается в изображении трех перекрывающих друг друга кругов. Во всех этих методах круги отражают принадлежность к какому-либо классу. Различия между данными методами для нас не имеют значения, и в целом такая методика проверки заключений носит название круговых диаграмм. Если вы уже изучали другой метод рисования круговых диаграмм (например, на уроках теории множеств или логики) и привыкли к нему, то продолжайте им пользоваться.
Внимательно рассмотрите рис. 4.4. В левом столбце перечислены четыре наклонения, которые могут иметь суждения силлогизма. Рядом с каждым изображена круговая диаграмма, которая правильно отражает связи между терминами силлогизма. Сделайте перерыв в чтении и как следует изучите рис. 4.4. Один из кругов изображает все, что является А, а другой — все, что является В. При проведении дедуктивных рассуждений не имеет значения, что именно представляют собой А и В. В примере, приведенном на рис. 4.4, А обозначает ангелов, а В — лысых, но эти буквы могли бы обозначать все что угодно. Я могла бы с таким же успехом обозначить буквой А студентов колледжей, а буквой В — панк-рокеров.
Посмотрите, как расположены круги, чтобы создать «картинку» того, что описано словами. Давайте начнем с середины таблицы, поскольку общее отрицание является самым простым примером. Когда мы говорим «Ни одно А не есть В», то это означает, что ни одно понятие, относящееся к классу А, не принадлежит также и к классу В. Такая связь между понятиями отражается путем изображения кругов с пометками А и В, которые не касаются друг друга и не перекрываются. Существует только один способ изображения этой связи. Заметьте, что когда мы говорим «Ни одно А не есть В», мы одновременно утверждаем, что «Ни одно В не есть Л». Видите ли вы это, рассматривая круговую диаграмму?
Рис. 4.4. Круговые диаграммы, правильно отражающие взаимосвязи между посылками в силлогизмах
Обратите внимание, что кванторное слово «все» может иметь две правильные интерпретации, кванторное слово «некоторые» — четыре правильные интерпретации, кванторное слово «ни один» имеет одну правильную интерпретацию, а кванторное слово «некоторые не» — три.
Рассмотрим теперь общее утверждение «Все А есть В». Вновь воспользуемся двумя кругами — один с пометкой Л, а другой с пометкой В. И опять нам нужно нарисовать круги таким образом, чтобы они отражали связь, при которой все, что относится к классу А, относится и классу В. Как видно из рис. 4.4, существуют два различных способа изображения такой связи, поскольку существует две возможные правильные трактовки смысла этой связи. Нарисовав круг А внутри круга В, мы отразим случай, когда «Все А есть В, но существуют некоторые В, не являющиеся А» (некоторые лысые не являются ангелами). На рисунке рядом показан случай, когда «Все А есть В, и все В есть А» (все лысые являются ангелами). Когда нам говорят, что «Все А есть В», может быть верна любая из этих интерпретаций.
Если вам показалось, что это трудно, не падайте духом. Скоро станет легче, по мере того как вы поработаете над примерами и осмыслите материал. Рассмотрим оставшиеся две возможности, изображенные на рис. 4.4. Частное отрицание (Некоторые А не есть В) можно изобразить тремя способами, а частное утверждение (Некоторые А есть В) — четырьмя. Рассмотрим, как вообще могут быть расположены круги. Существует пять различных вариантов размещения двух кругов относительно друг друга, и каждый из них отражает свой смысл!