当前位置:首页 > 经典书库 > 逻辑百科辞典

卡尔纳普,R.

【生卒】:1891~1970

【介绍】:

美籍哲学家、逻辑学家。1891年5月18日生于德国隆斯多夫;1970年9月14日卒于美国加利福尼亚州。1926年秋去维也纳大学担任哲学讲师,后成为逻辑实证主义的维也纳学派中最有影响的成员。1928年出版了《世界的逻辑结构》,力图用数理逻辑的方法阐明人类知识的基础。从1930年开始与H.赖兴巴赫合作编辑《认识》期刊。1934年发表了《语言的逻辑句法》,书中体现卡尔纳普把逻辑分析仅限于句法分析的思想。1935年去美国。30年代中期,卡尔纳普开始转向语义学研究,陆续出版了《语义学导论》、《逻辑的形式化》、《意义和必然》。从40年代起,卡尔纳普逐渐转向归纳逻辑的研究,1950年出版了《概率的逻辑基础》,建立了定量归纳逻辑等理论,1952年出版了《归纳方法连续统》,建立了归纳方法连续统理论。卡尔纳普的逻辑理论有:①逻辑语义学。卡尔纳普是第一个为模态逻辑建立逻辑语义学的逻辑学家。他给出了两个模态逻辑的语义系统MFL和MPL。②模态谓词演算。40年代初至中期,他建立了模态谓词演算,把模态概念引入谓词逻辑。并且在外延与内涵方法的基础上,对模态逻辑的有关问题作了较系统的讨论。③归纳逻辑。卡尔纳普是归纳逻辑的逻辑概率学派的主要代表人物。在逻辑概率即确证度的基础上,相继建立了定量归纳逻辑、可比较归纳逻辑、归纳相干理论、归纳估计理论和归纳方法连续统理论,其中定量归纳逻辑和归纳方法连续统理论是他最负盛名的工作。晚年,卡尔纳普又运用模型论和集合论概率公理重新刻划了他的归纳逻辑,对他早期的归纳逻辑进行了修改和补充,对概率作了主观主义的解释。

上一篇:可计算函数 下一篇:可构成公理
分享到: