Suas antigas denominações foram "Arraial Velho de Santo Antônio", e "Vila de São José do Rio das Mortes"[8] e cidade de São José del-Rei. O nome São José resulta de homenagens ao então príncipe de Portugal, D. José I. A vila de São José resultou do desmembramento da vila de São João del-Rei em 1718. As lavras de São José del-Rei foram descobertas por João de Siqueira Afonso, em 1702, nos primórdios do século XVIII.
Ao ser proclamada a República, o governo republicano precisava de um herói que, segundo os novos governantes, representava esses ideais. A escolha caiu sobre o alferes Joaquim José da Silva Xavier (Tiradentes), que além de tudo combateu um governo monárquico. Dessa feita, foi mudado o nome da cidade para Tiradentes.
A cidade tornou-se um dos centros históricos da arte barroca mais bem preservados do Brasil, por isso voltou a ter importância, agora turística, na metade do século XX, foi proclamada patrimônio histórico nacional tendo suas casas, lampiões, igrejas, monumentos e demais partes recuperadas.
Igreja Matriz ( de Sto Antonio ) ...
