- •81. Виды умозаключений.
- •82. Дедуктивные умозаключения, их виды.
- •83. Силлогизм. /Простой категорический силлогизм/.
- •84. Общие правила силлогизма.
- •87.Фигуры и модусы силлогизма.
- •94.Сокращенные силлогизмы, их виды. 95. Энтимема
- •96.Сложные и сложносокращенные силлогизмы, их виды,
- •97. Полисиллогизмы.
81. Виды умозаключений.
Умозаключение – это форма мышления, в которой из одного или нескольких истинных суждений на основании определенных правил вывода получается новое суждение, которое с непреложностью ил определенной степенью вероятности следует из них.
Умозаключения и их виды. Разделительно-категорическое умозаключение. В данном виде дедуктивных умозаключений одна посылка - разделительное суждение, а вторая и вывод - категорические.. Разделительно-категорическое умозаключение имеет два модуса: 1) утверждающе-отрицательный; 2) отрицательно-утверждающий. Формула утверждающе-отрицательного модуса: А есть или В, или С; А есть В; Следовательно, А не есть С. Формула отрицающе-утверждающего модуса: А есть или В, или С; А не есть В; Следовательно, А есть С.
Условно-категорическое умозаключение. Условно-категорическое умозаключение состоит из двух посылок - условного и категорического суждений. При этом категорическая посылка состоит из тех же терминов,что основание или следствие условной посылки. Условно-категорическое умозаключение имеет два модуса - утвердительный и отрицательный. В утверждающем заключение идет от утверждения основания к утверждению следствия. Формула: Если есть А, то есть В; А есть; Следовательно, есть В. Вывод по этому модусу может быть и утвердительный, и отрицательный. В отрицающем модусе заключение идет от отрицания следствия к отрицанию основания. Формула: Если есть А, то есть В; В нет; Следовательно, нет А. Вывод по этому модусу бывает утвердительный и отрицательный; его качественная сторона находится в обратной зависимости от качественного характера условной посылки.
Условно-разделительное умозаключение. Умозаключение, в котором одна посылка - условное суждение, а другая - разделительное, называется условно-разделительным или лемматическим умозаключением. По количеству следствий условной посылки различают дилеммы, трилеммы и полилеммы. Дилемма - это условно-разделительный силлогизм с двумя альтернативами, ибо третьего решения вопроса не существует. В практике рассуждений встречаются два вида дилемм - конструктивная и деструктивная. В конструктивной (созидающей) дилемме из двух оснований вытекают два следствия. Вторая посылка ограничивает возможность выбора только этими двумя основаниями (альтернативами).
О других далее
82. Дедуктивные умозаключения, их виды.
В традиционной логике дедукцией называют умозаключение от знания большей степени общности к новому знанию меньшей степени общности. Впервые теория дедукции в этом плане была обстоятельно разработана Аристотелем;
Дедуктивные умозаключения - те умозаключения, у которых между посылками и заключением имеется отношение логического следования.
Пример:
Все перепончатокрылые - насекомые.
Все пчелы - перепончатокрылые.
Все пчелы - насекомые.
Здесь первая посылка “Все перепончатокрылые - насекомые” является общеутвердительным суждением и выражает большую степень обобщения по сравнению с заключением, также являющимся общеутвердительным суждением: “Все пчелы - насекомые”. Мы строим умозаключение от признака, принадлежащего роду (“перепончатокрылые”), к его принадлежности к виду - “пчела”, т. е. от общего класса к его частному случаю, к подклассу.
Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми (категорическими) или сложными суждениями. В зависимости от количества посылок дедуктивные выводы из категорических суждений делятся на непосредственные (превращение, обращение, противопоставление предикату), в которых заключение выводится из одной посылки, и опосредствованные (а) силлогизмы; б) условные умозаключения; в) разделительные умозаключения.), в которых заключение выводится из двух посылок.