If moral statements are about something, then the universe is not quite as science suggests it is, since physical theories, having said nothing about God, say nothing about right or wrong, good or bad. To admit this would force philosophers to confront the possibility that the physical sciences offer a grossly inadequate view of reality. And since philosophers very much wish to think of themselves as scientists, this would offer them an unattractive choice between changing their allegiances or accepting their irrelevance.

At some time in the history of the universe, there were no human minds, and at some time later, there were. Within the blink of a cosmic eye, a universe in which all was chaos and void came to include hunches, beliefs, sentiments, raw sensations, pains, emotions, wishes, ideas, images, inferences, the feel of rubber, Schadenfreude, and the taste of banana ice cream.

Validity is the touchstone of inference, and truth of judgment: the fact that vichyssoise is cold ratifies the judgment that vichyssoise is, indeed, cold, and the judgment that vichyssoise is cold expresses the fact that vichyssoise is cold.

Ultimately, Leibniz argued, there are only two absolutely simple concepts, God and Nothingness. From these, all other concepts may be constructed, the world, and everything within it, arising from some primordial argument between the deity and nothing whatsoever. And then, by some inscrutable incandescent insight, Leibniz came to see that what is crucial in what he had written is the alternation between God and Nothingness. And for this, the numbers 0 and 1 suffice.

An axiomatic system establishes a reverberating relationship between what a mathematician assumes (the axioms) and what he or she can derive (the theorems). In the best of circumstances, the relationship is clear enough so that the mathematician can submit his or her reasoning to an informal checklist, passing from step to step with the easy confidence the steps are small enough so that he cannot be embarrassed nor she tripped up.

For the most part, it is true, ordinary men and women regard mathematics with energetic distaste, counting its concepts as rhapsodic as cauliflower. This is a mistake-there is no other word. Where else can the restless human mind find means to tie the infinite in a finite bow?

The desire to see and the desire to ratify what one has seen are desires at odds with one another, if only because they proceed from separate places in the imagination.