Carnap and modern logic