Структуру Бэконовой индукции можно сжато описать следующим образом. В ее основе лежат такие философские предпосылки: признание материального единства природы, единообразия ее действий и всеобщности причинных связей. Неявно им были введены, кроме того, два предварительных допущения: (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.