是一种在石体中自然形成或人工开掘的洞穴。其语源经历了拉丁语—通俗拉丁语—意大利语几个过程。与中国传统意义上用于宗教的石窟有所不同，典型的石洞可以以自然风光着称，或是陈列历史或史前遗迹。当然，现代开掘的石洞亦有一部分用于宗教目的。着名的石洞地标有北马里亚纳群岛塞班岛上的海蚀石洞等。
延伸阅读.以下着作追索了石洞的起源、发展及现代石洞的样貌。