«Сознаюсь, – откровенно пишет Кант, – что учение Юма прежде всего прервало мою догматическую дремоту и дало совершенно новое направление моим исследованиям… Я был далек от того, чтобы принять выводы Юма, вытекавшие лишь из того, что Юм не представил себе задачи во всей ее совокупности». Вместо того, чтобы, подобно Юму, ограничиться изучением идеи причинной связи, Кант поставил гораздо более общий вопрос: каким образом вообще наш рассудок может составлять априорные, то есть предшествующие опыту суждения? Кант заранее исключил так называемые аналитические суждения, составляющие лишь простое расчленение и объяснение данного понятия, и занялся суждениями синтетическими, то есть такими, которые прибавляют к данному понятию новое содержание. Если я говорю: все тела протяженны, то этим я нимало не расширяю понятия о теле, но лишь объясняю его, так как понятие о протяжении уже входит в понятие тела. Такие объяснительные суждения называются аналитическими, и они, разумеется, не требуют опыта. Было бы нелепо проверять опытом относительно каждого тела свойство протяженности, без которого само тело немыслимо. Иное дело суждение: «Все тела тяжелы». Тяжесть не есть необходимое свойство тела, вытекающее из самого понятия о теле. Тело не может быть более или менее протяженным, но тела бывают более или менее тяжелыми, и ум легко допускает существование тел совсем не тяжелых, невесомых. Если я говорю: «Некоторые тела тяжелы», то это уже синтетическое суждение, потому что к понятию тела я прибавляю новое содержание, приписывая ему свойство быть тяжелым. Спрашивается, каким образом подобное суждение может быть априорным, то есть предшествовать опыту? Что убеждает меня в том, что все тела в природе
По мнению Канта, ничего нет легче, как указать на такие синтетические суждения, которые вполне априорны. Таковы, по его словам, все математические суждения. Возьмем, например, суждение 7+5=12. На первый взгляд кажется, что оно имеет аналитический характер, то есть, что понятие суммы 7+5 уже содержит в себе понятие 12. Но при ближайшем рассмотрении оказывается, что это не так просто. Сколько бы я ни анализировал понятия семи и пяти, соединенных в одну сумму, я до тех пор не получу понятия двенадцати, пока не прибегну к наглядности или к созерцанию. Я должен, например, призвать на помощь свои пальцы или наметить семь точек и еще пять точек и, соединив их вместе, сосчитать все подряд. Отсюда следует, что всякое арифметическое сложение есть не анализ слагаемых, а синтез, то есть к понятию о взятых вместе слагаемых прибавляется новое содержание посредством самого акта сложения или заменяющего его действия – построения суммы при помощи пальцев, точек или косточек на счетах. Таким же синтетическим характером отличаются все геометрические и алгебраические суждения, исключая тожества и аксиомы, да и эти последние не строго аналитичны, но требуют наглядного построения. Мы, например, наглядно убеждаемся в том, что целое больше своей части. Предложение «Прямая есть кратчайшее расстояние между двумя точками» есть синтетическое суждение, потому что понятие о прямой, то есть линии с неизменным направлением, вовсе не включает в себя понятия о величине расстояния: это последнее присоединяется лишь путем наглядности, посредством действительного построения прямой линии.
Итак, существование синтетичных и в то же время априорных суждений, по мнению Канта, доказывает уже само существование математики как науки, состоящей из суждений априорных и в то же время очевидно расширяющих содержание понятий.