Состав суждения. Субъект и предикат
§ 1. В логическом мышлении понятие обычно встречается не само по себе, но в составе суждения в связи с другими понятиями, входящими в суждение.
Отношение понятия к суждению подобно отношению отдельного слова к предложению. Рассматривая предложение, мы различаем в нём отдельные слова — отдельные части речи. Но говорим мы обычно не отдельными словами, а целыми предложениями.
Сходным образом обстоит дело и при логическом мышлении. Мы мыслим не отдельными понятиями, но целыми суждениями. Только анализируя состав суждения, мы начинаем выделять входящие в это суждение понятия.
Мы уже знаем (глава III, § 3—4), что в суждении могут быть выделены: 1) субъект, или мысль о некотором предмете; 2) предикат, или мысль об известной части содержания предмета, которую мы рассматриваем в этом суждении; 3) мысль об отношении между предметом и выделенной частью его содержания. Все эти мысли являются частями суждения и называются понятиями.
Так, в суждении «героизм есть доблесть» мы можем выделить: 1) понятие «героизм», 2) понятие «доблесть» и 3) понятие отношения между ними. Отношение это состоит в том, что героизм заключает в себе все существенные признаки доблести, а потому заключает в себе основание для причисления его к доблестям. Иными словами, отношение между субъектом и предикатом есть в данном примере отношение принадлежности; героизм принадлежит к числу доблестей.
Однако все эти понятия, выделенные нами в этом суждении, существуют в нём не отдельно друг от друга: логический смысл они получают только в целом суждении.
Бывают случаи, когда предметом нашей мысли, повидимому, является отдельное понятие, взятое независимо от суждения. Но и в этих случаях само понятие представляет результат предшествующих ему суждений. Так, я могу мыслить понятие «героизм» и независимо от суждения. Но тогда это понятие само является результатом суждений и заменой уже ранее образованных суждений. Это понятие я могу мыслить отдельно только потому, что ещё до этого я мыслил ряд суждений, например: «существуют поступки высшего мужества, отваги, стойкости, преданности долгу, проявляемые в борьбе с трудностями или в борьбе с врагом. Такие поступки справедливо называются героическими, а поведение человека, совершившего подобные поступки, называется героизмом и т. д.»
Что понятие имеет смысл только как результат суждений и только в связи с суждениями, видно из следующего. Понятие, которое мы не можем развернуть в суждение, не имеет для нас никакого логического смысла. Ученик, никогда не изучавший астрономии, не может связать никакой ясной для него мысли с понятием, например, «эклиптика». Для него это даже не понятие, а просто незнакомое слово. Незнакомо же оно потому, что понятие, выражаемое этим словом, никогда не встречалось ему ни в каких известных ему предложениях. Только после того как учитель разъяснит, что эклиптикой называется большой круг на небесной сфере, по которому происходит видимое годовое движение солнца между звёзд, слово «эклиптика» станет для ученика понятием. Но оно стало понятием только потому, что учитель раскрыл смысл термина «эклиптика» посредством суждения.
Суждение есть основная форма логического мышления. Как уже было отмечено, всякая научная истина выражается в форме суждения. Не только прочно обоснованная и проверенная истинная мысль, но даже простое мнение или догадка высказывается в виде суждения. Даже неверное, ошибочное высказывание о предмете принимает форму суждения.
§ 2. В главе о понятии мы уже познакомились с членами суждения — с «субъектом» и «предикатом». Рассмотрим подробнее их логическую функцию в суждении и возможные виды отношений между ними.
Субъект суждения есть мысль о каком-то предмете. Предмет этот может быть или действительно существующим, или таким, который мыслится существующим. В суждении «горы на луне часто похожи на цирки» субъектом суждения будет понятие «горы на луне». Здесь это понятие обозначает предмет, существующий в действительности. Такие горы хорошо видны в телескоп. В суждении «Василиса прекрасная превратилась из лягушки в царевну» субъектом суждения будет мысль о Василисе прекрасной. Мысль эта есть мысль о предмете, не существующем, но лишь воображаемом, т. е. о предмете, который существует только для мысли, но не как предмет действительного мира.
§ 3. Хотя субъект суждения всегда есть мысль о каком-то предмете, но субъект суждения и самый предмет суждения не одно и то же.
Во-первых, предмет мысли существует или мыслится существующим сам по себе. Предмет существует и тогда, когда никто о нём ничего не мыслит. Горы на луне существовали и до того, как Галилей впервые навёл на луну свой телескоп и — первый из людей — увидел эти горы. В своём существовании предмет мысли не зависит от того, мыслит ли кто-нибудь о нём или нет и мыслят ли о нём правильно или нет.
Во-вторых, число свойств и отношений, принадлежащих самому предмету, несравненно богаче той части содержания, или тех признаков, которые мы мыслим в понятии об этом предмете. В любом понятии всегда мыслится только часть признаков предмета. Даже из числа существенных признаков предмета понятие выделяет только одну часть или группу, соответствующую той точке зрения, с какой мы рассматриваем предмет в этом понятии. Понятие всегда отражает только некоторые стороны предмета. Такого понятия, которое отражало бы в себе в каждом отдельном случае своего применения полностью все признаки, принадлежащие предмету, не существует ни в каком мышлении. Только в бесконечном прогрессе познания, т. е. при условии, если процесс познания рассматривается в целом, о понятии можно сказать, что оно отражает все стороны предмета.
В-третьих, признаки, принадлежащие самому предмету, составляют основание тех признаков, которые могут быть выделены или отмечены мыслью в понятии о предмете. Хотя в понятии мысль выделяет только часть признаков предмета, часть эту она не находит произвольно. Она находит её в самом предмете.
Различие между предметом суждения и субъектом суждения необходимо именно для того, чтобы правильно представить себе отношение между предметами мышления и логическими формами мысли о предметах. Субъект суждения всегда есть мысль о предмете суждения. В каждом данном суждении субъект не может быть мыслью, исчерпывающей все признаки понятия. Субъект суждения есть мысль лишь о некоторой части качеств, свойств и отношений, принадлежащих предмету.
§ 4. Таким образом, субъект суждения не просто указывает на предмет. Субъект суждения есть мысль — в содержании субъекта ещё не раскрытая — об известной части признаков предмета. Так, в суждении «бамбуки — злаки» субъект суждения — понятие «бамбук». Понятие это не просто указывает на предмет, но заключает в себе мысль о некоторых существенных признаках этого предмета.
Но, мысль эта осталась бы ограниченной тем, что уже мыслится в содержании субъекта суждения, если бы мысль о предмете не получила дальнейшего определения в предикате суждения.
Предикат полнее, точнее определяет ту часть мысли о предмете, которая выступает в данном суждении как субъект. А именно: к тем признакам предмета, которые мыслятся уже в содержании субъекта суждения, предикат прибавляет новые признаки. В нашем примере предикат утверждает, что предмет нашей мысли обладает не только теми признаками, которые принадлежат растениям, называемым «бамбуками», но что он обладает также теми признаками, которые принадлежат «злакам».
§ 5. Если бы в составе суждения были только субъект и предикат, то расширение мысли о предмете посредством добавления к той части содержания предмета, которая мыслится уже в субъекте, другой части содержания, мыслимой в предикате, было бы невозможно. Чтобы признаки, мыслимые в понятии предиката, оказались действительно связанными с признаками, мыслимыми в понятии субъекта, необходимо, чтобы в суждении кроме мысли о субъекте и предикате была налицо и мысль об отношении между ними. Поэтому третьим наряду с субъектом и предикатом логическим членом суждения является отношение. Пока у меня в мышлении имеется отдельно мысль о бамбуках и отдельно мысль о злаках, никакого суждения ещё нет. Но как только я уяснил себе отношение между бамбуками и злаками как отношение принадлежности всех бамбуков к классу злаков, — возникло суждение. В нём уже не просто мыслится понятие «бамбуки» и понятие «злаки». В нём мыслится и то отношение между этими понятиями, которое даёт нам основание для включения всего класса бамбуков в класс злаков.
§ 6. Отношение между субъектом и предикатом — важнейший логический член суждения. Хотя исходной во всяком суждении является мысль о предмете и хотя всё, что можно мыслить о предмете, имеет основание в самом предмете или в связях этого предмета с другими предметами, однако признаки предмета раскрываются для мысли только через отношение между субъектом и предикатом. Только это отношение и превращает мысль о субъекте и о предикате в высказывание, называемое суждением.
§ 7. Так как отношение между субъектом и предикатом есть важнейший логический член суждения, то классификация логических типов или видов суждения должна основываться на том, какие могут быть виды логических отношений между субъектом и предикатом суждения. Каков бы ни был субъект суждения, с логической точки зрения он всегда есть мысль о части признаков предмета. Каков бы ни был предикат суждения, с логической точки зрения он всегда есть мысль о какой-то другой части признаков предмета. Отношение между субъектом и предикатом, напротив, по своему логическому значению может быть различным.
Основные логические типы суждений
§ 8. По логическому характеру отношения, существующего между субъектом и предикатом, суждения делятся на три большие группы:
а) Первую группу, или первый тип, образуют суждения, в которых отношение субъекта и предиката мыслится как принадлежность свойства предмету. Примером суждений этого типа может быть суждение «хинин горек». Суждение это, как и всякое суждение, трёхчленно. Субъект в нём — понятие о хинине, предикат — понятие о свойстве горечи и отношение — подразумеваемое понятие о принадлежности свойства горечи хинину.
б) Вторую группу, или второй тип, образуют суждения, в которых отношение субъекта и предиката мыслится как принадлежность, но уже не свойства предмету, а предмета — классу предметов или класса предметов — другому классу предметов. Примером суждений этого типа может быть суждение «хинин — лекарственное вещество». Субъект в нём — то же понятие о хинине, предикат — понятие о лекарственных веществах и отношение — понятие о принадлежности хинина к классу лекарственных веществ.
в) Третью группу, или третий тип, образуют суждения, в которых отношение субъекта и предиката мыслится уже не как отношение принадлежности, а как отношение двух предметов (свойств, качеств и т. д.) по величине, по положению в пространстве, по последовательности во времени или одновременности, по интенсивности качеств, по связи причины и действия, по родству и т. д. Примерами этого типа суждений могут быть суждения: «хинин горше полыни», «А равно В», «Эльбрус выше Монблана», «Казань лежит к востоку от Москвы»; «Лев Толстой родился позже Тургенева»; «Иван — брат Петра» и т. д.
В суждениях о принадлежности (признака предмету, предмета классу предметов и одного класса предметов другому классу предметов) трёхчленный состав суждения не всегда явно выражен в грамматической форме предложения. В суждениях об отношениях третьего рода (об отношениях по величине, по пространству, по времени, по причине и действию) трёхчленный состав суждения в грамматической форме предложения обычно выражается словами: «равно», «больше», «меньше», «раньше», «одновременно», «позже», «сильнее», «слабее» и т.д.
§ 9. Так как в каждом суждении имеются три члена: 1) субъект, 2) предикат и 3) отношение между субъектом и предикатом, то состав суждения может быть схематически представлен общей формулой. Но так как отношение между субъектом и предикатом может выражать либо отношение принадлежности, либо отношение пространства, времени, величины, силы, причинности и т. д., то формула суждения будет в этих случаях не одна и та же.
Суждение типа «хинин горек» и суждение типа «хинин горше полыни» существенно отличаются друг от друга по своему логическому характеру.
Схемы, или формулы, суждения различаются также в зависимости от логического характера суждения. Логическое строение суждений о принадлежности выражается формулой:
S — P
В этой формуле S означает субъект суждения, Р — его предикат, а черта между S и Р — отношение принадлежности. При этом принадлежность может быть или принадлежностью свойства предмету, или принадлежностью предмета классу предметов, или принадлежностью одного класса предметов другому классу предметов.
Логическое строение суждения об отношениях пространства, времени, величины, причинности и т. д. выражается формулой:
aRb
Буква R — начальная буква слова «relation»— означает здесь отношение. Буквы а и b означают объекты мысли, между которыми рассматривается отношение. На логическую важность различия между суждениями принадлежности и суждениями об отношениях пространства, времени, величины, причинности и т. д. обратили внимание в новейшей литературе английские логики, начиная с Моргана, и французские логики, начиная с Лашелье.
Суждения, выражающие отношения принадлежности свойства предмету и предмета классу предметов, в дальнейшем называются нами суждениями о принадлежности. Суждения, выражающие отношения пространства, времени, величины, причинности, родства и т. д., в дальнейшем называются суждениями об отношениях. Формулой для суждений о принадлежности будет S—Р. Формулой для суждений об отношениях будет aRb.
Суждение как форма выражения истины
§ 10. Высказывание может иметь в мышлении самое различное назначение. Высказывание может выражать чувство («я люблю музыку Бородина»), желание («я хочу написать письмо отцу») и т. д.
В отличие от высказываний, выражающих чувство или желание, суждение есть логическая форма, в которой выражается истина. Истиной называется соответствие между предметом мысли и мыслью об этом предмете. Истинным называется суждение, в котором мысль наша, отражая действительность; во-первых, связывает то, что связано в самой действительности; во-вторых, в истинном суждении мысль наша связывает предметы и разделяет их именно таким образом, каким они связываются и разделяются в самой действительности.
Ложью или заблуждением называется несоответствие между предметом мысли и мыслью об этом предмете. Ложным называется суждение, в котором мысль наша, во-первых, связывает то, что не связано в самой действительности, и разделяет то, что в самой действительности связано. Так, суждение «гора Монблан находится в Азии» ложно, так как в суждении этом мысль наша пытается связать то, что в действительности разделено. В действительности Монблан находится в Европе, а не в Азии; во-вторых, суждение ложно даже в тех случаях, когда оно, пытаясь соединить то, что соединено в самой действительности, связывает предметы не так, как они связаны в самой действительности.
Как логическая форма мышления, всякое суждение есть ответ на известный вопрос, поставленный нашей мыслью. Поэтому первая задача при рассмотрении суждения состоит в том, чтобы правильно понять, на какой именно вопрос отвечает или пытается ответить данное суждение. Правильно поняв смысл вопроса, мы тем самым получаем известное понятие о предмете суждения, а понятие о предмете суждения показывает, в какой области следует искать те свойства или те отношения, которые принадлежат предмету и которые должны быть открыты в нём для нашей мысли и познания.
§ 11. Бывают суждения, которые достаточно высказать, чтобы все с ними согласились. В таких суждениях отношение между субъектом и предикатом, высказываемое суждением, очевидно. Отношение это верно отражает в нашей мысли ту связь, которая существует между предметами и их свойствами в самой действительности.
Но далеко не во всяком истинном суждении отношение между субъектом и предикатом, мыслимое в этом суждении, будет очевидным. Не во всяком суждении мы сразу видим, что утверждаемое в нём отношение между субъектом и предикатом таково, каково отношение между представляемыми ими объектами в действительности. Когда учитель впервые сообщает ученикам, что объём планеты Юпитер больше объёма Земли в 1 312 раз, из одного его утверждения ещё не видно сразу, что дело обстоит именно так. Чтобы убедить в этом, требуется привести доказательство.
Способность суждения выражать истину зависит от обоснования данного суждения или от средств, при помощи которых оно доказывается в качестве истинного. Для доказательства многих суждений (в особенности суждений о принадлежности) имеет значение: 1) будет ли данное суждение утвердительным или отрицательным, 2) общим или частным, 3) выражающим истину под известным условием или независимо от условия, 4) выражающим необходимую или всего лишь возможную связь явлений. Эти различия между суждениями называются в логике различиями по качеству, по количеству, по отношению и по модальности.
Качество суждения
§ 12. Качеством суждения называется его утвердительная или отрицательная форма. Суждение «все папоротники — растения споровые» есть суждение утвердительное. В утвердительном суждении мысль наша соединяет то, что мыслится как соединённое в самой действительности. Напротив, суждение «злаки — не споровые растения» есть отрицательное суждение. В отрицательном суждении мысль наша разъединяет, или разделяет то, что мыслится как разъединённое, или разделённое в самой действительности. Иными словами, в утвердительном суждении признаки, мыслимые в понятии предиката, не стоят в отношении противоположности с признаками, мыслимыми в понятии субъекта и указывающими на предмет суждения. Свойства споровых растений не стоят в отношении противоположности со свойствами растений, которые называются папоротниками.
Напротив, в отрицательном суждении признаки, мыслимые в предикате, стоят в отношении противоположности к признакам, мыслимым в понятии субъекта и указывающим на предмет суждения. Так, свойства споровых растений стоят в отношении противоположности к свойствам злаков.
§ 13. Если бы мы мыслили отдельными суждениями, то вопрос о качестве суждения в каждом особом случае решался бы очень просто. Всякое суждение с отрицательным высказыванием было бы суждением отрицательным, всякое суждение без отрицательного высказывания было бы суждением утвердительным.
В действительности, однако, мы мыслим не отдельными суждениями, но связываем суждения, сличаем их между собой, сопоставляем, различаем и т. д.
Сопоставление суждений обнаруживает, что качество суждения, т. е. его утвердительность или отрицательность, не есть то, что принадлежит суждению независимо от его отношения к другим суждениям. Одно и то же суждение оказывается и утвердительным и отрицательным — в зависимости от того, по отношению к каким другим суждениям мы будем его рассматривать.
Пусть у нас суждение «Николаев не защитил дипломного проекта». Если бы мы рассматривали это суждение как совершенно отдельное, мы сказали бы, что по качеству это суждение отрицательное.
Рассмотрим теперь это же самое суждение относительно двух других суждений. Сначала рассмотрим его относительно суждения «только лица, защитившие дипломный проект, имеют право на звание инженера». Совершенно очевидно, что по отношению к этому суждению смысл нашего суждения «Николаев не защитил дипломного проекта» будет отрицательным. И действительно: так как Николаев не защитил дипломного проекта, а во втором суждении речь идёт только о тех, кто защитил дипломный проект, то ясно, что Николаев не входит в число лиц, которых имеет в виду субъект этого суждения.
Теперь рассмотрим отношение нашего суждения к другому суждению. «Лица, не защитившие дипломного проекта, не имеют права на звание инженера». Совершенно ясно, что по отношению к субъекту этого второго суждения смысл нашего суждения «Николаев не защитил дипломного проекта» будет утвердительным. И действительно: во втором суждении имеются в виду лица, не защитившие дипломного проекта. Но Николаев, как видно из нашего суждения, принадлежит именно к этим лицам. Таким образом, наше суждение «Николаев не защитил дипломного проекта» оказалось одновременно и отрицательным и утвердительным. Однако и в том и в другом случае смысл этот будет относительно утвердительный и относительно отрицательный. Это значит, что качество суждения не есть его безусловное свойство. Качество суждения зависит от того, с какими суждениями и с какими понятиями в суждениях мы сопоставляем смысл высказывания, качество которого мы хотим определить.
Сложность задачи увеличивается вследствие некоторой неопределённости и двусмысленности языка. Часто одна и та же в логическом отношении мысль может быть выражена как при помощи отрицания, так и без помощи отрицания. Суждения «вода есть сложное тело» и «вода не есть простое тело» выражают одну и ту же мысль, но в первое предложение не входит отрицательная форма, а во второе входит.
§ 14. Качество — очень важная характеристика суждения. Утверждение или отрицание непременно мыслится во всяком суждении. Всякое суждение есть ответ на вопрос, поставленный мыслью об отношении между субъектом и предикатом. Но ответ этот непременно будет состоять или в том, что мысль соединит понятия, предметы которых соединены между собой, или, напротив, разделит эти понятия, если предметы их не стоят в связи между собой.
Количество суждения
§ 15. По количеству суждения бывают общие, частные и единичные. Суждение «все птицы — теплокровные животные» есть пример общего суждения. В таком суждении субъектом является целый класс предметов во всём своём объёме.
Суждение «некоторые птицы улетают на зиму в тёплые края» есть пример частного суждения. В таком суждении субъектом является не весь класс предметов ( в нашем примере класс птиц), но только некоторая часть этого класса.
Таким образом, различия между суждениями по количеству обусловливаются тем, мыслится ли посредством субъекта суждения целый класс или часть класса. Но будет ли данное суждение общим или частным, — смысл высказывания всегда относится ко всей той части объёма понятия о предмете, которая представлена субъектом данного суждения. В суждении «некоторые птицы улетают на зиму в тёплые края» смысл высказывания относится ко всей той части объёма понятия «птицы», которая представлена субъектом, т. е. ко всем перелётным птицам, хотя перелётные птицы составляют только часть всего класса птиц.
§ 16. Только общие суждения выражают истинность известного утверждения относительно целого класса предметов. Так, закон Ньютона утверждает, что устанавливаемое его формулой тяготение распространяется на любые две части вещества, в какой бы части вселенной они ни находились. Знание, что известное положение будет истинным для всего класса в целом, имеет огромное познавательное и практическое значение. Если мы знаем, что познанная нами связь явлений одинакова в границах всей области этих явлений, то наша практическая ориентировка, наша способность предвидеть ход этих явлений в ещё не испытанных нами случаях достигают величайшей уверенности. Если бы Леверрье не был уверен в том, что ньютоновский закон тяготения сохраняет свою силу и за орбитой Урана — последней известной до 1846 г. планеты солнечной системы, то Леверрье не взялся бы за свои вычисления, и планета Нептун не была бы открыта. Эту уверенность внушила ему общность ньютоновского закона, который был сформулирован как закон всемирного тяготения.
Большое число законов природы выражается в форме общих суждений. Чем более общую форму имеет суждение, чем больше та часть класса, для которой данное суждение будет истинным, тем более точным становится наше предвидение ожидаемого порядка вещей и событий, тем более успешным и плодотворным становится основанное на таком предвидении практическое действие.
В соответствии со сказанным формула общего суждения будет: «все S — Р» (для суждений о принадлежности).
Но не во всех случаях перед субъектом общего суждения имеется слово «все», прямо указывающее, что субъект, представляет весь класс. Часто слово «все» лишь подразумевается, однако суждение от этого не перестаёт быть общим. Так, суждение «вертикальные углы равны между собой» есть, конечно, суждение общее.
§ 17. Иную роль играют в познании суждения частные. Так, суждение «некоторые растения суть паразиты», разумеется, расширяет наше знание. Но, расширяя наше знание о совместимости признаков в понятиях «растение» и «паразит», это суждение оставляет совершенно невыясненным вопрос, для какой части растений свойства растения оказываются совместимыми со свойствами паразитов. Смысл этого суждения таков: какая-то, в точности неизвестно какая, часть растений суть паразиты. Эта неопределённость означает, что относительно любого растения, с каким мы можем встретиться в нашем опыте, у нас не может быть наперёд никакой уверенности в том, окажется оно паразитом или нет. Вопрос этот требует особого в каждом случае рассмотрения. Напротив, когда общим суждением выражен закон природы, мы твёрдо знаем, что и за пределами рассмотренных нами до сих пор фактов утверждаемое законом общее отношение сохраняет всю свою силу. Например, исследование так называемых двойных звёзд, т. е. звёзд, проектирующихся на небесном своде чрезвычайно близко друг к другу, показало, что часть этих звёзд — звёзды орбитальные: будучи связаны физически между собой, звёзды эти движутся по орбитам вокруг общего центра притяжения. Распространение всеобщего ньютоновского закона тяготения на орбитальные двойные звёзды позволило легко вычислить массы этих звёзд при помощи тех самых приёмов, которые дали возможность определить сравнительные массы планет солнечной системы.
§ 18. Формула частного суждения (для суждений принадлежности)— «некоторые S—Р». В этой формуле слово «некоторые» вполне определённо — поскольку оно означает часть класса. Но это слово недостаточно определённо — поскольку из него не видно, какую именно часть класса оно представляет. Слово это, во-первых, может означать «только некоторые», т. е. «не все», и, во-вторых, может означать «по крайней мере некоторые», т. е. «не один единственный экземпляр данного класса». Если слово «некоторые» имеет смысл «по крайней мере некоторые», то это значит, что не исключена и возможность, что все S, а не только часть их окажутся Р.
§ 19. Кроме общих и частных суждений с точки зрения количества различаются также ещё единичные суждения.
Формула единичного суждения (для суждений о принадлежности): «это S—Р».
Единичные суждения, разумеется, не могут выражать истин, имеющих значение общего закона или характеризующих свойства целого класса явлений. То, что в этих суждениях высказывается, имеет силу только относительно одного единственного предмета. Но это отнюдь не значит, будто единичное суждение не имеет ценности для знания. Насколько ценным будет единичное суждение, это зависит от того значения, какое имеет для знания предмет такого суждения. Суждение «эта птица — соловей» имеет ограниченное познавательное значение, так как данный соловей есть лишь рядовой экземпляр класса соловьев.
Иного рода пример единичного суждения мы имеем в суждении: «Александр Васильевич Суворов — великий русский полководец, взявший штурмом турецкую крепость Измаил». И это суждение по форме — единичное. Но оно относится уже не к рядовому, не к безразлично какому предмету класса. Суждение это относится к лицу, представляющему чрезвычайно большое значение в истории нашей страны. В своём предикате суждение это отмечает одно из величайших деяний Суворова. Такого рода единичные суждения играют большую роль в составе знания, особенно в науках исторических, а также в науках описательных: в описательной астрономии, в географии и т. д.
§ 20. Таким образом, различие между общими, частными и единичными суждениями нельзя понимать так, будто для знания только общие суждения имеют большую ценность, что частные суждения имеют меньшую ценность, а единичные — ещё меньшую.
Каждая из этих форм суждения имеет свою ценность и свою область, где она главным образом применяется. Существуют задачи и вопросы, для решения которых частные и единичные суждения пригодны более, чем общие, или для ответа на которые годятся только частные и только единичные суждения.
Если я хочу показать, что свойства растения и свойства паразита могут быть совместимы, то для решения этой задачи мне нет никакой необходимости доказывать, что все растения суть паразиты: достаточно убедиться в том, что некоторые растения — паразиты. Попытка решить эту задачу, опираясь на общее суждение, как раз, наоборот, привела бы к неудаче, так как в действительности отнюдь не все растения, а только часть — паразиты.
И точно так же, если я хочу написать биографию крупного политического деятеля, полководца, учёного, писателя и т. д., мне на каждом шагу придётся высказывать о нём ряд единичных суждений, которые не могут быть заменены частными или общими. И тем не менее такие единичные суждения имеют важное значение и совершенно незаменимы: только они обрисовывают именно это лицо со всеми особыми чертами его характера и деятельности, со всеми событиями и деяниями, в которых оно участвовало.
§ 21. Но все три формы количества суждения не только имеют каждая свою область применения. Формы эти, кроме того, не отделены одна от другой безусловным образом. Они связаны между собой, каждая предполагает обе другие.
Так, общее суждение не может мыслиться независимо от частного и единичного. Чтобы убедиться в истинности общего суждения, например, что все злаки имеют соцветия в форме колосков , необходимо предварительно знать, что «некоторые злаки цветут колосками». Я знаю, что рожь, пшеница, просо, овёс, т. е. некоторые злаки, цветут колосками. Но я знаю, что кроме этих видов злаков есть ещё и другие: и кукуруза, и бамбук, и рис. Выяснив, какие существуют ещё злаки кроме рассмотренных, и убедившись, что и все остальные злаки также цветут колосками, я вправе высказать уже общее суждение: «Все злаки цветут колосками».
Здесь к общему суждению мы пришли от частного. Такой переход наша мысль делает на каждом шагу. И это вполне понятно: общее положение обычно не видно сразу. Тысячелетия люди видели, как пар, охлаждаясь, превращается в воду. Однако прошло немало времени, понадобилась огромная работа наблюдения, опыта и мысли, чтобы от знания этого факта люди дошли до знания того, что всякий газ может быть превращён в жидкое тело. Сначала установили, что некоторые газы могут быть при особых для каждого условиях превращаемы в жидкости. На этой стадии обобщение распространялось только на часть газов, другие ещё не поддавались превращению. Поэтому суждение, выражающее свойство газов сжижаться в жидкость, могло быть только частным. И только впоследствии, когда техника опытов позволила достигать весьма низких температур, было установлено, что любой газ может при достаточном для него охлаждении стать жидкостью. На этой стадии обобщение стало полным, а суждение «все газы сжижаются в жидкости», выражающее его результат, — общим.
Такой путь превращения единичного положения в частное, а частного — в общее проходят многие суждения. В каждый момент развития науки в ней существуют такие частные суждения, которые находятся на переходе к суждениям общим; сегодня такое суждение ещё частное, для полного обобщения нехватает данных, но завтра эти данные могут быть найдены, и суждение из частного станет общим.
Постоянно существующая возможность перехода частного суждения в общее отражается в некоторой двусмысленности частного суждения. Мы уже видели, что суждение типа «некоторые S—Р» может иметь различный смысл. Его можно понять так, что только часть S—Р, а другая часть S — не-Р. И его можно понять так, что по крайней мере некоторые S—Р. В последнем случае не исключена возможность, что даже все S окажутся Р. Возможность эта постоянно имеется для многих положений науки, находящихся на пути к полному обобщению.
§ 22. Но и независимо от возможности перехода частного суждения в общее всяким общим суждением предполагаются суждения частные и единичные. И это справедливо даже относительно суждений математики.
И действительно, даже мысля общие суждения математики, мы не мыслим их в безусловной отдельности от суждений частных и единичных. Общность теоремы означает, что эта теорема, будучи справедлива относительно целого класса математических предметов — фигур, величин и т. д.,— будет справедлива и для некоторой части этого класса и для единичного представителя класса. Так как верно, что все равносторонние треугольники равноугольны, то должно быть верно и то, что некоторые равносторонние треугольники равноугольны, и то, что этот данный равносторонний треугольник равноуголен.
Но и единичное суждение не мыслится отдельно от общего. Хотя суждение «эта птица — соловей» имеет силу только относительно данной и никакой другой птицы, суждением о ней предполагаются общие суждения. Чтобы отождествить данную птицу с соловьём, я должен иметь точное понятие о целом ряде существенных свойств, общих для всех cоловьёв. Суждение единичное — по предмету высказывания — предполагает усвоение целого ряда общих знаний, выражаемых посредством общих суждений.
§ 23. Вопрос о качестве и о количестве суждения имеет большое значение в логических операциях, называемых умозаключениями, или выводами, а также в доказательствах. Учитывая важность характеристики суждения по качеству и количеству для суждений, обосновывающих выводы о принадлежности, логика выработала систему обозначений, при помощи которых качество и количество любого суждения о принадлежности выражаются одной буквой. Суждения общие по количеству и утвердительные по качеству (например, «все жидкости упруги») называются общеутвердительными и обозначаются латинской буквой А. Суждения частные по количеству и утвердительные по качеству (например, «некоторые металлы — сплавы») называются частноутвердительными и обозначаются латинской буквой I. Буквы А и I — первая и вторая гласные латинского глагола «affirmo», означающего «утверждаю». Суждения общие по количеству и отрицательные по качеству (например, «ни один паук не есть насекомое») называются общеотрицательными и обозначаются латинской буквой Е. Наконец, суждения частные по количеству и отрицательные по качеству (например, «некоторые вещества не растворяются в воде») называются частноотрицательными и обозначаются латинской буквой О. Буквы Е и О — первая и вторая гласные латинского глцгола «nego», означающего «отрицаю».
Виды суждений по отношению
§ 24. Рассмотрим следующие три суждения: 1) «тюлени — животные млекопитающие»; 2) «если линии АВ и CD параллельны каждая порознь третьей линии EF, то АВ и CD параллельны между собой»; 3) «углы бывают или тупые, или прямые, или острые». Не обращая внимания на различия между этими суждениями по качеству и по количеству, рассмотрим, какие различия существуют между ними в зависимости от характера самого высказывания. В каждом из этих трёх суждений характер высказывания обусловлен содержанием предмета суждения. Так, в суждении «тюлени — животные млекопитающие» основанием для этого утверждения является то, что животные, называемые тюленями, действительно обладают всеми существенными свойствами млекопитающих. Подобным же образом основанием для суждения «если две линии параллельны третьей, то они параллельны между собой» также является содержание его предмета, т. е. свойство двух линий, параллельных третьей: так как такие линии параллельны между собой, то всюду, где даны две линии, параллельные каждая порознь третьей, они окажутся параллельными между собой. Наконец, в суждении «углы бывают или тупые, или прямые, или острые» основанием для этого высказывания также будет то, что класс предметов, называемых углами, содержит в себе только эти три вида углов, сумма которых полностью исчерпывает его объём.
Но хотя, таким образом, во всех трёх суждениях высказывание обусловлено содержанием и свойствами предмета, способ этой обусловленности оказывается в каждом случае различным. В суждении «тюлени — животные млекопитающие» условием высказывания являются те свойства предмета, которые действительно имеются и найдены в его содержании. Поэтому в суждении этом утверждение высказывается категорически, т. е. без ограничения какими бы то ни было условиями, кроме тех, которые найдены в самом содержании предмета.
Напротив, в сложном суждении «если две линии параллельны каждая порознь третьей, то они параллельны между собой» утверждаемое в высказывании оказывается действительным только при известном условии, которое формулируется тут же, в самом суждении. Условие это выражается суждением, начинающимся условным союзом «если». Чтобы признать две данные линии АВ и CD параллельными между собой, здесь необходимо — в качестве условия истинности утверждения — допустить или принять, что обе эти линии АВ и CD параллельны третьей линии ЕF. Такое сложное суждение, в котором истинность высказывания стоит в зависимости от условия, которое формулируется в самом суждении, называется условным, или гипотетическим.
Общей схемой условных суждений о принадлежности будет формула: «если А есть В, то С есть D».
§ 25. Суждения утвердительные — поскольку в них раскрываются признаки, действительно принадлежащие предмету, представляют иную ценность для знания, чем суждения отрицательные, в которых отмечается только, какие признаки не принадлежат предмету. Общие суждения применяется в знании иначе, чем суждения частные. Категорические и гипотетические суждения также имеют различное значение для знания. Так как в категорических суждениях утверждаются такие свойства предмета, которые мыслятся как найденные в самом предмете, то категорические суждения представляют иное значение для знания, чем суждения гипотетические, в которых истинность высказывания зависит от истинности условия, ещё не найденного в самом предмете, но только предполагаемого и сформулированного в самом суждении. .
Это не значит, однако, будто гипотетические суждения не имеют ценности для знания. Гипотетические суждения играют большую роль во всех науках. Ни в каком действительном предмете не существует линий, которые имели бы только длину. Однако математик предполагает, что линии, которые он рассматривает в своих рассуждениях и доказательствах, именно таковы. Предположив такие линии, математик устанавливает далее, какие отношения необходимо должны быть между этими линиями, раз принято условие, что они мыслимы.
Но и в других науках широко распространён и имеет большое значение приём, состоящий в том, что, предположив, будто известные условия выполнены или имеются налицо, учёный делает логические выводы относительно всего того, что вытекает с логической необходимостью из предположенных им условий. Никто, например, не присутствовал при процессе возникновения звёздных туманностей. Но астрофизик, предположив известные механические и динамические условия вещества, распределённого известным образом в пространстве, исследует затем, какие процессы должны были бы развиваться там, если бы такие условия оказались налицо. Так возникают ценные научные догадки о возможном ходе развития звёздных туманностей, солнечной системы и т. д.
Во всех суждениях и исследованиях такого рода условна не сама истина, как таковая, но лишь то предположение, сделав которое мы пришли к установлению истины. Что две линии АВ и CD, параллельные каждая порознь третьей линии EF, параллельны между собой, — в этом высказывании нет ничего условного; оно необходимо следует из предположенного условия — из параллельности каждой из двух данных линий третьей. Вопрос идёт лишь о том, в какой мере предположенное условие достоверно: вероятно оно или действительно. В категорических суждениях вопрос этот не ставится, так как в этих суждениях условия истинности мыслятся как найденные в самом предмете. Поэтому категорические суждения должны быть отличаемы от гипотетических.
§ 26. Это не значит, разумеется, будто одна лишь форма категорического суждения, как таковая, уже обеспечивает истинность высказывания. В категорическом суждении условие его истинности мыслится как найденное в самом предмете. Но «мыслится» ещё не значит «действительно существует» в предмете. Одна лишь субъективная уверенность в том, что известное условие коренится в самом предмете, не есть ещё достаточное доказательство того, что дело действительно обстоит так, как мыслится. Преимущество категорического суждения является бесспорным лишь там, где условия его истинности действительно найдены в самом предмете. Если же высказывающему только кажется, будто они найдены в предмете, то одна лишь форма категорического суждения, сама по себе взятая, не обеспечит истинности высказывания.
§ 27. Мы уже не раз замечали, что между логическим значением суждения и его грамматической формой не всегда бывает полное соответствие. Так обстоит дело и в случае различения видов суждения по отношению. Так как в категорических суждениях истинность высказывания также определяется известными условиями, существующими и найденными в самом предмете, то и категорическое суждение может быть высказано в форме сложного предложения с условным придаточным предложением, начинающимся союзом «если». Так, суждение «планеты имеют видимое собственное движение между звёздами» может быть выражено и в такой форме: «если светило — планета, то оно имеет видимое собственное движение между звёздами». Однако это сходство грамматической формы предложения с логической формой условного суждения не делает взятое в нашем примере суждение подлинно условным или гипотетическим.
§ 28. Третий вид отношения представляют суждения разделительные (дисъюнктивные). В разделительном суждении относительно субъекта суждения высказывается ряд предикатов, сумма которых исчерпывает все виды рода, представленного субъектом. Каждый из них, во-первых, исключает все остальные и, во-вторых, относится ко всем остальным таким образом, что данный предикат необходимо должен утверждаться относительно субъекта, если все остальные предикаты отрицаются относительно него. Так, прямоугольностью исключается и тупоугольность и остроугольность. С другой стороны, угол необходимо должен быть признан прямым, если установлено, что он не является ни тупым, ни острым.
Особенность разделительного суждения состоит в том, что суждение это одновременно выражает и наше знание о предмете и неполный, недостаточный характер этого знания. И действительно, разделительное суждение оставляет совершенно невыясненным вопрос о том, какой именно из всех возможных в данном случае предикатов должен утверждаться относительно субъекта. Но в то же время разделительное суждение показывает, что предикаты не могут сразу все вместе принадлежать субъекту: связь их такова, что если один из них принадлежит субъекту, то все другие не могут принадлежать ему.
Общей схемой разделительного суждения о принадлежности будет формула: «А есть или В, или C, или D».
§ 29. Разделительный характер суждения, однако, не может быть установлен на основании одного только присутствия в составе предложения разделительного союза «или», поставленного между несколькими сказуемыми. В подлинно разделительном суждении предикаты, которые могут быть приписаны субъекту, должны взаимно исключать друг друга. Напротив, грамматический союз «или» вовсе не обязательно выражает несовместимость сказуемых. В предложении «реки бывают или судоходные или не судоходные» союз «или» разделяет несовместимые сказуемые. Поэтому суждение, выражаемое этим предложением, будет разделительным. Но в предложении «хорошие работники бывают или талантливы или трудолюбивы» союз «или» вовсе не выражает несовместимости сказуемых. Хороший работник не только может быть одновременно и талантливым и трудолюбивым, но самым лучшим работником будет именно тот, который совмещает в себе оба эти качества. Поэтому суждение «хорошие работники бывают или талантливы или трудолюбивы» не есть, разумеется, разделительное суждение.
Но этого мало. Союз «или» даже в том случае, когда он имеет разделительное значение, не является обязательно необходимым для разделительного суждения. Он может быть заменён простым перечислением членов деления или союзом «и». Так, суждение «деревья бывают лиственные и хвойные» есть суждение разделительное. В этом суждении роль разделительного союза «или» играет союз «и». Точно так же суждение «науки бывают естественные, общественные» есть суждение разделительное. В нём разделительный союз «или» заменён простым перечислением предикатов. Как во всяком разделительном суждении, и в этом суждении каждым предикатом исключаются все остальные и каждый предикат необходимо должен принадлежать субъекту, если все прочие предикаты не принадлежат ему.
Разделительные суждения так же, как категорические и гипотетические, характеризуют суждение по отношению. Во всех трёх случаях отношения имеется известное условие, определяющее истинность высказывания. Иначе и не может быть. Истинное суждение отражает в мысли то, что есть в действительности. Но всё, что существует в действительности, всегда так или иначе обусловлено, зависит от условий места, времени, от обстоятельств и т. д. В случае категорического суждения условие это мыслится в качестве найденного в самом предмете и потому не формулируется в самом суждении. В случае гипотетического суждения условие это формулируется в самом суждений или выдвигается самой мыслью и мыслится в качестве предположения. В случае разделительного суждения условием высказывания является исчерпывающее разделение всего объёма субъекта и исключение каждым из возможных предикатов всех остальных предикатов.
Разделительное суждение только определяет круг предикатов, которые могут принадлежать субъекту, но не указывает, какой из них именно должен быть ему приписан. Поэтому в сравнении с категорическим и даже условным суждениями, в которых мыслится определённый, хотя и по-разному обоснованный предикат, разделительное суждение оказывается менее определённым.
Модальность суждений
§ 30. Одним из важнейших свойств суждения является его способность выражать необходимость или всего лишь вероятность утверждаемого суждением отношения между субъектом суждения и его предикатом. Эти различия между суждениями называются различиями по модальности.
Рассмотрим два суждения: «Во всяком плоском треугольнике сумма его внутренних углов необходимо равняется двум прямым» и «В Москве в мае может случиться снегопад». Суждения эти существенно отличаются друг от друга и представляют совершенно различное значение для знания. В первом из них высказывание мыслится как необходимо обусловленное предметом, и связь субъекта с предикатом мыслится как связь необходимая. Во втором суждении утверждение мыслится как всего лишь вероятное, т. е. как такое, которое, хотя и не стоит ни в каком противоречии с предметом и с понятием о нём (субъектом), однако не только не является необходимым, но не исключает возможность и отрицания предиката относительно субъекта. В том, что в Москве в мае может ещё быть снегопад, нет ничего невероятного, несовместимого с погодой месяца, который мы называем маем. Но в этом событии, которое само по себе вполне возможно, нет и ничего необходимого: снегопад в мае может быть, но может и не быть.
Суждения первого типа, выражающие необходимость утверждения, обусловленную самим предметом, называются достоверными, или аподиктическими. Суждения второго типа, выражающие вероятность высказываемого утверждения и в то же время отсутствие для него непреложной необходимости, т. е. возможность и противоположного утверждения, называются вероятными, или проблематическими.
§ 31. Модальность суждения, т. е. принадлежность его к числу необходимых или вероятных, выражает вовсе не одну лишь субъективную степень уверенности относительно достоверности высказывания. Необходимость и вероятность, выражаемые аподиктическими и проблематическими суждениями, имеют основание в объективной действительности, в самом предмете и в отношении его к другим предметам. Необходимость и вероятность не зависят от того, каким образом высказывающий осознаёт и переживает эту достоверность и эту вероятность в своей мысли. Напротив, субъективный способ, посредством которого каждый человек, мыслящий данное суждение, усматривает его необходимость или вероятность, будет в каждом особом случае другим.
Логика рассматривает в суждениях только те различия, которые обусловлены отношениями необходимости, или вероятности, не зависящими от психологических состояний большей или меньшей уверенности. Однако способность аподиктического суждения выражать необходимое отношение между понятиями субъекта и объекта не может быть усмотрена из одной лишь формы суждения. Так, ложное суждение «пауки необходимо суть насекомые» не будет аподиктическим, несмотря на наличие слова «необходимо», поставленного перед предикатом. Необходимость отношения усматривается только из доказательства. Этим модальность суждения отличается от качества, количества и отношения, где принадлежность суждения к соответствующему виду усматривается уже из самой формы суждения.
§ 32. С этой точки зрения, аподиктические суждения, как суждения о необходимости, должны быть поставлены выше суждений только вероятных или проблематических. Утверждение, в котором отношение между субъектом и предикатом мыслится как отношение необходимое, способно стать вполне надёжной основой для ряда предвидений и расчётов. Если мне известно, что тело, погружённое в жидкость, необходимо теряет в своём весе ровно столько, сколько весит жидкость, вытесняемая этим телом при его погружении, то необходимость этого положения может быть использована для соответствующих расчётов и действий решительно всюду, где тело погружается в жидкость.
Напротив, в случае проблематического суждения надёжность основанного на нём предвидения или практического расчёта всецело зависит от того, какова степень выражаемой в суждении вероятности и какими способами эта степень может быть вычислена или установлена. Если известно, что в мае в условиях московского климата возможен снегопад, то практически считаться с этим обстоятельством приходится, очевидно, только в зависимости от того, насколько велика степень этой вероятности. Если она весьма велика, то земледелец, садовод, огородник, железнодорожник должны очень серьёзно считаться с этой возможностью, подготовлять и осуществлять одни меры, воздерживаться от других и т. д. Если она ничтожно мала, то практически она не принимается во внимание.
В случае вероятных суждений относительно каждого особого случая остаётся невыясненным, наступит ли именно в этом случае возможное событие или нет. Поэтому проблематические суждения, будучи определённой формой знания, дают для каждого отдельного случая знание менее определённое, чем суждения аподиктические.
Но это не значит, будто суждения о вероятности не имеют практической и познавательной ценности. Сколь бы малой ни была точность, с какой в проблематическом суждении определяется возможность или вероятность известного положения, известного события, — с этой вероятностью нельзя не считаться. В местностях, где возможны сильные землетрясения, приходится считаться с их вероятностью при планировке селений, при разработке типов, материалов архитектурных сооружений и т. д. Архитектор, вводящий в свой технический проект детали, имеющие целью повысить способность постройки устоять во время землетрясения, не знает достоверно, когда в точности произойдёт следующее разрушительное землетрясение. Но если ему известна степень вероятности этого события — средняя частота, предельная интенсивность сильных землетрясений, возможных в данной местности, — он непременно должен учесть эти данные в своих планах и расчётах.
§ 33. В математике разработан чрезвычайно важный в практическом отношении раздел этой науки — исчисление вероятностей. Исчисление вероятностей играет огромную роль в науках о природе, в науках об обществе и во многих отраслях и расчётах практической жизни. Это значение исчисления вероятностей вполне понятно. Оно основано на факте, в силу которого достоверностью отличается лишь очень небольшая часть всех наших суждений и истин. По многим вопросам, в том числе по вопросам, представляющим величайший теоретический интерес и величайшее практическое значение, могут быть даны только такие ответы, в которых раскрывается вероятность, но никак не полная достоверность. Но каким бы малоценным ни представлялось подобное знание сравнительно с аподиктическими суждениями, раскрывающими необходимые отношения предметов и понятий, — ни наука, ни практическая деятельность не могут пренебречь проблематическими суждениями и методами исчисления вероятностей. Практическая жизнь часто требует определённых действий, которые должны быть выполнены — независимо от того, достоверны или только вероятны условия этих действий. Кто захотел бы довольствоваться только вполне достоверным знанием, тот был бы обречён при решении громадного множества вопросов и практических задач на полное незнание и на практическую бездеятельность.
Как верно заметил английский философ Локк, человеку, который не захотел бы есть, пока он не получит доказательств того, что пища напитает его, и который не захотел бы шевельнуть пальцем, пока он безошибочно не узнает, что предстоящее ему дело наверняка будет иметь успех, — такому человеку осталось бы только спокойно сидеть и погибнуть.
§ 34. Всё, что существует, существует в силу известной причины и в этом смысле существует по необходимости. Однако характер существования всего, что имеет причину для своего бытия, бывает двоякий. Всё существует или так, что оно не могло бы никоим образом оказаться несуществующим, или же оно существует так, что могло бы при иных условиях оказаться и не существующим.
Рассмотрим с этой точки зрения два суждения: 1) «Лев Толстой родился 28 августа 1828 г.» и 2) «квадрат, построенный на гипотенузе прямоугольного треугольника, равняется сумме квадратов, построенных на его катетах». И в первом и во втором суждении мыслится необходимое отношение между субъектом суждения и его предикатом. Лев Толстой не мог родиться в другой день, чем тот, в который он родился. Столь же необходимо отношение между субъектом и предикатом во втором суждении. Однако характер этой необходимости в обоих суждениях не один и тот же. Необходимость, мыслимая в первом суждении («Лев Толстой родился 28 августа 1828 г.») есть необходимость одного лишь факта. Поэтому не существует никакого противоречия между тем, что мыслится в этом суждении, и предположением, что при иных условиях Лев Толстой мог бы и не родиться 28 августа 1828 г.
Напротив, во втором суждении — «квадрат, построенный на гипотенузе прямоугольного треугольника, равен сумме квадратов, построенных на его катетах», — необходимость мыслимого отношения такова, что возможность всякого иного отношения исключается.
На основании этого различия в характере необходимости суждения первого рода («Лев Толстой родился 28 августа 1828 г.») называют ассерторическими, т. е. просто констатирующими известный факт (без отрицания возможности противоречащего ему факта). В отличие от ассерторических аподиктические суждения утверждают такое отношение между субъектом и предикатом, которое, будучи фактом, исключает возможность противоречащего ему факта. Таково наше суждение «квадрат, построенный на гипотенузе прямоугольного треугольника, равен сумме квадратов, построенных на его катетах».
В ассерторических суждениях, или суждениях о наличных фактах, мыслимое в них отношение между субъектом и предикатом удостоверяется посредством простого восприятия или констатирования факта. Отсюда название таких суждений «ассерторические» — от латинского глагола «asserto» («уверяю»).
В аподиктических суждениях, или суждениях, в которых мыслимое в них отношение между субъектом и предикатом исключает возможность противоречащего отношения, утверждаемое отношение удостоверяется посредством доказательства, выясняющего непреложную необходимость мыслимого отношения. Отсюда название таких суждений — «аподиктические»— от греческого слова «аподейкис» («доказательство»)
Задачи
1. Укажите логический субъект и логический предикат в следующих суждениях: «в июле дни становятся короче»; «врагу не остановить наступления Красной Армии»; «Москва — столица Советского Союза»; «давно полковники, а служите недавно»; «изгнать неприятеля из русской земли было главной задачей Кутузова в войне 1812 г.»; «хвощ — споровое растение»; «не красна изба углами, а красна пирогами»; «далеко кулику до Петрова дня»; «некоторые птицы строят гнёзда в земле»; «сильнее кошки зверя нет»; «внешний угол треугольника равен сумме двух внутренних, несмежных с ним»; «материалом для ваяния служит дерево, камень, металл, гипс».
2. В каждой паре следующих суждений определите качество второго по порядку суждения — сначала безотносительно, а затем по отношению к предшествующему ему первому суждению: «лица, страдающие дальтонизмом, не могут быть водителями, железнодорожными сторожами, сигнальщиками и т. д.» и «Петров не страдает дальтонизмом»; «чтобы учиться в музыкальной школе, не требуется обязательно обладать абсолютным слухом» и «Сергеев не обладает абсолютным слухом»; «не сведущий в математике не может быть астрономом» и «Краснов получил превосходное математическое образование».
3. Определите количество суждений: «человек — общественное животное»; «одна половина земного шара называется восточным полушарием, другая — западным»; «некоторые деревья (эвкалипты) не дают тени»; «один в поле не воин»; «совесть — когтистый зверь, скребущий сердце»; «этот человек всегда причина мне ужасного расстройства»; «астрономические приборы — точные приборы»; «некоторые звёзды периодически изменяются в яркости»; «истинные герои не кичатся своими подвигами»; «блажен, кто посетил сей мир в его минуты роковые».
4. Придумайте два суждения типа I и три суждения типа Е.
5. Определите вид отношения в каждом из следующих суждений: «коли в товарищах согласья нет, на лад их дело не пойдёт»; «тела бывают простые и сложные»; «если враг не сдаётся, его уничтожают»; «если углы в треугольнике все равны между собой, то равны между собой и все его стороны»; «в густых еловых лесах живёт мало птиц и мало насекомых»; «придёшь — увидишь»; «дай сердцу волю — заведёт в неволю»; «источником движения может быть или живая сила, или пар, или электричество, или энергия падающей воды, или энергия внутреннего сгорания»; «некоторые планеты имеют спутников»; «многие великие полководцы начинали свою службу с рядового»; «охота бывает посезонная и в течение всего года»; «если температура у человека подымается выше 37 градусов, то это значит, что человек этот болен»; «центры бывают краевые, областные, республиканские, союзные, всесоюзные».
6. Определите модальность суждений: «сильный озноб может быть одним из признаков малярии»; «площадь треугольника равняется половине произведения основания на высоту»; «причиной пожара бывает воспламенение плотно сложенного сырого сена»; «на небе — ни облачка»; «Суворов совершил героический поход через Альпы»; «в мае возможны заморозки»; «капиталистическое устройство общества необходимо порождает противоречия в общественной жизни»; «герой не боится смерти»; «пожалуй, он прав»; «картофель может дать урожай сам-двадцать»; «в мире не может быть ничего неподвижного и неизменного».