Суждение
Сужде́ние — мысль, в которой утверждается наличие или отсутствие каких-либо положений дел[англ.][1].
Виды суждений и отношения между ними изучаются в философской логике. В математической логике суждениям соответствуют высказывания.
Простые и сложные
[править | править код]Простые суждения — суждения, в состав которых входит один субъект и один предикат[2].
Сложные суждения — суждения, состоящие из двух или более простых суждений, соединённых с помощью логических связок[3].
Состав простого суждения
[править | править код]Простое (атрибутивное) суждение — это суждение о наличии или отсутствии у предметов каких-либо свойств (атрибутов). В простом (атрибутивном) суждении могут быть выделены следующие термины суждения — субъект, предикат, связка, квантор[4]:
- Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
- Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
- Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
- Квантор — указывает, относится ли суждение ко всему объёму понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.
Пример: «Все кости являются органами живого организма».
Субъект — «кость»;
Предикат — «органы живого организма»;
Логическая связка — «являютcя»;
Квантор — «все».
Виды сложных суждений
[править | править код]Каждое сложное суждение состоит из простых суждений, соединённых каким-либо союзом. В зависимости от этого союза выделяется, как правило, шесть видов сложных суждений: конъюнктивные, строгие и нестрогие дизъюнктивные, импликационные, эквивалентные и отрицательные[5].
Дизъюнктивные (также разделительные) суждения образуются с помощью разделительных (дизъюнктивных) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:
- нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как ;
- строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как .
Импликационные суждения образуются с помощью импликации, (эквивалентно союзу «если…, то»). Записывается как или . В естественном языке союз «если…, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня ни одной тучи») и, в таком случае, означает конъюнкцию.
Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как .
Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «тогда и только тогда», «необходимо и достаточно» (например: «Чтобы число делилось на 3, необходимо и достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как (у разных математиков по-разному, хотя математический знак тождества всё-таки ).
Отрицательные суждения указывают на ложность утвердительного суждения, входящего в его состав. Образуются с помощью отрицания (эквивалентно союзу «неверно, что…»). Записывается как [6].
Классификация простых суждений
[править | править код]По качеству
[править | править код]- Утвердительные — S есть P. Пример: «Люди пристрастны к самим себе»[7].
- Отрицательные — S не есть P. Пример: «Люди не поддаются лести»[7].
По объёму
[править | править код]- Общие — суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут»[8].
- Частные — суждения, которые справедливы относительно части объёма понятия (некоторые S суть P). Пример: «Некоторые растения — хвойные»[8].
- Единичные — суждения, субъектом которых являются единичные понятия, то есть понятие, объем которого исчерпывается лишь одним элементом (это S суть (не суть) Р). Пример: «Москва — столица России»[9].
По отношению
[править | править код]- Категорические — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».
- Условные — суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений
- Основание — это (предыдущее) суждение, которое содержит условие.
- Следствие — это (последующее) суждение, которое описывает ситуацию, образующуюся при выполнении условия.[источник не указан 1560 дней]
По отношению между подлежащим и сказуемым
[править | править код]![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/13/Logical_square.svg/300px-Logical_square.svg.png)
Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).[источник не указан 1560 дней]
- Распределено — когда в суждении подлежащее (S) или сказуемое (P) берется в полном объёме.
- Не распределено — когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.
Суждения А (обще-утвердительные суждения) Распределяет своё подлежащее (S), но не распределяет своё сказуемое (P)
Объём подлежащего (S) меньше объёма сказуемого (Р)
- Прим.: «Все рыбы суть позвоночные».
Объёмы подлежащего и сказуемого совпадают
- Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами».
Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)
В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым
- Прим.: «Ни одно насекомое не есть позвоночное».
Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены
Часть класса подлежащего входит в класс сказуемого.
- Прим.: «Некоторые книги полезны».
- Прим.: «Некоторые животные суть позвоночные».
Суждения О (частно-отрицательные суждения) Распределяет своё сказуемое (Р), но не распределяет своё подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область)
- Прим.: «Некоторые животные не суть позвоночные (S)».
- Прим.: «Некоторые змеи не имеют ядовитых зубов (S)».
таблица распределения подлежащего и сказуемого
Подлежащее (S) | Сказуемое (P) | ||
---|---|---|---|
о-у | А | распределено | нераспределено |
о-о | Е | распределено | распределено |
ч-у | I | нераспределено | нераспределено |
ч-о | О | нераспределено | распределено |
Общая классификация:[источник не указан 1560 дней]
- общеутвердительные (A) — одновременно общие и утвердительные («Все S+ суть P-»);
- частноутвердительное (I) — частное и утвердительное («Некоторые S- суть P-») Прим: «Некоторые люди имеют чёрный цвет кожи»;
- общеотрицательное (E) — общее и отрицательные («Ни один S+ не суть P+») Прим: «Ни один человек не всеведущ»;
- частноотрицательное (O) — частное и отрицательное («Некоторые S- не суть P+») Прим: «Некоторые люди не имеют чёрного цвета кожи».
Другие
[править | править код]- Разделительные
- S есть или А, или В, или С
- или А, или В, или С есть P — когда в суждении остается место неопределенности
- Условно-разделительные суждения
- если А есть В, то С есть D или Е есть F
- если есть А, то есть B, или C, или D
пример: «желающий получить высшее образование должен учиться или в университете, или в институте, или в академии»
- Суждения тождества — понятия субъекта и предиката имеют один и тот же объём; пример: «всякий равносторонний треугольник есть равноугольный треугольник».
- Суждения подчинения — понятие с менее широким объёмом подчиняется понятию с более широким объёмом; пример: «собака есть домашнее животное».
- Суждения отношения — именно пространства, времени, отношения; пример: «дом находится на улице».
- Экзистенциальные суждения или суждения существования — суждения, которые приписывают только лишь существование.
- Аналитические суждения — суждения, в которых мы относительно субъекта высказываем нечто такое, что в нём уже содержится.
- Синтетические суждения — суждения, расширяющие познание: в них не раскрывается содержание подлежащего, а присоединяется нечто новое.[источник не указан 1560 дней]
Модальность суждений
[править | править код]Модальные понятия, или модальности — понятия, выражающие контекстную рамку суждения: время суждения, место суждения, знание о суждении, отношение говорящего к суждению.[источник не указан 1560 дней]
В зависимости от модальности выделяются следующие основные виды суждений:[источник не указан 1560 дней]
- Суждения возможности — «S, вероятно, есть Р» (возможность). Пример: «Возможно падение метеорита на Землю».
- Ассерторические — «S есть P» (действительность). Пример: «Киев стоит на Днепре».
- Аподиктические — «S необходимо должно быть P» (необходимость). Пример: «Две прямые линии не могут замыкать пространства».
См. также
[править | править код]Примечания
[править | править код]- ↑ Суждение . Интернет-версия издания: Новая фило Яндекс ї Аліса
- в 4 т. Институт философии РАН; Национальный общественно-научный фонд. Дата обращения: 1 февраля 2017. Архивировано 15 марта 2017 года.
- ↑ Гусев Д. А. Популярная логика и занимательные задачи. Учебное пособие. — М.: Прометей, 2015. — 406 с. — С. 70.
- ↑ Сложные суждения - Логика
- ↑ БРЭ, 2016.
- ↑ Гусев Д. А. Популярная логика и занимательные задачи. Учебное пособие. — М.: Прометей, 2015. — 406 с. — С. 93.
- ↑ Гусев Д. А. Популярная логика и занимательные задачи. Учебное пособие. — М.: Прометей, 2015. — 406 с. — С. 96.
- ↑ 1 2 Глава VIII. Деление суждений – Учебник логики, Г. Челпанов . azbyka.ru. Дата обращения: 20 мая 2024.
- ↑ 1 2 Моррис Рафаэль Коэн и Эрнест Нагель. Введение в логику и научный метод / пер. с англ. П.С. Куслия. — Пермь: «Социум», 2010. — С. 70. — ISBN 5-978-91603-029-7.
- ↑ Общие, частные, единичные суждения . psyera.ru. Дата обращения: 20 мая 2024.
Литература
[править | править код]- Суждение : [арх. 6 июля 2022] // Социальное партнёрство — Телевидение. — М. : Большая российская энциклопедия, 2016. — С. 397. — (Большая российская энциклопедия : [в 35 т.] / гл. ред. Ю. С. Осипов ; 2004—2017, т. 31). — ISBN 978-5-85270-368-2.
- Челпанов Г. Учебник логики. — 9-е издание. — М., 1998.
- Гетманова А. Д. Логика. — Книжный дом «Университет», 1998. — 480 с.
- Егоров С. Н. Суждение. — СПб., 2011. — 264 с.
Ссылки
[править | править код]Для улучшения этой статьи желательно:
|