Структура простого суждения

Суждением называют форму мысли, в которой нечто сообщается о предмете или об отношении между предметами. Иначе суждение можно определить как форму мысли, в которой нечто утверждается или отрицается о предмете или об отношении между предметами.

Суждения выражаются повествовательными предложениями. Вопросительные и побудительные предложения суждений не выражают.

Суждения могут соответствовать или не соответствовать мыслимой действительности. Если суждение соответствует действительности, оно называется истинным, если не соответствует – ложным.

Содержание суждений составляют мыслящиеся в понятийной форме объекты (предметы), о которых в суждении нечто сообщается. Например, в суждении «Все киты - млекопитающие» речь идет о классе «китов» и классе «млекопитающих». Эти классы и составляют содержание данного суждения.

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

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

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

Кроме связки, в суждениях присутствует или подразумевается выражение, указывающее на количественный, то есть общий или частный характер суждения. Таковыми являются выражения «все», «некоторые», «ни один», «многие», «никто», «большинство» и т.п. Будем называть это выражение «квантор». Для указания на количественный характер суждения в логике принято ограничиваться кванторами «все», «некоторые», «ни один».

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

Виды суждений

По видам формальной связи между терминами суждений их принято делить по характеру связки и по характеру квантора.

По характеру связки, или по качественной характеристике - суждения делятся на утвердительные и отрицательные. В утвердительных суждениях присутствует или подразумевается связка «есть» («суть»), в отрицательных – «не есть» («не суть»). Например, суждение «все киты суть млекопитающие» – утвердительное, а суждение «ни один кит не суть рыба» – отрицательное.

Поскольку связка в русском языке обычно опускается, качество суждений часто требует уточнения. Например, предложение «некоторые студенты не читали произведений М. Булгакова» можно представить и как утвердительное суждение (а) и как отрицательное суждение (б):

а) «Некоторые (квантор) студенты (субъект) суть (связка) те, кто не читал произведений М. Булгакова (предикат)

б) «Некоторые студенты (субъект) не суть (связка) те, кто читал произведений М. Булгакова (предикат).

Смысл этих суждений один и тот же, но их логические характеристики различны.

По характеру квантора, или по количественной характеристике– суждения делятся на общие и частные. В общих суждениях нечто утверждается или отрицается обо всех предметах, которые мыслятся в объеме субъекта, а в частных – о части объема субъекта. Поясним это на примере. Суждение «все преступления (S) суть общественно опасные деяния (P)» является общим, так как в нем нечто сообщается обо всем объеме понятия «преступление». Суждение «некоторые преступления (S) являются должностными (P)»является частным, так как в нем нечто сообщается о части объема субъекта.

Если в предложении квантор опущен, то его можно восстановить по смыслу предложения. Например, предложение «не Боги горшки обжигают» – явно имеет общий характер. Для логического анализа оно может быть сформулировано в таком виде: «ни один из тех, кто обжигает горшки, не суть Бог».