Просмотр кода страницы Суждение

'''Сужде́ние''' — [[мысль]], в которой утверждается наличие или отсутствие каких-либо {{нп5|Положение дел (философия)|положений дел||State of affairs (philosophy)}}<ref>{{cite web |url=http://iphlib.ru/greenstone3/library/collection/newphilenc/document/HASH9158a952b4cdce35784291 |title=Суждение |work=Интернет-версия издания: Новая фило Яндекс ї Аліса
: в 4 т |publisher=Институт философии РАН; Национальный общественно-научный фонд |access-date=2017-02-01 |archive-date=2017-03-15 |archive-url=https://web.archive.org/web/20170315033316/http://iphlib.ru/greenstone3/library/collection/newphilenc/document/HASH9158a952b4cdce35784291 |deadlink=no }}</ref>.

Виды суждений и отношения между ними изучаются в [[философская логика|философской логике]]. В [[Математическая логика|математической логике]] суждениям соответствуют [[Высказывание (логика)|высказывания]].

== Простые и сложные ==
'''Простые суждения''' — суждения, в состав которых входит один [[субъект]] и один [[предикат]]<ref>Гусев Д. А. Популярная логика и занимательные задачи. Учебное пособие. — М.: Прометей, 2015. — 406 с. — С. 70.</ref>.

'''Сложные суждения''' — суждения, состоящие из двух или более простых суждений, соединённых с помощью [[Логическая связка|логических связок]]<ref>{{Cite web |url=https://studme.org/57128/logika/slozhnye_suzhdeniya |title=Сложные суждения - Логика<!-- Заголовок добавлен ботом --> |access-date=2024-05-20 |archive-date=2021-09-19 |archive-url=https://web.archive.org/web/20210919111915/https://studme.org/57128/logika/slozhnye_suzhdeniya |url-status=live }}</ref>. 

=== Состав простого суждения ===
Простое (атрибутивное) суждение — это суждение о наличии или отсутствии у [[Объект|предметов]] каких-либо свойств ([[Определение (лингвистика)|атрибутов]]). В простом (атрибутивном) суждении могут быть выделены следующие термины суждения — ''субъект, предикат, связка, квантор{{sfn|БРЭ|2016}}:
* [[Субъект (логика)|Субъект]] суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
* [[Предикат]] суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
* [[Логическая связка]] — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
* [[Квантор]] — указывает, относится ли суждение ко всему [[объём понятия|объёму понятия]], выражающего субъект, или только к его части: «некоторые», «все» и т. п.
'''Пример:''' ''«Все кости являются органами живого организма».''

''Субъект — «кость»;''

''Предикат — «органы живого организма»;''

''Логическая связка — «являютcя»;''

''Квантор — «все».''

=== Виды сложных суждений ===
Каждое сложное суждение состоит из простых суждений, соединённых каким-либо союзом. В зависимости от этого союза выделяется, как правило, шесть видов сложных суждений: конъюнктивные, строгие и нестрогие дизъюнктивные, импликационные, эквивалентные и отрицательные<ref>Гусев Д. А. Популярная логика и занимательные задачи. Учебное пособие. — М.: Прометей, 2015. — 406 с. — С. 93.</ref>.

'''Дизъюнктивные''' (также '''разделительные''') суждения образуются с помощью разделительных ([[дизъюнкция|дизъюнктивных]]) логических связок (аналогичных союзу «или»). Подобно простым разделительным суждениям, они бывают:
* ''нестрогими'' (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как <math>a \lor b</math>;
* ''строгими'' (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как <math>a \dot\lor b</math>.

'''Импликационные''' суждения образуются с помощью [[импликация|импликации]], (эквивалентно союзу «если…, то»). Записывается как <math>a \to b</math> или <math>a b</math>. В естественном языке союз «если…, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня ни одной тучи») и, в таком случае, означает конъюнкцию.

'''Конъюнктивные''' суждения образуются с помощью логических связок сочетания или [[конъюнкция|конъюнкции]] (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как <math>a \land b</math>.

'''Эквивалентные''' суждения указывают на [[Тождество (математика)|тождественность]] частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «[[тогда и только тогда]]», «необходимо и достаточно» (например: «Чтобы число делилось на 3, необходимо и достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как <math>a \equiv b, a \leftrightarrow b, a b</math> (у разных математиков по-разному, хотя математический знак тождества всё-таки <math>\equiv</math>).

'''Отрицательные''' суждения указывают на ложность утвердительного суждения, входящего в его состав. Образуются с помощью [[Отрицание|отрицания]] (эквивалентно союзу «неверно, что…»). Записывается как <math> \neg a </math><ref>Гусев Д. А. Популярная логика и занимательные задачи. Учебное пособие. — М.: Прометей, 2015. — 406 с. — С. 96.</ref>.

== Классификация простых суждений ==

=== По качеству ===
* '''Утвердительные''' — S есть P. Пример: «Люди пристрастны к самим себе»<ref name="автоссылка2">{{Cite web|url=https://azbyka.ru/otechnik/Spravochniki/uchebnik-logiki-chelpanov/8|title=Глава VIII. Деление суждений – Учебник логики, Г. Челпанов|lang=ru|website=azbyka.ru|access-date=2024-05-20|archive-date=2024-05-20|archive-url=https://web.archive.org/web/20240520113406/https://azbyka.ru/otechnik/Spravochniki/uchebnik-logiki-chelpanov/8|url-status=live}}</ref>.
* '''Отрицательные''' — S не есть P. Пример: «Люди не поддаются лести»<ref name="автоссылка2" />.

=== По объёму ===
* '''Общие''' — суждения, которые справедливы относительно всего [[объём понятия|объёма понятия]] (Все S суть P). Пример: «Все растения живут»<ref name="автоссылка1">{{Книга|автор=Моррис Рафаэль Коэн и Эрнест Нагель|заглавие=Введение в логику и научный метод|ответственный=пер. с англ. П.С. Куслия|год=2010|место=Пермь|издательство=[[АСТ (издательство)|«Социум»]]|страницы=70|isbn=5-978-91603-029-7}}</ref>.
* '''Частные''' — суждения, которые справедливы относительно части объёма понятия (некоторые S суть P). Пример: «Некоторые растения — хвойные»<ref name="автоссылка1" />.
*'''Единичные''' — суждения, субъектом которых являются единичные понятия, то есть понятие, объем которого исчерпывается лишь одним элементом (это S суть (не суть) Р). Пример: «Москва — столица России»<ref>{{Cite web|url=https://psyera.ru/obshchie-chastnye-edinichnye-suzhdeniya_7735.htm|title=Общие, частные, единичные суждения|lang=ru|website=psyera.ru|access-date=2024-05-20|archive-date=2024-05-20|archive-url=https://web.archive.org/web/20240520113406/https://psyera.ru/obshchie-chastnye-edinichnye-suzhdeniya_7735.htm|url-status=live}}</ref>.

=== По отношению ===
* '''Категорические''' — суждения, в которых сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах; безусловное суждение (S есть P). Пример: «Все люди смертны».
* '''Условные''' — суждения, в которых сказуемое ограничивает отношение каким-либо условием (Если А есть В, то С есть D). Пример: «Если дождь пойдет, то почва будет мокрая». Для условных суждений
**''Основание'' — это (предыдущее) суждение, которое содержит условие.
** ''Следствие'' — это (последующее) суждение, которое описывает ситуацию, образующуюся при выполнении условия.{{Нет АИ|26|05|2020}}

=== По отношению между подлежащим и сказуемым ===
[[Файл:Logical square.svg|мини|300x300px|[[Логический квадрат]], описывающий отношения между категорическими суждениями]]
Субъект и предикат суждения могут быть ''распределены'' (индекс <sub>«+»</sub>) или ''не распределены'' (индекс <sub>«-»</sub>).{{Нет АИ|26|05|2020}}
* '''Распределено''' — когда в суждении подлежащее (S) или сказуемое (P) берется в полном объёме.
* '''Не распределено''' — когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

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

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

Объёмы подлежащего и сказуемого совпадают
* Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами».

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

В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым
* Прим.: «Ни одно насекомое не есть позвоночное».

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

Часть класса подлежащего входит в класс сказуемого.
* Прим.: «Некоторые книги полезны».

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

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

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

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

'''таблица распределения подлежащего и сказуемого'''
{| class="standard"
!
!
! Подлежащее (S)
! Сказуемое (P)
|-
! о-у
! А
| ''распределено''
| нераспределено
|-
! о-о
! Е
| ''распределено''
| ''распределено''
|-
! ч-у
! I
| нераспределено
| нераспределено
|-
! ч-о
! О
| нераспределено
| ''распределено''
|}

Общая классификация:{{Нет АИ|26|05|2020}}
* '''общеутвердительные''' ('''A''') — одновременно общие и утвердительные ''(«Все S<sub>+</sub> суть P<sub>-</sub>»);''
* '''частноутвердительное''' ('''I''') — частное и утвердительное ''(«Некоторые S<sub>-</sub> суть P<sub>-</sub>»)'' Прим: «Некоторые люди имеют чёрный цвет кожи»;
* '''общеотрицательное''' ('''E''') — общее и отрицательные ''(«Ни один S<sub>+</sub> не суть P<sub>+</sub>»)'' Прим: «Ни один человек не всеведущ»;
* '''частноотрицательное''' ('''O''') — частное и отрицательное ''(«Некоторые S<sub>-</sub> не суть P<sub>+</sub>»)'' Прим: «Некоторые люди не имеют чёрного цвета кожи».

=== Другие ===
* '''Разделительные'''
# S есть или А, или В, или С
# или А, или В, или С есть P — когда в суждении остается место неопределенности

* '''Условно-разделительные суждения'''
# если А есть В, то С есть D или Е есть F
# если есть А, то есть B, или C, или D<br>''пример:'' «желающий получить высшее образование должен учиться или в университете, или в институте, или в академии»

* ''Суждения тождества'' — понятия субъекта и предиката имеют один и тот же объём; ''пример:'' «всякий равносторонний треугольник есть равноугольный треугольник».
* ''Суждения подчинения'' — понятие с менее широким объёмом подчиняется понятию с более широким объёмом; ''пример:'' «собака есть домашнее животное».
* ''Суждения отношения'' — именно пространства, времени, отношения; ''пример:'' «дом находится на улице».

* ''Экзистенциальные суждения'' или ''суждения существования'' — суждения, которые приписывают только лишь существование.
* [[Аналитические суждения]] — суждения, в которых мы относительно субъекта высказываем нечто такое, что в нём уже содержится.
* [[Синтетические суждения]] — суждения, расширяющие познание: в них не раскрывается содержание подлежащего, а присоединяется нечто новое.{{Нет АИ|26|05|2020}}

== Модальность суждений ==
{{Основная статья|Модальная логика}}
''Модальные понятия'', или ''модальности'' — понятия, выражающие контекстную рамку суждения: время суждения, место суждения, знание о суждении, отношение говорящего к суждению.{{Нет АИ|26|05|2020}}

В зависимости от модальности выделяются следующие основные виды суждений:{{Нет АИ|26|05|2020}}
* '''Суждения возможности''' — «S, вероятно, есть Р» (''возможность''). Пример: «Возможно падение метеорита на Землю».
* ''' Ассерторические''' — «S есть P» (''действительность''). Пример: «Киев стоит на Днепре».
* '''Аподиктические''' — «S необходимо должно быть P» (''необходимость''). Пример: «Две прямые линии не могут замыкать пространства».
== См. также ==

{{кол|3}}
* [[Мнение]]
* [[Логическое высказывание]]
* [[Силлогизм]]
* [[Умозаключение]]
* [[Логический вывод]]
* [[Предикат]]
* [[Сказуемое]]
{{колонки|конец}}

== Примечания ==
{{примечания}}
{{Викисловарь|суждение}}{{Викисловарь|сужденье}}

== Литература ==
* {{БРЭ |статья=Суждение  |ссылка=https://old.bigenc.ru/philosophy/text/4172211 |автор= |том=31 |страницы=397 |ref=БРЭ |архив=https://web.archive.org/web/20220706140048/https://bigenc.ru/philosophy/text/4172211 |архив дата=2022-07-06 }}
* {{книга|автор=Челпанов Г.|заглавие=Учебник логики|издание=9-е издание|место=М.|год=1998}}
* {{книга|автор=Гетманова А. Д.|заглавие=Логика|издательство=Книжный дом «Университет»|год=1998|страниц=480}}
* {{книга|автор=Егоров С. Н.|заглавие=Суждение|место=СПб.|год=2011|страниц=264}}

== Ссылки ==
{{BC}}{{rq|cleanup|wikify|sources|refless}}

[[Категория:Семантика]]
[[Категория:Мышление]]
[[Категория:Логика]]
[[Категория:Философская логика]]