Kant's synthetic a priori propositions (e.g., '7+5=12') derive their necessity from the forms of int...