| | Kant's Theory of Judgment |
 | | Thus a proposition is the logically well-formed and semantically well-composed, truth-valued, unified objective representational content of a judgment, and more generally it is “what is judged” in the act of putting forward any sort of rational claim about the world (9: 109) (14: 659-660) (24: 934). |
 | | As a consequence of this, true mathematical propositions for Kant are not truths of logic — which are all analytic truths, or concept-based truths — but instead are synthetic truths, or intuition-based truths (see section 2.2.2). |
 | | Propositions are systematically built up out of directly referential terms (intuitions) and attributive or descriptive terms (concepts), by means of unifying acts of our innate spontaneous cognitive faculties, according to pure logical constraints, under a higher-order unity imposed by our faculty for rational self-consciousness. |
| plato.stanford.edu /entries/kant-judgment (6021 words) |