Логика и аргументация: Учебное пособие для вузов. - Рузавин Георгий Иванович - Страница 34

3. Эти правила необходимы для анализа модусов силлогизма, о которых пойдет речь в дальнейшем.

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

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

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

Модусы силлогизма характеризуют разновидности фигур силлогизма, которые отличаются друг от друга по качеству и количеству входящих в них посылок (лат. modus - мера, образ, способ). Напомним, что по качеству суждения делятся на утвердительные и отрицательные, а по количеству - на общие и частные.

Зная расположение среднего термина, а также общие правила силлогизма, нетрудно вывести модусы для каждой фигуры. Сделаем это для первой фигуры. Согласно правилам первой фигуры, большая посылка в ней должна, быть общим суждением, т.е. либо общеутвердительным; (А), либо общеотрицательным (Е). Меньшая же посылка обязана быть утвердительным суждением, т.е. либо общеутвердительным (А), либо частноутвердительным (I). Путем комбинации суждений, которые допускаются в посылках согласно правилам первой фигуры, мы получим следующие сочетания: АА, ЕА, AI, EI. Если взять посылки АА, то из них следует либо частноутвердительное либо общеутвердительное суждение. Последнее по своей логической силе превосходит частноутвердительное, потому что из общеутвердительного суждения вытекает частноутвердительное. На этом основании в качестве заключения из посылок АА мы выбираем суждение А. Таким образом, первый модус первой фигуры силлогизма символически можно представить как ААА. Для запоминания расположения в нем посылок и заключения в традиционной логике используется слово BARBARA, где гласные буквы напоминают о качестве и количестве фигурирующих в силлогизме суждений. Подобным же образом можно получить другие модусы первой и остальных фигур силлогизма. В каждой фигуре имеется 64 модуса, а во всех четырех фигурах 256. Но не все из них являются правильными, т.е. заключение в них следует из посылок. Правильными считаются только 24 модуса, для запоминания которых еще в средние века были придуманы мнемонические схемы, наподобие приведенной выше, например CESARE (вторая фигура ЕАЕ), BAROKO (АОО) и т.д.

В обычной речи силлогизмы крайне редко используются в той форме, в какой они рассматриваются в логике. Это слишком утяжеляло бы речь и затрудняло общение между людьми. Поэтому и в науке и в повседневной речи часто прибегают к сокращенным силлогизмам. Типичной формой сокращенного силлогизма является энтимема, название которой происходит от древнегреческого слова, означающего "в уме" или "мысленно". Энтимемы настойчиво рекомендовал в своей "Риторике" Аристотель. "Что же касается способов доказывать действительным или кажущимся образом, - писал он, - то как в диалектике есть наведение, силлогизм и кажущийся силлогизм, точно так же есть и здесь (в риторике Г.Р.), потому что пример есть не что иное, как наведение, энтимема - силлогизм, кажущаяся энтимема - кажущийся силлогизм. Я называю энтимемой риторический силлогизм, а примером - риторическое наведение: ведь и все ораторы излагают свои доводы, или приводя примеры, или строя энтимемы, и помимо этого не пользуются никакими способами доказательства". Энтимемы, по мнению Аристотеля, должны играть решающую роль в риторике, ибо они убеждают сильнее, чем примеры.

В логике энтимемы делятся на корректные и некорректные.

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

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

В энтимеме "Так как все металлы электропроводны, следовательно, медь электропроводна" пропущена меньшая посылка: "медь - металл".

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

Все планеты вращаются вокруг Солнца.

Земля вращается вокруг Солнца.

Значит, Земля — планета.

Все планеты шарообразны.

Земля - планета.

Земля — шарообразна.

Все шарообразные тела отбрасывают круглую тень.

Земля шарообразна.

Следовательно, Земля отбрасывает круглую тень.

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