可定义性与插值在哲学中的应用
Definability and Interpolation in Philosophy
University of Amsterdam（阿姆斯特丹大学）；Stanford University（斯坦福大学）；Tsinghua University（清华大学）
AI总结：
本文探讨了自1950年代以来哲学中Craig插值定理和Beth可定义性定理的应用，分析了依赖性概念的作用，并提出了新的技术成果。
摘要：
本文回顾了自1950年代以来哲学领域中Craig插值定理和Beth可定义性定理的出现情况。我们识别出依赖性概念是贯穿这些理论的主要线索，并包含了一些新的技术结果，特别是关于逻辑系统翻译和广义可定义性。
英文摘要：
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
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
