Так Кант представляет в новом свете различие между апостериорным (a posteriori) знанием и априорным (a priori) – между (грубо говоря) знанием, получаемым нами из опыта, и знанием, которым мы обладаем независимо от всякого опыта, и, сделав это разграничение, он впервые определил, по каким признакам необходимо искать истинные связи между этими видами знаний.
Очевидно, прежде всего, то, что Кант был далек от отрицания или преуменьшения роли априорной составляющей нашего мышления, как это пытались делать некоторые эмпирики. Напротив, он придавал ей первостепенное значение. Юм и многие вслед за ним были готовы допустить, что существуют положения, доступные а priori, но он подразумевал, что подобное знание возможно лишь благодаря тому, что истинность таких убеждений зависит исключительно от взаимосвязи идей и понятий, которые в них содержатся. Эти утверждения не относятся к реальной действительности, и, таким образом, не может быть и речи о том, чтобы установить их истинность или ложность, обращаясь к чувственному опыту, как это присуще апостериорным (a posteriori), или «синтетическим», суждениям.
Кант не отрицал существование априорных суждений в этом смысле, называя их аналитическими. Он считал утверждение аналитическим, если субъект такого суждения уже имплицитно «содержит» в себе предикат, предназначенный ему, и если отрицание такого суждения приводит к бессмысленности. Таким образом, суждение «Все матери – женщины» является аналитическим, а суждение, его отрицающее, – «Некоторые матери не являются женщинами» – является противоречащим самому себе. Однако Кант не признавал, что аналитические суждения являются единственными утверждениями, которые мы можем объявить как известные нам, независимо от нашего опыта.
Как мы видели, Кант, указав на существование определенных форм и категорий, которые мы скорее привносим в свой опыт, чем абстрагируем из него, далее показывает, что эти формы и категории фигурируют в утверждениях, истинность которых мы признаем независимо от нашего опыта, например, утверждения такого рода: «У каждого события есть причина». Но такие утверждения – Кант называл их «синтетические a priori» – не являются, тем не менее, таковыми, о которых мы можем говорить как об установленных или доказанных опытом, как мы обычно говорим об эмпирических утверждениях. Их можно скорее объяснить как выражение условий, при которых, как нам известно, единственно возможен объективный опыт. И поэтому они не могут быть подтверждены теми суждениями, которые основаны на таком опыте, поскольку подобное обращение к таким суждениям заранее подразумевает их достоверность. Напротив, они должны рассматриваться как определяющие