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

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

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