14.Простые суждения, их вид и состав.

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

Например: «кража есть преступление»

Элементы суждения: субъект – предмет мысли («S», называют логическим подлежащим)

Предикат – мыслимое о субъекте («P», называют логическим сказуемым)

Связка – связь между субъектом и предикатом

Квантор – характеризует количественную сторону субъекта суждения ()

Виды:

1. В зависимости от предиката:

Атрибутивное суждение – утверждается или отрицается признак предмета

Экзистенциальное суждение – утверждается или отрицается сам факт существования предмета мысли

Реляционные суждения – в предикате выражаются отношения между предметами

2. По составу субъекта и предиката :

Со сложным субъектом – в субъекте указывается ряд понятий ( , и есть P)

Со сложным предикатом – в предикате указываются ряд признаков, присущих предмету

(S есть , и )

Сочетание сложного S и P ( , и есть , и )

3. По качеству связки:

Утвердительные – предметам приписываются свойства

Отрицательные – отсутствие свойств у предмета

4. В зависимости от объёма:

Единичные – суждение об одном предмете («это S есть(не есть) P»)

Частные – суждение о части предметов (некоторые S есть(не есть) P)

Общие - суждения обо всех предметах (все S есть P)

15.Категорические суждения

по объединённой классификации суждений (по количеству и качеству) простые суждения делятся на общеутвердительные(А), общеотрицательные(Е), частноутвердительные(I) и частноотрицательные(O)

Распределённость терминов – это количественная характеристика субъекта и предмета в суждении.

Термин считается распределённым(+), если его объём полностью включается в объём другого или полностью исключается из него.

Нераспределённым (–), если частично включен или частично исключён из другого термина.

Общеутвердительное(А) «все S есть P» , если выделяющее, то объёмы S и P совпадают

Общеотрицательное(E ) «ни один S не есть P»

Частноутвердительное(I) «Некоторые S есть P», если выделяющее, то P(+)

Частноотрицателное(О) «некоторые S не есть P», если выделяющее, то P(+)

16.Выделяющие и исключающие суждения.

(в таких суждениях уточняется объём предиката)

Термин считается распределённым(+), если его объём полностью включается в объём другого или полностью исключается из него.

Нераспределённым (–), если частично включен или частично исключён из другого термина.

Общеутвердительное(А) «все S есть P» ,

если выделяющее, то объёмы S и P совпадают «Все S и только S есть P»

Общеотрицательное(E ) «ни один S не есть P»

Частновыделяющие – суждение, где уточняется объём предиката

Частноутвердительное(I) «Некоторые S есть P»

если выделяющее, то P(+) «некоторые S, и только S, есть P»

Частноотрицателное(О) «некоторые S не есть P»

если выделяющее, то P(+) «некоторые S, и только, S не есть P»

Исключающие – суждения, в которых отражается принадлежность признака всем предметам, за исключением некоторой части. «Все S, за исключением , суть P»

17.Распределенность терминов в категорических суждениях.

Информация о тождестве или различии терминов категорического суждения – субъекта и предиката – выражается в понятии их распределенности. Термин категорического суждения называется распределенным, если он рассматривается в данном суждении во всем объеме, т.е. он полностью включается в объем другого термина или полностью исключается из него. Другими словами, распределенность или нераспределенность термина категорического суждения – его субъекта или предиката – указывает на то, имеем ли мы в данном суждении информацию обо всех или не обо всех предметах класса, представителем которого является данный термин (как общий знак предметов этого класса).

Распределенность терминов обозначается знаками «+» и «-»: S⁺, P⁺ – распределенные термины; S^-, P^- – нераспределенные термины.

Существует правило распределенности терминов в категорических суждениях: субъекты распределены в общих и не распределены в частных суждениях; предикаты распределены в отрицательных и не распределены в утвердительных суждениях. Содержание этого правила можно представить в виде таблицы (табл. 1).

 

Таблица 1

Распределенность терминов категорического суждения

	A	E	I	O
Субъект (S)	+	+	-	-
Предикат (P)	- (+)	+	- (+)	+

