ЛОГИКА

§ 9. Так как в каждом суждении имеются три члена: 1) субъект, 2) предикат и 3) отношение между субъектом и предикатом, то состав суждения может быть схематически представлен общей формулой. Но так как отношение между субъектом и предикатом может выражать либо отношение принадлежности, либо отношение пространства, времени, величины, силы, причинности и т. д., то формула суждения будет в этих случаях не одна и та же.

Суждение типа «хинин горек» и суждение типа «хинин горше полыни» существенно отличаются друг от друга по своему логическому характеру.

Схемы, или формулы, суждения различаются также в зависимости от логического характера суждения. Логическое строение суждений о принадлежности выражается формулой:

S — P

В этой формуле S означает субъект суждения, Р — его предикат, а черта между S и Р — отношение принадлежности. При этом принадлежность может быть или принадлежностью свойства предмету, или принадлежностью предмета классу предметов, или принадлежностью одного класса предметов другому классу предметов.

Логическое строение суждения об отношениях пространства, времени, величины, причинности и т. д. выражается формулой:

aRb

Буква R — начальная буква слова «relation»— означает здесь отношение. Буквы а и b означают объекты мысли, между которыми рассматривается отношение. На логическую важность различия между суждениями принадлежности и суждениями об отношениях пространства, времени, величины, причинности и т. д. обратили внимание в новейшей литературе английские логики, начиная с Моргана, и французские логики, начиная с Лашелье.

Суждения, выражающие отношения принадлежности свойства предмету и предмета классу предметов, в дальнейшем называются нами суждениями о принадлежности. Суждения, выражающие отношения пространства, времени, величины, причинности, родства и т. д., в дальнейшем называются суждениями об отношениях. Формулой для суждений о принадлежности будет S—Р. Формулой для суждений об отношениях будет aRb.

Суждение как форма выражения истины

§ 10. Высказывание может иметь в мышлении самое различное назначение. Высказывание может выражать чувство («я люблю музыку Бородина»), желание («я хочу написать письмо отцу») и т. д.

В отличие от высказываний, выражающих чувство или желание, суждение есть логическая форма, в которой выражается истина. Истиной называется соответствие между предметом мысли и мыслью об этом предмете. Истинным называется суждение, в котором мысль наша, отражая действительность; во-первых, связывает то, что связано в самой действительности; во-вторых, в истинном суждении мысль наша связывает предметы и разделяет их именно таким образом, каким они связываются и разделяются в самой действительности.

Ложью или заблуждением называется несоответствие между предметом мысли и мыслью об этом предмете. Ложным называется суждение, в котором мысль наша, во-первых, связывает то, что не связано в самой действительности, и разделяет то, что в самой действительности связано. Так, суждение «гора Монблан находится в Азии» ложно, так как в суждении этом мысль наша пытается связать то, что в действительности разделено. В действительности Монблан находится в Европе, а не в Азии; во-вторых, суждение ложно даже в тех случаях, когда оно, пытаясь соединить то, что соединено в самой действительности, связывает предметы не так, как они связаны в самой действительности.

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

§ 11. Бывают суждения, которые достаточно высказать, чтобы все с ними согласились. В таких суждениях отношение между субъектом и предикатом, высказываемое суждением, очевидно. Отношение это верно отражает в нашей мысли ту связь, которая существует между предметами и их свойствами в самой действительности.

Но далеко не во всяком истинном суждении отношение между субъектом и предикатом, мыслимое в этом суждении, будет очевидным. Не во всяком суждении мы сразу видим, что утверждаемое в нём отношение между субъектом и предикатом таково, каково отношение между представляемыми ими объектами в действительности. Когда учитель впервые сообщает ученикам, что объём планеты Юпитер больше объёма Земли в 1 312 раз, из одного его утверждения ещё не видно сразу, что дело обстоит именно так. Чтобы убедить в этом, требуется привести доказательство.