The calculus is the story this [the Western] world first told itself as it became the modern world.

Every computer divides itself into its hardware and its software, the machine host to its algorithm, the human being to his mind. It is hardly surprising that men and women have done what computers now do long before computers could do anything at all. The dissociation between mind and matter in men and machines is very striking; it suggests that almost any stable and reliable organization of material objects can execute an algorithm and so come to command some form of intelligence.

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.

Darwinism is not a sufficient condition for a phenomenon like Nazism but I think it's certainly a necessary one.

Commentators who today talk of 'The Dark Ages' when faith instead of reason was said to ruthlessly rule, have for their animadversions only the excuse of perfect ignorance. Both Aquinas' intellectual gifts and his religious nature were of a kind that is no longer commonly seen in the Western world.

Arithmetic is where the content lies, and not logic; but logic prompts certainty, and not arithmetic.