Пролегомены ко всякой будущей метафизике, могущей появиться как наука   ::   Кант И

Но и те и другие сходятся между собой в том, что они не могут возникнуть на основе одного лишь основоположения анализа, а именно закона противоречия; они требуют еще совершенно иного принципа, хотя из каждого основоположения, каково бы оно ни было, они должны выводиться согласно закону противоречия, так как ничто не должно противоречить этому основоположению, хотя и не все может быть из него выведено. Я сначала разделю синтетические суждения на классы:

1. Суждения опыта всегда синтетические, потому было бы нелепо аналитическое суждение основывать на опыте, ведь для составления такого суждения, [По мне вовсе не нужно выходить за пределы моего понятия, и, следовательно, я не нуждаюсь в каком-либо свидетельстве опыта.] что тело протяженно - это есть положение, устанавливаемое a priori, а не суждение опыта. В самом деле, прежде чем я приступаю к опыту, все условия для своего суждения я имею уже в понятии, из которого мне достаточно только по закону противоречия вывести предикат и тем самым также осознать необходимость суждения чему опыт не мог бы научить меня.

2. Все математические суждения синтетические. Это положение, кажется, совершенно ускользало до сих пор от наблюдения аналитиков человеского разума, более того, оно прямо противоречит все" их предположениям, хотя оно неоспоримо достоверно и весьма важно по своим следствиям.