В большинстве случаев общеутвердительное суждение (А) обращается с ограничением в частное утверждение (I).
Т.к предикат в исходном суждении (А) не распределен, не в полном объеме взят. Только частично, следственно и субъектом он может быть только в частном утверждении . Отсюда и обращение в (I). "все S есть Р" в "в некоторые Р есть S".
Короче пример: "все алкогольные напитки есть наркотики" , а получается "некоторые наркотики есть алкогольные напитки". Предикат "наркотики" взят только частично - "алкогольные напитки" не исчерпывают спектр наркоты, потому и обратить суждение можно только в частное. Ну никак не "все наркотики есть алкогольные напитки", а только некоторые.
2. Общеотрицательное суждение (Е) обращается в такое же (Е) без ограничения. Ибо обе части суждения берутся целиком и полностью. "Все S не-есть Р" в "Все Р не-есть S"
Например: "ни один мальчик не есть девочка" обращается в "ни одна девочка не есть мальчик".
3. Частноутвердительное (I) так же прямо обращается в (I).Т.к обе части берутся неполностью - частично. "Некоторые S есть Р" в "Некоторые Р есть S"
Например: "Некоторые "некоторые мазхохисты мужчины" обращается в "некоторые мужчины мазохисты"
3.1. В особых нечастых случаях когда объем предиката полностью входит в объем субъекта. Те предикат является видовым понятием субъекта, частное утверждение развертывается в полное. Короче опять пример: "некоторые извращенцы эксгибиционисты" обращается в "все эксгибиционисты извращенцы". Это называется "обращение с обобщением"
Частноотрицательные суждения (О) традиционно не обращаются.
IV. Логическое противопоставление - операция с простыми суждениями, производящая одновременно и обращение и превращение суждений. Если происходит сначала обращение, а потом превращение, то это противопоставление субъекту. Если происходит сначала превращение, а потом обращение, то противопоставление предикату. Т.е в суждении связка меняется на противоположную, а предикат на противный. Итак:
Противопоставление субъекту. Начнем уж с субъекта раз он первый)
Общеутверждение (А) перекидывается в Частноутверждение (О)
1.1. Все автолюбители гуманоиды - исходное суждение
1.2. Некоторые гуманоиды автолюбители - обращение исходного суждения.
1.3. Некоторые гуманоиды не есть не автолюбители - превращение обращенного суждения
Общее отрицание (Е) трансформируется в общеутвердительное суждение (А)
2.1. Ни один задрот не есть альфа-самец
2.2. Все альфа-самцы не есть задроты или ни один альфа самец не есть задрот
2.3. Все альфа-самцы есть не задроты - а тут уже начальный квантор "ни один" приходится однозначно сменить на оптимистичный "все"
Частноутвердительное суждение (I) в частное отрицание (О)
3.1. Некоторые извращенцы есть уважаемые люди
3.2. Некоторые уважаемые люди есть извращенцы
3.3. Некоторые уважаемые люди не есть не извращенцы
4. Частно отрицательное суждение (O) субъекту не противопроставляется. В силу неточности квантора "некоторые" нельзя сказать общее или частное суждение должно получиться.
Противопоставление предикату...
Из (А) получается (Е)
1.1. Все программисты есть пользователи компьютеров - исходное суждение
1.2. Все программисты не есть непользователи компьютеров - превращение
1.3. Все непользователи компьютеров не есть программисты - - обращение
Из (Е) получается (I)
2.2. Все пикаперы не есть девственники
2.3. Все пикаперы есть недевственники
2.3. Некоторые недевственники есть пикаперы
Из (О) получается (I)
3.1. Некоторые труселя не есть красные / некоторые змеи не являются ядовитыми
3.2. Некоторые труселя есть не красные / некоторые змеи являются неядовитыми
3.3. Некоторые некрасные (шмотки) есть труселя / некоторые неядовитые (животные) являются змеями
4. (I) не противопоставляется предикату. В силу неточности квантора "некоторые" нельзя сказать общее или частное суждение должно получиться.
Считаю, что его можно упростить (извратить) в логический стульчик:
Логический квадрат показывает отношения между суждениями с одинаковыми субъектами и предикатами, но разными связками и кванторами. С его помощью можно делать выводы относительно истинности и ложности таких суждений.
1. У нас 3 «дороги»: AE (EA ), AO (OA) и EI (IE).