Простые+суждения


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

По качеству

 * **Утвердительные** — S есть P. Пример: «Люди пристрастны к самим себе».
 * **Отрицательные** — S не есть P. Пример: «Люди не поддаются лести».

По объёму

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

По отношению между подлежащим и сказуемым
Субъект и предикат суждения могут быть //распределены// (индекс «+») или //не распределены// (индекс «-»).
 * **Распределено** — когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.
 * **Не распределено** — когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Объем подлежащего (S) меньше объема сказуемого (Р) Объемы подлежащего и сказуемого совпадают
 * Суждения А //(обще-утвердительные суждения)//** Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)
 * Прим.: «Все рыбы суть позвоночные»
 * Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»

В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым
 * Суждения Е //(обще-отрицательные суждения)//** Распределяет как подлежащее (S), так и сказуемое (P)
 * Прим.: «Ни одно насекомое не есть позвоночное»

Часть класса подлежащего входит в класс сказуемого.
 * Суждения I //(частно-утвердительные суждения)//** Ни подлежащие (S), ни сказуемые (P) не распределены
 * Прим.: «Некоторые книги полезны»
 * Прим.: «Некоторые животные суть Позвоночные»


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


 * таблица распределения подлежащего и сказуемого**
 * ~  ||~   ||~ Подлежащее (S) ||~ Сказуемое (P) ||
 * ~  ||~ А || //распределено// || нераспределено ||
 * ~  ||~ Е || //распределено// || //распределено// ||
 * ~  ||~ I || нераспределено || нераспределено ||
 * ~  ||~ О || нераспределено || //распределено// ||

Общая классификация:
 * **общеутвердительные** (**A**) — одновременно общие и утвердительные //(«Все S+ суть P-»)//
 * **частноутвердительное** (**I**) — частное и утвердительное //(«Некоторые S- суть P-»)// Прим: «Некоторые люди имеют черный цвет кожи»
 * **общеотрицательное** (**E**) — общее и отрицательные //(«Ни один S+ не суть P+»)// Прим: «Ни один человек не всеведущ»
 * **частноотрицательное** (**O**) — частное и отрицательное //(«Некоторые S- не суть P+»)// Прим: «Некоторые люди не имеют черного цвета кожи»

**Несравнимыми** среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть женщины». **Сравнимыми** являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи, Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях». Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями. Среди сравнимых различают **совместимые** и **несовместимые суждения.** К //совместимым// относятся суждения, которые одновременно могут быть истинными. Различают //три вида совместимости//: **1)** эквивалентность (полная совместимость), **2)** частичная совместимость (субконтрарность) и **3)** подчинение. **1.** Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную—утвердительную или отрицательную— связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.  **2.** Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.  **3.** Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.  При истинности общего суждения частное всегда будет истинным  При ложности частного суждения общее суждение также будет ложным  Отношение несовместимости. //Несовместимыми// являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают //два вида несовместимости//: противоположность и противоречие. **1.** Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными. **2**. Противоречащими (контрадикторными) являются суждения А и О; Е и I, которые одновременно не могут быть ни истинными, ни ложными. Несовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.
 * Логические отношения между простыми суждениями. "Логический квадрат". **

//**Примеры решения задач:**//



[|http://studentu-vuza.ru] [|http://ru.wikipedia.org]
 * //Источники информации://**

Информационные учебно-образовательные материалы [] Сайт о логике [] Образовательная сеть "Знание" []
 * //Полезные ресурсы://**