Правила посылок (ПП):
ПП - 1. Если одна посылка частная, то вывод будет частный
ПП - 2. Из двух частных посылок невозможно сделать вывод. В таком случае нельзя установить объемные отношения между терминами силлогизма, поэтому определенный вывод не получится
ПП - 3. Из двух отрицательных посылок нельзя сделать вывод. В таком случае все термины исключают друг друга, устраняя всякую объемную взаимосвязь между ними.
ПП - 4. Если одна из посылок - отрицательное суждение, то и вывод должен быть отрицательным
Модусы
Модусами простого категорического силлогизма называются разновидности силлогизма, отличающиеся друг от друга качественной и количественной характеристикой входящих в них посылок и заключения.
В четырех фигурах число комбинаций равно 64. Однако правильных модусов всего 19.
1-я фигура: ААА, ЕАЕ, АII , ЕIO
2-я фигура: ЕАЕ, АЕЕ, ЕIO , АОО
3-я фигура: ААI , IАI , АII , ЕАО, ОАО, ЕIO
4-я фигура: ААI , АЕЕ , IАI , ЕАО, ЕIO
В целом же анализ простых категорических силлогизмов с целью выяснения вопроса о характере вывода предполагает последовательное определение следующих моментов:
меньшего, большего и среднего терминов;
меньшей и большей посылок;
фигуры;
модуса;
распределенности терминов в посылках и заключении;
характера вывода (необходимый или вероятностный).
Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками
которых являются условные и разделительные суждения, выступающие в разных сочетаниях друг с другом или с категорическими суждениями.
Условное умозаключение (условный силлогизм) - это такой вид опосредствованного дедуктивного умозаключения, в котором по крайней мере одна из посылок - условное суждение. Выделяют чисто условные и условно-категорические умозаключения.
Чисто-условным умозаключением называется такое опосредствованное умозаключение, в котором обе посылки и заключение являются условными суждениями. Его логическая структура такова:
Если а, то в
Если в, то с
Если а, то с
Вывод в чисто условном умозаключении основывается на правиле:
следствие следствия есть основание основания.
Условно-категорическим называется такое умозаключение, в котором одна из посылок - условное, а другая посылка и заключение - категорические суждения. Его логическая структура такова:
Если а, то в
Правильная форма утверждающего модуса - это разновидность условно-категорического умозаключения, в которой ход умозаключения направлен от утверждения
основания условной посылки к утверждению следствия условной посылки.
Неправильной формой утверждающего модуса
является разновидность условно-категорического умозаключения, в которой ход умозаключения
направлен от утверждения следствия к утверждению основания.
Правильная форма отрицающего модуса - это разновидность условно-категорического умозаключения, в
которой ход умозаключения направлен от отрицания следствия к отрицанию основания.
Неправильная форма отрицающего модуса - это разновидность условно-категорического умозаключения, в
которой ход умозаключения направлен от отрицания основания к отрицанию следствия.
Разделительным называется умозаключение, в котором одна или несколько посылок - разделительные суждения. Выделяют разделительно-категорические и условно- разделительные умозаключения
Разделительно-категорическим называется умозаключение, в котором одна из посылок разделительное, а другая посылка и заключение - категорические суждения.
Разделительно-категорическое умозаключение имеет два модуса: утверждающе-отрицающий и отрицающе- утверждающий.
Утверждающе-отрицающий модус - это разновидность разделительно-категорического умозаключения, в котором
путем утверждения одного из членов разделительного суждения производится отрицание всех остальных. Его логическая структура такова:
а или b е-b
Отрицающе-утверждающий модус - это разновидность разделительно-категорического умозаключения, в которой путем отрицания всех членов разделительного суждения, кроме одного, производится утверждение оставшегося члена. Его логическая структура такова:
а или b
-а
е-b
Условно-разделительным или лемматическим (от лат. lemme -предположение) называется умозаключение, в котором одна посылка состоит из двух или более условных суждений, а другая - разделительное суждение.
Дилемма - это условно-разделительное умозаключение с двумя альтернативами. В практике рассуждений встречаются два вида дилемм - конструктивная и деструктивная.
В условной посылке конструктивной дилеммы
устанавливается возможность двух условий и вытекающих из них двух следствий. Разделительная посылка ограничивает выбор только этими двумя условиями, а в заключении утверждается возможность только одного следствия.
В условной посылке деструктивной дилеммы
устанавливается, что из двух оснований могут вытекать два следствия, в разделительной посылке отрицается одно из возможных следствий, а в заключении отрицается одно из возможных оснований
Индуктивные умозаключения
Общее в природе и обществе не существует самостоятельно, до и вне единичного, а единичное не существует без общего; общее существует в единичном, через единичное, т.е. проявляется в конкретных предметах
требования, которые определяют правильность и объективную обоснованность индуктивного вывода
Во-первых, индуктивное обобщение прочно лишь тогда, когда оно ведется по существенным признакам.
Во - вторых, индуктивное обобщение распространяется только на объективно сходные предметы.
Индуктивное умозаключение - это такое умозаключение, в котором мысль развивается от знания меньшей степени общности к знанию большей степени общности, а заключение, вытекающее из посылок, носит преимущественно вероятностный характер.
В индуктивном умозаключении заключают от признаков отдельных предметов к признакам всего рода или класса предметов (к объему этого признака). Отсюда вытекает ряд частных различий между индуктивными и дедуктивными умозаключениями:
1) индуктивный вывод строится на множестве посылок;
2) заключение возможно при всех отрицательных посылках;
3) все посылки индуктивного умозаключения - единичные или частные суждения.