This paper is a historical tour of occurrences of the Craig interpolation theorem and the Beth definability theorem in philosophy since the 1950s. We identify the notion of dependence as one major red thread behind these, and include some new technical results, in particular, on logical system translations and generalized definability

翻译：本文回顾了自20世纪50年代以来Craig插值定理与Beth可定义性定理在哲学领域的历史发展。我们将"依赖性"概念识别为贯穿这些讨论的一条主线，并包含了一些新的技术性成果，特别是关于逻辑系统翻译与广义可定义性的研究。