§ 2. Уже рассматривая суждение и различные формы преобразования суждений, мы видели, что суждение редко мыслится отдельно от других суждений. Чтобы правильно понять смысл данного суждения, нам часто приходится рассматривать не только одно это суждение, но также и другие суждения, с которыми оно связано отношением противоположности или подчинения.
Во множестве случаев мы даже не можем убедиться в истинности данного суждения до тех пор, пока мы не рассмотрим его отношения к другим суждениям. Предположим, например, что мы не знаем, какая связь существует между понятием «бамбуки» и понятием «растения, цветущие колосками». Цветут ли бамбуки так же, как цветут рожь, пшеница, или же формой соцветия бамбуков не являются колоски?
До тех пор, пока мы рассматриваем только отношение между понятием «бамбуки» и понятием «цветущие колосками», мы не можем ответить на поставленный вопрос и, следовательно, не можем сказать, в каком отношении находятся «бамбуки» к «цветущим колосками». Станем теперь поступать иначе. Рассмотрим, до того ещё как отвечать на поставленный вопрос, два другие суждения: «все бамбуки — злаки» и «все злаки цветут колосками». Предположим, что мы уже убедились ранее в истинности этих двух суждений. Но если нам известно, что все бамбуки — злаки и что все злаки цветут колосками, то можем ли мы сказать что-нибудь об отношении понятия «бамбуки» к понятию «цветущие колосками»? — Очевидно, можем. Основываясь на том, что все бамбуки — злаки и что все злаки цветут колосками, мы можем высказать суждение: «все бамбуки цветут колосками». Суждение это будет истинным. Но истинность этого суждения мы усмотрели не прямо. Из понятий «бамбуки» и «цветущие колосками» мы не могли сразу видеть, каким будет отношение между этими понятиями.
Отношение это, выраженное в суждении «все бамбуки цветут колосками», мы получили посредством умозаключения, или вывода. Связь между понятиями «бамбуки» и «цветущие колосками», не видную сразу или непосредственно, мы вывели, т. е. уяснили через отношение каждого из этих понятий к некоторому третьему понятию — к понятию «злаки». Именно поэтому нам для обоснования вывода понадобились два суждения. В одном из них мы рассмотрели отношение понятия «бамбуки» к понятию «злаки», в другом — отношение понятия «цветущие колосками» к тому же понятию «злаки». Это понятие «злаки» оказалось тем посредствующим, или третьим, понятием, при помощи которого нам удалось уяснить не видную до того связь между понятием «бамбуки» и понятием «цветущие колосками».
§ 3. Признав, что данные суждения истинны, мы должны признать истинными вытекающие из них суждения. То логическое действие, посредством которого обнаруживается истинность этих новых суждений, называется умозаключением. Иначе говоря, умозаключением называется форма мышления, состоящая в том, что истинность некоторого суждения выводится из истинности двух или нескольких других суждений.
Суждения, из которых можно получить вывод и из которых, раз они признаны истинными, с необходимостью следует какой-либо вывод, называются посылками или предпосылками умозаключения. В нашем примере посылками умозаключения являются суждения: «все бамбуки — злаки» и «все злаки цветут колосками».
Суждение, которое признаётся истинным путём умозаключения, т. е. путём сопоставления посылок, называется заключением, или выводом, в узком смысле слова. В нашем примере заключением будет суждение «все бамбуки цветут колосками».
Иногда всё умозаключение в целом, т. е. все посылки и заключение, вместе взятые, также называется выводом — на этот раз в широком смысле слова. Так, в нашем примере («все бамбуки — злаки, все злаки цветут колосками, следовательно, все бамбуки цветут колосками») выводом в широком смысле слова будет всё это умозаключение в целом, т. е. и его посылки и его заключение.