卡尔纳普(1891—1970)是当代著名哲学家、逻辑学家。他的研究涉及到逻辑句法学、逻辑语义学、归纳逻辑、语言哲学、科学哲学等领域。其中,内涵逻辑学、科学哲学、语言哲学的发展无不展示出他的巨大影响。作为卓越的逻辑学家,卡尔纳普深知纯粹形式的观点对逻辑研究本身的重要性;作为目光远大的哲学家,他同样深知纯粹形式的逻辑观是远远不够的。对于卡尔纳普来说,逻辑的重要性在于它对非逻辑知识的作用。卡尔纳普对逻辑应用的关注集中体现在他对科学方法论基础问题的重视。他的研究特色在于从科学语言的逻辑分析着手。语言意义问题,尤其是科学语言的意义问题的研究始终贯串在他的学术研究生涯中。研究的一个中心问题是寻求科学理论语言意义标准的适当表述。同早期仅仅包含基本思想的概括口号:“语言的意义在于可检验性”相比,他的表述更多地考虑到了科学理论本身的特征。这显示了卡尔纳普兼顾到了两个方面·既充分体现基本思想,又尽可能精确地刻划科学理论的逻辑结构的努力。在以下几节中,我们来观察这种努力是否奏效。