Быть методологией, показывать, какова природа знания, из каких отношений своих элементов оно состоит, – вот что навсегда останется главной задачей логики. Методологическая точка зрения в ней самая существенная, она же была и первоначальной ее точкой зрения, определявшей ее при самом возникновении. Все действительные успехи логики в новейшее время тоже были успехами в области методологии, тогда как в учении об элементах однажды установленные рубрики не удалось ничем дополнить. Мы, главным образом, имеем в виду теорию индуктивного метода (не смешивать с чисто индуктивным умозаключением), которая со времени Юма, за которым следовал Милль, заняла центральное место в логических изысканиях. Но то, чего искал Юм, исходя из основ чистого опыта, и чего он не мог найти в полном объеме, уже содержалось в творениях Галилея и его последователей, откуда его только надлежало извлечь. Мы уже познали, что без дедукции невозможна и индукция. Сама индукция в существенной стадии своего процесса есть не что иное, как гипотетическая дедукция, догадка при помощи дедуктивного умозаключения. Так что в действительности существует только один процесс умозаключения, применимый в двух направлениях: прямом, отправляющемся от посылок к заключению, и обратном, ведущем назад от заключения к посылкам. И подобно тому как всякий обратный процесс имеет своим предположением прямой процесс, обращением которого он является, так и индуктивное обратное заключение основано на предположении прямого заключения. Индуктивный метод исходит из такого обратного заключения. Исследуемое явление мы рассматриваем как объяснимое известными предположениями; затем мы, руководствуясь природой явления, вводим одно из таких возможных предположений, выводим из него дедуктивно все следствия и смотрим, «совпадают ли мысленно необходимые следствия нашего (гипотетического) образа с образами естественнонеобходимых следствий изображенного предмета». Чувственный опыт как исходный пункт, расширенный теорией экспериментальный опыт как конечный пункт – таковы две крайние точки, между которыми движется индукция, промежуточные же стадии процесса суть дедуктивного свойства.

Итак, логике со времени Аристотеля действительно не пришлось сделать ни одного шага назад, но по пути, предначертанному Аристотелем, она подвинулась не на один шаг вперед. Сделать для новой науки, созданной в XVII столетии и мощно развившейся во второй половине XIX века, то же, что Аристотель дал науке своего времени, – такова в общих чертах современная задача логики, а также ее программа на будущее время.

Логика не нуждается для своего обоснования в теории познания. Как учение о форме науки вообще она представляет наиболее общую научную дисциплину, не подчиненную никакой другой дисциплине; она поэтому не допускает, да и не нуждается ни в каком дальнейшем обосновании. Но к логическим исследованиям, особенно в области методологии, примыкает ряд общих вопросов, связанных с логикой более тесно, чем с любой иной наукой, не исключая и психологии.

Логика берет объекты мышления как данные и рассматривает их исключительно со стороны отношений, в каких они находятся друг к другу, поскольку они мыслятся; вопросом о происхождении нашего предметного знания она как чистая логика вовсе не занимается. Логические истины остаются тем, что они суть, совершенно и независимо от того, откуда происходят объекты мышления; они остаются «истинами в себе» и образуют теорию достоверности познания со стороны формы. Равным образом логика в состоянии только показать, как, исходя из предположения о законосообразности всего совершающегося в природе, следует общеобязательным образом выводить законы природы и доказывать их, но существование этого предположения, а также вопрос о том, свойственна ли ему только фактическая или также и высшая необходимая общеобязательность, уже не относятся к предмету исследования логики. Принцип наших индуктивных заключений, закон всеобщей причинности, не есть чисто логический принцип; он утверждает нечто о самих вещах, поэтому он в логике никогда не может быть больше, чем постулатом нашего познавания; доказательство этого постулата независимо от того, возможно ли оно или нет, во всяком случае выходит за пределы логики.