What science and the quest for knowledge are after is irrefutable truth; that is, propositions that human beings are not free to reject — that are compelling. They are of two kinds, as we have known since Leibnitz: truths of reasoning and truths of fact.

The New Yorker (21 November 1977)