История логики

Истинный научный метод, по Бэкону, исходит от единичных случаев, от них мы переходим к самым низшим обобщениям, затем к средним обобщениям и, наконец, от них к самым высшим всеобщим положениям. Самыми важными и самыми ценными в науке, по мнению Бэкона, являются средние положения, во-первых, потому что они имеют наибольшее практическое значение для жизни людей, для их счастья, а во-вторых, потому что на средних положениях основываются и высшие принципы науки – самые широкие обобщения. Последние, по сравнению со средними положениями, являются бессодержательными.

Согласно логике Бэкона, сначала наблюдениями и экспериментами должно установить факты, а затем путем индукции от познания фактов переходить к познанию общих законов. Все общие положения, получаемые посредством обобщения фактов, Бэкон называет «аксиомами». Так, в 104-м афоризме «Нового Органона» он говорит об аксиомах самых общих (axiomata generalissima), которые называются принципами, об аксиомах средних и низших (axiomata media и axiomata minora) и, наконец, об аксиомах самых низших (axiomata infima), которые, как он говорит, незначительно отличаются от голого опыта (experientia unda).

Должно сказать, что у Аристотеля слово «аксиома» ([FIXME]), даже поскольку оно берется в логическом смысле, употребляется в трех значениях: 1) оно означает первые принципы отдельной науки (значение, которое термин «аксиома» имеет у математиков) ; 2) в специальном техническом смысле как последние принципы всякого знания (таков, например, у Аристотеля закон противоречия, 3) аксиомой иногда у Аристотеля называется всякое суждение (предложение).

Дело в том, что греческое слово «аксиома» происходит от глагола [FIXME], что значит «признавать» или «принимать что-либо за истинное», и по своему первоначальному смыслу слово «аксиома» означает любое предложение или суждение, принимаемое за истину, а затем в науках и философии аксиомой стали называть то, что самоочевидно и не требует никакого доказательства. Термин «аксиома» означал любое суждение у стоиков, у Цицерона, Плутарха, Диогена Лаэрция, Геллия, Галена. Также у Рамуса и его последователей аксиомой называлось всякое предложение или суждение. В отличие от рамистов у Бэкона аксиомой называется всякое общее суждение, тогда как рамисты и частные суждения называли аксиомами.

По учению Бэкона, после установления фактов наука должна перейти к установлению аксиом, т. е. общих положений, именно к обобщению данных опыта путем истинной индукции. Бэкон критикует индукцию Аристотеля и схоластиков, называя ее «индукцией через простое перечисление». Существенным ее недостатком Бэкон считал то, что в ней исключительное внимание уделялось положительным инстанциям, т. е. перечислению случаев, подтверждающих выводимое общее положение (аксиому), но не уделялось должного внимания поискам отрицательных инстанций. Между тем одна отрицательная инстанция опровергает общее положение, хотя множество случаев могло быть приведено для его подтверждения.

Аристотелевской индукции через простое перечисление (per enumerationem simplisem) Бэкон противопоставляет свою истинную индукцию через исключение (per rejectionem). Сущность истинной индукции, по учению Бэкона, заключается в том, что посредством самого тщательного сравнения максимального множества фактических данных, относящихся к изучаемому явлению, познаются несущественные условия изучаемых явлений и они исключаются, так что в результате этой логической операции остаются лишь существенные условия.

Таким образом, истинная индукция состоит в исключении всего несущественного, в отбрасывании всего того, что отсутствует при отсутствии изучаемого качества. Необходимо накопить в возможно большей полноте материал и составить таблицы: 1) таблицу присутствия, охватывающую все случаи, в которых изучаемое свойство имеется налицо; 2) таблицу отсутствия, когда данное свойство отсутствует (разумеется, невозможно привести все бесчисленные случаи отсутствия данного свойства, достаточно ограничиться лишь указанием случаев, весьма сходных с теми, в которых исследуемое свойство присутствует), и 3) таблицу степеней или сравнения, охватывающую случаи, в которых изучаемое свойство присутствует в различной степени.

Составление таких таблиц Бэкон считает необходимым предварительным условием для применения индукции.

На основе материала, представленного в этих таблицах, отыскивается, какое свойство всегда сосуществует с исследуемым свойством и всегда отсутствует, когда отсутствует исследуемое свойство, а также вместе с последним увеличивается и уменьшается. Вместе с тем это искомое свойство должно представлять собой определенное видоизменение общего свойства тел, именно величины и формы образующих тело мельчайших его частиц, их расположения и движения. Это и будет истинная основная причина изучаемого свойства. Ее Бэкон называет «субстанциальной формой», заимствуя этот термин у схоластиков.