S (S1, S2) есть Р (Р1, Р2, Р3).

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

1. 2.

Р

S

P

S

В свою очередь, атрибутивные суждения имеют достаточно разветвленную внутреннюю классификацию. Категорические (атрибутивные) суждения делятся: 1) по качеству и 2) по количеству. А так как любое суждение имеет количественную и качественную характеристику, их принято делить по 3) объединенной классификации.

1) Деление суждений по качеству. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным. Например, «Гай Юлий Цезарь – знаковая фигура в истории Римской империи.»—утвердительное суждение. Его логическая схема «S есть Р». «Ф.М. Достоевский не является автором романа «Лолита» — отрицательное суждение. Его логическая схема «S не есть Р». Утвердительное и отрицательное суждения различаются характером связки («есть» или «не есть», «является», «не является», «представляет собой», «не представляет собой», «признается», «не признается», а также с помощью тире или подразумеваться.)

2) Деление суждений по количеству. Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим суждения по количеству делятся на единичные, частные и общие.

Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете. Например: «Это здание — памятник архитектуры», «Васильев в этой фирме не работает». Схемы единичных суждений: «Это S есть Р» и «Это S не есть Р».

Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса. Частные суждения выражаются в предложениях, имеющих в своем составе слова: «некоторые», «многие», «немногие», «большинство», «меньшинство». Например: «Большинство студентов нашего курса не имеют академической задолженности». Схемы частных суждений: «Некоторые S есть Р» и «Некоторые S не есть Р

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

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

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

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

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

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

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

Данные суждения обозначаются: А — общеутвердительное, Е — общеотрицательное, I —частноутвердительное, О — частноотрицательное.

2. Суждением с отношением называется суждение об отношении между предметами. Это могут быть отношения равенства, пространственные, временные, причинно-следственные и другие отношения. Например: «А равно В», «С больше D», «Семен — отец Сергея», «Казань восточнее Москвы», «Мораль возникла раньше права», «Пьянство — причина многих преступлений». Принята следующая запись суждения с отношениями: xRy, где х и у — члены отношения, они обозначают понятия о предметах, R —отношение между ними (R—первая буква латинского слова relativus— «относительный»). Запись читается: х находится в отношении R к у. Запись отрицательного суждения ˥ (xRy) (неверно, что х находится в отношении R к у).

Суждение с отношениями имеет структуру, отличающуюся от структуры атрибутивных суждений. Тем не менее, они могут быть преобразованы в атрибутивные. Например, суждение «Семен — отец Сергея» может быть рассмотрено как атрибутивное, где «Семен» — субъект, «отец Сергея» — предикат суждения.

3. В суждениях существования (экзистенциальных суждениях; от латинского existentia — «существование») выражается сам факт существования или несуществования предмета суждения. Например: «В физике существует теория Большого взрыва»; «На Земле уже нет многих видов животных»; «Суждения без предложения не существует». Предикатами этих суждений являются понятия о существовании или несуществовании предмета; связка в языке не выражается. Путем преобразования грамматической формы суждения суждение существования может быть преобразовано в атрибутивное суждение. Например: «Теория Большого взрыва в физике (S) есть (связка) то, что существует (Р)».

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

Сравнимые суждения совместимы, если они могут быть одновременно истинны, и несовместимы, если не могут быть вместе истинными. В свою очередь, отношения совместимости делятся на отношения подчинения и субконтрарности, а отношения несовместимости – на отношения противоположности (контрарности) и противоречия (контрадикторности). Наглядно и системно эти отношения представлены в логическом квадрате.

1. Подчинение. Частные суждения подчиняются общим. Из этого следует: а) Истинность подчиняющего (общего) суждения обусловливает истинность подчинённого (частного). Примеры: Если верно, что "Ни одно сражение Суворова не было проиграно", то верно суждение "Некоторые сражения Суворова не были проиграны".

б)Ложность подчинённого суждения влечёт ложность подчиняющего. Примеры: Если ложью является утверждение "Некоторые люди могут обходиться без воды и пищи", то, тем более ложным будет высказывание "Все люди могут обходиться без воды и пищи".

в) Если подчиняющее суждение ложно, то об истинности подчинённого судить с необходимостью нельзя – оно может быть как истинным, так и ложным. Примеры: "Никто не любит слушать классическую музыку" – суждение ложное. На основании этого нельзя сказать, истинным или ложным будет утверждение: "Некоторые люди не любят слушать классическую музыку". Если неверно, что "Все ученики готовятся ко всем урокам", то нельзя сказать, верно ли, что "Некоторые ученики готовятся ко всем урокам".

2.Субконтрарность. Отношение двух частных суждений (I) и (О) состоит в том, что они могут быть оба истинны, но не могут быть оба ложны. Пример: "Некоторые деревья зимой зелёные" и "Некоторые деревья зимой не зелёные" – оба суждения истинны.

Субконтрарность (частичная совместимость) проявляется в следующих отношениях:

а) Если одно из субконтрарных суждений ложно, то другое необходимо истинно. Пример: Неверно, что "Некоторые учащиеся отказываются изучать логику". Значит, истинно, что "Некоторые учащиеся не отказываются изучать логику".

б) Из истинности одного из субконтрарных суждений следует неопределённость истинности другого. Примеры: Истина: "Некоторые учебники нуждаются в серьёзной переработке", "Некоторые учебники не нуждаются в серьёзной переработке" –? Из истинности суждения: "Некоторые кошки не боятся собак" нельзя сделать вывод об истинности суждения "Некоторые кошки боятся собак".

3. Противоположность (контрарность). Отношения общих суждений (А) и (Е), которые не могут быть одновременно истинными, но бывают оба ложны. Примеры: "Все люди добрые", "Ни один человек не добрый" – два ложных преувеличения.

а) Из истинности одного суждения следует ложность другого. Примеры: "Все выпускники умеют быстро читать" – истина, значит, "Ни один выпускник не умеет быстро читать" – ложь. Если "Ни одно высшее животное не уничтожает себе подобных" – истина, значит, ложно "Все высшие животные уничтожают себе подобных".

б) Из ложности одного суждения следует неопределённость относительно истинности другого. Примеры: "Все инженеры пытаются создать вечный двигатель" – ложь; "Ни один инженер не пытается создать вечный двигатель" -?

4. Противоречие (контрадикторность). Отношение пар суждений (А) – (О) и (Е) – (I), выражающее закон исключённого третьего, т.е. истинность одного из них влечёт необходимо ложность другого, и наоборот, ложность одного – истинность другого. Примеры: Если истинно: "Некоторые птицы не летают", значит, ложно "Все птицы летают" и наоборот.

Дата добавления: 2015-09-06