Книга VII Сориты

Глава I
ВВЕДЕНИЕ

Представим себе, что у нас имеется набор из трех или большего числа двухбуквенных суждений, все термины которых являются видами одного и того же рода. Суждения эти связаны между собой так, что, взяв определенную пару суждений, мы получим заключение, присоединив к нему новое суждение — другое заключение и т.д. до тех пор, пока не переберем все суждения, входящие в набор. Ясно, что если бы суждения исходного набора были истинными, то и окончательное заключение было бы истинным.

Такой набор вместе с присоединенным к нему последним заключением называется  соритом. Исходный набор суждений называется  посылками, каждое из промежуточных заключений —  частным заключением, последнее заключение —  полным заключением, или просто  заключением. Род, видами которого являются все термины, мы будем называть  Вселенной рассмотрения, или кратко —  Вселенной, сорита; исключаемые термины входящих в сорит силлогизмов —  исключаемыми терминами сорита, а два оставшихся термина, вошедших в его заключение, —  оставляемыми терминами сорита. (Заметим, что каждое частное заключение содержит один или два исключаемых термина, но в полное заключение входят лишь оставляемыетермины).

О заключении говорят, что оно следует из посылок. Перед ним обычно либо ставят слово «следовательно», либо отделяют его от посылок горизонтальной чертой. Подчеркнем, что вопрос о том, следует ли данное заключение из посылок, не зависит от фактической истинности или ложности любого из суждений, входящих в сорит, а определяется исключительно взаимосвязью между суждениями.

В качестве примера сорита рассмотрим следующий набор из 5 суждений:

  1. Ни одно a не есть b’.
  2. Все b суть c.
  3. Все c суть d.
  4. Ни одно e’ не есть a’.
  5. Все h суть e’.

Взяв первое и второе суждения, получим заключение «Ни одно a не есть c’». Взяв его вместе с третьим суждением, получим заключение «Ни одно a не есть d’». Из него и четвертого суждения следует заключение «Ни одно d’ не есть e’». Из последнего, взятого вместе с пятым суждением, следует заключение «Все h суть d». Таким образом, если бы исходные суждения были истинными, то и полученное заключение было бы истинным.

Итак, исходные 5 суждений вместе с суждением «Все h суть d» образуют сорит. Исходные суждения служат посылками сорита, суждение «Все h суть d» — его заключениемabce — исключаемыми терминамисорита, а d и h — его оставляемыми терминами.

Весь сорит в целом можно представить в следующем виде:

Ни одно a не есть b’,
Все b суть c;
Все c суть d;
Ни одно e’ не есть a’;
Все h суть e’.

Все h суть d.

В этом сорите тремя частными заключениями случат суждения «Ни одно a не есть c’», «Ни одно a не есть d’», «Ни одно d’ не есть e’». При другом расположении посылок частные заключения могли бы быть иными. Например, если бы мы брали суждения в последовательности 4, 1, 5, 2, 3, то частными заключениями были бы суждения «Ни одно c’ не есть b’», «Все h суть b», «Все h суть c». Всего в этом сорите имеется девять частных заключений. Найти их мы предоставляем читателю в качестве интересной задачи.

Глава II
ЗАДАЧИ НА СОРИТЫ

§ 1. Предварительные замечания

Задачи, которые нам предстоит решать, формулируются следующим образом: «Дано три или большее число суждений отношения. Приняв их за посылки, установить, какое заключение (если таковое существует) из них следует».

Пока мы ограничимся лишь теми задачами, которые можно решать с помощью формул фигуры I (см. книгу VI, глава III, § 2). Задачи, требующие для своего решения иных формул, слишком трудны для начинающих.

Задачи рассматриваемого нами типа можно решать с помощью любого из двух методов:

  1. метода отдельных силлогизмов;
  2. метода подчеркивания.

Рассмотрим каждый из методов в отдельности.

§ 2. Решение соритов методом отдельных силлогизмов

Правила, которых надлежит придерживаться при решении задач методом отдельных силлогизмов, сводятся к следующему.

  1. Выбрать «Вселенную».
  2. Составить словарь буквенных обозначений abc, … и т.д. для терминов суждений.
  3. Записать суждения в индексной форме.
  4. Выбрать два суждения, содержащие два ко-класса, и использовать их в качестве посылок силлогизма.
  5. Найти по формуле заключение силлогизма.
  6. Среди посылок выбрать такую, которая вместе с полученным заключением второго силлогизма образовала бы посылки силлогизма.
  7. Пользуясь формулой, найти заключение второго силлогизма.
  8. Продолжать этот процесс до тех пор, пока не будут исчерпаны все посылки.
  9. Представить последнее заключение, которое является полным заключением сорита в конкретной форме.

В качестве примера рассмотрим следующий набор посылок:

  1. Все полисмены в этой округе ужинают у нашей кухарки.
  2. Человек с длинными волосами не может не быть поэтом.
  3. Амос Джадд никогда не сидел в тюрьме.
  4. Все кузены нашей кухарки любят холодную баранину.
  5. В этой округе нет других поэтов, кроме полисменов.
  6. С нашей кухаркой не ужинает никто, кроме ее кузенов.
  7. Все люди с короткими волосами сидели в тюрьме.

