Логика. Н. В. Михалкин

отрицательное → позволяет из конкретного высказывания образовывать противоречащее ему высказывание. В естественном языке такая операция выражается словами «неверно, что» или просто «не». Логическая схема такого высказывания: «А А». Например, отрицанием высказывания «Судебная власть есть ветвь политической власти» является высказывание: «Неверно, что судебная власть есть ветвь политической власти». Суждение, полученное путем отрицания первоначального, является противоречащим ему.

      Если исходное высказывание истинно, то противоречащее ему высказывание – ложно; если исходное ложно, то противоречащее – истинно.

      Наиболее часто употребляемые на практике суждения: общеутвердительные («А»), частноутвердительные («I»), общеотрицательные («Е») и частноотрицательные («О»). Для их условного обозначения используются гласные буквы латинских глаголов affirmo – «утверждаю» (AffIrmo) и nego – «отрицаю» (nEgO).

      Общеутвердительные суждения («Все S есть Р») – общие по объему субъекта и утвердительные по качеству связки. Например: «Все граждане России равны перед законом». В большей части этих суждений объем предиката шире объема субъекта и является подчиняющим понятием (см. рис. 7а).

      Рис. 7. Общеутвердительные суждения («Все S есть Р»)

      В некоторых общеутвердительных суждениях субъект и предикат будут равнозначными понятиями. Объемы терминов совпадают (см. рис. 7б). Например: «Все люди – жители планеты Земля».

      В общеутвердительных суждениях субъект как правило подчинен предикату или (встречается реже) оба термина – равнозначные понятия. В связи с этим можно сказать о распределенности терминов в суждениях.

      Распределенным считается тот термин, который мыслится в данном высказывании в полном объеме («все студенты», «все судьи» и т. д.), нераспределенным, тот, в котором мыслится только часть предметов рассматриваемого класса («некоторые студенты», «некоторые юристы»).

      В общеутвердительном суждении субъект всегда распределен, а предикат распределен только в тех их них, в которых субъект и предикат – равнозначные понятия.

      Частноутвердительные суждения («Некоторые S суть Р») – частные по объему субъекта и утвердительные по качеству связки. Например: «Некоторые судьи – выпускники РАП». В этих суждениях субъект и предикат представляют перекрещивающиеся понятия. Их объемы частично совпадают, оба термина нераспределенные (см. рис. 8а).

      Рис. 8. Частноутвердительные суждения («Некоторые S суть Р»)

      В некоторых частноутвердительных суждениях объем субъекта шире объема предиката; предикат подчинен субъекту. Например, «Некоторые российские литераторы – члены союза писателей России». В них субъект не распределен, а предикат – распределен (см. рис. 8б).

      В частноутвердительных суждениях субъект и предикат – перекрещивающиеся понятия («Некоторые студенты уже