鲁道夫·卡尔纳普(Rudolf·Carnap[美]1891-1970)是20世纪著名的分析哲学家,经验主义和逻辑实证主义的代表人物,维也纳学派的重要领袖之一。他在20世纪50年代提出了概率逻辑系统,这一体系宣告了归纳逻辑的演绎化、形式化和定量化,将概率归纳逻辑推向了“顶峰”。本文将介绍他的归纳思想、归纳逻辑系统及其引起的争议和他归纳理论前后期的变化和意义,力图从这几个角度对卡尔纳普的归纳逻辑做一较为全面的呈现:第一部分该部分主要介绍了卡尔纳普归纳思想的来源和内容。第二部分该部分分别介绍了构成卡尔纳普的归纳逻辑系统的形式语言(?)、c函数和λ系统。第三部分该部分主要通过无限全称命题的零概率结果之争、“内容测度和逻辑概率成反比”之争、枚举归纳和消除枚举的归纳之争等九个争议点,介绍了卡尔纳普的归纳逻辑所引发的争论。第四部分该部分分析了卡尔纳普归纳逻辑前后期的转变和意义。