Причина, по которой Кант изгоняет противоречие из логики, кроется в воздействии механистического естествознания на философию. Выше мы попытались объяснить специфику механистического подхода, состоящую в «расщеплении» противоречия и наделении противоположными атрибутами различных объектов. Позже Гегель вложит противоречие в самую сердцевину системы — внутрь понятия сущности, так что каждый объект должен теперь мыслиться как внутренне противоречивый. Противоречие в виде диалектического тождества противоположностей займет признанное место в логике — всю гегелевскую логику в известном смысле можно назвать логикой противоречия.
XVIII век дает совсем иную картину: тогда господствует механика и именно механистический способ мышления принимается за эталон мышления вообще, за эталон логики (так что выход за эти пределы понимается как нелогичность, парадоксальность). Но противоречие мыслится и здесь, только не в форме внутреннего тождества противоположностей, а посредством разведения противоположных свойств в разные стороны, когда они выступают в обличье разных «природ», разных природных объектов, т. е. в форме антиномии. Из внутренних противоречия здесь становятся внешними, что создает видимость того, что их возможно внешне непротиворечиво механически объединить.
Логика механистического естествознания и тесно связанной с ним механистической философии и есть антиномическая логика, внутри которой противоречие то «выталкивается» из логики (в силу отмеченных особенностей), то воспроизводится в ней вновь (поскольку реально протекающее мышление всегда диалектично). Это выражается, с одной стороны, в сознательном стремлении освободиться от противоречия, а с другой — в таком объективном построении рассуждения, когда оно странным образом приводит к противоположному результату.
Дидро был среди просветителей единственным (не считая Руссо), кто понял, что противоречие устранить не удастся. Однако если для Канта столкновение с антиномиями говорит об ограниченности человеческого мышления вообще, то для Дидро столкновение с парадоксами — проявление странности и загадочности мышления. Он видит, что парадокс возникает тогда, когда доказательство тезиса доводится до логических пределов, и, следовательно, наталкивается на то, что находится за ними, — на противоположность. Так же как и у Канта, в основе парадоксов Дидро лежит противоречие между необходимостью и свободой, необходимостью и случайностью, бесконечностью и конечностью и т. п. Так же как и в «Критике чистого разума», противоречие открывается нашему взору в том случае, когда мы уже достигнутое, известное, экстраполируем на бесконечное, неизвестное. Можно сказать, что парадокс представляет собой первую, еще не развитую форму антиномии, поэтому логический ход у Дидро несколько иной, нежели у Канта: Дидро приходит «к противному» (фиксирует, что доказательство тезиса с неизбежностью влечет за собой антитезис и наоборот), Кант отправляется «от противного» (начинает доказательство с отрицания). Кант, следовательно, логически завершает то, что начинает Дидро.
И все же Дидро — это не «неразвитый» Кант. Имеется различие между антиномией и парадоксом. В собственно логическом смысле антиномию прорефлектировал Кант — она составляет содержание его космологической идеи. Здесь Кант сводит воедино разведенные позитивной наукой (механикой) и относимые ею к разным предметам определения — действия на другое и на себя, бытия и становления — и показывает, что если говорить о мире в целом (а не об отдельном природном предмете, природной частице), то развести противоположности нельзя, так как они являются противоположными свойствами одного «логического субъекта» (см. 8). Но поскольку противоречие из логики сознательно исключается (по указанным выше причинам), то, согласно Канту, мир можно представить только посредством двух систем внутренне непротиворечивых, но противоречащих друг другу атрибутов. Это и есть антиномия, в которой доказательство тезиса с неизбежностью оборачивается доказательством антитезиса. Таким образом, в кантовском анализе одновременно представлена и осмыслена особенность антиномического мышления во всеобщей логической форме.