卡尔纳普的个人简介
卡尔纳普（1891～1970） Carnap，Rudolf 美国哲学家。逻辑实证主义的主要代表。1891年5月18 日生于德国隆斯多夫，1970年9月14日卒于加州圣莫尼卡。早年受教于G.弗雷格门下，1921年获耶拿大学博士学位，1926～1931年应M.石...基本内容
卡尔纳普（1891～1970）
Carnap，Rudolf
美国哲学家。逻辑实证主义的主要代表。1891年5月18 日生于德国隆斯多夫，1970年9月14日卒于加州圣莫尼卡。早年受教于G.弗雷格门下，1921年获耶拿大学博士学位，1926～1931年应M.石里克之邀任教于维也纳大学，1931～1935年任布拉格大学自然哲学教授，1935年底前往美国，并于1941年加入美国籍。1936～1952年任芝加哥大学哲学教授，1954年继H.赖兴巴赫之后接任加州大学洛杉矶分校教授，1961年退休。其哲学思想可作如下归纳：①一切关于世界的概念和知识最终来源于直接经验。②哲学问题被归结为语言问题，哲学方法就在于对科学语言进行逻辑分析。③归纳推理可以而且应当像演绎推理一样予以规则化和精确化，归纳逻辑提供据以评价人的合理信念和合理行为的标准。著有《世界的逻辑结构》等。
鲁道夫·卡尔纳普（Rudolf Carnap，又译卡纳普，1891年5月18日-1970年9月14日），是20世纪著名的美国分析哲学家，生于德国。经验主义和逻辑实证主义代表人物，维也纳学派的领袖之一。卡尔纳普是学物理和数学出身的，在耶那大学曾受业于弗雷格门下，研究逻辑学、数学、语言的概念结构。受伯特兰·罗素（Bertrand Russell)和弗里德里希·路德维希·戈特洛布·弗雷格（Friedrich Ludwig Gottlob Frege）的著作影响。
哲学上早期受新康德派的影响，他最早的作品如《空间。论科学哲学》，《论物理学的任务和简化原则之应用》等都可以看到这种影响的印迹。同时他受到了马赫实证论和经验论的影响，使他完全走上了实证论的道路。《世界的逻辑构造》是卡尔纳普的代表作。
[编辑]
生平及著作
1891年5月18日,卡尔纳普生于德国 隆斯多夫；1970年 9月14日卒于美国加利福尼亚州 圣莫尼卡。1910～1914年，他在德国耶拿大学和弗赖堡大学学习数学、物理和哲学，是弗里德里希·路德维希·戈特洛布·弗雷格（Friedrich Ludwig Gottlob Frege）为数不多的学生之一。弗雷格的数理逻辑和语言哲学对他产生了很大影响。第一次世界大战期间，卡尔纳普在德国军队中服役。这一时期,他认真研究了A.爱因斯坦的相对论,尤其关心和相对论有关的方法论问题。战后，他从研究实验物理学转向理论物理学与哲学。由于受到弗雷格的影响，他开始钻研阿弗烈·诺夫·怀海德（Alfred North Whitehead）与伯特兰·罗素(Bertrand Arthur William Russell)]]合著的《数学原理》，并尝试用符号逻辑表述和研究哲学问题。1921年，卡尔纳普以关于空间概念的论文在耶拿获博士学位。嗣后数年，他在家研究逻辑和物理学基础，写了一系列关于时空问题、因果性问题的论文。1926年秋，他应M.石里克之邀去维也纳大学担任哲学讲师。在维也纳的五年中，卡尔纳普成为石里克所领导的逻辑实证主义的维也纳学派中最有影响的成员。1928年，他酝酿了好几年的著作《世界的逻辑结构》正式出版。该书的内容经过维也纳小组的反复讨论，是早期逻辑实证主义的一部重要的代表作。卡尔纳普在这一著作中，从经验主义的立场出发，力图运用罗素在《数学原理》中所阐述的符号逻辑的方法进而阐明知识的基础，并试图完成由罗素所开创的在感觉经验基础上构造出全部人类知识的工作。从1930年开始，他与H.赖兴巴赫合作编辑出版逻辑经验主义的《认识》期刊，这一工作一直持续到1940年由于战争而停止。1931年,卡尔纳普接受物理学家P.弗兰克的邀请,前往布拉格大学任自然科学分部的自然哲学教授。1934年，他发表《语言的逻辑句法》，书中体现卡尔纳普把逻辑分析仅限于句法分析的思想。由于纳粹势力在捷克斯洛伐克的扩张，卡尔纳普于1935年底离开布拉格前往美国任教，并于1941年加入美国籍。1936～1952年，他担任芝加哥大学哲学教授。30年代中期，卡尔纳普开始转向语义学研究，并陆续出版了这方面的著作,主要有:《语义学导论》(1942)、《逻辑的形式化》(1943)、《意义和必然》(1947)。从1937年开始，卡尔纳普与O.纽拉特、C.W.莫里斯一起主持编辑出版《国际统一科学百科全书》。在40年代。卡尔纳普逐渐转向归纳逻辑的研究，1950年出版了《概率的逻辑基础》。1954年赖兴巴赫突然去世，卡尔纳普接替其担任加利福尼亚大学洛杉矶分校的哲学教授席位。1961年退休。卡尔纳普的其他重要著作还有：阐明他早期反形而上学主张的《哲学中的假问题》(1928)；从句法构造和语义构造两个角度，精确地处理形式语言并阐明数理逻辑应用的《符号逻辑导论》(1954)；作为科学哲学入门的《物理学的哲学基础》(1966)。 在政治上，卡尔纳普是一个和平主义者和民主主义者。他主张各民族之间的友好合作，并结合其人工语言思想热衷于推行国际语和世界语。他从对科学方法的信念出发，逐步批判乃至最终放弃了宗教信仰，成为一个无神论者。他的结论是：要说明自然界包括人类社会中的任何事件，并不需要什么上帝。他认为，人生的任务对个人来说就是要不断地提高自己，建立一种互相合作、富于收获的人与人的关系，从而使全人类达到大同的境界，每个人都能过着满意的生活并共享文化的成果，而确立这种目标就是人生的意义。
[编辑]
哲学特点和基本内容
卡尔纳普的哲学从以下基本信念出发：
①在科学及科学方法上，认为科学是人类所具有的唯一的有系统、有根据的知识，科学方法是唯一能使人们取得这种知识的方法。
②在数理逻辑方面，认为弗雷格和罗素所开创的逻辑分析方法使哲学进入了新的阶段，它是研究哲学的唯一有效的方法。
③哲学的最终目的，在于运用逻辑分析方法消除旧哲学的混乱和错误，并从逻辑上阐明科学的经验基础。
卡尔纳普的哲学具有如下主要特点：
①一切关于世界的概念和知识最终来源于直接经验。
②哲学问题被归结为语言问题，哲学就是科学语言的逻辑，哲学方法就在于对科学语言进行逻辑分析。
③归纳推理可以而且应当象演绎推理一样予以规则化和精确化，归纳逻辑提供据以评价人的合理信念和合理行为的标准。
经验知识的基础
卡尔纳普赞同从大卫·休谟(David Hume)以来已被经验主义普遍接受的关于分析命题与综合命题的两分法，认为，数学与逻辑命题是分析命题，综合命题来源于经验,最基本的经验命题是原始记录语句或称始录语句,即记录直接观察结果的陈述。他指出，阐明经验知识的基础不需要考察人类获得知识的实际过程，而是要探讨如何把科学命题和概念还原为记录直接经验的命题和概念的问题。这样，也就排除了从心理学角度研究认识过程的古典认识论。
卡尔纳普力图建立一个严密的逻辑构成系统，用以表示一切可知对象的领域。这一逻辑构成系统可以通过一系列构成定义把一个领域还原为少量的一组概念。卡尔纳普把已知的对象分为4种类型：①社会文化对象;②他人的心；③物理对象；④本人经验。他选择④作为认识论基础，并在其中再选出一种最简单、最原始的对称关系，即Er关系，指对相似性的记忆；基本经验则可定义为Er关系的领域。他用部分类似性表示相同经验之间的关系，即双向的Er关系；而类似性区域则为部分类似性的抽象的类。这样，通过应用更复杂的定义就可进而构造"感觉"、"时间次序"等概念，并进而定义时空世界、知觉世界、生物界、人类、人类文化对象。
对卡尔纳普来说。唯我论基础的选择只具有方法论意义而没有本体论意义。这仅仅表明卡尔纳普前期在认识论上倾向于E.马赫、罗素等人所主张的现象主义。他认为从逻辑上同样也可以选择物理对象为基础。卡尔纳普指出，选择之不同只表示所使用的语言类别不同、始录语句的性质和形式不同。他对哲学上不同学派的争论持中立态度，认为人们可以自由选择自己所喜欢的语言，唯心论与实在论、现象主义与物理主义之间的分歧，仅仅是哲学家选择不同语言的结果。
卡尔纳普后期在纽拉特的影响下转向物理主义，认为物理语言是始录语句最可取的形式，因为物理语言不仅可以表达全部知识（包括心理学知识），而且它还具有互观性。因而他接受并积极参加了纽拉特提出的"统一科学"的工作，试图把社会科学、人文科学、自然科学都统一到物理语言的基础上来。
理论概念的还原
卡尔纳普早期认为，理论概念能够通过显定义还原为一组观察概念，被还原概念等值于这一组还原概念。这种还原意味着理论概念可用观察概念代替，并因此成为一种严格的经验主义。后来，他认识到如可溶性，脆性等不能实现这种还原，不能由直接经验给出显定义,因而就把这一要求放宽,另外规定了一种还原语句。这种还原语句采用条件句的形式，给出在指定的场合下被还原概念与直接经验的联系。还原语句与定义性还原的区别在于，前者不能把理论陈述完全地还原为代表直接经验的始录语句，它只能导出依不同的实验条件而改变的各个观察陈述。这就从根本上动摇了早期逻辑实证主义作为有意义命题标准的证实原则。卡尔纳普代之以确认原则与检验原则，认为科学关于不可观察对象的假设虽然永远不能被观察证据所证实，但却可以得到观察证据的或多或少的确认。对确认程度的定量研究促使卡尔纳普后期从事逻辑概率方面的工作。 卡尔纳普在对自然科学的基础研究中，提出了关于理论结构双层语言学说。他把科学语言分为观察语言和理论语言，认为理论语言只能通过对应规则间接地部分地得到解释，而且理论概念的意义还依赖于其所表述的理论本身。这样，卡尔纳普的经验主义定义就被进一步放宽，表明他离开原来的实证主义立场已经较远了。
人工语言
卡尔纳普区分了语言分析中的对象语言和元语言。元语言可以表述关于对象语言的理论，这一理论就是元逻辑，逻辑语法是其中的一部分。卡尔纳普力图使元语言精确化，构造出一个精确的逻辑语法的概念系统。卡尔纳普把逻辑语法严格地限于处理语言表述式的形式而不涉及其意义。在他看来，逻辑语法包括形成规则和变形规则，前者用以指定所用符号及规定符号如何构成语句，后者指逻辑推理规则。卡尔纳普认为逻辑规则只涉及语言的形式，给定这两种规则就是给定了一种语言。严格遵循这些规则所构造出来的人工语言，可以精确地实现知识的逻辑重构。卡尔纳普提出了语言选择的宽容原则，即人们可以自由地选择不同的规则系统，从而选择不同的逻辑，不同的语言。
卡尔纳普区分了实质的说话方式与形式的说话方式。他指出,在自然语言中,由于有一些论述语法的语句在形式上与论述对象的语句十分相似，因而被人们误认为是对象语句。卡尔纳普把这些语句看作是伪对象语句，并认为它们是哲学中伪问题的一个重要来源。在他看来，这类错误之所以产生，就是因为人们误用了实质方式表达本来应该由形式方式表达的东西。一旦改用形式方式，即把它们译成元语言的语法语句，就可以消除混乱和错误。
卡尔纳普在其早期,认为哲学问题只是语法问题,元理论只包括语法。后来，由于受A.塔尔斯基的影响，认识到哲学还应包括语义分析，并把语义学看作是元理论的一部分。卡尔纳普关于语义学的基本概念是事实真与逻辑真。他还区别内涵和外延，认为内涵语义学的基本概念是名字和语句的意义、表达式的同义性、命题的分析性；外延语义学所处理的基本概念是个体、类、真值等等。在此基础上，卡尔纳普用语义学概念解释模态逻辑的概念，把命题的模态解释为表述该命题的相应语句的语义性质。
逻辑概率和归纳逻辑
卡尔纳普为了修正他早期所提出的证实原则，便代之以确认原则，主张科学知识与直接经验之间的关系是科学假设从经验证据取得一定程度的确认。这一理论的中心概念是确认度，也就是逻辑概率或称归纳概率。所谓逻辑概率就是把概率作为一个逻辑概念来处理，区别于以相对频率为根据的统计概率。卡尔纳普认为，逻辑概率是一切不具有演绎必然性的归纳推理的基础，关于逻辑概率的理论就是归纳逻辑。他指出，逻辑概率不属于科学本身，而属于科学逻辑即科学方法论，它要用元语言表述。逻辑概率的特点是，其概率值取决于语句之间的逻辑关系，而与经验无关。逻辑概率的陈述是分析陈述，它确定语句之间定量的确认关系，类似于演绎逻辑确定语句之间的推论关系，从而归纳逻辑可给出假说的相对于给定证据的确认度。因此，他认为归纳逻辑与演绎逻辑、归纳推理与演绎推理之间没有根本性质的区别。
卡尔纳普设想了一套形式化的归纳逻辑，其中包括定义的确认函数和给出一种普遍的估计理论。他还运用归纳逻辑的思想，结合关于陈述内容的语义学概念，对信息概念作了语义学的解释。
卡尔纳普的归纳逻辑研究存在着很多技术上的困难，他本人在这方面的工作远远没有达到自己所设想的目标。对他的这套设想，西方哲学界有不少人持怀疑态度。
[编辑]
意义理论
卡尔纳普的意义理论是逻辑学发展史上的一个重要的环节，对逻辑学的许多分支如模态逻辑、蒙塔古内涵逻辑等产生过重大影响。卡尔纳普继承了罗素和维特根斯坦的主张，用逻辑来解决哲学问题。他认为哲学的对象是语言而不是世界，而语言的核心问题是语言的意义，因此意义问题就成了哲学的中心问题。他的意义理论大体上可以分成互相联系的两个方面：逻辑的方面和哲学方面。在哲学方面的最重要体现是意义证实论，但本书主要讨论其逻辑方面。
卡尔纳普意义理论经历了一个从逻辑句法到语义学的变化过程。以1935年为界，卡尔纳普先后提出了所谓逻辑句法和语义学。在句法阶段，他的整个工作可以描述为寻找一个逻辑―数学陈述的有效性标准（分析性的定义）的努力。他认为语言可以脱离开具体的意义来形式地考虑，这就是建立一种形式语言，其中符号没有意义。我们仅通过考察符号的类别和顺序（句法规则）就可以确定意义关系问题，尤其是能够确定逻辑 ―数学语句的真值，这就是分析性定义所确立的有效性标准。然而，他最终还是背离了句法原则：非确定概念的接受使得他必须使用具有语义学性质的赋值方法。塔斯基的真理定义使他最终确认只有语义学才是他要寻找的东西，逻辑真理是语义学性质的概念，只有在语义学的范围内才能给出恰当的定义，他给出的定义是“在所有的状态描述中为真”。在语义学中，意义被分析为外延和内涵两个方面。通过一系列L―概念，可以刻画各种表达式的内涵和外延。因此他所理解的语义学不是外延语义学，而是一种内涵语义学，外延内涵方法是他的语义学的基本方法。
卡尔纳普的意义理论是对逻辑学发展的重大贡献，也对哲学的进步起到了积极作用。他提出的逻辑句法方法使对形式语言的研究进入了新时期，通过对分析性概念的定义使对逻辑真理的认识更加深入；同时把一切哲学问题看作是语言的逻辑句法问题，促使哲学发展中语言学转向的完成。在其思想发展后期提出的外延内涵方法，在逻辑史上对内涵概念第一次进行了形式刻画，并给模态逻辑提供了第一个语义解释，开创了逻辑语义学和模态逻辑的研究的新局面，并对哲学中分析与综合的区分以及语言意义问题的讨论提供了新的思想来源。
