This was part of Kant's critical program of determining limits to science and philosophical inquiry. These contradictions are inherent in reason when it is applied to the world as it is in itself, independently of any perception of it (this has to do with the distinction between phenomena and noumena). Kant's goal in his critical philosophy was to identify what claims are and are not justified, and the antinomies are a particularly illustrative example of his larger project.