- данное животное (S). M a S

(3) Данное животное (S) - не собака (P). S e P

Однако в списке вариантов четвертой фигуры такого модуса нет, стало быть, из таких посылок данный вывод не следует. Можно обратить внимание на то, что в этом неверно восстановленном силлогизме нарушается правило 3, так как термин S оказывается распределенным в заключении, хотя в посылке он, являясь предикатом общеутвердительного суждения, не распределен.

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

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

В процессе восстановления может открыться, что умозаключение построено на ложных посылках. Таким, например, является высказывание "Этот поступок не осуждается общественностью, потому что он не является противоправным". В самом деле, эта мысль состоит из двух суждений. Первое - "Этот поступок не осуждается общественностью", которое, очевидно, является заключением; его символическая запись - S e P. Второе - "Этот поступок не является противоправным" (S e M), представляет собой аргумент, с помощью которого подкрепляется сделанный вывод. В таблице модусов такое сочетание заключения и меньшей посылки встречается во второй фигуре и ему соответствует большая посылка: P a M. Так как в понятие P у нас входит то, что осуждается общественностью, а под M имеется в виду противоправное, то значит, невысказанная посылка должна звучать так: "Все осуждаемое общественностью является противоправным".

Следовательно, данное рассуждение представляет собой такой силлогизм:

(1) Осуждаемое общественностью (P) - противоправно (M) P a M

(2) Этот поступок (S) не является противоправным (M) S e M

(3) Этот поступок (S) не осуждается общественностью (P) S e P

Отсюда видно, что все это рассуждение начинается с ложной мысли, потому что на самом деле далеко не все, что осуждается общественностью, является противоправным.

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

Попробуем отыскать невысказанную посылку в таком, скорее всего непонятном неспециалистам высказывании: "Так как некоторые сольпуги относятся к псаммофилам, то и некоторые фаланги относятся к ним". Здесь два суждения, но в них содержатся не четыре термина, а только три, поскольку один повторяется дважды. Следовательно, между этими понятиями возможна логическая связь, и надо попытаться ее восстановить. Очевидно, заключением всей мысли является ее вторая часть (после слов "то и ."):

"Некоторые фаланги относятся к псаммофилам". Далее, понятие "фаланга" - S, "относящееся к псаммофилам" - P. Первая же часть высказывания представляет собой большую посылку.

(1) Некоторые сольпуги (M) относятся к псаммофилам (P). M i P

(2) .

(3) Некоторые фаланги (S) относятся к псаммофилам (P). S i P

Пропущена меньшая посылка, связывающая S и M. С помощью таблицы находим, что такое сочетание имеется в третьей фигуре (второй модус). Меньшая посылка в ней - M a S. Значит, пропущена посылка "Сольпуги есть фаланги". И действительно, фаланги и сольпуги - это названия известной разновидности пауков, обитающих чаще всего в песках. Животных, приспособленных к существованию в песчаной местности, в зоологии называют псаммофилами, а сами песчаные породы - псаммитами.

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

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

Второй: По-твоему, ни один экспортируемый с доходом для страны товар не получает дотации?

Первый: Нет, я этого не говорил.

Второй: Прямо ты, конечно, этого не говорил, но ведь с логической точки зрения это как будто совершенно необходимо для твоего утверждения.

Первый: Вовсе нет. Для этого достаточно лишь признать, что большинство дотируемой продукции не приносит доход стране при экспорте.

Второй: Понимаю: они не приносят в большинстве случаев доход стране-экспортеру, потому что дотируемая продукция, как правило, имеет стоимость ниже, чем себестоимость.

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

(1)

(2) Все дотируемые товары (M) являются

экспортируемыми из этого региона (S). M a S

(3) Некоторые экспортируемые из этого региона товары (S)

не приносят доход стране (P). S o P

Затем, как и в предыдущих примерах, начинаем искать в таблице модусов восстановленное нами сочетание строк: M a S и S o P. Однако в таблице такая комбинация маленькой посылки и заключения встречается три раза, в третьей и четвертой фигурах. Им соответствуют три возможных больших посылки: M e P, M o P, P e M. Любая из них при добавлении к уже выписанной нами до этого маленькой посылке обеспечивает тот вывод, который звучит в анализируемом нами высказывании.

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

(1) Ни один дотируемый товар (M)

не приносит доход стране при экспорте (P). M e P

(2) Все дотируемые товары (M) являются