ЛОГИКА

Рассматривая группу возможностей, выражаемых нашей посылкой, мы вправе разделить всю группу этих возможностей на две подгруппы. В первую войдут все предикаты, указывающие на обстоятельство А (со всеми его изменениями, например А₁), как на причину явления а или по крайней мере как на составную часть этой причины (А, А₁ AB, A₁B, АС, А₁С). Во вторую войдут все предикаты, указывающие на другие обстоятельства, как на возможные причины или как на части причин явления а (В, ВС, С). В результате этого разделения наше суждение о группе обстоятельств АА₁ВС примет следующий вид: причиной или по крайней мере частью причины явления а может быть либо обстоятельство А, либо все остальные обстоятельства.

Второй посылкой вывода по методу сопутствующих изменений является суждение, удостоверяющее, что явление а в каждом случае изменяется: в первом оно выступает как а, во втором — как а₁.

Но об изменяющемся явлении мы вправе утверждать, что его полной причиной никак не могут быть обстоятельства, которые в ходе его изменения сами остались неизменными. Поэтому, зная, что явление а во втором случае изменилось в а₁, и зная, что обстоятельства В и С во втором случае остались неизменными, мы вправе исключить обстоятельства В и С из числа возможных причин явления а, указанных нашей первой посылкой — суждением о группе АА₁ВС.

Таким образом, из обеих подгрупп, между которыми в первой посылке распределились все её предикаты, мы должны исключить всю ту подгруппу, в которой в качестве возможных причин явления а и его изменений (а₁) указываются обстоятельства В, С, ВС. Остаётся заключить, что причину явления а со всеми его изменениями (а₁) следует видеть либо в изменяющемся обстоятельстве A (A₁), отдельно взятом, либо в соединении его с каким-либо из других обстоятельств (А, АВ, АС, А₁, А₁В, А₁С).

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

Условием исключения, посредством которого доходят до заключения о причинной связи между изменяющимся обстоятельством А и изменяющимся явлением а, оказывается дважды повторяющееся в выводе отнесение явления а к логической группе. В первый раз явление а относится к группе явлений, единственными предшествующими обстоятельствами которой оказываются AA₁BC. Уже это суждение о группе ограничивает всю область, внутри которой мы могли бы искать причину явления а, двумя подгруппами — подгруппой, характеризуемой наличием изменяющегося обстоятельства А(А₁), и подгруппой, характеризуемой наличием всех остальных обстоятельств (В, С, ВС).

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

Отсюда видно, что метод сопутствующих изменений, так же как и остальные методы бэконовекой индукции, есть метод исключения. Искомая причина получается в нём посредством исключения всех обстоятельств, которые, как выясняется в ходе вывода, не могут заключать в себе причины явления а.

§ 45. Из всех других индуктивных методов ближе всего к методу сопутствующих изменений стоит метод сходства. В обоих этих методах умозаключение идёт от общего к частному, от группы — к отдельному предмету.

И действительно, предпосылкой вывода по методу сходства является, как мы видели, суждение о группе, относящее явление а к группе обстоятельств ABC, среди которых может быть причина явления а. В свою очередь группа ABC, к которой мы отнесли явление, может быть разделена на две подгруппы. Одна из них характеризуется тем, что в ней обстоятельством, которое может быть причиной или хоть частью причины явления а, оказывается обстоятельство А, отдельно взятое или в соединении с другими обстоятельствами. Другая подгруппа характеризуется тем, что в ней в качестве возможной причины явления а указываются все другие обстоятельства (В, С).