Вячеслав Кириллов - Логика - учебник для юридических вузов

Слова «это», «все», «ни один», «некоторые» и другие, характеризующие суждение со стороны его количества, называются кванторными словами (от латинского quantum — «сколько»). Введение в суждение кванторных слов называется квантификацией .

Каждый из рассмотренных видов суждений имеет определенную познавательную ценность. В форме единичных сужденийвыражаются знания об отдельных явлениях, событиях, лицах. Такие знания играют важную роль, например, в исторических науках при описании исторических личностей и событий, а также в судебно-следственной практике, опирающейся на суждения об отдельных фактах, лицах и т. п.

Частные суждениясодержат обобщенные знания. В неопределенном частном суждении эти знания характеризуются незавершенностью: известно, что некоторый признак принадлежит (или не принадлежит), по крайней мере, некоторой части элементов класса. Завершенные знания выражаются в форме определенных частных суждений, имеющих по сравнению с неопределенными частными суждениями бóльшую познавательную ценность.

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

Прежде чем сформулировать общее суждение, наука исследует и обобщает большое количество фактов об отдельных вещах, событиях, процессах. От рассмотрения отдельных предметов научное познание переходит к изучению некоторой части определенного множества, а затем к знанию всех предметов этого множества. Общие суждения формируются, таким образом, на основе единичных и частных суждений.

3. Объединенная классификация суждений. Объединяя количественную и качественную характеристики, суждения делят на 1) общеутвердительные, 2) общеотрицательные, 3) частноутвердительные, 4) частноотрицательные.

Единичные суждения (утвердительные и отрицательные) по этой классификации в особую группу не выделяются. По своей характеристике они приравниваются к соответствующим общим.

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

2) Общеотрицательное суждение— суждение, общее по количеству и отрицательное по качеству. Например: «Ни один невиновный ( S) не должен быть привлечен к уголовной ответственности ( Р)». Схема общеотрицательного суждения « Ни одно S не есть Р». Кванторное слово «ни одно» характеризует количество, отрицательная связка «не есть» качество суждения.

3) Частноутвердительное суждение— суждение, частное по количеству и утвердительное по качеству. Например: «Некоторые приговоры суда ( S) являются обвинительными ( Р)». Схема этих суждений « Некоторые S есть Р». Количество суждений характеризует кванторное слою «некоторые», качество — утвердительная связка, выраженная словом «есть».

4) Частноотрицательное суждение— суждение, частное по количеству и отрицательное по качеству. Например: «Некоторые приговоры суда ( S) не являются обвинительными ( Р)». Это суждение имеет схему « Некоторые S не есть Р». Кванторное слою «некоторые» указывает на количество суждения, отрицательная связка «не есть» — на его качество.

В логике принято сокращенное обозначение суждений по их объединенной классификации. Утвердительные суждения обозначаются двумя первыми гласными буквами латинского слова affirmo («утверждаю»), отрицательные — двумя гласными буквами латинского слова nego («отрицаю»), В соответствии с этим суждения обозначаются: А— общеутвердительное, Е— общеотрицательное, I— частноутвердительное, О— частноотрицательное.

На языке логики предикатов суждения А, Е, I, Озаписывают следующим образом:

А (Все S есть Р): ∀ х (S(x) → Р(х))—

для всех х, если хприсуще свойство S, то хприсуще свойство Р.

Е (Ни одно S не есть Р): ∀ х (S(x) → ˥Р(х))—