Darwin's theory of evolution is the last of the great nineteenth-century mystery religions. And as we speak it is now following Freudians and Marxism into the Nether regions, and I'm quite sure that Freud, Marx and Darwin are commiserating one with the other in the dark dungeon where discarded gods gather.
David BerlinskiLeibniz endeavored to provide an account of inference and judgment involving the mechanical play of symbols and very little else. The checklists that result are the first of humanity's intellectual artifacts. They express, they explain, and so they ratify a power of the mind. And, of course, they are artifacts in the process of becoming algorithms.
David BerlinskiThe 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.
David BerlinskiIf 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.
David BerlinskiAn axiomatic system comprises axioms and theorems and requires a certain amount of hand-eye coordination before it works. A formal system comprises an explicit list of symbols, an explicit set of rules governing their cohabitation, an explicit list of axioms, and, above all, an explicit list of rules explicitly governing the steps that the mathematician may take in going from assumptions to conclusions. No appeal to meaning nor to intuition. Symbols lose their referential powers; inferences become mechanical.
David BerlinskiValidity 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.
David BerlinskiThe world of shapes, lines, curves, and solids is as varied as the world of numbers, and it is only our long-satisfied possession of Euclidean geometry that offers us the impression, or the illusion, that it has, that world, already been encompassed in a manageable intellectual structure. The lineaments of that structure are well known: as in the rest of life, something is given and something is gotten; but the logic behind those lineaments is apt to pass unnoticed, and it is the logic that controls the system.
David Berlinski