Логика и теория аргументации. Скачков А.С. - 41 стр.

   В отношении подчинения (субординации) находятся суждения с одинаковыми
терминами, имеющие одинаковое качество и разное количество.

      ™ Пример
   Суждение формы SaP «Все люди способны к логическому мышлению» нахо-
дится в отношении подчинения (является подчиняющим) с суждением формы SiP
«Некоторые люди способны к логическому мышлению»; суждение формы SeP —
с суждением SoP: «Ни один металл не является неэлектропроводным» и «Неко-
торые металлы не являются неэлектропроводными».

    Это значит, что 1) зная об истинности суждений-посылок формул SaP и SeP,
мы выводим истинность суждений-заключений формул SiP и SoP, а именно: SaP
|= SiP и SeP |= SoP, 2) зная о ложности суждений-посылок формул SiP и SoP, мы
выводим ложность суждений-заключений формул SaP и SeP, а именно: ¬SiP |=
¬SaP и ¬SoP |= ¬SeP (читается «Если неверно, что некоторые S есть P, то невер-
но, что все S есть P» и «Если неверно, что некоторые S не есть P, то неверно, что
ни один S не есть P»).
    В случае же истинности частноутвердительного суждения логического следо-
вания в отношении суждения общеутвердительного не имеется, равно как и в
случае истинности частноотрицательного суждения не следует достоверного вы-
вода в отношении истинностной характеристики суждения общеотрицательного,
т. е. истинность частного суждения оставляет общее неопределённым. Несоблю-
дение этого правила ведёт к логической ошибке, называемой «поспешное обоб-
щение», суть которой заключается в том, что рассмотрев несколько частных слу-
чаев из какого-либо класса явлений, делают вывод обо всём классе.

      ™ Пример
   «Верно, что некоторые учащиеся нашей группы — музыканты», но истинно
или ложно, что «Все учащиеся нашей группы — музыканты», логически не уста-
новить; «Верно, что некоторые учащиеся нашей группы не являются музыканта-
ми», но истинно ли или ложно, что «Ни один учащийся нашей группы не являет-
ся музыкантом»?

   Не представляется возможным получить логическое следование примени-
тельно к суждениям в отношении подчинения и при использовании в качестве
посылок ложных общеутвердительных и общеотрицательных суждений, т. е.
ложность общего суждения оставляет частное суждение неопределённым.

      ™ Пример
    «Неверно, что все учащиеся нашей группы — музыканты», но истинно ли
или ложно, что «Некоторые учащиеся нашей группы — музыканты» логически
не установить.

   В отношении частичного совпадения (субконтрарности) находятся сужде-
ния с одинаковыми терминами, имеющие разное качество и частные по количе-
                                       41