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

Суждения делятся на простые и сложные.

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

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

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

Так как для русского языка характерен подвижный порядок слов, члены предложения и термины суждения могут занимать различные позиции. Например: «Белеет парус одинокий / В тумане моря голубом» (Лермонтов). Субъектом этого суждения является понятие «одинокий парус», предикатом — понятие «белеет в голубом тумане моря». Связка грамматически не выражена. Поэтому при логическом анализе подобных суждений прежде всего из художественных произведений, особенно поэтических, важно правильно определить субъект, предикат и связку. Различие между суждением и предложением состоит также в том, что грамматический строй предложения в разных языках различен. Логическая же структура суждения одинакова независимо от его выражения в том или ином языке.

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

В логической литературе наряду с термином «суждение» употребляется термин «высказывание». В дальнейшем изложении оба термина мы будем употреблять как равнозначные.
16. Простые суждения и их виды.

В зависимости от того, что утверждается или отрицается в суждениях, — принадлежность признака предмету, отношение между предметами или факт существования предмета,— они делятся на1) атрибутивные суждения, 2) суждения с отношениями и 3) суждения существования (экзистенциальные).

1. Атрибутивным (от латинского attributio — «свойство», «признак») называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается. Атрибутивные суждения называют также категорическими (от греческого kategorikos — «ясный», «безусловный», «не допускающий иных толкований»). 2. Суждением с отношением называется суждение об отношении между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения.

3. В суждениях существования (экзистенциальных суждениях; от латинского existentia —«существование») выражается сам факт существования или несуществования предмета суждения.

Классификация категорических суждений

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

1. Деление суждений по качеству. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным. Утвердительное и отрицательное суждения различаются характером связки, ее качеством. Утвердительная связка («есть») указывает на принадлежность признака предмету. Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное.

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

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

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

В зависимости от значения, в котором употребляется слово «некоторые», различают два вида частных суждений: неопределенные частные и определенные частные.

В неопределенном частном суждении слово «некоторые» употребляется в значении «Некоторые, а может быть, и все», «по крайней мере, некоторые». В определенном частном суждении слово «некоторые» употребляется в значении «только некоторые».

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

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

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

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

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

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

Общеотрицательное суждение — суждение, общее по количеству и отрицательное по качеству. Например: «Ни один невинов-

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

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

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

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

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

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

А (Все S суть Р): V х (S(x) -> Р(х))

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

Е (Ни одно S не есть Р): V х (S(x) -> 1 Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 x(S(x) л Р(х))

читается: существуют х, которым присуще свойство S и свой-,1 ство Р

О (Некоторые S не суть Р): 3 x(S(x) л "1 Р(х));

читается: существуют х, которым присуще свойство S и не присуще свойство Р.
17. Категорические суждения. Объединенная классификация суждений.

Классификация категорических суждений

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

1. Деление суждений по качеству. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным.Утвердительное и отрицательное суждения различаются характером связки, ее качеством. Утвердительная связка («есть») указывает на принадлежность признака предмету. Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное.

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

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

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

В зависимости от значения, в котором употребляется слово «некоторые», различают два вида частных суждений: неопределенные частные и определенные частные.

В неопределенном частном суждении слово «некоторые» употребляется в значении «Некоторые, а может быть, и все», «по крайней мере, некоторые». В определенном частном суждении слово «некоторые» употребляется в значении «только некоторые».

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

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

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

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

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

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

Общеотрицательное суждение — суждение, общее по количеству и отрицательное по качеству. Например: «Ни один невинов-

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

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

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

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

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

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

А (Все S суть Р): V х (S(x) -> Р(х))

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

Е (Ни одно S не есть Р): V х (S(x) -> 1 Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 x(S(x) л Р(х))

читается: существуют х, которым присуще свойство S и свой-,1 ство Р

О (Некоторые S не суть Р): 3 x(S(x) л "1 Р(х));

читается: существуют х, которым присуще свойство S и не присуще свойство Р.

18) Распределённость терминов в категорических суждениях. Условия истинности категорических суждений.

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

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

Суждение E (Ни одно S не есть P). В общеотрицательных суждениях и S, и P распределены. «Ни один студент нашей группы не является неуспевающим»

Суждение I (Некоторые S есть P). В частноутвердительном суждении ни S, ни P не распределены. «Некоторые студенты нашей группы - отличники». Исключение: частновыделяющие суждения, предикат которых полностью входит в объём субъекта «Некоторые города, и только города(S), являются столицами (P)»

Суждение О (Некоторые S не есть P). В частноотрицательном суждении S не распределён, P распределён. «Некоторые студенты нашей группы не отличники».

Таким образом, субъекты распределены в общих (A,E) и не распределены в частных (I,O). Предикаты распределены в отрицательных (E,O) и не распределены в утвердительных (A,I). В выделяющих суждениях предикат распределён.

19) Отношения между простыми суждениями. «Логический квадрат».

Суждения делятся на сравнимые и несравнимые.

Несравнимыми являются суждения, имеющие разные субъекты или предикаты. Например: «Некоторые студенты первокурсники» и «Некоторые студенты заочники».

Сравнимые – одинаковые субъекты и предикаты, различаются связкой или квантором.

Например: «Все американские индейцы живут в резервациях» и «Некоторые американские индейцы не живут в резервациях». Отношения устанавливаются только между сравнимыми суждениями. Отношения рассматриваются с помощью логического квадрата:

Среди сравнимых различают совместимые и несовместимые суждения.

К совместимым относят суждения, которые одновременно могут быть истинными. Различают три вида совместимости:

· Эквивалентность (полная совместимость)

· Субконтрарность (частичная совместимость)

· Подчинение.

· Эквивалентные суждения – суждения, имеющие одинаковые логические характеристики: одинаковые субъекты, предикаты, однотипную связку, количественную характеристику. С помощью квадрата отношения между эквивалентными суждениями не иллюстрируются (а собственно нафиг?:). Различаются кванторами, синонимами, выражающими субъект и предикат, могут быть сформулированы на разных языках.

· Частичная совместимость характерна для суждений I и O (см. квадрат выше). Они могут быть одновременно истинными, но не могут быть одновременно ложными. При ложности одного из них другое будет истинным.

· Подчинение имеет место между суждениями А и I, E и О. При истинности общего суждения частное всегда будет истинным. При ложности частного суждения общее суждение также будет ложным. При ложности общего частное может быть истинным или ложным, при истинности частного общее может быть также истинным или ложным. (см. на квадрат, всё станет понятно)

К несовместимым относят суждения, которые одновременно не могут быть истинными.

· Противоположность

· Противоречие

· Противоположными являются суждения A и E, которые одновременно не могут быть истинными, но могут быть одновременно ложными

· Противоречащими являются суждения A и O, E и I, которые одновременно не могут быть ни истинными, ни ложными.

Дата добавления: 2014-11-25