Рассмотрим еще один интересный пример из книги Л. Кэрролла. Если обозначить х = уроки, у = трудные, г = требующие особого внимания, то пример № 22 может быть записан в виде:
Некоторые уроки трудны = Некоторые х суть
То, что трудно, требует особого внимания = Все
Некоторые уроки требуют особого внимания» = Нек.
Заключение получаем как разность (1, 1, 0) — (0, 1, -1) = (1, 0, 1).
Приведем также решение многопосылочного силлогизма:
Ни одна утка
Ни один офицер
Все мои домашние птицы (у) — утки (х)
Все мои домашние птицы
Предложенный алгоритм сводит выполнение умозаключений к действиям с компонентами логических векторов (записанных в троичной системе счисления). Многоаспектный метод является аналитическим методом, который применим для логических векторов
1. Ни один из встреченных в море, но оставшихся незамеченными предметов — не русалки.
2. Предметы, занесенные в вахтенный журнал, стоят того, чтобы их запомнить.
3. В моих путешествиях я не видел ничего такого, что стоило бы запомнить.
4. О встреченных в море и замеченных предметах делается запись в вахтенном журнале.
Запишем его через
Заключение: «Я никогда не видел ни одной русалки». С помощью диаграмм Кэрролла решение этого полисиллогизма получить нельзя, ибо увеличение размерности выше четырех делает геометрический метод непригодным. Традиционные способы решения применимы только к силлогизмам с
«Сперва хочу вам в долг вменить
На курсы логики ходить…
В мозгах, как на мануфактуре,
Есть ниточки и узелки.
Посылки не по той фигуре
Грозят запутать челноки».
Лучше затратить труд на освоение аналитического метода, чтобы потом легко получать решения
В качестве упражнения предлагается также силлогизм, который использовался американскими психологами в качестве теста:
«Ни один химик не является пчеловодом»
«Некоторые пчеловоды — художники»
-----------
?
При решении каждое суждение будем обозначать вектором. Например, если обозначить: х = химики, у = пчеловоды, z = художники, то положительный вектор +(0,1,1) будет обозначать частноутвердительное суждение «Некоторые пчеловоды — художники» = «ЕСТЬ
Приведем также чертежи трехбуквенных диаграмм Кэрролла:
Из первой посылки, описываемой положительным вектором, вычитается вторая посылка, описываемая отрицательным вектором: (0,1,1) — (1,1,0) = (—1,0,1). Итак, получаем заключение: «Некоторые не-химики — художники».
В заключение отметим, что в современные американские тесты по проверке умственных способностей обязательно входят логические задачи. Интересно напомнить, что известный советский психолог А. Р. Лурия еще в 30-е годы во время экспедиций в Среднюю Азию. проводил тестирование неграмотных крестьян именно с помощью силлогизмов, а не арифметических задач.