Jaegwon Kim's exclusion argument demonstrates that irreducibly distinct higher-level frameworks gene...