[Править]По отношению между подлежащим и сказуемым

Субъект и предикат суждения могут быть распределены (индекс _«+») или не распределены (индекс _«-»).

• Распределено — когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.

• Не распределено — когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)

Объем подлежащего (S) меньше объема сказуемого (Р)

• Прим.: «Все рыбы суть позвоночные»

Объемы подлежащего и сказуемого совпадают

• Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»

Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)

В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым

• Прим.: «Ни одно насекомое не есть позвоночное»

Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены

Часть класса подлежащего входит в класс сказуемого.

• Прим.: «Некоторые книги полезны»

• Прим.: «Некоторые животные суть Позвоночные»

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

• Прим.: «Некоторые животные не суть позвоночные (S)»

• Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»

таблица распределения подлежащего и сказуемого

		Подлежащее (S)	Сказуемое (P)
о-у	А	распределено	нераспределено
о-о	Е	распределено	распределено
ч-у	I	нераспределено	нераспределено
ч-о	О	нераспределено	распределено

Общая классификация:

• общеутвердительные (A) — одновременно общие и утвердительные («Все S₊ суть P_-»)

• частноутвердительное (I) — частное и утвердительное («Некоторые S_- суть P_-») Прим: «Некоторые люди имеют черный цвет кожи»

• общеотрицательное (E) — общее и отрицательные («Ни один S₊ не суть P₊») Прим: «Ни один человек не всеведущ»

• частноотрицательное (O) — частное и отрицательное («Некоторые S_- не суть P₊») Прим: «Некоторые люди не имеют черного цвета кожи»

]Другие

• Разделительные -

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

• Условно-разделительные суждения -

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

• Суждения тождества — понятия субъекта и предиката имеют один и тот же объём. Пример: «Всякий равносторонний треугольник есть равноугольный треугольник».

• Суждения подчинения — понятие с менее широким объёмом подчиняется понятию с более широким объёмом. Пример: «Собака есть домашнее животное».

• Суждения отношения — именно пространства, времени, отношения. Пример: «Дом находится на улице».

• Экзистенциальные суждения или суждения существования — это такие суждения, которые приписывают только лишь существование.

• Аналитические суждения — суждения, в которых мы относительно субъекта высказываем нечто такое, что в нём уже содержится.

• Синтетические суждения — суждения, расширяющие познание. В них не раскрывается содержание подлежащего, а присоединяется нечто новое.

16. По качеству и количеству различают четыре вида простых атрибутивных высказываний:

A — от лат. affirmo — Общие («Все люди смертны»)

I — от лат. affirmo — Частноутвердительные («Некоторые люди — студенты»)

E — от лат. nego — Общеотрицательные («Ни один из китов не рыба»)

O — от лат. nego — Частноотрицательные («Некоторые люди не являются студентами»)

Примечание. Для условного буквенного обозначения высказываний используются гласные из латинских слов affirmo (я утверждаю, говорю да) и nego (я отрицаю, говорю нет).

Единичные высказывания (такие, в которых субъект является единичным термином) приравниваются к общим.

17. Распределенность терминов в суждениях Напомню, что термины суждения - это субъект и предикат. Если в суждении квантор все - то субъект распределен (обозначаем знаком +); если кванторнекоторые - то субъект не распределен (обозначаем знаком -). Не забывайте, что суждения с квантором этот рассматриваются как общие. Как правило, в утвердительных суждениях предикат не распределен; в отрицательных – распределен. Получается так:       A    I    E    O S    +    -    +    - P     -    -    +    + Правила силлогизма Правила терминов: 1. Средний термин должен быть распределен хотя бы в одной из посылок.  2. Термин, не распределенный в посылке, не может быть распределен и в заключении.

18. Диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации.  Вершины квадрата обозначают вид суждения по объединенной классификации А , Е , 0 , I. Стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть О отношение А и Е - противоположность (контрарность); нижняя сторона - отношение между I и O - частичная совместимость(субконтрарность);две вертикальные стороны - отношения между Аи I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е иI- противоречие(контрадикторность).

Отношения противоположности – суждения находящиеся в отношении противоположности не могут быть одновременно истинными, но могут быть одновременно ложными.

Все мужчины галантны. Ни один мужчина не галантен. Если одно из противоположных истинно, то другое ложно, но не наоборот. А истинно, Е ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∀- (x)(S(x) ⊃ P-(x)) Если верно, что все S суть P, то неверно, что ни одно S не суть P.

