Is Logic Empirical?