The Philosophy of Logical Mechanism