 Carnap would perhaps not have taken this objection seriously, since, like the Wittgenstein of the Tractatus (e.g., §4.26, 4.641–4.465), he does not believe that logical truths and rules are ‘out there’, waiting to be discovered: 