Вселенная — «люди», a = Амос Джадд, b = кузены нашей кухарки, c = сидевшие в тюрьме, d = с длинными волосами, e = любящие холодную баранину, h = поэты, k =полисмены этой округи, l = ужинающие с нашей кухаркой.

Представим исходные посылки в индексной форме. Для этого прежде всего следует представить их в абстрактной форме:

  1. Все k суть l.
  2. Ни один d не есть h’.
  3. Все a суть c’.
  4. Все b суть e.
  5. Ни один k’ не есть h.
  6. Ни один b’ не есть l.
  7. Все d’ суть c.

Представить абстрактные суждения в индексной форме не составляет уже никакого труда:

  1. k1l’0
  2. dh’0
  3. a1c0
  4. b1e’0
  5. k’h0
  6. b’l0
  7. d’1c’0

Найдем теперь две посылки, из которых следует заключение. Для этого возьмем первую посылку и будем перебирать по порядку все остальные до тех пор, пока не дойдем до посылки, которая вместе с первой образует фигуру I .Такой посылкой как нетрудно видеть, будет посылка 5 (k — исключаемый термин). Следовательно, первым будет силлогизм

1. k1l’0
5. k’h0

8. l’h0

Возьмем заключение l’h0 и подыщем ему пару среди оставшихся шести посылок. Искомым суждением окажется посылка 2 (h — исключаемый термин), поэтому наш второй силлогизм будет иметь вид:

8. l’h0
2. dh’0

9. l’d0

Посылки 1, 5 и 2 мы уже использовали, поэтому пару для заключения l’d0 необходимо искать среди оставшихся посылок. Взяв посылку 6, получим третий силлогизм:

9. l’d0
6. b’l0

10. db’0

Какая посылка образует пару с db’0 ? Очевидно, посылка 4. Четвертый силлогизм имеет вид:

10. db’0
4.  b1e’0

11. de’0

Присоединив к заключению 11 посылку 7, получим

11. de’0
7.  d’1c’0

12. e’c’0

Наконец, взяв заключение 12 и посылку 3, построим последний силлогизм

12. e’c’0
3.  a1c0

a1e’0

Переведем полное заключение сначала в абстрактную:

«Все a суть e»,

а затем в конкретную форму:

«Амос Джадд любит холодную баранину».

Разумеется, при решении задач столь подробные объяснения совершенно излишни. На листке бумаги обычно остается лишь запись вроде следующей:

  1. k1l’0
  2. dh’0
  3. a1c0
  4. b1e’0
  5. k’h0
  6. b’l0
  7. d’1c’0
1. k1l’0
5. k’h0

8. l’h0

8. l’d0
2. dh’0

9. l’d0

9. l’d0
6. b’l0

10. db’0

10. db’0
4.  b1e’0

11. de’0

11. de’0
7.  dc’0

12. e’c’0

12. e’c’0
3.  a1c0

a1e’0

Необходимо подчеркнуть, что при решении сорита по этому методу начинать можно с любой посылки.

§ 3. Решение соритов методом подчеркивания

Рассмотрим пару посылок

xm0ym’0,

из которых следует заключение xy0.

Чтобы получить xy0, мы должны, как явствует из формулы, исключить m и m’ и написать x и y рядом, в одном выражении.

Условимся считать буквы m и m’ исключенными и читать оба выражения как одно. Тогда из двух посылок у нас в точности получится заключение, и нам не придется выписывать его отдельно.

Исключенные буквы будем подчеркивать: первую букву — одной чертой, вторую — двумя. Тогда исходные посылки примут вид

xm0  ym’0,

и читать их надо будет как xy0.

Выписывая посылки для подчеркивания, удобно опускать все индексы: нули можно и без того считать стоящими у всех выражений, а из единиц нас будут интересовать лишь те, которые стоят у букв, входящих в полноезаключение (ибо зачем нам знать, утверждается ли что-либо о существовании терминов, которые все равно будут исключены). Эти единицы нетрудно восстановить по исходному выражению.

Рассмотрим решение сорита методом подчеркивания более подробно на примере из § 2. Исходные данные:

1

k1l’0  

2

dh’0  

3

a1c0  

4

b1e’0  

5

k’h0  

6

b’l0  

7

d’1c’0 .

Читателю рекомендуется взять листок бумаги и выписать для себя это решение. Первая строка записи будет состоять из исходных данных, вторая будет составляться мало-помалу в процессе решения.

Прежде всего выпишем первую посылку, сохранив порядковый номер, стоящий над ней, но опустив все индексы. Затем мы должны найти посылку, которая «согласуется» с первой, то есть содержит либо k’, либо l. Просматривая посылки слева направо, мы обнаружим, что такой посылкой является посылка 5, и присоединим ее к первой, поставив между ними знак  .

Чтобы вывести заключение, необходимо исключить из посылок 1 и 5 термины k и k’, а то, что при этом получится, представить в виде одного выражения. Подчеркнем k одной чертой, а k’ — двумя и получим l’h.

