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