Отношения противоречия – суждения находящиеся в состоянии противоречия не могут быть одновременно не ложными, не истинными. Если одно из них истинно, то другое непременно ложно, и наоборот. А истинно, O – ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃- (x)(S(x) ⋀ P-(x)) Если верно, что все S суть P, то неверно, что некоторые S не суть P.

Отношения подчинения – суть отношений подчинения заключается в том, что истинность подчинённых суждений, гарантируется истинностью общих суждений. Ложность подчинённых, обуславливает ложность общих. A истинно, E – ложно. ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃ (x)(S(x) ⋀ P(x)) Если верно, что все S суть P, то верно, что и некоторые S суть P. Отношения подпротивности – суждения находящиеся в отношении подпротивности не могут быть одновременно ложными, но могут быть одновременно истинными. Если одно из суждений ложно, то другое непременно истинно, но не наоборот.

 

• 19. Разделительные -- это суждение вида "А есть B или C или D". Например, "Индейцы бывают или хорошие или живые". Суть разделительного силлогизма в том, что мы можем выбрать только одну из альтернатив.

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

• Условно-разделительные суждения -- это суждение вида "А есть B или C или D". Например, "Индейцы бывают или хорошие или живые". Суть разделительного силлогизма в том, что мы можем выбрать только одну из альтернатив.

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

Условные -- это силлогизм, одной из посылок которого является условное суждение. Условные силлогизмы делятся на два типа. — суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений

• Основание — это (предыдущее) суждение, которое содержит условие.

• Следствие — это (последующее) суждение, которое содержит следствие.

20. Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различаютконъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

Дизъюнктивные суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:

• нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как  ;

• строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как  .

Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если …, то»). Записывается как   или ab. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.

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

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как   (у разных математиков по-разному, хотя математический знак тождества всё-таки  ).

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

21. Модальность - это явно или неявновыраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках. Наиболее важными и распространенными выступают такие виды модальности, как алетическая, деонтическая, эпистемическая и аксиологическая. Алетическая модальность выражает характер связи между мыслимыми предметами, а следовательно, между субъектом и предикатом суждения. Модальными словами в русском языке, в этом случае, являются «возможно», «случайно» и их синонимы. С точки зрения алетической модальности различают следующие разновидности суждений: - ассерторические суждения или суждения о реальном факте. Например: «В России действительно осуществляется реформирование Вооруженных Сил». В таких суждениях модальность не выражена, констатируется лишь сам факт чего-либо; - проблематические суждения или суждения о возможности чего-либо. Например: «В России может быть осуществлено реформирование Вооруженных Сил»; - аподиктические суждения или суждения о необходимости чего-либо. Например: «В России необходимо осуществить реформирование Вооруженных Сил». Деонтическая модальность распространяется только на деятельность людей, нравственные и правовые нормы их поведения в обществе. Она выражается с помощью таких слов, как «разрешается», «запрещается», «обязательно» и т. п. В зависимости от характера норм деонтическая модальность имеет следующие разновидности: - суждения о наличии (или отсутствии) какого-либо права. Они формируются с помощью слов «разрешено», «запрещено», «вправе» и других. Например: «Каждый имеет право на свободу и личную неприкосновенность» (правопредоставляющая норма) и «Запрещаются любые формы ограничения прав граждан при вступлении в брак и в семейные отношения по признакам социальной, расовой, национальной, языковой или религиозной принадлежности» (правозапрещающая норма); - суждения о наличии (или отсутствии) какой либо обязанности. Они формулируются посредством слов «обязан», «должен», «необходимо» и др. Например: «Признание, соблюдение и защита прав и свобод человека и гражданина — обязанность государства». Эпистемическая модальность характеризует степень достоверности знания. Она выражается с помощью слов «доказано», «недоказуемо», «опровергнуто» и им подобных. Выделяют две разновидности эпистемической модальности: - суждения, основанные на вере. Например: «Верю в наступление лучшей жизни»; - суждения, основанные на знании. Например: «По показаниям свидетелей Николаев не участвовал в похищении материальных ценностей». Аксиологическая модальность выражает отношение человека к материальным и духовным ценностям. Она включает такие слова, как «хорошо», «плохо» и т. п. Например: «Безразличное отношение к государственному имуществу приводит к его утрате» или «Хорошо, что я не опоздал на занятия в институт».