Hi, firstly I just want to say that I realise that this question is probably not something that’s a “need to know” issue for Catholics. I’m sure that salvation doesn’t depend on knowing the answer to this, but it’s bugged me for a while, so I’d love to know what (if anything) the church says on this.
The question is this:
Before his fall what was the Devil’s name? - I’d always thought it was lucifer until I read a little about the whole translation issue regarding a passage in Isaiah(?) regarding a reference the planet Venus, aka day star or morning star, and a translation of this from Hebrew word “Hillel” into Latin “Lucifer” (lux-farre) aka “light bearer”.
So was the angel who became the devil always called satan/satanel/ha-satan or lucifer, or something else before his rebellion and fall?
Thanks for any insights and I’m sorry if this was the wrong section to post this question. Thanks.