Если расположить области знания, имеющие характер аподиктической определенности и интеллектуальной необходимости, в порядке, соответствующем их большей или меньшей общности, и продолжить начатую здесь линию рассуждений до области наук о действительной необходимости, получим вот что.
Схематическая классификация дедуктивных наук. A. Науки чистой дедукции. I. Логика. – Она занимает высшее место как в объективном, так и в субъективном отношении. Объективно – потому, что, будучи носителем высших условий истинности всякого суждения и определителем аподиктических законов всякого мышления, она господствует в самой широкой сфере, а именно в сфере, охватывающей все мыслимые возможности. В субъективном плане это объясняется тем, что она абсолютно убедительна для всех разумных существ, как бы они ни были устроены. Она целиком основана на принципе противоречия, этом «высшем и наиболее определенном из всех принципов» (Аристотель). Как только определены умственные акты суждения, умозаключения и вывода, система логических правил мышления становится результатом применения этого высшего принципа к этим умственным актам. II Общая математика или чистая теория величин. – Она стоит на втором месте и является особым приложением логики, ибо она есть не что иное, как логика величин или количества. Логическое мышление возможно и без учета количественных характеристик, поскольку мышление сводится к оценке равенства или различия только качественных характеристик. Поэтому общая математика представляет собой самостоятельно разработанную специальную ветвь логики. Как только вводится общее понятие величины, которое, будучи резко определенным, должно включать в себя понятия единства и числа, из применения к понятию величины как частному случаю теоремы Воутраяивтиуио вытекает аксиома об опосредованном тождестве величин. Эта теорема, относящаяся только к количественному тождеству и различию, равенству и неравенству, имеет отношение к чистой теории величин, так же как теорема о противоречии, относящаяся вообще ко всякому, а не только к количественному тождеству и различию, имеет отношение к логике в целом. Арифметические операции сложения, вычитания, умножения, деления, экспонирования, извлечения корня и т. д. представляют собой более простые и более сложные способы задания, аннулирования, соединения и разделения. Вся система общих математических законов вытекает из применения теоремы об опосредованном тождестве величин к этим арифметическим операциям, требующим специального объяснения. Алгоритм сам по себе является несущественным, внешним, условным делом. B. Науки об интуитивных следованиях. По форме своих суждений и методическому ходу своих выводов они, естественно, подчиняются чисто умственным