Общая характеристика категорических суждений
Категорические суждения – это суждения, в которых в безусловной форме что-либо утверждается или отрицается.
Суждения являются одной из основных форм мышления.
Под суждением (или высказыванием) понимают форму мышления, в которой утверждается или отрицается что-либо о связях между предметами и их признаками или об отношениях между предметами.
Суждения отличаются от других форм мышления тем, что для них определена истинностная характеристика: для любого суждения можно определить, является оно истинным или ложным. Истинным признают суждение, которое описывает имеющее место в действительности положение вещей. В неклассических логиках у суждений могут быть и другие значения, например:
- возможно,
- неопределенно,
- бессмысленно.
Суждения делятся на:
- простые, в которых выражается связь между двумя терминами,
- сложные, которые состоят из нескольких простых.
Иногда в отдельную категорию выделяют простые суждения со сложным предметом или сложным предикатом. По сути, они являются сложными суждениями, но по форме напоминают простые.
Пример простого суждения со сложным субъектом: «Шарики, гирлянды, мишура – это елочные игрушки». Его можно записать в виде сложного суждения, состоящего из трех простых: «Шарики – это елочные игрушки, и гирлянды – это елочные игрушки, и мишура – это елочные игрушки».
В структуре простого суждения выделяют:
- субъект суждения – то, о чем сообщается в суждении. Другими словами, субъект является предметом высказывания. Часто он совпадает с подлежащим предложения, поэтому субъект называют логическим подлежащим;
- предикат суждения – то, что сообщается о субъекте. В частности, это могут быть приписываемые субъекту признаки. Предикат называют логическим сказуемым; в нем выражается информация (определенные знания) о субъекте;
- связка – выражение отношения между субъектом и предикатом. Связка воплощает мысль в форму суждения, указывает на то, имеет место отрицание или утверждение. Связка может отсутствовать в явной форме, но подразумеваться (например, в русском языке она может заменяться тире);
- количественные (кванторные) слова. Это не обязательная часть суждения. Слова «некоторые», «ни один», «все», «любой», «каждый» определяют, к какой части понятия-субъекта относится предикат.
По содержанию простые суждения делятся на:
- атрибутивные (суждения о свойствах). Именно эта разновидность суждений является категорической, поскольку отражает безусловные признаки. Пример: «Все яблоки – фрукты»;
- реляционные (суждения с отношениями). Эти суждения отражают отношения, существующие между предметами. Пример: «Право сформировалось позже морали»;
- экзистенциальные (суждения существования). Они выражают только факт, существует или не существует субъект. Пример: «Домовых не существует».
Виды категорических суждений по качеству и количеству
Атрибутивные (категорические) суждения отражают свойства предмета суждения (субъекта). Их особенность – наличие строго одного субъекта (в то время как в суждениях отношения субъектов должно быть больше).
По качественной характеристике категорические суждения бывают:
- утвердительными, выражающими принадлежность признака предмету;
- отрицательными, выражающими отсутствие у предмета описываемого признака.
По количеству категорические суждения бывают:
- общими, в которых речь идет обо всем классе предметов,
- частными, в которых рассматривается часть предметов,
- единичными, в которых описывается уникальный (единственный в своем роде) предмет.
Единичные суждения отождествляют с общими: по сути, они описывают весь класс предметов, но это особый класс – состоящий из одного предмета.
В логике обычно используют обобщенную классификацию, включающую и количественное, и качественное деление. Для обозначения категорических суждений используют гласные буквы латинского алфавита – для утвердительных А (общие) и I (частные) – из слова affirmo («утверждаю»); для отрицательных E (общие) и O (частные) – из слова nego («отрицаю»). Характеристика каждого вида суждений:
- общеутвердительные суждения (А) являются общими по количеству и утвердительными по качеству («Все S суть P»). Пример: «Все мыши (S) любят сыр (P)»;
- общеотрицательные суждения (E) являются общими по количеству и отрицательными по качеству («Ни один S не есть P»). Пример: «Ни один слон (S) не умеет летать (P)»;
- частноутвердительные суждения (I) являются частными по количеству и утвердительными по качеству («Некоторые S есть P»). Пример: «Некоторые студенты (S) ведут здоровый образ жизни (P)»;
- частноотрицательные суждения (О) являются частными по количеству и отрицательными по качеству («Некоторые S не есть P»). Пример: «Некоторые художники не умеют плавать».
Естественный язык допускает множество способов выражения одной и той же мысли. Порядок слов не является строгим, отдельные слова могут быть опущены (но подразумеваться). Чтобы провести логический анализ суждения, выявить его точный смысл, необходимо привести свободно сформулированное предложение к строгой логической форме. Для этого:
- определяют квантор, субъект и предикат;
- ставят в начало высказывания кванторные слова («ни один», «все», «некоторые» - желательно использовать именно эти слова, заменив синонимичные им конструкции для обеспечения единообразия);
- после кванторного слова помещают субъект суждения;
- после субъекта помещают логическую связку («есть» или «не есть»);
- после логической связки помещают предикат.
Может потребоваться трансформация предиката:
- если предикат выражен существительным (или словосочетанием с существительным), он остается без изменений;
- если предикат выражен прилагательным или причастием (или словосочетанием с прилагательным/причастием), к нему добавляется родовое понятие для субъекта;
- если предикат выражен глаголом (глагольным словосочетанием), его нужно заменить причастием и добавить родовое понятие для субъекта.