Суждение
Материал из Википедии — свободной энциклопедии
 |
Эту статью следует викифицировать.
Пожалуйста, оформите её согласно правилам оформления статей.
|
Суждение — форма мышления, в которой что- либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами.
Содержание |
[править] В логике
[править] Простые и сложные суждения
Простыми суждениями называются суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.
Сложными суждениями называются суждения, составными частями которых являются простые суждения или их сочетания. Сложное суждение может рассматриваться, как образование из нескольких исходных суждений, соединенных в рамках данного сложного суждения логическими союзами. От того, при помощи какого союза связываются простые суждения, зависит логическая особенность сложного суждения.
[править] Состав простого суждения
В простом суждении могут быть выделены субъект, предикат, связка, квантор.
- Субъект суждения - это мысль о каком-то предмете, понятие о предмете суждения.
- Предикат суждения - мысль об известной части содержания предмета, которое рассматривается в суждении.
- Логическая связка - мысль об отношении между предметом и выделенной частью его содержания.
- Квантор - указывает, относится ли суждение ко всему объему понятия, выражающего субъект, или к его части.
[править] Состав сложного суждения
Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит и, любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дезинъюнктивные, импликационные, эквивалентные и отрицательные.
Дезинъюнктивные суждения образуются с помощью разделительных (дезинъюнктивных) логических связок аналогичных союзу «или». Подобно простым разделительным суждениям бывают нестрогими (нестрогая дезинъюнкция), члены которой допускают совместное сосуществование (толи…, толи…), записывающимися a V b; и строгими (Строгая дезинъюнкция) члены которой исключают друг друга (либо одно, либо другое), записывающимися a b (с точкой над V).
Импликационные суждения образуются с помощью импликации, эквивалентной союзу «если …, то» и записываются a → b или ab, хотя в естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня не одной тучи») и, в таком случае, означает конъюнкцию.
Конъюнктивные суждения образуются с помощью логических связок сочетания (конъюнкции) эквивалентной запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим, обозначаемых знаком «». Что в математической логике записывается как (a b).
Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно чтобы, сумма цифр, его составляющих, делилась на 3»), и записывается a ≡ b; a ↔ b; ab (у разных математиков по-разному, хотя математический знак тождества все-таки ≡).
Отрицательные суждения строятся с помощью связок «не» и записываются либо a ~ b, либо a b при внутреннем отрицании типа «машина не роскошь», и с помощью черты над всем суждением при внешнем отрицании (опровержении) «не верно что …» (a b).
[править] Атрибутивные суждения
Суждения о принадлежности предметам свойств (атрибутов), а также суждения об отсутствии у предметов каких-либо свойств. В атрибутивном суждении выделяются термины суждения — субъект S (логическое подлежащее) и предикат P (логическое сказуемое), а также связка (иногда только подразумевается), кванторное слово («некоторые», «все» и т. п.).
[править] Классификация по качеству
- утвердительные- S есть P Прим: «Люди пристрастны к самим себе»
- отрицательные - S не есть P Прим: «Люди не поддаются лести»
Общая классификация:
- общеутвердительные (A) — одновременно общие и утвердительные («Все S+ суть P-»)
- частноутвердительное (I) — частное и утвердительное («Некоторые S- суть P-») Прим: «Некоторые люди имеют черный цвет кожи»
- общеотрицательное (E) — общее и отрицательные («Ни один S+ не суть P+») Прим: «Ни один человек не всеведущ»
- частноотрицательное (O) — частное и отрицательное («Некоторые S- не суть P+») Прим: «Некоторые люди не имеют черного цвета кожи»
[править] Классификация по количеству
- общие - это суждения, которые справедливы относительно всего объема понятия. Прим: «Все растения живут» Все S суть P
- частные - это суждения, которые справедливы относительно части объема понятия. Прим: «Некоторые растения суть хвойные» Некоторые S суть P
а) Единичные суждения – «Гуттенберг – изобретатель книгопечатания»
б) Индивидуальные суждения – относятся ко всему объему понятия
[править] Классификация по отношению
- Категорические – S есть P в котором сказуемое утверждается относительно субъекта без ограничений во времени, в пространстве или обстоятельствах. т.е. безусловное. Прим: «Все люди смертны»
- Условные – Если А есть В, то С есть D когда сказуемое ограничивает отношение каким-либо условием. Прим: «Если дождь пойдет, то почва будет мокрая»
Основание – (предыдущее) суждение, которое содержит условие
Следствие - (последующее) суждение, которое содержит следствие
- Разделительные –
1) S есть или А, или В, или С
2) или А, или В, или С есть Р когда в суждении остается место неопределенности
- Условно-разделительные суждения -
Если А есть В, то С есть D или Е есть F
если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»
[править] Классификация по модальности
- Проблематическая – S вероятно есть Р возможность
Прим: «Илиада есть вероятно продукт коллективного творчества» (Выставляется просто, как известное предложение).
- Ассерторическая - S есть P действительность
Прим: «Киев стоит на Днепре»
- Аподиктическая - S необходимо должно быть P необходимость
Прим: «Две прямые линии не могут замыкать пространства»
[править] Отношения между суждениями
- Суждения тождества – понятия субъекта и предиката имеют один и тот же объем.
Прим: «всякий равносторонний треугольник есть равноугольный треугольник»
- Суждения подчинения – понятия с менее широким объемом подчиняется понятию с более широким объемом.
Прим: «Собака есть домашнее животное»
- Суждения отношения - именно пространства, времени, отношения.
Прим: «Дом находится на улице»
- Экзистенциальные суждения или суждения существования – это такие суждения, которые приписывают только лишь существование.
- Аналитические суждения – суждения, в которых мы относительно субъекта высказываем нечто такое, что в нем уже содержится.
- Синтетические суждения – или суждения расширяющие познание. В них не раскрывается содержание подлежащего, а присоединяется нечто новое.
[править] Отношение между подлежащим и сказуемым
Субъект и предикат суждения могут быть распределены (индекс "+") или не распределены (индекс "-").
Распределено - когда в суждении подлежащее (S) и сказуемое (P) берется в полном объеме
Не распределено - когда в суждении подлежащее (S) и сказуемое (P) берется не в полном объеме
Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)
Объем подлежащего (S) меньше объема сказуемого (Р)
- Прим.: «Все рыбы суть позвоночные»
Объемы подлежащего и сказуемого совпадают
- Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»
Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)
В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым
- Прим.: «Ни одно насекомое ни есть позвоночное»
Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены
Часть класса подлежащего входит в класс сказуемого.
- Прим.: «Некоторые книги полезны»
- Прим.: «Некоторые животные суть Позвоночные»
Суждения О (частно-отрицательные суждения) Распределяет свое сказуемое (Р), но не распределяет свое подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область)
- Прим.: «Некоторые животные не суть позвоночные (S)»
- Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»
таблица распределения подлежащего и сказуемого
Подлежащее (S) Сказуемое (P)
о-у А распределено нераспределено
о-о Е распределено распределено
ч-у I нераспределено нераспределено
ч-о О нераспределено распределено
Распределено
Не распределено
Подробнее об алетических модальных понятиях, или модальностях, см. «Модальная логика».
[править] См. также
[править] Литература
- Г. Челпанов. "Учебник логики". 9-е издание. Москва 1918г.
- А.Д. Гетманова Логика // Изд. Книжный дом "Университет". 1998. - 480с.
