Логика. Учебник. 6-е издания
Шрифт:
Слова «это», «все», «ни один», «некоторые» и другие, характеризующие суждение со стороны его количества, называются кванторными словами (от латинского quantum — «сколько»). Введение в суждение кванторных слов называется квантификацией.
Каждый из рассмотренных видов суждений имеет определенную познавательную ценность. В форме единичных суждений выражаются знания об отдельных явлениях, событиях, лицах. Такие знания играют важную роль, например, в исторических науках при описании исторических личностей и событий,
Частные суждения содержат обобщенные знания. В неопределенном частном суждении эти знания характеризуются незавершенностью: известно, что некоторый признак принадлежит (или не принадлежит), по крайней мере, некоторой части элементов класса. Завершенные знания выражаются в форме определенных частных суждений, имеющих по сравнению с неопределенными частными суждениями б'oльшую познавательную ценность.
Знания, содержащиеся в общих суждениях, характеризуются завершенностью. В общих суждениях выражаются законы науки, законы, устанавливаемые государством, правовые нормы и т. д. В форме общих суждений сформулированы, например, основные права во Всеобщей декларации прав человека.
Прежде чем сформулировать общее суждение, наука исследует и обобщает большое количество фактов об отдельных вещах, событиях, процессах. От рассмотрения отдельных предметов научное познание переходит к изучению некоторой части определенного множества, а затем к знанию всех предметов этого множества. Общие суждения формируются, таким образом, на основе единичных и частных суждений.
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) -> Р(х)) —
ни одному х, которому присуще свойство S, не присуще свойство Р.
I (Некоторые S есть Р): х (S(x) Р(х)) —
существуют х, которым присуще свойство S и свойство Р.
О (Некоторые S не есть Р): х (S(x) Р(х)) —
существуют х, которым присуще свойство S и не присуще свойство Р.
Вопросы для самопроверки
1. На какие виды делятся суждения по качеству и количеству?
2. Чем отличаются неопределенно частные суждения от определенно частных?
3. На какие виды делятся суждения по объединенной классификации? Приведите их схемы и символы.
§ 4. ВЫДЕЛЯЮЩИЕ И ИСКЛЮЧАЮЩИЕ СУЖДЕНИЯ
Особое место в классификации суждений занимают 1) выделяющие и 2) исключающие суждения.
1) Количественная характеристика суждений устанавливает объем субъекта, объем предиката остается неопределенным. Например, из суждения «Зимин — свидетель происшествия» нельзя установить, является ли Зимин единственным или одним из свидетелей происшествия.
Выделяющие суждения устраняют эту неопределенность; они выражают тот факт, что признак, выраженный предикатом, принадлежит (или не принадлежит) только данному, и никакому другому, предмету.
Выделяющие суждения могут быть единичными, частными и общими. Например: «Только Зимин является свидетелем происшествия». (S, и только S, есть Р) — единичное выделяющее суждение. Оно выражает знание о том, что Зимин является единственным свидетелем происшествия. Субъект и предикат этого суждения имеют одинаковый объем.