Пример. «Все киты (S⁺) – млекопитающие (Р^-)»; «Ни одна рыба (S⁺) не есть кит (Р^-)»; «Некоторые студенты (S^-) – отличники (Р^-)»; «Некоторые дети (S^-) – не школьники (Р⁺)»; «Некоторые цветы (S^-) – фиалки (Р⁺)».

18. Логический квадрат

1. Отношение подчинения, в котором находятся суждения A и I, E и O. Суждения А и Е – подчиняющие, а суждения I и O подчинённые. Если общее суждение истинно, то истинно одинаковое и ним по материи и качеству чистое, но не наоборот. Например: суждение общее «Все люди смертны» истинно, то истинно будет и частное суждение «Некоторые люди смертны», обратное же не имеет место;

2. Отношение противоречия между суждениями E и I, O и A. Здесь суждения E и I, а также O и A относятся друг к другу как утверждение и отрицание. Поэтому в каждом из этих двух суждений одно является обязательно истинным, а другое 0 обязательно ложным. Например, если суждение «Все вещи имеют имя» (А) истинно, то суждение «Некоторые вещи не имеют имени» (О) будет ложным. И обратно: если суждение (О) истинно, то суждение (А) той же материи будет ложно;

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

Так называемый, «логический квадрат» показывает все рассмотренные отношения между суждениями.  

 

Определённые логические отношения существуют также между суждениями, у которых одинаковые либо только предикаты, либо только субъекты. Если суждения имеют одинаковые предикаты, то между ними существует отношение подчинения, если они имеют одно и то же качество. Например: «Все планеты светят отраженным светом» и «Юпитер светит отраженным светом». Если также суждения имеют разные качества, то они являются противоречивыми. Суждения с одинаковым субъектом противоположны, если противоположными являются их предикаты. Например: «И.Е. Репин – великий художник-реалист» и «И.Е. Репин – заслуженный художник реалист». Оба суждения истинны быть не могут, но оба могут быть ложными.

Если у двух суждений с одинаковым субъектом предикаты – совместимы понятия, то они будут согласными и могут оказаться одновременно как ложными, так и истинными. Например: «Д.И. Менделеев был выдающимся химиком» и «Д.И. Менделеев был выдающимся лектором» являются одновременно истинными. Другой пример: «Математика является главной наукой среди всех наук» и «Математика является второстепенной наукой»; оба суждения ложны.

Между суждениями совершенно разной материи логика никаких отношений указать не можем.

19.Модальность суждений и ее виды

Модальность – характеристика или оценка суждения, данная с некоторой точки зрения

Алетическая модальность - это выраженная в суждении в терминах необходимости-случайности либо возможности-невозможности информация о логической или фактической обусловленности суждения.  Алетическая модальность выражает характер связи между мыслимыми предметами, а, следовательно, между субъектом и предикатом суждения. Модальными словами в русском языке, в этом случае, являются «возможно», «случайно» и их синонимы. Логические  H— необходимо M — возможно S — случайно С точки зрения алетической модальности различают следующие разновидности суждений: суждения о реальном факте. «В России действительно осуществляется реформирование Вооруженных Сил»; суждения о возможности чего-либо. Например: «В России может быть осуществлено реформирование Вооруженных Сил»; - суждения о необходимости чего-либо. Например: «В России необходимо осуществить реформирование Вооруженных Сил».

Эпистемическая модальность - это выраженная в суждении информация о степени обоснования истинности (или ложности) суждения.

Основания принятия: Вера, Знание. Степень обоснованности: достоверные и проблематичные.

Достоверные – это достаточно обоснованные истинные или ложные суждения.

Проблематичные – суждения, которые нельзя считать достоверными в силу их недостаточной обоснованности.

Д- доказано

Оп-опровергнуто

В-возможно

С- не доказано и не опровергнуто

Деонтическя модальность –это выраженная в суждении просьба, совет, приказ или предписание, побуждающее кого-либо к конкретным действиям. Деонтическая модальность отражает связь утверждаемого в суждении с нормами морали, права, конкретными обязательствами («должен», «обязан», «может», «допустимо», «запрещено», «разрешено») Деонтические опрераторы:  О - обязывание  F - запрещение  Р - разрешение  Из указанных деонтических операторов (О, F, Р) первые два — обязывание и запрещение — относятся к сильным деонтическим характеристикам, а разрешение является слабой характеристикой.