Classify the judgement 'The shortest distance between two points is a straight line' in Kant's scheme.
- Is it analytic? The concept 'straight' is about a quality of the line and does not contain the idea of 'shortest', which is about quantity. So the predicate adds something: synthetic.
- Is it known from experience? No. We hold it to be necessary and universal without measuring lines, so it is a priori.
- Kant explains this by saying geometry rests on space, which is a form of our own intuition.
Answer: Synthetic a priori, one of Kant's own examples from geometry.