Decidability and Cognitive Significance in Carnap