3. Характеристика элементов логической структуры суждения.

Элементы логической структуры простого суждения:

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

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

Если необходимо выявить субъект и предикат того или иного суждения, надо определить, что является предметом мысли, а что говорится (высказывается) об этом предмете. Для примера возьмем суждение «Все дороги ведут в Рим». Субъектом здесь является понятие «дороги», предикатом – «ведущие в Рим».

- связка (союз) – часть суждения, выражающая связь между субъектом и предикатом. Характеризует принадлежность предмету мысли того или иного свойства, отраженного в предикате, или его отсутствие. Выражается знаком «тире», словами «есть», «суть», «не есть», «не суть», «является», «не является». Связка бывает утвердительная и отрицательная и, соответственно, утвердительными и отрицательными бывают суждения. Пример утвердительного суждения (т.е. суждения, в котором предмету приписывается некое свойство или устанавливается отношение между предметами): «Дельфин – млекопитающее». Пример отрицательного суждения (т.е. суждения, выражающего отсутствие какого-либо свойства у предмета или отсутствие отношения между предметами): «Некоторые люди не умеют плавать». При этом необходимо различать отрицательные суждения и негативные форму утвердительных суждений: например, «Он не читает книг» - отрицательное суждение; «Он читает не книги» - негативная форма утвердительного суждения.

- квантор (кванторное слово) указывает на количественную характеристику суждения (т.е. относится ли признак, выраженный в предикате, ко всему объему понятия, выражающего субъект, или только к его части). Существуют кванторы всеобщности (выражаются словами «все», «каждый», «ни один» и пр.) и существования («некоторые», «многие» и пр.). С помощью кванторов (которые иногда распознаются по смыслу, а иногда вообще отсутствуют) различают единичные, частные и общие суждения. Единичные суждения включают утверждение или отрицание об одном предмете субъекта суждения, например, «Марс – четвертая планета в Солнца». Логическая формула единичных суждений: Это S есть (не есть) Р. В частных суждениях что-либо утверждается или отрицается о части предметов определенного класса, например, «Некоторые школьники не изучают английский язык». Логическая формула частных суждений: «Некоторые S суть (не суть) Р». В общих суждениях что-либо утверждается или отрицается обо всех предметах определенного класса, например, «Все люди смертны». Логическая формула общих суждений: «Все S суть (не суть) Р».

Существует также объединенная классификация простых суждений по их качественным и количественным характеристикам. Суждения делятся на общеутвердительные (обозначаются буквой А), общеотрицательные (обозначаются буквой Е), частноутвердительные (обозначаются буквой I), частноотрицательные (обозначаются буквой О). Примеры суждений по объединенной классификации: «Все студенты философских факультетов изучают логику» (А), «Ни один участник этого сражения не выжил» (Е), «Некоторые певцы имеют от природы поставленный голос» (I), «Некоторые правонарушения не являются преступлениями» (О).

Тема классификации суждений связана с вопросом и распределенности и нераспределенности терминов суждения. Распределенность характеризует соотношение объемов субъекта и предиката. Термин считается распределенным, если его объем полностью включается в объем другого термин или полностью исключается из него. Если объем термина лишь частично включается (или исключается) в объем другого термина, такой термин является нераспределенным. В суждениях типа А обычно распределен субъект и не распределен предикат (хотя если субъект и предикат – равнозначные понятия, предикат также распределен). В суждениях типа I обычно ни субъект не предикат не распределены (хотя если предикат подчинен субъекту, он является распределенным). В суждении типа Е и субъект, и предикат распределены. В суждении типа О субъект не распределен, а предикат распределен. Фактор распределенности субъекта и предиката в суждениях важен при анализе умозаключений и помогает избежать многих логических ошибок.