Nagel's classic account treats reduction as a logical relation between theory-statements, yet this f...