армией в 1812 году до начала августа". Мы сталкивались уже с их спецификой при рассмотрении закона исключенного третьего. По своим логическим свойствам единичные суждения относятся, однако, к суждениям общим, как ни покажется это парадоксальным. Хотя их содержанием действительно являются отдельные частные явления, события или лица, тем не менее, для определе-ния их количества решающее значение имеет то, что в суждении такого рода всегда охватывается весь объем понятия-субъекта. Частей у таких объемов просто не бывает. Бессмысленно было бы го-ворить, как отмечалось раньше, о некоторых Кутузовых.
Следует различать и два смысла слова "некоторые". Допустим, нам сказали: "Некоторые гитары имеют не менее шести струн". Дали ли нам тем самым правильную информацию об этой разновид-ности щипковых инструментов, можно ли, иными словами, считать данное высказывание истинным, если на самом деле у всех современных гитар не меньше шести струн? Ответить на этот вопрос мож-но по-разному в зависимости от того, что вложено в высказывание о гитаре. Оно могло иметь в виду, что только некоторые из этих музыкальных инструментов таковы, и тогда утверждение ошибочно. Но чаще подобными выражениями сообщают, что, по крайней мере, некоторые предметы обладают таким-то свойством, оставляя в неопределенности вопрос о том, обладают ли им все остальные. При такой интерпретации те же слова надо признать истинными. Когда их произносят и вкладывают в них такой смысл, то хотят этим сказать: по крайней мере, часть гитар совершенно точно обладает шестью струнами; такое утверждение останется истинным, даже если окажется, что все они облада-ют этим свойством, ибо если все предметы обладают каким-то свойством, то значит, часть их тоже обладает им.
Суждения, у которых квантор "некоторые" имеет смысл "по крайней мере, некоторые, но, возможно, и все", называют неопределенно-частными, или невыделяющими. Те же, у которых "некоторые" оз-начает "только некоторые", получили название определенно-частных, или выделяющих. Традици-онная логика имеет дело, прежде всего с неопределенно-частными суждениями как более распро-страненными. В дальнейшем мы будем говорить в основном о них. Так что для нас будет истинным как суждение: "Некоторые прокуроры не адвокаты" (на самом деле они все не адвокаты), так и суж-дение: "Некоторые студенты сдают экзамены". Если же речь пойдет об определенно-частных сужде-ниях, то это будет специально оговариваться. Следует помнить, что в языке не всегда явно выража-ется характер квантора "некоторые". Так, в суждениях "Некоторые кардиналы становятся римскими папами" и "Некоторые кардиналы знают латынь" в первом случае мы имеем дело с определенно-частным, а во втором - с неопределенно-частным суждениями.
§13. Объединенная классификация суждений
Исходя из всего изложенного в предыдущем разделе, все суждения делятся по качеству на две кате-гории - утвердительные и отрицательные, и по количеству тоже на две - общие и частные. В логике принято объединять эти две пары категорических суждений в единую классификацию, в которой по-лучается четыре вида. У каждого из них есть свое обозначение латинской буквой и их все можно вы-разить одной формулой:
Все (некоторые) S есть (не есть) P.
При выполнении логических операций удобно использовать круговые схемы Эйлера. Графическое изображение соотношений между понятиями по объему одинаково для одних и тех же видов сужде-ний, но у большинства из них допускается более одного варианта. Желательно их знать и хорошо помнить.
Общеутвердительное суждение. Всем предметам приписывается какое-то свойство. Оно, следова-тельно, является общим по количеству и утвердительным по качеству. Структура такого суждения - "Все S есть P". Например, 1) "Все планеты - небесные тела" или 2) "Квадрат - прямоугольник с рав-ными сторонами"; а так как единичные суждения тоже относятся к общим, то и высказывания 3) "Уральские горы протянулись с севера на юг" и 4) "Данное преступление совершено вчера" тоже от-носятся к общеутвердительным суждениям. Их принято обозначать буквой A (a) - первой гласной латинского affirmo (утверждаю). Тогда ту же структуру можно изобразить так: S a P; читается: все S есть P. 
Если изобразить соотношение понятий, входящих в это суждение, круговыми схемами, то общеут-вердительному суждению, как правило, соответствует нижняя часть рисунка 3. В нем все S входят в объем понятия P (отношение подчинения). 
Так, все планеты, естественно, должны входить в круг тел, относимых нами к небесным телам, Уральские горы, согласно суждению (3), входят в число всего того, что можно отнести к протянув-шемуся с севера на юг, а преступление, о котором речь в суждении (4), обязательно должно охваты-ваться кругом событий, произошедших вчера. И только для суждения (2) надо брать верхнюю часть этого рисунка, так как данные понятия равнозначны и потому изображающие их круги сливаются.
Следует помнить, что кругами надо изображать то, что сказано в суждении, а не то, что есть в дейст-вительности. Расхождение между тем и другим возникает в случае ложных высказываний. Напри-мер, суждению "Птица - летающее позвоночное" соответствует нижняя часть рисунка 3, хотя не все птицы входят в число летающих позвоночных. Но это говорит только о том, что данное суждение (относящее всех птиц к летающим животным) ложно.
Общеотрицательное суждение. Этот вид суждения является общим по количеству и отрицательным по качеству - у всех предметов отрицается какое-либо свойство: все (никакое) S не есть P. 1) "Ника-кая параллель не пересекает экватор", 2) "Дельфин не рыба", 3) "Всякая война не обходится без жертв" - примеры таких суждений. Их обозначают первой гласной из латинского nego (отрицаю) - E (e). Краткая запись: S e P. Читается: все (никакое) S не есть P.

