Особенно важной чертой первой фигуры является способ, посредством которого в ней устанавливается вывод. Как во всяком силлогизме, в силлогизме первой фигуры отношение субъекта вывода к его предикату прямо не видно. Отношение это устанавливается через отношения субъекта и предиката вывода к некоторому третьему понятию.
Но эти отношения оказываются здесь отношениями подчинения: подчинение понятия М понятию Р устанавливается большей посылкой, подчинение понятия S понятию М — меньшей посылкой. В результате понятие S не только оказывается подчинённым понятию Р, но всё движение мысли в силлогизме первой фигуры оказывается движением от наиболее общего к наименее общему. Так, зная, что все амфибии — позвоночные и что все лягушки — амфибии, мы заключаем по первой фигуре, что все лягушки — позвоночные. Мы начали с рассмотрения наиболее общего класса — позвоночных, нашли в нём в качестве части его объёма класс амфибий и, наконец, рассмотрев класс амфибий, нашли в нём в качестве части его объёма класс лягушек. Иными словами, мы нашли, что все существенные признаки класса позвоночных, принадлежащие классу амфибий, должны принадлежать также и классу лягушек (см. рис. 60).
Рис. 60
Этой особенностью первой фигуры определяется область её применения. Первая фигура простого категорического силлогизма используется во всех операциях мышления, где известное общее правило или закон могут быть применены к частным случаям.
В свою, очередь этим применением первой фигуры определяются её особые правила.
§ 29. Первое из этих правил состоит в том, что меньшая посылка должна быть суждением утвердительным. Правило это необходимо, так как из меньшей посылки мы узнаём, что предмет (субъект вывода) принадлежит к тому самому классу, общее свойство которого раскрывается в большей посылке. Правило это выводится из общих основных правил силлогизма. И действительно, если бы меньшая посылка в первой фигуре была отрицательная, то вывод, согласно шестому общему правилу, также был бы отрицательным. Это значило бы, что больший термин как сказуемое отрицательного суждения был бы распределён. Но, будучи распределённым в выводе, больший термин должен был бы быть распределён и в большей посылке. Однако в нашем случае это невозможно. И действительно, так как мы предположили, что меньшая посылка — отрицательная, и так как при отрицательности меньшей посылки бо́льшая посылка должна быть утвердительной, то больший термин как предикат утвердительного суждения, выражающего подчинение S и Р, не может быть распределён. Итак, при отрицательной меньшей посылке вывод по первой фигуре невозможен.
§ 30. Второе специальное правило первой фигуры состоит в том, что бо́льшая посылка должна быть суждением общим.
И действительно, если бы бо́льшая посылка в первой фигуре была частная, то средний термин как субъект частного суждения не был бы распределён в большей посылке. Но в то же время он не был бы распределён и в меньшей посылке. В самом деле, меньшая посылка первой фигуры, согласно только что доказанному особому правилу первой фигуры, должна быть непременно утвердительной. А так как средний термин является в ней предикатом, то как предикат утвердительного суждения, выражающего отношение подчинения S и Р, он не будет распределён. Таким образом, если бы бо́льшая посылка первой фигуры была частной, то это значило бы, что средний термин оказался бы не распределённым ни в одной из посылок. Но это невозможно. Поэтому бо́льшая посылка должна быть общей.
Правило это необходимо, так как в случае его нарушения бо́льшая посылка не могла бы выражать тот общий закон, в применении которого состоят выводы первой фигуры.
§ 31. Теперь легко установить, какие модусы способны дать правильный вывод по первой фигуре. Для этого исключим из числа всех арифметически возможных модусов, во-первых, те, по которым вывод невозможен в силу правил, общих для всех фигур, и, во-вторых, те, по которым вывод невозможен в силу особых правил первой фигуры. После этого исключения, очевидно, останутся только правильные модусы первой фигуры.
Так как в силлогизме две посылки и так как каждая из них теоретически может иметь любое качество и количество, т. е. может быть общеутвердительной, частноутвердительной, общеотрицательной и частноотрицательной, то, очевидно, в первой фигуре (так же, как и во второй и третьей) арифметически возможны шестнадцать модусов:
| AA | EA | IA | OA |
| AE | EE | IE | OE |
| AI | EI | II | OI |
| AO | EO | IO | OO |
Исключим все модусы, в которых качество и количество посылок таковы, что, согласно общим для всех фигур и особым для первой в отдельности правилам, вывод невозможен. Во-первых, отпадут все модусы, в которых обе посылки отрицательные: ЕЕ, ЕО, ОЕ, OO. Во-вторых, отпадут все модусы, в которых обе посылки частные: II, IO, OI, OO. В-третьих, отпадут, согласно особым правилам первой фигуры, все модусы, в которых бо́льшая посылка частная: IA, IE, ОА. В-четвёртых, отпадут, согласно особым правилам первой фигуры, все модусы, в которых меньшая посылка отрицательная: АЕ, АО.
В результате останутся всего четыре модуса первой фигуры: АА, ЕА, AI, EI, в которых количество и качество посылок не противоречат ни общим, ни специальным для первой фигуры правилам силлогизма.
В модусе АА меньшая посылка устанавливает принадлежность всего класса S к классу М, а бо́льшая —принадлежность всего класса М к классу Р. Это отношение терминов даёт основание утверждать в выводе принадлежность всего класса S к классу Р. Таким образом, по модусу АА вывод получается общеутвердительныи (А), и всё строение модуса может быть обозначено ААА.
Пример: «Все амфибии —позвоночные, все лягушки —амфибии, следовательно, все лягушки — позвоночные».
В модусе ЕА меньшая посылка устанавливает принадлежность всего класса S к классу М, а бо́льшая ставит весь объём класса Р вне всего объёма класса М. Это отношение терминов даёт основание исключить в выводе весь класс S из всего класса Р. Таким образом, по модусу ЕА вывод получается общеотрицательный (Е), и всё строение модуса может быть обозначено ЕАЕ.
Пример: «Ни одна планета не есть звезда, все астероиды суть планеты, следовательно, ни один астероид не есть звезда».
В модусе AI меньшая посылка устанавливает принадлежность некоторых S к классу М, а бо́льшая — принадлежность всего класса М к классу Р. Это отношение между терминами даёт основание лишь для частноутвердительного вывода (I), так как меньший термин, не распределённый в посылке, не может оказаться распределённым в выводе. Всё строение этого модуса может быть обозначено AII.
Пример: «Все рыбы — позвоночные животные, некоторые водные животные — рыбы, следовательно, некоторые водные животные — позвоночные животные».
В модусе ЕІ меньшая посылка устанавливает принадлежность некоторых S к классу М, а бо́льшая ставит весь класс Р вне всего класса М. На основании этого отношения терминов в выводе силлогизма из всего класса Р исключаются те самые «некоторые», принадлежность которых к М установлена меньшей посылкой. Иными словами, вывод получается частноотрицательный (О), и всё строение модуса может быть обозначено ЕIO.
Пример: «Ни один гриб не размножается семенами, некоторые растения — грибы, следовательно, некоторые растения не размножаются семенами».
§ 32. Итак, все четыре модуса первой фигуры, оставшиеся после исключения невозможных модусов, дают правильные выводы. Сравнивая качество и количество правильных выводов первой фигуры, замечаем, что по первой фигуре возможны выводы всех видов качества и количества: общеутвердительные (модус ААА), общеотрицательные (модус ЕАЕ), частноутвердительные (модус АII) и частноотрицательные (модус ЕIO). Этой способностью давать выводы любого качества и количества первая фигура отличается от всех остальных.
Ещё важнее способность первой фигуры обосновывать общеутвердительный вывод (модус ААА). Как увидим далее, ни один модус никакой другой фигуры не даёт общеутвердительного вывода. Значение модуса ААА первой фигуры чрезвычайно велико. При помощи этого модуса к целому классу или разряду предметов может быть применён общий закон, выражающий положительное свойство более широкого класса предметов. Так, законы небесной механики, открытые Ньютоном, и сформулированные в общем виде, могут применяться и применяются при изучении движений не только планет, но и орбитальных двойных звёзд1.
Особенно широко применение первой фигуры (именно, модуса ААА) в математических доказательствах и при решении математических задач. Так называемые прямые доказательства теорем, представляющих утвердительные суждения, ведутся в подавляющем большинстве случаев по этому модусу.
Рассмотрим как пример применения силлогизмов решение простой геометрической задачи.
Рис. 61
В равнобедренном треугольнике ABC известны основание ВС=а и высота AD=h. Чему будет равна сторона АС? Начертим равнобедренный треугольник АВС (см. рис. 61), обозначим в нём известные нам элементы буквами h и а. Обозначим неизвестную нам сторону АС посредством буквы x. Из геометрии известно, что во всяком равнобедренном треугольнике высота его делит основание пополам. Треугольник ABC — равнобедренный. Следовательно, в нём высота АD, опущенная из вершины острого угла А, делит основание а пополам. Следовательно, DC=a/2. Рассмотрим теперь треугольник ADC. В нём сторона АD по условию задачи известна и равняется h, сторона DС только что определена и равняется a/2, а угол