Опытное знание, двигаясь вперед, открывает, как говорится, все новые и новые горизонты — ряды загадок, вытекших из опыта, но лежащих за его пределами. К счастью для человечества, ум не останавливается на пороге опыта и идет дальше, в область загадок. Одни из них оказываются разрешимыми лишь отчасти или условно; другие разрешимы тотчас же и вполне наличными средствами особенно искусного исследователя, а некоторые, будучи вполне понятными для ума, не могут быть разрешены опытом только в данную минуту. Так, Леееррье открыл, как известно, Нептуна не телескопом, а путем логических построений по данным астрономического опыта. Мысли о значении среды в так называемом «действии на расстоянии» были в уме Фарадея делом логических требований из его опытов, прежде чем были признаны другими, и вошли необходимым звеном в объяснение опытных фактов. Аналогия между светом и электричеством была в уме Максвелла ранее, чем подтвердившие ее опыты Герца. В сущности, такие факты встречаются в области открытий едва ли не на каждом шагу, потому что предшествием открытию всегда служит какое-либо соображение, вызванное не испытанным еще сопоставлением известных фактов (например, мысли Роберта Майера, из которых возникло учение о сохранении энергии). Новое неожиданное открытие представляется лишь публике в таком виде, словно оно вышло из ума изобретателя без предвестников как deus ex machina; для самого изобретателя и всех равных ему по образованию это лишь новая сторона известного.
Значит, путем логических построений можно действительно додуматься до новых истин (положительных знаний), но лишь при условии, если в основании их лежат, как посылки к умозаключениям, известные факты. Но не то ли же самое происходит, в сущности, и в уме математика, когда он додумывается до новых трансцендентных положений? Ведь и здесь основанием для вывода служит какое-либо новое сопоставление уже известных математику данных из накопленного им математического опыта.