Теперь нам нужно найти посылку, содержащую либо l, либо h’. Просматривая посылки одну за другой, мы обнаруживаем, что этому условию удовлетворяет посылка 2, и присоединяем ее к ранее выписанным.

Три посылки-химеры (1, 5, 2) в действительности эквивалентны выражению l’h  dh’, из которого необходимо исключить термины h и h’, а то, что получится, записать в виде одного выражения. Подчеркнем h и h’. У нас останется l’d.

Найдем посылку, содержащую либо l, либо d’. Такой посылкой оказывается посылка 6.

Четыре посылки-химеры, стоящие теперь во второй строке, эквивалентны выражению l’d   b’l. Подчеркнув l и l’, получим db’.

Ищем посылку, содержащую либо d’, либо b. Это будет посылка 4. Подчеркнув b и b’, получим заключение de’.

После этого нам необходимо найти посылку, содержащую либо d’, либо e. Такой посылкой является посылка 7. Подчеркнув d и d’, получим заключение e’c’.

Теперь нам нужно найти посылку, содержащую либо e, либо c. Такой посылкой является посылка 3 (можно сказать, должна быть посылка 3, ибо других посылок не осталось).

Подчеркнув c’ и c мы обнаружим, что все длинное выражение эквивалентно e’a. Поэтому e’a можно рассматривать как заключение сорита и присоединить к цепочке посылок знаком P .

Здесь мы должны вернуться к исходным данным и проверить, не содержится ли в них утверждение о существовании e’ или a. Утверждение о существовании a мы обнаружим в посылке 3. Добавив этот факт к заключению, запишем последнее в виде P e’a0  a1, то есть  P a1e’0, или «Все a суть e».

Если читатель строго следовал всем указаниям, у него должна получиться следующая запись решения:

1

k1l’0  

2

dh’0  

3

a1c0  

4

b1e’0  

5

k’h0  

6

b1l0  

7

d’1c0 ;

1

k l’  

5

k’ h  

2

d h’  

6

b l  

4

b e’  

7

d’ c  

3

a c  P

e’a0  

a1 ,

то есть  P a1e’0, или «Все a суть e».

Рекомендую читателю взять еще один листок бумаги, переписать исходные данные и попытаться самостоятельно решить сорит, начав с какой-нибудь другой посылки. Если не удастся прийти к заключению a1e’0, то я настоятельно советую взять еще один (третий по счету) листок бумаги и начать все сначала!

Чтобы дать читателю образец, достойный подражания, я кратко рассмотрю решение сорита из 5 посылок.

  1. Я чрезвычайно дороже всем, что дарит мне Джон.
  2. Ничего, кроме этой кости, не придется по вкусу моей собаке.
  3. Я очень берегу то, чем особенно дорожу.
  4. Эта кость — подарок от Джона.
  5. Вещи, которые я очень берегу, я не даю своей собаке.

Вселенная — «вещи», a = подаренные мне Джоном, b = даваемые мной собаке, c = которыми я особенно дорожу, d = которые приходятся по вкусу моей собаке, e = которые я очень берегу, h = эта косточка.

1

a1c’0  

2

h’d0  

3

c1e’0  

4

h1a’0  

5

e1b0 ;

1

a c’  

3

c e’  

4

h a’  

2

h’ d  

5

e b  P

d b0 ,

то есть «Ничто из того, что я даю моей собаке, не приходится ей по вкусу», или «Моя собака недовольна тем, то я ей даю!»

Обратите внимание на то, что при решении сорита методом подчеркивания начинать можно с любой посылки. Например, мы могли бы начать с посылки 5. Тогда вторая строка (решение) выглядела бы так:

5

e b  

3

c e’  

1

a c’  

4

h a’  

2

h’ d  P

b d0 .

Читатель, который успешно преодолел все приводившиеся до сих пор примеры и, подобно Александру Македонскому, жаждет «Новых миров для покорения», может израсходовать свою энергию на следующие 17 экзаменационных билетов. Отвечать более чем на один билет в день не рекомендуется.

  1. Что такое класс и классификация?
  2. Что такое род, вид и видовое отличие?
  3. Что такое пустой и непустой классы?
  4. Что такое разбиение? В каких случаях классы называются ко-классами?
  5. Что такое дихотомия? Какое произвольное соглашение иногда приходится принимать при дихотомии?
  6. Что такое определение?
  7. Что такое субъект и предикат суждения? Что такое нормальная форма суждения?
  8. Какие суждения обозначаются буквами I, E и A?
  9. Что называется нормальной формой суждения существования?
  10. Что такое «Вселенная рассмотрения»?
  11. Что можно утверждать относительно существования терминов в суждении отношения?
  12. Объясните смысл выражения «сидеть на стенке».
  13. Что такое обратные суждения?
  14. Что такое конкретные и абстрактные суждения?
  15. Что такое силлогизм? Что называется посылками силлогизма и его заключением?
  16. Что такое сорит? Что называется посылками сорита, его частными заключениями и его полным заключением?
  17. Что такое «Вселенная рассмотрения»? Исключаемые и оставляемые термины силлогизма? сорита?