§ 4. Целью умозаключения является выведение новой истины из истин, нам уже ранее известных. Всякое истинное умозаключение не просто повторяет в выводе то, что нам уже известно из посылок. Истинное умозаключение ведёт нашу мысль дальше того, что мы знаем из посылок, присоединяет к ранее установленным истинам истину новую. В посылке «все бамбуки — злаки», отдельно взятой, не содержится ещё мысль о том, что «все бамбуки цветут колосками». Мысль эта не содержится в посылке, так как в число существенных признаков понятия «злаки» не входит необходимо понятие «цветения колосками». Хотя все злаки цветут «колосками», я тем не менее могу мыслить понятие «злаки», не мысля при этом непременно об этом свойстве злаков. Я могу образовать понятие «злаки» посредством такой группы существенных признаков, в которую вовсе не будет входить признак «цветения колосками».
И точно также в посылке «все злаки цветут колосками», отдельно взятой, ещё не содержится необходимо мысль о том, что «все бамбуки цветут колосками». Мысль эта не содержится в посылке, так как из посылки «все злаки цветут колосками» ещё не видно, что бамбуки принадлежат к числу злаков. Хотя все бамбуки входят в число злаков, я тем не менее могу мыслить понятие «злаки», не зная о том, что к числу злаков принадлежат также и бамбуки.
Но как только мы сопоставим оба эти суждения — «все бамбуки — злаки» и «все злаки цветут колосками», — сопоставление их приводит нас к новой истине — к выводу, что «все-бамбуки цветут колосками». Вывод этот есть мысль иная сравнительно с каждой из посылок, в отдельности взятой. Вывод не есть простое повторение истин, которые я уже мыслил в посылках. Вывод не есть и простое преобразование формы посылок, не меняющее их логического смысла, — вроде обращения или превращения.
Умозаключение есть извлечение новой истины из истин, уже признанных ранее и уже известных.
§ 5. Но умозаключение не просто присоединяет новую истину к истинам, уже ранее установленным или известным. Новая истина выводится из посылок таким образом, что её присоединение к посылкам сознаётся нами как совершенно необходимое и обязательное для нашей мысли.
Мы можем не знать того, что все бамбуки — злаки и что все злаки цветут колосками, и не соглашаться поэтому с тем, кто нам говорит, что все бамбуки — злаки и что все злаки цветут колосками. Но если мы согласимся с тем, что все бамбуки — злаки и что все злаки цветут колосками, то, соглашаясь с обеими этими посылками, уже нельзя не соглашаться с тем, что все бамбуки цветут колосками. Согласие с посылками здесь необходимо ведёт к согласию с заключением. Заключение не просто присоединяется к посылкам как мысль новая сравнительно с посылками. Заключение следует из посылок как мысль, связанная с посылками необходимой логической связью.
Связь эта, во-первых, опирается на закон достаточного основания. Только то заключение истинно и принимается в качестве истинного, которое имеет достаточное основание в истинности посылок и в правильности логического хода умозаключения. Во-вторых, связь эта опирается на закон противоречия. Мысля посылки и заключение, мы понимаем, что нельзя, соглашаясь с посылками, не соглашаться с заключением. Если бы, согласившись с тем, что все бамбуки — злаки и что все злаки цветут колосками, наш собеседник стал бы отрицать, что все бамбуки цветут колосками, он тем самым показал бы, что в данном случае он противоречит самому себе, т.е. мыслит непоследовательно, нелогично.
Согласившись, что бамбуки — злаки и что все злаки цветут колосками, но утверждая вместе с тем, будто бамбуки не цветут колосками, наш собеседник тем самым допустил бы то положение, будто существуют злаки, не цветущие колосками. Но это значит, что он признал бы истинным суждение, противоречащее той самой посылке, с которой он уже согласился и которая гласит, что «все злаки цветут колосками». Такой собеседник утверждал бы сразу и то, что «все злаки цветут колосками», и то, что «некоторые злаки не цветут колосками», т. е. нарушил бы закон противоречия.
Логическая связь заключения с посылками опирается, в-третьих, на закон исключённого третьего. И действительно: если собеседник отрицает то, что все бамбуки цветут колосками, то, так как, в силу закона исключённого третьего, кроме суждений «все бамбуки цветут колосками» и «некоторые бамбуки не цветут колосками» невозможно никакое третье суждение об отношении «бамбуков» к «цветущим колосками». Но так как такое третье суждение невозможно, то отрицание истинности суждения «все бамбуки цветут колосками» равносильно утверждению истинности суждения «некоторые бамбуки не цветут колосками». Однако признать истинными наши посылки («бамбуки — злаки», «все злаки цветут колосками») и вместе с тем признать истинным, будто «некоторые бамбуки не цветут колосками», значит нарушить закон противоречия.