Как мы видим, суждение является общим, если оно содержит термины «все» или «ни один», частным — если содержит термин «некоторые», отрицательным — если содержит «не», и утвердительным, если оно не является отрицательным. Таким образом, вид суждения определить довольно легко, если найти в нем ключевые термины.
Ниже приведено несколько силлогизмов. Каждый из них состоит из двух посылок и заключения. Подумайте над каждым из них и определите, валидным (В) или нет (Н) является заключение. Чтобы заключение было валидным, оно должно всегда быть правильным при условии правильности посылок. Другими словами, утверждая об истинности силлогизма, вы как бы говорите: «Если посылки истинны, то заключение должно быть истинным». Можно выразиться и так: «Следует ли заключение из посылок?» Если вы можете найти хотя бы один случай, когда при истинных посылках заключение будет ложным, то оно не является валидным. Не продолжайте чтение, пока вы не завершите работу над следующими силлогизмами.
1. Посылка 1. Все люди, получающие социальные пособия, бедны.
Посылка 2. Некоторые бедные люди являются нечестными
Заключение. Некоторые люди, получающие социальные пособия, являются нечестными. В или Н?
2. Посылка 1. Никто из родителей не понимает детей.
Посылка 2. Некоторые учителя понимают детей.
Заключение. Никто из родителей не является учителем. В или Н?
3. Посылка 1. Некоторые юристы не умны
Посылка 2. Некоторые умные люди богаты
Заключение. Некоторые юристы богаты В или Н?
4. Посылка 1. Все физики хорошо разбираются в математике.
Посылка 2. Некоторые студенты являются физиками.
Заключение. Некоторые студенты хорошо разбираются в математике. В или Н?
5. Посылка 1. Всем американцам необходима медицинская страховка.
Посылка 2. Все, кому необходима медицинская страховка, должны голосовать за нее.
Заключение. Все американцы должны голосовать за медицинскую страховку. В или Н?
С точки зрения законов логики не имеет значения, как сформулирован силлогизм — в абстрактной форме с использованием буквенных обозначений Aw В (например, некоторые А не есть В), с использованием бессмысленных слов, таких как куздра и бокр (Все куздры являются бокрами) или с помощью осмысленных понятий, таких как юристы и прикольный (Ни один юрист не является прикольным). Логические правила, по которым мы определяем, следует ли заключение из данных посылок, остаются одними и теми же. Фактически мы говорим: «Все __ являются __». Совершенно не важно, что мы вставим на пропущенные места — буквы,
бессмысленные или осмысленные слова или даже картинки; с любыми объектами следует обращаться одинаково. Тем не менее с точки зрения психологии существуют важные различия, связанные с содержанием. Один из способов избежать воздействия наших предубеждений на процессы мышления с использованием кванторных слов — это использование круговых диаграмм, которые, так же как линейные и древовидные диаграммы, снижают нагрузку на кратковременную память и делают отношения очевидными и наглядными.
С точки зрения законов логики не имеет значения, как сформулирован силлогизм — в абстрактной форме с использованием буквенных обозначений А и В (например, некоторые А не есть В), с использованием бессмысленных слов, таких как куздра и бокр (Все куздры являются бокрами) или с помощью осмысленных понятий, таких как юристы и прикольный (Ни один юрист не является прикольным). Логические правила, по которым мы определяем, следует ли заключение из данных посылок, остаются одними и теми же. Фактически мы говорим: «Все __ являются __». Совершенно не важно, что мы вставим на пропущенные места — буквы, бессмысленные или осмысленные слова или даже картинки; с любыми объектами следует обращаться одинаково. Тем не менее с точки зрения психологии существуют важные различия, связанные с содержанием. Один из способов избежать воздействия наших предубеждений на процессы мышления с использованием кванторных слов — это использование круговых диаграмм, которые, так же как линейные и древовидные диаграммы, снижают нагрузку на кратковременную память и делают отношения очевидными и наглядными.
Проверка валидности заключения
Как вы проверяли валидность заключений в предложенных силлогизмах? Для того чтобы определить, следует ли заключение силлогизма из его посылок, существуют методы двух различных типов. Если вы читаете главы этой книги по порядку, то знаете, что общий подход к совершенствованию навыков мышления подразумевает целенаправленное использование как пространственных, так и вербальных методов. Эти же два подхода применимы и в данном случае. Сначала я представлю пространственный метод проверки заключений, а затем предложу несколько вербальных правил, которые также можно использовать. Оба метода «срабатывают», но возможно, что вы отдадите предпочтение одному из них. Я в течение многих лет преподавала этот материал студентам колледжа и обнаружила, что многие студенты явно предпочитают либо круговые диаграммы, либо вербальные правила.
Круговые диаграммы для проверки валидности рассуждений
Один из способов проверки истинности заключения основан на использовании круговых диаграмм, которые отражают связи между тремя терминами (А, В, С или любыми элементами, которые мы вставим на пропущенные места). Степень наложения кругов друг на друга отражает отношения включения или исключения между классами понятий.
Существует несколько различных методов рисования диаграмм для изображения связей между терминами силлогизма. Один из этих методов назван в честь английского математика и логика Венна, который жил в XIX в. и первым предложил использовать подобные диаграммы. Диаграммы Венна — это те же самые диаграммы, которые вы, возможно, рисовали на уроках математики, если изучали теорию множеств. (Этот способ обучения «новой математике» пользовался большой популярностью, но потом был заброшен, и педагоги вернулись к «старой математике».) Второй вариант диаграмм для отображения связей — это диаграммы Эйлера. Согласно популярной легенде, швейцарский математик Леонард Эйлер, живший в XVIII в., придумал этот метод, когда получил задание обучить немецкую принцессу искусству силлогистических рассуждений. Поскольку принцесса испытывала трудности при понимании задач, Эйлер изобрел простой метод, помогающий понять отношения между терминами и проверить правильность рассуждений. Третий метод заключается в изображении трех перекрывающих друг друга кругов. Во всех этих методах круги отражают принадлежность к какому-либо классу. Различия между данными методами для нас не имеют значения, и в целом такая методика проверки заключений носит название круговых диаграмм. Если вы уже изучали другой метод рисования круговых диаграмм (например, на уроках теории множеств или логики) и привыкли к нему, то продолжайте им пользоваться.
Внимательно рассмотрите рис. 4.4. В левом столбце перечислены четыре наклонения, которые могут иметь суждения силлогизма. Рядом с каждым изображена круговая диаграмма, которая правильно отражает связи между терминами силлогизма. Сделайте перерыв в чтении и как следует изучите рис. 4.4. Один из кругов изображает все, что является А, а другой — все, что является В. При проведении дедуктивных рассуждений не имеет значения, что именно представляют собой А и В. В примере, приведенном на рис. 4.4, А обозначает ангелов, а В — лысых, но эти буквы могли бы обозначать все что угодно. Я могла бы с таким же успехом обозначить буквой А студентов колледжей, а буквой В — панк-рокеров.
Посмотрите, как расположены круги, чтобы создать «картинку» того, что описано словами. Давайте начнем с середины таблицы, поскольку общее отрицание является самым простым примером. Когда мы говорим «Ни одно А не есть В», то это означает, что ни одно понятие, относящееся к классу А, не принадлежит также и к классу В. Такая связь между понятиями отражается путем изображения кругов с пометками А и В, которые не касаются друг друга и не перекрываются. Существует только один способ изображения этой связи. Заметьте, что когда мы говорим «Ни одно А не есть В», мы одновременно утверждаем, что «Ни одно В не есть Л». Видите ли вы это, рассматривая круговую диаграмму?
Рис. 4.4. Круговые диаграммы, правильно отражающие взаимосвязи между посылками в силлогизмах
