Не будем спорить о том, можно ли отлить все опосредствованные дедуктивные умозаключения в формы четырех фигур силлогизма. Во всяком случае, несомненно, что это предприятие выполнимо не иначе как с помощью натяжек и насилий304. Однако этим вопросом нам заниматься незачем; чтобы отстоять свою точку зрения, мы можем пойти иным путем, именно показать, что вывод даже и в первой фигуре силлогизма опирается на интуитивное усмотрение некоторых новых сторон действительности в сравнении с тем, что усмотрено в посылках. И самом деле, вывод по первой фигуре силлогизма основывается на том принципе, что основание основания есть основание следствия (а также следствие следствия есть следствие основания): если S есть основание M, а M основание P, то S есть основание P. Усматриваемая в выводе связь S с P не есть то же самое, что и связь S и M и M с P: в посылках связь от S к P опосредствуется звеном M, а в выводе мы усматриваем, что действительность, к которой принадлежат S, M и P, представляет собою единое целое настолько, что если дано S, то дано и P. Разница между первою фигурою силлогизма и остальными опосредствованными дедуктивными умозаключениями состоит лишь в том, что в ней связь между S и P, усматриваемая в выводе, по своему содержанию наименее отличается от связей, данных в посылках. Образно с помощью пространственных отношений это различие можно выразить так: в умозаключениях по первой фигуре нужно проследить линию, части которой SМ и МР даны в посылках, а в остальных дедуктивных умозаключениях типа ? M в выводе нужно проследить линию от S к P, которая ни в целом, ни своими частями не дана в посылках. Этот образ отчетливо показывает, как мало нового содержится в выводе по первой фигуре в сравнении с посылками, но все же новый элемент в этом выводе есть, и потому нельзя утверждать, будто умозаключения по первой фигуре основываются исключительно на законе тожества.
Учение о косвенных методах построения суждений основывается у нас на том принципе, что основание и следствие необходимо даны вместе: если есть основание, то на наших глазах возникает и следствие, если есть следствие, то мы можем проследить и его основание; точно так же отсутствие основания есть показатель отсутствия следствия, а отсутствие следствия есть показатель отсутствия основания. Таким образом, получаются четыре формы перехода мысли от основания к следствию и наоборот.
Традиционная логика резко расходится с нами: она считает правомерными только две из этих форм - умозаключения от присутствия основания к присутствию следствия и от отсутствия следствия к отсутствию основания. Она исходит при этом из своеобразного взгляда на связь причины с действием, довольно широко распространенного в логике и связанного с признанием так называемого "принципа множественности причин". Согласно этому учению одна и та же причина необходимо производит всегда одно и то же действие, но одно и то же действие может производиться в разных случаях разными причинами. Напр., трение необходимо ведет за собой нагревание, но нагревание может производиться не только трением, а и какой-нибудь химическою реакциею, близостью тела с более высокой температурою и т.п.; динамит под влиянием сильного толчка необходимо взрывается, но взрыв может происходить также и от бензина, пороха и т.п.; следовательно, связь между действием и причиною не равноценна связи между причиною и действием, и это отражается соответствующим образом на умозаключениях. Опираясь на постулат однозначной связи между причиною и действием, мы можем умозаключать от присутствия основания к присутствию следствия и от отсутствия следствия к отсутствию основания, но так как у нас нет постулата однозначной связи действия с причиною, то мы не можем умозаключать от присутствия следствия к присутствию основания и от отсутствия основания к отсутствию следствия. Принимая это традиционное учение, нельзя утешать себя тем, что нам все же доступны умозаключения от следствия к основанию, именно от отсутствия следствия к отсутствию основания. Эти умозаключения неравноценны с умозаключениями от присутствия основания, во-первых, потому, что они обыкновенно имеют отрицательный характер, и, во-вторых, потому, что в некоторых очень важных случаях ими нельзя воспользоваться вследствие невозможности установить меньшую посылку их. В самом деле, меньшая посылка их обыкновенно есть отрицательное суждение, а установить истинность отрицательного суждения, т.е. установить отсутствие явления во многих и притом наиболее важных для науки случаях невозможно.