ОПЕРАЦИИ С ВИДАМИ ПРОСТОГО КАТЕГОРИЧЕСКОГО СИЛЛОГИЗМА
К операциям с данной формой мысли следует отнести то, что частично уже было затронуто, а именно - сведение модусов II-IV фигур к модусам первой фигуры, поскольку она занимает особое привилегированное положение в сравнении с остальными. Ее место определяет и старшинство модусов первой фигуры, подчиняющее их положение по отношению к другим модусам. Как же совершается сведение модусов в каждом отдельном случае?
Конкретный прием сведения модусов закодирован в их названии. Если в названии модусов II-IV фигур встречается согласная "m", то эти модусы сводимы путем простой перестановки посылок местами. Это достаточно очевидно для четвертой фигуры, но менее - для третьей и второй. В них перестановка посылок сопровождается еще и другими действиями, о которых напоминают другие согласные в названии модусов. Наличие в названии модусов согласной "p" говорит о том, что суждение перед этой согласной необходимо обратить, а при наличии в названии модусов согласной "s" - что суждения перед данной согласной обращаются прямо, без ограничения. Так как обращение без ограничения возможно либо с общеотрицательным суждением, в котором и субъект и предикат всегда распределены, либо с частноутвердительным суждением, в котором и субъект и предикат не распределены, то можно быть уверенным, что перед согласной "s" всегда будет или общеотрицательное (Е), или частноутвердительное (I) суждение.
Суммируем сказанное: модусы II-IV фигур, названия которых начинаются соответствующими согласными, сводимы к модусам первой фигуры с такими же заглавными буквами, кроме двух - модуса Baroco и Bocardo, о чем свидетельствует согласная "с" в их названии; наличие в названии модусов согласной "m" говорит о необходимости при сведении поменять посылки местами; наличие согласной "р" - что суждения перед нею обращаются; а наличие согласной "s" - что они обращаются без ограничения. Остальные согласные - для благозвучия.
Возьмем, например, модус четвертой фигуры Bramantip, название которого говорит, что он сводим к модусу Barbara. Раз в названии модуса встречаются две согласные, имеющие определенное процессуальное значение, - m и р, то выполняя последовательно соответствующие действия, именно - вначале меняем посылки местами, а потом обращаем выводное суждение, - в итоге и получаем модус Barbara первой фигуры:
Все мои друзья - студенты (А) P --- M Это IV фигура.
Все студенты - учащиеся (А) M --- S
Некоторые учащиеся - мои друзья (I) S --- P
Меняем посылки местами и одновременно обращаем вывод:
Все студенты - учащиеся (А)
Все мои друзья - студенты (А)
Все мои друзья - учащиеся (А)
В итоге получаем модус Barbara первой фигуры. Понятно, что по четвертой фигуре вывод не мог быть общим суждением, так как субъект вывода является предикатом утвердительной меньшей посылки, а предикат утвердительных посылок, как правило, нераспределен; зато по первой фигуре вывод, естественно, общий, поскольку субъект вывода является субъектом общеутвердительной меньшей посылки.
Модусы Сеsаrе, Саmеstres, Саmеnеs сводимы к модусу первой фигуры Сеlаrеnt. Например:
Все коровы не есть птицы (Е) P --- M
Все воробьи - птицы (А)S --- M
Все воробьи не есть коровы (Е) S --- P
Это модус Cesare второй фигуры. Согласная s в его названии показывает, что сведение к модусу Celarent первой фигуры возможно всего лишь одним действием - прямым обращением большей общеотрицательной посылки, т.е. суждения перед согласной s:
Все птицы не есть коровы (Е) М --- Р
Все воробьи - птицы (А)S --- M
Все воробьи не есть коровы (Е) S --- P
Возьмем другой модус:
Все тигры - позвоночные (A) P --- M
Все насекомые не есть позвоночные (E) S --- M
Все насекомые не есть тигры (E) S --- P
Это модус Camestres II фигуры, в названии которого присутствуют две значащие для нашей операции согласные - m и s, при этом s в названии модуса встречается дважды. Данный модус простым обращением большей посылки (так как она общеутвердительное суждение и обращается только в частноутвердительное суждение, не могущее быть большей посылкой первой фигуры) превратить в модус I фигуры невозможно. Поэтому, вначале обратим общеотрицательную меньшую посылку (она обращается прямо), потом поменяем, согласно m, посылки местами и, наконец, обратим тоже прямо общеотрицательный вывод. В итоге получаем модус Celarent первой фигуры:
Все позвоночные не есть насекомые (E) M --- P
Все тигры - позвоночные (A)S --- M
Все тигры не есть насекомые (E) S --- P
Модус Camenes четвертой фигуры сводим к модусу Celarent простой перестановкой посылок местами и прямым обращением общеотрицательного вывода. Например, исходный модус IV фигуры:
Все птицы имеют клюв (А) P --- M
Все имеющие клюв не являются насекомыми (Е)M --- S
Все насекомые не являются птицами (Е) S --- P
Выполняем зашифрованные в названии модуса действия:
Все имеющие клюв не являются насекомыми (Е) М --- Р
Все птицы имеют клюв (А)S --- М
Все птицы не являются насекомыми (Е) S --- Р
Модусы Dаrарti, Disamis, Datisi, Dimaris сводимы к модусу Dаrii. Например, модус Darapti третьей фигуры:
Все киты - млекопитающиеся (A) M --- P
Все киты живут в воде (А) M --- S
Некоторые живущие в воде - млекопитающиеся (I) S --- P
Этот модус сводим всего лишь обращением меньшей посылки, являющейся общеутвердительным суждением, обращаемым с ограничением в частноутвердительное. В итоге получаем модус Darii первой фигуры:
Все киты - млекопитающиеся (A) M --- P
Некоторые, живущие в воде, - киты (I) S --- M
Некоторые, живущие в воде, - млекопитающиеся (I) S --- P
Модусы Festino, Felapton, Ferison, Fesapo, Fresison сводимы к модусу Ferio. Например, Felapton третьей фигуры:
Ни один тигр не есть травоядное (Е) М --- Р
Все тигры - хищники (А)М --- S
Некоторые хищники не есть травоядные (О) S --- P
Данный модус сводится обращением меньшей посылки, а так как она общеутвердительное суждение, то обращается в частноутвердительное, и в итоге получается модус Ferio первой фигуры:
Ни один тигр не есть травоядное (E) M --- P
Некоторые хищники - тигры (I) S --- M
Некоторые хищники не есть травоядные (О) S --- P
РАСПРЕДЕЛЕ́ННОСТЬ ТЕ́РМИНОВ В СУЖДЕ́НИИ
технич. выражение, используемое традиц. логикой в теории суждения и умозаключения. Говорят, что термин распределен, если он мыслится во всем объеме. Во всех остальных случаях термин наз. нераспределенным. Напр., в суждении "все квадраты – прямоугольники" термин "квадрат" – распределен, поскольку в данном суждении речь идет о всем объеме понятия "квадрат", т.е. о всех квадратах. Приняты след. правила Р. т. в с.: субъект суждения распределен во всех общих суждениях и не распределен в частных суждениях, предикат суждения распределен во всех отрицат. суждениях и не распределен в утвердит. суждениях. Обычно эти правила иллюстрируются с помощью кругов Эйлера, представляющих объемы понятий (классы). Напр., Р. т. в с. вида "все S суть P", в к-ром класс S целиком включается в класс P, изображается след. образом:
Для наглядности класс S ограничен сплошной линией, т.к. имеются в виду все S, а класс Ρ – пунктирной линией, т.к. неизвестно, каковы границы класса P: в зависимости от конкретного значения Ρ он может или совпадать с S ("все квадраты – прямоугольники с равными сторонами"), или быть больше S по объему ("все квадраты – параллелограммы"), но S всегда совпадает по крайней мере с частью Р.
Устанавливая правила Р. т. в с., иногда принимают во внимание деление суждений на выделяющие и невыделяющие. В связи с этим правила Р. т. в с. общеутвердительных и четноутвердительных формулируются несколько иначе. Однако следует учитывать, что проблема Р. т. в с. этого типа носит особый характер, поскольку предполагает привлечение дополнит. сведений об отношении классов S и P, и что, следовательно, ее нельзя смешивать с проблемой Р. т. в с., взятом безотносительно к упомянутым дополнит. сведениям.
Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).
· Распределено — когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.
· Не распределено — когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.
Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)
Объем подлежащего (S) меньше объема сказуемого (Р)
· Прим.: «Все рыбы суть позвоночные»
Объемы подлежащего и сказуемого совпадают
· Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»
Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)
В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым
· Прим.: «Ни одно насекомое не есть позвоночное»
Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены
Часть класса подлежащего входит в класс сказуемого.
· Прим.: «Некоторые книги полезны»
· Прим.: «Некоторые животные суть Позвоночные»
Суждения О (частно-отрицательные суждения) Распределяет свое сказуемое (Р), но не распределяет свое подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область)
· Прим.: «Некоторые животные не суть позвоночные (S)»
· Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»
таблица распределения подлежащего и сказуемого
Подлежащее (S) | Сказуемое (P) | ||
о-у | А | распределено | нераспределено |
о-о | Е | распределено | распределено |
ч-у | I | нераспределено | нераспределено |
ч-о | О | нераспределено | распределено |
Общая классификация:
· общеутвердительные (A) — одновременно общие и утвердительные («Все S+суть P-»)
· частноутвердительное (I) — частное и утвердительное («Некоторые S-суть P-») Прим: «Некоторые люди имеют черный цвет кожи»
· общеотрицательное (E) — общее и отрицательные («Ни один S+не суть P+») Прим: «Ни один человек не всеведущ»
· частноотрицательное (O) — частное и отрицательное («Некоторые S-не суть P+») Прим: «Некоторые люди не имеют черного цвета кожи»