Структуру Бэконовой индукции можно сжато описать следующим образом. В ее основе лежат такие философские предпосылки: признание материального единства природы, единообразия ее действий и всеобщности причинных связей. Неявно им были введены, кроме того, два предварительных допущения: (1) у каждой наличной «природы» непременно есть вызывающая ее «форма», (2) у каждой наличной «формы» непременно должна быть и проявиться ее «природа» (природы). Бэкон не дает ясного ответа на вопрос, может ли одна и та же природа вызываться двумя различными формами. Но он считает, что одна и та же «форма» вызывает несколько разных (не произвольно разных) «природ», свойственных данной вещи, например, золоту, теплу и т. д. (анализ понятия «форма» см. во вступительной статье к 1 тому настоящего издания, а также т. Котарбиньский, «Избранные произведения». М., ИЛ, 1963, стр. 139–144).
Индукция Бэкона состоит из трех основных «таблиц представления инстанций (примеров) разуму».
Первая – «Таблица присутствия» (tabula essentiae et praesentiae). В нее собирают случаи, где присутствует данное свойство («природа») А, внутреннюю причину («форму») которого ищут. Чем более будут отличаться друг от друга эти случаи, кроме, разумеется, общего для всех них свойства А, тем яснее будет ответ на вопрос, есть ли все же у всех этих случаев нечто общее по другим свойствам и по каким именно? Этот ответ необходим потому, что, по мысли Бэкона (философски и логически недостаточно корректной и надежной), свойство, постоянно сопутствующее свойству А, и ест.е. о искомая «форма» (между тем, А и сопутствующее ему свойство оба могут оказаться следствием некоторой иной причины; опасность соответствующей ошибки Бэкон заметил в «Valerius Terminus…», где он предупреждал, что «обнаруженное свойство [т. е. форма. – И. Н.] должно быть более первоначальным [original], чем ожидаемая [supposed] природа, а не быть вторичной или той же самой степени [like degree]»). Кроме того, он делает чрезмерно сильное допущение, что в инстанциях первой таблицы чувственным наблюдением непременно удастся выявить все те существенные свойства, которые сопутствуют иногда или же всегда исследуемой «природе».
Если оказывается, что в инстанциях таблицы I свойству А во всех случаях сопутствует не одно определенное существенное свойство, а несколько (В, С, D…), то в таком случае для получения искомого результата необходимо
построить вторую «Таблицу отсутствия» (tabula declinationis sive absentiae in proximo). Заметим, что, строго говоря, таблица I почти всегда оказывается недостаточной, ибо перечень собранных в ней инстанций в подавляющем большинстве исследований не может быть полным.
В таблице II собирают случаи, в которых исследуемая «природа» отсутствует. Полный перечень достигнуть здесь еще более затруднительно, но задача облегчается указанием подбирать такие инстанции, которые по набору своих свойств как можно меньше отличаются от инстанций в таблице I. Это требование, намечающее в зародыше метод единственного различия у Д. С. Милля, помогает увидеть, чем именно еще, кроме отсутствия в них А, отличаются случаи по составу их свойств в таблице II от случаев в таблице I.
Для того. чтобы яснее это увидеть, предлагается сравнивать инстанции из I и II таблиц попарно: если, например, наличие в таблице 1 инстанции ABC могло бы склонить к выводу, что «формой» свойства А является существенное свойство C, то наличие соответствующей инстанции PQC в таблице II позволяет элиминировать (исключить) этот вывод как ошибочный, поскольку наличие С не приводит к появлению А.
Таким образом, рассуждение Бэкона движется по схеме альтернативной дизъюнкции, члены которой один за другим, кроме одного, отбрасываются согласно modus tollendo ponens. Имеем: bvcvd, где малыми буквами обозначены высказывания: «искомая форма есть В», «искомая форма есть С», «искомая форма есть D». По указанному модусу получаем: (l) bvcvd, но не-c, следовательно bvd, (2) bvd, но не-d, следовательно b. Это дедуктивная схема. В целом ход мысли Бэкона шире указанной схемы и опирается на ряд перечисленных выше общих посылок. Однако именно этот ход вывода по альтернативной дизъюнкции сохранил в науке непреходящее значение вплоть до наших дней. Им пользовались, например, Р. Бойль, Ч. Дарвин, Л. Пастер и многие другие ученые. Ср. Дж. Платт. «Метод строгих выводов». – «Вопросы философии», 1965, № 9.
Бэкон сознавал, что взаимодействия I и II таблиц недостаточно для достоверного решения вопроса, чт.е. ть искомая «форма», ибо может быть так, что В всегда сопутствует А только случайно. Поэтому им предлагается третья «Таблица степеней» (tabula graduum sive tabula comparativae), в которой подбирают инстанции по степени интенсивности в них свойства A и наблюдают, в каком соотношении с A изменяется B, предположенное как его «форма». B не может быть «формой» для A тогда, когда из взаимосопоставления инстанций таблицы III оказывается: (1) возрастанию A сопутствует уменьшение B или же B остается неизменным; (2) уменьшению A сопутствует увеличение B или же оно остается неизменным; (3) неизменности A сопутствует изменение B в некотором или же в другом, ему противоположном, направлении. Если будет зафиксирована одна из этих трех ситуаций, следует более тщательно изучить состав свойств инстанций I и II таблиц, а если это не приводит к выявлению новых, ранее не замеченных, существенных свойств, то продолжить подбор инстанций для этих таблиц, расширив число входящих в таблицы случаев, дабы в составе последних были бы все же обнаружены новые свойства (E, F, G), поскольку «форму» теперь придется искать уже среди них. Если же окажется, что B изменяется в том же качественном и количественном направлении, что и A, то мы можем считать, что «первый сбор плодов» (vindemiatio prima) успешно осуществлен: B есть «форма» «природы» A.
Таблица III стала прообразом метода сопутствующих изменений Д. С. Милля, который в своей логике следовал идеям Ф. Бэкона и Д. Гершеля. Однако в отличие от построений Милля, индуктивная логика Бэкона ориентировала не на разрозненное действие трех канонов – единственного сходства, единственного различия и сопутствующих изменений, но непременно на тесное взаимодействие всех трех «Таблиц». Это подчеркивается тем обстоятельством, что Бэкон среди вспомогательных приемов индукции ввел «обособленные примеры» (см. афор, XXII, кн. II «Нового Органона»), ориентирующие именно на эту связь.