Общеотрицательное суждение "Ни одно S не есть P" изображается двумя кругами вне друг друга, как для несравнимых понятий (рис. 4).
Частноутвердительное суждение образуется тогда, когда берется высказывание, частное по количе-ству и утвердительное по качеству, стало быть, части предметов приписывается какое-то свойство. Например, 1) "Некоторые студенты изучают китайский язык", 2) "Большинство учебников не явля-ются задачниками", 3) "Преступники порой избегают наказания". Символическим обозначением ему служит вторая гласная из того же слова affirmo - I (i), так что записывается оно так: S i P; читается: некоторые S есть P.
Частноутвердительным суждениям соответствуют две круговые схемы (рис. 5). Чаще всего S и P яв-ляются перекрещивающимися понятиями, поэтому круги, отображающие объемы субъекта и преди-ката пересекаются. Так, круг лиц, называемых студентами, лишь частично накладывается на круг лиц, которые изучают китайский язык; и в первой и второй категории людей есть такие, кто принад-лежит только к одной из них и не принадлежит к другой. Учебники же и задачники находятся в от-ношении подчинения (хотя лишь некоторые учебники - задачники, но все задачники являются учеб-никами, поэтому круг для P полностью входит в круг для S).
Используя круговые схемы, надо помнить, что, строго говоря, содержание понятий задается только определением, а оно чаще всего лишь подразумевается и иногда может быть истолковано неодина-ково. Так, в суждении о преступниках под избегающими наказания можно иметь в виду вообще всех, кто сумел уйти от него: нерадивых работников, проштрафившихся учеников и т.п. Тогда между S и P отношение перекрещивания. Но если сюда относить только преступников, которым удалось избег-нуть кары, то тогда те же понятия окажутся в отношении подчинения.
Частноотрицательное суждение, как легко понять по аналогии с предыдущими, является частным по количеству и отрицательным по качеству. Для обозначения берется вторая гласная из слова nego - O (o). Тогда структура суждения - S o P; читается: некоторые S не есть P. 1) "Некоторые законы не имеют обратной силы", 2) "Большинство музыкантов не скрипачи", 3) "Иные из бабочек не являются однодневками", 4) "По меньшей мере, часть грибов не относят к высшим растениям".

