Clears the ground of some very well-entrenched philosophical doctrines about the nature of logic, including some of the fundamental seldom-questioned parts of elementary propositional and predicate-quantificational logic.