The distinction between 'logical' and 'extra-logical' knowledge is itself contested: formal validity...