Соотношение по объему может изображаться тремя вариантами, показанными на рисунке 6. Закон, с одной стороны, и все то, что можно назвать имеющим обратную силу, с другой стороны (о которых идет речь в первом суждении), образуют, очевидно, отношение пересечения. Легко также понять, что в суждении (2) понятия "музыкант" и "скрипач" образуют отношение подчинения. В суждении (3), однако, такой однозначности уже нет. Если под "однодневками" иметь в виду только однодневных бабочек, то тогда между понятиями, стоящими на месте субъекта и предиката, отношение подчине-ния. Но, строго говоря, под "однодневным" можно понимать и все, что длится не более одного дня, - от грозы до курса ценных бумаг; в таком случае те же понятия образуют отношение пересечения. В суждении (4) речь идет о несовместимых понятиях, поскольку все грибы - низшие растения (поэтому не только некоторые из них, но и все они не относятся к высшим). Тем не менее, данное суждение является истинным, так как в нем дается осторожное ручательство всего лишь за часть грибов. На-помним еще раз, что в традиционной логике квантор "некоторые" имеет (когда не сделано специаль-ных оговорок) именно такой смысл - "некоторые, но, может быть, и все".
Следует твердо помнить, что, определяя вид суждения по объединенной классификации, мы должны принимать во внимание только то, что в нем говорится, а не отображаемую в нем действительность. Между ними может не быть совпадения, поскольку встречаются высказывания также и ложные. На-пример, суждение "Утка - домашняя птица" является, очевидно, общеутвердительным и ему соответ-ствует круговая схема рис. 3 (все утки входят в круг домашних птиц). В действительности же их сле-дует изображать, как легко понять, пересекающимися, ведь некоторые из уток являются дикими и, следовательно, не входят в число домашних птиц. Тем не менее, в дальнейшем анализе данное суж-дение все равно должно остаться для нас общеутвердительным по своим логическим свойствам и его надо будет изображать кругами для подчиненных понятий, но только при этом придется помнить, что мысль, содержащаяся в этом суждении, является ложной.
§14. Распределенность терминов в суждении
Свойства суждений определяются еще одним важным показателем - распределенностью их терми-нов, который играет большую роль в правилах умозаключений. Оно отображает полноту выражен-ных в суждении знаний о тех предметах, явлениях, свойствах, которые входят в объемы понятий субъекта и предиката, то есть об упоминаемых в суждении вещах и их свойствах. Одни из них харак-теризуются прямо, другие же лишь косвенно. Например, суждение "Передвижники являлись русски-ми художниками", с одной стороны, дает сведения непосредственно о членах Товарищества пере-движных художественных выставок (все они русские художники), с другой стороны, окольным пу-тем характеризует и русских художников того времени (часть из них была передвижниками). Точно также и суждение, допустим, "Невменяемые не привлекаются к ответственности" дает информацию как о невменяемых, о так и привлекаемых к ответственности: все невменяемые не принадлежат к числу тех, кого привлекают к ответственности, и все привлекаемые к ответственности не являются невменяемыми.
Оба термина суждения характеризуются, следовательно, и в качестве свойства предмета, и в качестве самого предмета. Но надо помнить, что характеристика такого рода зависит от многих обстоятельств и может не в одинаковой мере затрагивать оба термина.
Градаций распределенности всего две: либо мы получаем сведения обо всем объеме, либо только о части; это соответствует и делению суждений по количеству на общие и частные.
Термин суждения является распределенным, если он взят в нем во всем объеме, то есть из суждения видно, что все предметы его объема обладают (не обладают) каким-то свойством.
Термин суждения является нераспределенным, если он берется не во всем объеме - лишь часть пред-метов его объема обладает (не обладает) каким-то свойством.
Для распределенности имеет значение только полнота знаний об объеме. Характеризуется ли термин в утвердительной форме (ему приписывается свойство) или в отрицательной (отрицается таковое у него), не играет роли. Когда про объем понятия известно, что все его предметы не обладают таким-то свойством, то он все равно является так же распределенным, как если бы было известно, что все они обладают им. Правда, для одного и того же суждения распределенность должна иметь один и тот же смысл: характеризуется один из терминов как распределенный в качестве обладающего тем или иным свойством, тогда и другой термин тоже должен оцениваться на распределенность по признаку именно обладания свойством.
Нам осталось только рассмотреть все виды суждений и отметить распределенность терминов в каж-дом из них. Для этого полезно будет обращаться к рисункам 3-6, на которых воспроизводятся объем-ные соотношения между понятиями, играющими роль терминов в суждении.
В общеутвердительном суждении субъект всегда распределен. На это указывает квантор. Обычно стоящее на месте предиката понятие шире по объему, чем то, которое стоит на месте субъекта (рис. 3), как, например, в суждении "Каждый поэт - литератор". Предикат же, как правило, не распределен. В данном случае это видно из того, что не все литераторы поэты. Но могут быть и исключения, когда субъект (S) и предикат (P) образуют равнозначные понятия и тогда оба термина - и S, и P - распреде-лены. Таковы суждения "Правительство - кабинет министров" и "Клептомания - болезненно навязчи-вое стремление к воровству". Поскольку понятия в них равнозначны, то значит, всякий кабинет ми-нистров является правительством и всякое болезненно навязчивое стремление к воровству есть клеп-томания. Правда, для логики, которая создает правила оперирования понятиями на основе только формы высказываний (не обращаясь к содержанию), такие исключения не имеют принципиального значения. Потому что их можно учесть лишь при знании материала, затронутого в данном суждении. Сама же форма общеутвердительного суждения твердо гарантирует только то, что часть предметов, о которых говорится в предикате, обязательно обладает свойством S. Мы будем считать, поэтому субъект общеутвердительного суждения всегда распределенным, а предикат нераспределенным.
В общеотрицательном суждении оба термина всегда распределены. Раз в нем прямо отрицается при-надлежность всех предметов одного класса к предметам другого, то тем самым отрицается и принад-лежность всех предметов второго к первому (рис. 4). Из-за того, что никакой кит не является рыбой, мы легко придем к выводу, что никакая рыба не является китом. Значит, в общеотрицательных суж-дениях оба термина характеризуются в полном объеме как не принадлежащие к какому-то классу предметов.
Частноутвердительное суждение всегда имеет нераспределенный субъект; на это указывает квантор "некоторые". Предикат тоже чаще всего не является распределенным, как в суждении "Некоторые музыканты - филателисты"; эти два понятия относятся к числу пересекающихся, поэтому часть лю-дей одной категории обладает свойством другой, а часть нет (рис. 5). Но здесь тоже бывают исклю-чения. Они относятся к тем случаям, когда между S и P отношения подчинения и S подчиняет себе P. Так, в суждении "Некоторые музыканты скрипачи" понятие скрипачей полностью входит в понятие музыкантов. Следовательно, термин, стоящий на месте предиката в таком суждении оказывается распределенным. Тем не менее, для полной достоверности выводов с такими суждениями надо пола-гаться на самый худший вариант: всегда и во всех случаях лишь часть предметов из объема P обла-дает свойством (или входит в объем) S. Таким образом, субъект и предикат частноутвердительного суждения всегда выступают нераспределенными.
У частноотрицательного суждения субъект тоже всегда не распределен по тем же причинам, что и в суждении частноутвердительном: часть предметов из объема S обязательно не обладает свойством, составляющим содержание P. С предикатом дело, однако, обстоит сложнее для понимания, так как этой категории суждений соответствует целых три разных варианта соотношений по объему между S и P (рис. 6). Поэтому понятие-предикат характеризуется очень различно с точки зрения необладания свойством, и спектр различия колеблется в крайних пределах: ни один не обладает свойством - все обладают им. Например, суждение "Некоторые альпинисты не являются горноспасателями" будет истинным как в том случае, если круг лиц, обозначаемых понятием "альпинист", совершенно не со-прикасается с кругом "горноспасателей", так и при условии, что часть лиц входит и туда, и сюда, и даже если весь объем "горноспасателей" входит в объем "альпинистов"; ложным это суждение было бы только в одном случае: все альпинисты - горноспасатели.
Однако в теории умозаключений, где, прежде всего, используется распределенность терминов, как и в предыдущих видах суждений, оказывается достаточно учесть один предельный случай - все пред-меты из объема P не обладают свойством, о котором говорится в S. Если же окажется, что только часть предметов, охваченных понятием-предикатом, не обладает соответствующим свойством, то все правила умозаключений относительно распределенности сохраняют силу и тут тоже. Мы поэтому не придем к ошибочным выводам, если всегда будем считать распределенным понятие, образующее предикат частноотрицательного суждения, а субъект нераспределенным.
Итак, субъект всегда распределен в общих суждениях и не распределен в частных. Предикат всегда распределен в отрицательных суждениях и не распределен в утвердительных.
§15. Логический квадрат
Благодаря количественным и качественным характеристикам даже суждения с одними и теми же субъектами и предикатами могут различаться между собой. Их называют суждениями с одинаковой материей, потому что в них речь идет об одних и тех же предметах и об тех же самых их свойствах, только в утвердительных суждениях эти свойства приписываются, а в отрицательных - отрицаются, в частных говорится о некоторых из предметов, в то время как в общих речь идет обо всех. Между су-ждениями этого рода устанавливаются определенные твердые соотношения по их истинностным значениям. Так, если мы возьмем общеотрицательное суждение "Ни один из киосков в этом квартале не торгует цветами" и если оно истинно, то тогда ни в коем случае не может быть истинным частно-утвердительное суждение о том же - "Некоторые из киосков в этом квартале торгуют цветами". Точ-но так же, если бы второе было истинным, то в таком случае обязательно ложным было бы первое. Отношения между другими парами суждений с тем же субъектом и таким же предикатом выглядят иначе, но главное, что они существуют и их можно выявить.
Всю систему взаимообусловленности истинностных значений суждений с одинаковой материей удобно изобразить графически с помощью так называемого логического квадрата.
Буквы на его углах символизируют различные виды суждений - A, E, I, O (см. рис. 7). А его стороны и диагонали выражают всю совокупность возможных отношений между ними. Линия AE образует отношение противоположности или, иначе, контрарности. Пары этих суждений никогда не могут быть одновременно истинными; в нашем примере истинность того и другого означала бы, что верно как утверждение о том, что все киоски в этом квартале торгуют цветами, так и о том, что ни один из них ими не торгует. Очевидно, такое невозможно. Другие же сочетания значений для пары S a P и S e P допустимы: могут быть оба ложны, и может одно быть истинным, а другое ложным. Отсюда по-лучается правило: когда одно из противоположных суждений (S a P или S e P) истинно, то можно уверенно делать вывод, что противоположное ему истинным не является, когда же одно ложно, то никаких выводов о противоположном делать нельзя, оно может быть и тем, и другим.
Две расположенные по диагонали пары AO и EI составляют отношение противоречия или контра-дикторности. Их истинностные соотношения легче всего запомнить: они не бывают ни одновремен-но истинными, ни одновременно ложными. Следовательно, их истинностные значения регулируются законом исключенного третьего: когда одно истинно,