В области эмпирических наук Бэкон в качестве важнейшего метода исследования выдвинул индукцию. Дедукция, в частности силлогистика Аристотеля, по его мнению, совершенно бесполезна для изучения природы. Поэтому в противовес «Органону», или орудию мысли, Аристотеля, он создает «Новый Органон», который представляет собой совокупность простейших канонов, или правил, индуктивного исследования, впоследствии систематизированных Дж. Ст. Миллем в виде методов сходства, различия, сопутствующих изменений и остатков.
Однако Бэкон явно недооценивал роль дедукции и математики в научном исследовании, например при обработке результатов экспериментов. Кроме того, он неправильно считал свою индуктивную логику безошибочным методом открытия новых истин в науке.
Таким образом, основоположники учения о методах науки опирались в своих воззрениях на основные типы логических рассуждений, которыми явно или неявно пользуются как в повседневном, так и в научном мышлении. Современная методология использует множество других способов и приемов познания, общей особенностью которых является целенаправленный, организованный и систематический характер поиска истины. Только при систематическом использовании методов можно приблизиться к истине. Поэтому в самом широком смысле метод можно рассматривать как некоторую систематическую процедуру, состоящую из последовательности определенных операций, применение которых либо приводит к достижению поставленной цели, либо приближает к ней. Если в первом случае применение заданных операций или приемов приводит к достижению цели, то во втором случае метод избавляет нас от действий наугад — путем слепого перебора разных возможностей, с помощью многочисленных случайных проб и ошибок.
Методы первого рода, в которых строго задан точно определенный порядок операций или действий, имеют несложный характер. Поэтому их можно уподобить алгоритмам математики. Действительно, располагая алгоритмом, мы всегда можем решить ту или иную задачу, например умножить дробь на дробь, извлечь квадратный корень или найти производную функции. Однако из математики известно, что далеко не все ее задачи и проблемы допускают алгоритмическое решение. Например, как показал известный австрийский логик и математик К. Гёдель, даже не все содержательно установленные теоремы элементарной арифметики могут быть доказаны чисто формальным путем, т. е. логически выведены из аксиом. Иначе говоря, они не могут быть получены алгоритмически. Тем более это относится к сложным проблемам самой математики, а также естествознания и социально-экономических и гуманитарных наук, которые развиваются в постоянном контакте с наблюдениями, экспериментами и общественной практикой.
