 Kant thus structures his analysis of the mathematical antinomies by appealing to the general dialectical syllogism presented at the end of section 4.0 (If the conditioned is given, the unconditioned is given, Objects of the senses are given as conditioned....etc.). Problems stem from the application of the principle expressed in the first premise to the objects of the senses (appearances). Here again, Kant diagnoses the error or fallacy contained in this syllogism as that of ambiguous middle. He claims that the major premise uses the term “the conditioned” transcendentally, as a pure concept, whereas the minor premise uses the term ‘empirically’ – that is as a “concept of the understanding applied to mere appearances” (cf. A499–500/B527–528). What Kant means is that the major premise uses the term “the conditioned” in a very general way, one that considers things in abstraction from the sensible conditions of our intuition. The minor premise, however, which specifically refers to objects in space and time (appearances), is committed to an empirical use of the term. Indeed, such an empirical use would have to be deployed, if the conclusion is to be reached. The conclusion is that the entire series of all conditions of appearances is actually given. Put in other terms, the conclusion is that there is a world, understood as the sum total of all appearances and their conditions (A420/B448).