Is Logic Empirical? | Dark Hacker News