Is Logic Empirical?
en.wikipedia.org