В этом силлогизме заключение логически правильно. Правда, логическое деление, осуществлённое в разделительной посылке, недостаточно полное, так как в нём пропущены некоторые члены: спутники планет, метеориты солнечной системы и т. д. Однако все эти пропуски не препятствуют правильности вывода. Так как Эрос оказался — на основании категорической посылки — астероидом и так как понятия остальных членов деления, указанных в разделительной посылке, несовместимы с понятием астероида, то заключение, исключающее астероид Эрос из числа планет и комет, остаётся во всяком случае истинным, хотя в нём названы не все виды тел солнечной системы, к каким не может принадлежать Эрос.
Сокращённые силлогизмы
§ 19. В математических рассуждениях и доказательствах обычно стремятся к тому, чтобы ни одно звено в ряду логически связанных между собой мыслей не было пропущено. Поэтому в доказательства математических наук силлогизмы обычно входят в своей полной форме: и обе посылки и заключение.
В других науках, в художественном и особенно в повседневном мышлении далеко не всегда необходимо воспроизводить в мысли и выражать в речи все звенья доказательства, все части вывода. Поэтому наряду с полными силлогизмами, т. е. такими, в которых имеются налицо и полностью выражены все посылки и заключения, часто встречаются и сокращённые силлогизмы. Так называются силлогизмы, в которых пропущены или посылка, или заключение.
Пропуски эти легко объяснимы. В мышлении образованного человека имеется не только много накопленных отдельных истин, но также и много накопленных знаний о логических связях между отдельными истинами. Поэтому при ведении известного рассуждения или доказательства в тех случаях, когда есть основание думать, что читателю или слушателю эти истины и логические связи между ними известны так же, как они известны самому говорящему, некоторые посылки, а иногда даже и само заключение могут быть опущены без ущерба для ясности и убедительности мысли.
§ 20. Сокращённые силлогизмы называются энтимемами — от греческого слова ἐν θυμῷ, означающего «в уме». Название это показывает, что одна из посылок силлогизма не высказывается, но подразумевается говорящим.
Пример энтимемы: «Трус малодушен, так как малодушие есть свойство всех эгоистов».
Здесь, как легко убедиться, пропущена, но подразумевается меньшая посылка: «трус есть эгоист». В полной форме силлогизм этот имел бы следующий вид:
| Все эгоисты — малодушны. |
| Трус — эгоист. |
| ——————————— |
| Трус — малодушен. |
Обычно пропускается не меньшая, а бо́льшая посылка. Объясняется это тем, что бо́льшая посылка в большинстве случаев есть общее суждение и потому часто (хотя, конечно, далеко не всегда) выражает истину или мысль, широко известную, легко подразумевающуюся.
Такова энтимема:
Эта звезда — планета, так как быстро меняет своё положение среди других звёзд.
Здесь пропущена бо́льшая посылка: «Все звёзды, быстро меняющие своё положение среди других звёзд, суть планеты». Положение это настолько известно, что можно — без риска быть непонятым или неубедительным — сразу перейти от меньшей посылки к выводу.
Наконец, иногда в силлогизме пропускается заключение. Так бывает в случаях, когда заключение вполне очевидно и когда, высказав обе посылки, предоставляют слушателю или собеседнику самому сделать естественно напрашивающийся вывод.
Например:
| Все патриоты должны выполнить свой воинский и гражданский долг. |
| Вы — патриот... |
Эпихейрема
§ 21. Иногда каждая из двух посылок силлогизма есть энтимема, т. е. сокращённый силлогизм. Такой силлогизм с энтимематическими посылками называется «эпихейремой» (от греческого слова ἐπιχέιρημα — «умозаключение»).
Например:
| Ложь вызывает недоверие, так как она есть утверждение, не соответствующее истине. |
| Лесть есть ложь, так как она есть умышленное извращение истины. |
| ————————————————————————— |
| Лесть вызывает недоверие. |