посылки истинны, то заключение также будет истинно?
Мы можем получать вывод из посылок путем более или менее сложного преобразования последних. Выше был приведен пример такого преобразования, когда из двух разделительных суждений было получено условное.
Поскольку вывод здесь получается лишь на основе преобразования посылок, его истинность в данном случае целиком определяется истинностью посылок, если, разумеется, это преобразование производится правильно. Правила же этих преобразований в свою очередь, естественно, обусловливаются, как будет дальше показано, формой посылок. Умозаключения такого типа будем называть
Рассмотрим вначале такие дедуктивные умозаключения, в которых вывод получается путем преобразования одной посылки. Возьмем суждения «Петя не является плохим мальчиком», «ваше утверждение неправильно» и преобразуем их таким образом: «Петя — неплохой мальчик», «ваше утверждение не является правильным», то есть передвинем отрицание со связки на предикат. В результате такого преобразования получились новые суждения, которые по своему содержанию хотя и незначительно, но все же отличаются от исходных: в первом усилилась похвала Пете, во втором — выражение смягчилось, стало более деликатным. С точки же зрения логической формы различие довольно существенное — изменилось
Превращения, как мы видим, представляют собой преобразование одного суждения. Такого рода преобразование называется
Значительно большую роль играют
Остановимся на каждом из этих трех видов в отдельности.
В категорическом силлогизме посылками служат два простых категорических суждения. Именно к ним относятся приводившиеся выше образцы таких рассуждений, как:
все млекопитающие дышат легкими;
дельфин — млекопитающее;
———————————————
дельфин дышит легкими;
или:
имена собственные пишутся с большой буквы;
«Крым» — имя собственное;
———————————————
«Крым» пишется с большой буквы.
В чем специфика этого силлогизма? С помощью какого преобразования посылок получается здесь вывод?
Мы уже знаем, что каждое категорическое суждение можно представить как отношение объемов понятий, входящих в суждение. Это в равной мере относится и к посылкам и к заключению. В заключении устанавливается определенное отношение между объемами понятий. Но на каком основании? На основании того отношения, которое дается в посылках. В посылке «все млекопитающие дышат легкими» класс млекопитающих включается в класс дышащих легкими; в другой посылке класс дельфинов включается в класс млекопитающих. Поэтому в заключении мы можем класс дельфинов включить в класс существ, дышащих легкими (рис. 7).


В результате умозаключения понятие «млекопитающие» выпадает. Нас интересует в данном случае отношение дельфинов и существ, дышащих легкими; поэтому на основании посылок мы прямо выводим в заключении интересующее нас отношение «дельфины дышат легкими» (рис. 8).
Аналогичный процесс рассуждения имеет место и во всех других случаях умозаключений, называемых категорическими силлогизмами. Таким образом, всякий
Понятия, между которыми устанавливаются отношения в посылках и в заключении силлогизма, называются
В нашем примере меньшим термином будет «дельфин», большим — «существа, дышащие легкими».
Оба эти термина есть и в посылках; они связываются в заключении на основании того, что о них утверждается в посылках. Но в посылках есть еще понятие «млекопитающие», которого нет в заключении. Это понятие связывает в посылках крайние термины. В каждую посылку входит один из крайних терминов, и это третье понятие, которое называется