Логика. Купарашвили М.Д - 26 стр.

UptoLike

Рубрика: 

51
Виды умозоключений
1. Понятие умозаключения как логической операции тесно свя-
зано с понятием логического следования. Учитывая эту связь, при-
нято различать правильные и неправильные умозаключения. Умо-
заключение, представляющее переход от посылок A
1
,…,A
n
(n1) к
заключению B, является правильным, если между посылками и заклю-
чением имеется отношение логического следования, т. е. B является
логическим следствием A
1
,…,A
n
(n1). В противном случаеесли
между посылками и заключением не такого отношенияумозаклю-
чение является неправильным.
2. По характеру логического следования все умозаключения
делятся на дедуктивные и недедуктивные, или иначеиндуктив-
ные (выроятностные). Главное отличие двух указанных видов умо-
заключений состоит в том, что дедуктивные умозаключения га-
рантируют истинность заключения при истинности посылок, в то
время как недедуктивные обеспечивают лишь некоторую степень
правдоподобия заключения, т. е. некоторую вероятность его истин-
ности. В связи с этим различием дедуктивные умозаключения ино-
гда называют еще демонстративными или достоверными, а неде-
дуктивныеправдоподобными или проблематичными.
Правильное дедуктивное умозаключение связано с дедуктив-
ным
следованием, т. е. между его посылками и заключением имеет
место отношение логического следования, определяемое следую-
щим образом: из суждения A логически следует суждение B тогда и
только тогда, когда A и B связаны по смыслу, а
AB
является ло-
гическим законом. При этом Aсимволическое выражение посы-
лок, соединенных логическим союзом конъюнкции, Bсимволиче-
ское выражение заключения. Учитывая это, можно сказать, что в ос-
нове всех правильных дедуктивных умозаключений лежат логиче-
ские законы. Следовательно, любое правильное дедуктивное умо-
заключение можно представить в следующем виде:
1
...
n
AAB
∧⊃
(n1), где
1
...
n
AA∧∧ является конъюнкцией всех посылок, а само
символическое выражение будет представлять собой логический за-
кон, т. е. тождественно-истинную формулу или формулу, прини-
мающую логическое значение истины при всех вариантах логических
значений входящих в нее переменных.
52
3. Наконец, в зависимости от количества посылок умозаклю-
чения делятся на непосредственные и опосредствованные.
В непосредственных умозаключениях заключение выводится
из одной посылки. Например, исходное суждение: «Все львы хищни-
ки», а новое – «Ни один лев не является не-хищником».
В опосредствованных умозаключениях заключение выводит-
ся из двух и более посылок. Например:
Все
люди смертны
Сократчеловек
Сократсмертен
3.2. Непосредственные умозаключения
Непосредственным называется умозаключение, в котором вы-
вод делается из одной посылки путем преобразования исходного су-
ждения по форме при сохранении смысла.
Способы образования непосредственных умозаключений:
1) превращение;
2) обращение;
3) противопоставление предикату;
4) противопоставление субъекту;
5) ограничение третьего понятия;
6) умозаключение по логическому квадрату.
Превращение
Превращениеэто
такое непосредственное умозаключение,
в котором устанавливается связь между понятием, являющимся
субъектом исходного суждения, и понятием, противоречащим преди-
кату исходного суждения.
Для превращения утвердительного суждения в отрицатель-
ное при сохранении смысла исходного суждения вводят два отрица-
ния или наоборот: если исходное суждение отрицательно, то удаляют
отрицание. Таким образом, во-первых, меняется
связка исходного су-
ждения на противоположную по качествуесть» на «не есть», «суть»
на «не суть» и наоборот), а во-вторых, меняется качество предиката
                      Виды умозоключений                                    3. Наконец, в зависимости от количества посылок умозаклю-
                                                                     чения делятся на непосредственные и опосредствованные.
      1. Понятие умозаключения как логической операции тесно свя-
                                                                            В непосредственных умозаключениях заключение выводится
зано с понятием логического следования. Учитывая эту связь, при-
                                                                     из одной посылки. Например, исходное суждение: «Все львы хищни-
нято различать правильные и неправильные умозаключения. Умо-
                                                                     ки», а новое – «Ни один лев не является не-хищником».
заключение, представляющее переход от посылок A1,…,An (n≥1) к
                                                                            В опосредствованных умозаключениях заключение выводит-
заключению B, является правильным, если между посылками и заклю-
                                                                     ся из двух и более посылок. Например:
чением имеется отношение логического следования, т. е. B является
логическим следствием A1,…,An (n≥1). В противном случае – если                               Все люди смертны
между посылками и заключением не такого отношения – умозаклю-                                Сократ – человек
чение является неправильным.                                                                 Сократ – смертен
      2. По характеру логического следования все умозаключения
делятся на дедуктивные и недедуктивные, или иначе – индуктив-
ные (выроятностные). Главное отличие двух указанных видов умо-
заключений состоит в том, что дедуктивные умозаключения га-                     3.2. Непосредственные умозаключения
рантируют истинность заключения при истинности посылок, в то               Непосредственным называется умозаключение, в котором вы-
время как недедуктивные обеспечивают лишь некоторую степень          вод делается из одной посылки путем преобразования исходного су-
правдоподобия заключения, т. е. некоторую вероятность его истин-     ждения по форме при сохранении смысла.
ности. В связи с этим различием дедуктивные умозаключения ино-             Способы образования непосредственных умозаключений:
гда называют еще демонстративными или достоверными, а неде-                1) превращение;
дуктивные – правдоподобными или проблематичными.                           2) обращение;
      Правильное дедуктивное умозаключение связано с дедуктив-             3) противопоставление предикату;
ным следованием, т. е. между его посылками и заключением имеет             4) противопоставление субъекту;
место отношение логического следования, определяемое следую-               5) ограничение третьего понятия;
щим образом: из суждения A логически следует суждение B тогда и            6) умозаключение по логическому квадрату.
только тогда, когда A и B связаны по смыслу, а A ⊃ B является ло-
гическим законом. При этом A – символическое выражение посы-                                   Превращение
лок, соединенных логическим союзом конъюнкции, B – символиче-
ское выражение заключения. Учитывая это, можно сказать, что в ос-          Превращение – это такое непосредственное умозаключение,
нове всех правильных дедуктивных умозаключений лежат логиче-         в котором устанавливается связь между понятием, являющимся
ские законы. Следовательно, любое правильное дедуктивное умо-        субъектом исходного суждения, и понятием, противоречащим преди-
заключение можно представить в следующем виде: A1 ∧ ... ∧ An ⊃ B     кату исходного суждения.
                                                                           Для превращения утвердительного суждения в отрицатель-
(n≥1), где A1 ∧ ... ∧ An является конъюнкцией всех посылок, а само   ное при сохранении смысла исходного суждения вводят два отрица-
символическое выражение будет представлять собой логический за-      ния или наоборот: если исходное суждение отрицательно, то удаляют
кон, т. е. тождественно-истинную формулу или формулу, прини-         отрицание. Таким образом, во-первых, меняется связка исходного су-
мающую логическое значение истины при всех вариантах логических      ждения на противоположную по качеству («есть» на «не есть», «суть»
значений входящих в нее переменных.                                  на «не суть» и наоборот), а во-вторых, меняется качество предиката


                               51                                                                   52