«Колокольня Ивана Великого» — неправильное название. По-настоящему мы должны называть эту церковь-колокольню просто «Иван Великий». Это наименование встречается в документах — в ладанных книгах, например, — уже в 30-е годы XVII века. И связано оно не со святым, а с самой колокольней. В сакральной топографии Москвы есть особый тип названий, которые образуются либо от характеристики места, на котором стоит храм, либо от качеств самого храма. Например, в Китай-городе есть церковь Никола Красный Звон, или, как она называлась в XVI веке, Николо-Хорошая Колокольница. То есть существовало представление о достоинствах колокольни, которое дало наименование ее храму. В случае с Иваном Великим происходит сакрализация размеров, поскольку Церковь Иоанна Лествичника была самым высоким сооружением Москвы на протяжении нескольких столетий.