Простые суждения

В логике принято выделять три класса простых суждений:

1. Суждения существования, которые всего лишь утверждают наличие объектов действительности ничего не сообщая о свойствах этого объекта. Например, «существует снежный человек»; «в деле отсуствует состав преступления».

Со времен Канта в логике установилась ясное понимание того, что существование не является признаком, а имеет особый статус.

2. Суждения с отношениями (=реляционные). Эти суждения обладают характерной симметрией подлежащего и дополнения. Например, суждение: «Сократ учитель Платона» содержит тот же смысл, что суждение: «Платон ученик Сократа».

Символическое обозначение: xRy R – реляция.

Запись показывает, что основное смысловое содержание лежит в области отношений между входящими в суждение однородными объектами.

3. Атрибутивные суждения (atribut - признак). Представляет наибольший интерес для логики.

Они фиксируют связь между объектом и признаком. С точки зрения логики их можно истолковать как включение некоторого множества в другое множество или же как ислкючение одного множества объектов из другого. Например, множество роз включается в множество растений, имеющих шипы. Первичным множеством в этом построении выступает объект, а соотносимое с ним множество характеризует с ним некий признак.

В структуре атрибутивного суждения выделяют 4 компонента:

а) понятие о предмете суждения (логическое подлежащее) – субъект суждения (S).

б) понятие о признаке предмета (логическое сказуемое) – предикат суждения (Р).

Понятие входящее в суждение (S и Р) объединяются словом термин. Субъект содержит некоторое исходное значение, а предикат несет основную смысловую нагрузку. Например, Нева впадает в Балтийское море.

Суждения существования предиката не имеют (их называют непредикатные)!!!

Суждения с отношения имеют несколько субъектов!!!

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

Связка делит суждение на утвердительные и отрицательные. В утвердительном субъекту преписывается предикат. Обозначается:.

В отрицательных суждениях связка отделяет предикат от субъекта. Например, ни один тюльпан не относится к множеству объктов имеющих шипы. Обозначается:.

В грамматике связка выражается производными формами от глагола «БЫТЬ» («являтся», «представлять собой» и т.д.).

С точки зрения логики предпочтительнее оборот относительно к числу.

Логический анализ требует преобразование глагольной формы в канонический вид выявляющий связку. Например, Волга является рекой впадающей в Каспийское море.

г) квантор – это количественная характеристика суждения. (kvant – количественная характеристика). Квантор показывает полноту включения исходного множества, описываемое предикатом.

Суждение разделяются на общие и частные.

В общих суждениях субъект соотносится со всеми предметами, описываемыми предикатом, причем соотносится всей полнотой множества.

Общим суждениям соответствует квантор «ВСЕ» или «КАЖДЫЙ», который обозначается (). Этот знак для утвердительного суждения может читаться «КАЖДЫЙ», «ЛЮБОЙ», а для отрицательного суждения читается «НИ ОДИН».

В частных суждениях предикат соотносится лишь с частью множества, охватываемого субъектом.

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

Этот квантор называется квантор существования: для истинности частного суждения достаточно существования хотябы одного предмета, соотнесенного с предикатом. Для частных суждений характерна неопределенность: «по-крайней мере один, а может быть и все».

!!! Именно поэтому единичные суждения в логике соотносят не с частичными суждениями, а с общими!!!

В единичных суждениях предикат соотносится с одинм элементом класса субъекта и квантор не употребляется (однако количественная определенность на лицо). Например, Сократ – великий филосов (не говорят один Сократ).

В случае утверждений «подавляющее большинство», «практическое единодушие» речь идет о частных суждениях, поскольку квантор «все» исключений не допускает.

В обыденной речи отсутствие квантора нередко ведет к двусмысленности утверждения. Например, «Люди агрессивны» («все» или «некоторые»).

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

В логике понятие распределенный термин используется тогда, когда термин взят в полном объеме (S⁺ или Р⁺), нераспределенный термин обозначается (S^- или Р^-).

Квантификация – это указание количественного выражения.

Объединенная качественно-количественная классификация категорических суждений.

Классификация – это результата последовательного многоступенчатого деления.

В данной классификации обозначения, связанные с латинскими словами n E g O -отрицаю и A ff I rmo – утверждаю.

Выделяют:

1. Общеутвердительные суждения (А).

Любой S принадлежит Р.

«Все S относятся к числу Р»

обозначается:

Например, все люди являются млекопитающими.

Нераспределенный термин не позволяет отчетливо задать границы множества. Предикат не распределен в вышеуказанном примере.

Эти суждения можно рассматривать как раскрытие неявных признаков понятия (субъекта).

Дата добавления: 2014-01-20