Nevének eredete

Baradla-barlang.

Mind a két név, a Baradla-barlang és az Aggteleki-barlang név is, napjainkig használatos, és az elmúlt évek törekvései ellenére, még mindig az utóbbi az ismertebb, bár nem helyes megnevezés. A barlang neve: Baradla-barlang vagy Baradla-Domica-barlangrendszer. A 20. századig az „Aggteleki” név legfeljebb csak írásmódjában tért el egymástól, hiszen Aktelek, Ag-telek, Agtelek és Aggtelek változatban egyaránt megtalálható. A névadó település és így a barlang nevének írásmódját a Belügyminiszter rendeletben „Aggtelek” alakban határozta meg. Az Aggteleki-barlang név használatakor a barlang gyakran kiegészül a cseppkő kifejezéssel, és ekkor Aggteleki-cseppkőbarlangként jelenik meg.

Maga a Baradla név feltehetően a szláv eredetű "bradlo" szóból származik, melynek jelentése sziklaszirt, sziklás meredek hegy (Dénes 1960.). A Bradlo, melynek a többes száma a Bradla, egy ma is használatos kifejezés és egyben élő földrajzi név is Szlovákiában. A Bradlo szóból tudományos magyarázat nélkül levezethető a Baradla kifejezés, hiszen a magyar nyelv a mássalhangzó-torlódást számos esetben magánhangzó beépítésével oldotta fel, míg a szóvégi magánhangzó lehet a többes szám a betűje vagy egyszerű félrehallás eredménye is.