Could logic be empirical? Yes, but it's impossible to prove it.