Carnap's Aufbau treats the verification principle as a pragmatic proposal for scientific language, n...