159583 (Суждение как форма мысли)

1. Общая характеристика суждения. Виды суждений

Суждение - это мысль, в которой утверждается или отрицается свойство у предмета, действие предмета, наличие или отсутствие некоторой ситуации или отношение между предметами. Суждение выражается, обычно, в повествовательном предложении (реже - в вопросительном, так называемых риторических вопросах, или в восклицательном). Суждение, рассматриваемое вместе с выражающим его предложением, называется высказыванием. Если предложение - это языковое выражение, группа слов, выражающая мысль, а суждение - это мысль, в которой что-то утверждается или отрицается, то высказывание - это суждение, выраженное в языке.

Поскольку в суждении нечто утверждается или отрицается о чем-то, в нем выделяют две части: то, о чем говорится, и то, что говорится. То, о чем говорится, предполагается уже известным к моменту высказывания, а то, что говорится - новая информация, которую содержит данное суждение. То, о чем говорится, называется субъектом суждения, а то, что утверждается или отрицается в суждении - предикатом суждения.

Хотя суждение не может существовать вне предложения, связь суждения с предложением не однозначна, иначе говоря, одно и то же суждение может быть выражено разными предложениями, и одно предложение может выражать разные суждения. Одну и ту же мысль можно выразить, например, в разных языках. В этом случае предложения, очевидно, различны. Но также ее по-разному можно выразить и в одном языке. Например, в предложениях “Некоторые существительные русского языка не склоняются” и “В русском языке встречаются несклоняемые существительные” выражено одно и то же суждение.

С другой стороны, почти любое повествовательное предложение может выражать различные суждения. Трудно однозначно сказать, какая именно мысль выражена в предложении: “Завтра я сюда не приду”. Его можно толковать как дающее ответ на любой из следующих четырех вопросов:

1. Когда я сюда не приду?

2. Кто завтра сюда не придет?

3. Куда я завтра не приду?

4. Приду ли я сюда завтра?

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

2. Атрибутивные суждения, их виды

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

Общеутвердительное суждение (А) имеет вид: Все S суть Р. Например, “Все киты живут в воде” или “Все люди - разумные существа”. Логическая форма общеутвердительного суждения, записанная на языке логики предикатов: . Отношение субъекта и предиката (которые называются в атрибутивных суждениях терминами суждения) в общеутвердительных суждениях может отражаться схемами (рис. 1):

Рис. 1

которые показывают, что субъект в любом случае в полном объеме включается в предикат, не совпадая или совпадая с ним.

Полное включение одного термина атрибутивного суждения в другой, а также полное исключение одного термина из другого называется распределенностью термина. Можно также сказать, что распределенность термина - это полнота информации, содержащейся в суждении относительно объема этого термина. Так, общеутвердительное суждение содержит информацию обо всем объеме его субъекта, и он является распределенным, предикат же общеутвердительного суждения не распределен, поскольку его объем может быть не включен полностью в объем субъекта (левая схема).

Общеотрицательное суждение (Е) имеет вид: Ни одно S не есть Р. Например, “Ни один кит не живет на суше”, “Ни одно нечетное число не делится на 2”. Логическая форма общеотрицательного суждения, записанная на языке логики предикатов:

Отношение субъекта и предиката в общеотрицательных суждениях может отражаться схемами (рис. 2):

Рис. 2

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

Частноутвердительное суждение (I) имеет вид: Некоторые S суть Р. (“Некоторые млекопитающие живут в воде”, “Некоторые металлы электропроводны”, “Некоторые врачи - хирурги”.) Логическая форма частноутвердитедьного суждения, записанная на языке логики предикатов:

Отношениям субъекта и предиката в частноутвердительных суждениях соответствуют схемы (рис. 3):

Рис. 3

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

Частноотрицательное суждение (О) имеет вид: Некоторые S не суть Р. Например, “Большинство млекопитающих не являются морскими животными” или “Некоторые существительные иностранного происхождения в русском языке не склоняются”. Логическая форма частно-отрицательного суждения, на языке логики предикатов записывается так:

