Ramsey's revision, accepted by later logicists including Carnap, constitutes a historically grounded...