Логика. Черняк Н.А. - 20 стр.

    ГЛАВА 3. ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ.                                       2. В зависимости от количества посылок все умозаключения де-
        ВЫВОДЫ ИЗ ПРОСТЫХ СУЖДЕНИЙ                                      лятся на непосредственные и опосредствованные.
                                                                              Непосредственные умозаключения – умозаключения, заклю-
     3.1. Умозаключение как форма мышления.                             чение в которых выводится из одной посылки. Например, исходное
                Виды умозаключений                                      суждение: «Все львы хищники», новое – «Ни один лев не является не-
      Умозаключение – форма мышления, посредством которой вы-           хищником».
водится новое суждение на основании одного или более известных                Опосредствованные умозаключения – умозаключения, заклю-
суждений.                                                               чение в которых выводится из двух и более посылок. Например:
      Ранее известные исходные суждения, из которых выводится но-                                Все люди смертны
вое суждение, называются посылками умозаключения, а новое сужде-                                 Сократ – человек
                                                                                                                   .
ние, полученное в результате сопоставления посылок, заключением.                                 Сократ – смертен
                                Все металлы – проводники

      Например, в умозаключении Медь – металл                                   3.2. Непосредственные умозаключения
                                Медь – проводник
                                                                             К непосредственным умозаключениям относятся следующие виды:
     первые два суждения – посылки, а последнее – заключение.
                                                                             1) превращение;
     Логический переход от посылок к заключению называется вы-
                                                                             2) обращение;
водом.
                                                                             3) контрапозиция (противопоставление предикату);
                        Виды умозоключений                                   4) умозаключение по логическому квадрату.
       1. По характеру логического следования заключений из посылок                               Превращение
все умозаключения делятся на дедуктивные (необходимые) и недедук-
                                                                              Превращение – такое непосредственное умозаключение, в ко-
тивные (выроятностные).
                                                                        тором устанавливается связь между понятием, являющимся субъектом
       Дедуктивные – умозаключения, между посылками и заключе-
                                                                        исходного суждения, и понятием, противоречащим предикату исход-
нием которых имеет место отношение логического следования, кото-
                                                                        ного суждения. Например:
рое можно определить следующим образом: из суждения α логически
следует суждение β тогда и только тогда, когда α и β связаны по смыс-                            Все караси – рыбы
                                                                                                                                    .
лу, а α→β является логическим законом. При этом α – символическое                Следовательно, ни один карась не является не-рыбой
выражение посылок, соединенных логическим союзом конъюнкция, β                Исходное суждение – общеутвердительное (А) превращается в
– символическое выражение заключения. Умозаключение будет дедук-        общеотрицательное (Е).
тивным, если его символическое выражение будет представлять собой             Общеотрицательное (Е) превращается в общеутвердительное
логический закон, т. е. тождественно-истинную формулу, что проверя-     (А). Например:
ется посредством таблицы истинности.                                                Ни один кролик не является хищным животным
       Тождественно-истинная формула – формула, принимающая                                                                    .
                                                                                    Все кролики являются нехищными животными
логическое значение истины при всех вариантах логических значений
                                                                              Частноутвердительное суждение (I) превращается в частноотри-
входящих в нее переменных.
                                                                        цательное (О). Например:
       Умозаключение, между посылками и заключением которого не
                                                                                         Некоторые люди являются честными
имеет места отношение логического следования, называется недедук-                                                            .
тивным или вероятностным.                                                              Некоторые люди не являются нечестными


                                 39                                                                      40