"It is characteristic of a science in its earlier stages—and logic has become fossilized in such a stage—to be both ambitiously profound in its aims and trivial in its handling of details."