For Kant there are two types of judgments: analyticand synthetic

The Stanford Plato Encyclopedia of Philosophy sums up judgments well:

...a judgment is a higher-order complex conscious cognition that refers to objects either directly (via the essentially indexical content of intuitions/non-conceptual cognitions)or indirectly (via the essentially attributive or descriptive content of concepts); in which concepts are predicated either of those objects or of other constituent concepts; in which concepts are intrinsically related to one another and to intuitional/non-conceptual cognitions by pure general logical forms/pure concepts of the understanding that express various modifications and, apparently, truth-functional compounds of the predicative copula; which enters into inferences according to a priori laws of pure general logic; which essentially involves both the following of rules and the application of rules to the perceptual objects picked out by intuition/non-conceptual cognition; and in which a composite objective representation is generated and unified by the higher-order executive mental processing of a single self-conscious rational subject. The crucial take-away points here are (a) a judgment’s referential bottoming-out in intuitions/non-conceptual cognitions, which thereby constitute directly-referential singular terms in singular categorical judgments, that cannot be semantically replaced by individual concepts or definite descriptions without change or loss of meaning (contrast, e.g., Thompson 1972 and Hanna 2001, ch. 4), (b) the “privileging of predication” (Longuenesse 1998, 104) over other sorts of logical operations, (c) the intrinsic logico-syntactic and logico-semantic form of the judgment, based on modifications or compound truth-functional relations of the predicative copula, (d) the rule-like character of the judgment, (e) the judgment’s unified conscious objective representational (i.e., semantic) content, and above all (f) its higher-order rationally self-conscious ground of objective unity. As such, Kantian judgments are neither merely psychological objects or processes (as in psychologistic theories of judgment), nor are they essentially mind-independent, abstract objects (as in platonistic theories of judgment), nor again are they inherently assertoric takings of propositions to be true (as, e.g., in Frege’s theory of judgment). Instead, Kantian judgments are intersubjectively shareable, rationally communicable, cognitively-generated mental-act structures or types whose logically-structured truth-apt semantic contents can be the targets of many different kinds of epistemic or non-epistemic propositional attitudes.

For Kantthere are four types of judgments:

a priori a postiori
analytic A judgment that doesn't require experience to know. Cannot exist. Don't need experience to see that predicate is contained in the subject.
synthetic Causality. If I throw a ball into the air, can I know what will happen regardless of whether or not I've actually thrown a ball in the aire before? ""