Is logic empirical