Is_Logic_Empirical?