Отношениям субъекта и предиката в частноотрицательных суждениях соответствуют схемы (рис. 4):

Рис. 4

Предикат в частноотрицательном суждении считается распределенным на том основании, что полностью исключен из той части субъекта, о которой идет речь, а субъект - нераспределенным.

Единичные суждения - те, в которых субъект является единичным понятием, имеют вид: а есть Р - единично-утвердительное - или а не есть Р - единично-отрицательное. Например, “Санкт-Петербург расположен в устье Невы” и “Нева не впадает в Ладожское озеро”, соответственно. На языке логики предикатов их логические формы имеют вид: Р(а) и не-P(a). Поскольку в единичных суждениях предикат либо приписывается всему объему субъекта, либо отрицается у всего объема субъекта, единичные суждения приравниваются к общим Р. Определенность терминов в единичных суждения такая же, как в общих.

3. Выделяющие, исключающие и определенно-частные суждения

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

1) общеутвердительное выделяющее (А-выделяющее) - Все S, и только S, суть Р;

2) общеотрицательное выделяющее (Е-выделяющее) - Ни одно S, и только S, не есть Р;

3) частноутвердительное выделяющее (I-выделяющее) - Некоторые S, и только S, суть Р;

4) частноотрицательное выделяющее (0-выделяющее) - Некоторые S, и только S, не суть Р;

5) единичноутвердительное выделяющее - а, и только а, есть Р;

6) единичноотрицательное выделяющее - а, и только а, не есть Р.

Все выделяющие суждения являются, по существу, сложными, состоящими из двух простых суждений: в первом нечто говорится об S, а во втором говорится, что это не имеет места для не-S. Суждение “Все члены нашей группы, и только они, присутствуют на собрании” нужно понимать так, что: 1) все члены нашей группы присутствуют на собрании; 2) на собрании нет посторонних. Дополнительная информация, заключенная в выделяющих суждениях, по сравнению с невыделяющими, отражается на распределенноcти терминов. Общеутвердительное выделяющее суждение содержит информацию не только обо всем объеме субъекта, но и обо всем объеме предиката, т.е. в нем распределены и субъект, и предикат. Схема отношения субъекта и предиката в суждениях такой формы (рис. 5):

Рис. 5

В общеотрицательном выделяющем суждение субъект и предикат распределены (как и в невыделяющем), но при этом являются противоречащими понятиями, т.е. в сумме исчерпывают весь универсум, не-S совпадает с Р. Например, “Ни один честный человек, и только такой человек, не поступится своими принципами”. Отношению субъекта и предиката в суждении такой формы соответствует схема (рис. 6):

Рис. 6

Частноутвердительное выделяющее суждение имеет нераспределенный субъект, но предикат его - за счет информации, содержащейся в словах “и только S” - распределен. Например, “Некоторые юристы, и только юристы, работают прокурорами”. Отношение субъекта и предиката в частноутвердительных выделяющих суждениях отражают схемы (рис. 7):

Рис. 7

В частноотрицательном выделяющем суждении так же, как в невыделяющем, не распределен субъект и распределен предикат, но в отличие от невыделяющего они в сумме исчерпывают универсум. Например, “Некоторые дети, и только дети, не понимают этого”. В суждениях этой формы отношениям субъекта и предиката соответствуют схемы (рис. 8):

Рис. 8

4. Сложные суждения

Сложным называется суждение, имеющее в своем составе другие суждения. Эти последние, если их более одного, соединяются логическими связками: конъюнкцией, дизъюнкцией, импликацией, эквиваленцией, а если в составе сложного только одно суждение, то оно стоит под отрицанием, также являющимся логической связкой. Таким образом, можно сказать, что сложным называется суждение, содержащее логические связки, относящиеся к суждениям.

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

1) одно наряду с другим - конъюнктивная связь;

2) хотя бы одно из двух - простая, или слабая, дизъюнктивная связь;