透过卡尔纳普度量真正科学者思想的高度

就卡尔纳普的生平简介,论述了作者作为真正科学者思想的高度,并对其著作作了简要介绍。     

超越的分析性与内在的分析性——兼评蒯因和卡尔纳普关于分析性的争论

本文首先对蒯因与卡尔纳普关于分析性的争论作出评析,指出卡尔纳普基本上同意蒯因用于驳斥分析性的那些论点而否认它们会对分析性带来不利的影响,然后表明其实蒯因所抨击的分析性与卡尔纳普所支持的分析性是两类不同的语言学概念——用蒯因的术语说——作为超越的概念的分析性与作为内在的概念的分析性。最后指出,蒯因后来也接纳了分析性,而且按照他的观点,其分析性也是一个内在的概念。     

卡尔纳普的数学哲学

卡尔纳普的数学哲学林夏水Ｒ．卡尔纳普（１８９１～１９７０）作为维也纳学派的一个重要成员，已为哲学界所知晓；但他作为一个数学哲学家，曾经代表逻辑主义，与形式主义、直觉主义进行过论战，并以其数学哲学观点影响逻辑经验主义学派的形成，却鲜为人知。本文将探讨卡...     

透过卡尔纳普度量真正科学者思想的高度

就卡尔纳普的生平简介,论述了作者作为真正科学者思想的高度。并对其著作作了简要介绍。     

基于知识库的知识发现（KDK）的结构模型与挖掘算法研究

从知识库中发现新知识KDK (knowledge discovery in knowledgebase) 是一个新课题，它的成功将直接作用于大型知识库的构建，并将为解决目前机器学习的瓶颈问题——知识获取起到重要影响。笔者的主要工作是：基于知识库中事实的KDK归纳结构、算法及其验证；基于知识库中规则的KDK归纳结构、算法及其验证。     

论纳尔逊·古德曼对“准分析”困境的解决及其效应

作为对肇始于弗雷格的经典分析(构造)计划的进一步推进和实现,卡尔纳普的那个以"准分析"为基本方法的构造系统历来被公认为楷模。然而,古德曼却发现,"准分析"面临着足以威胁其整个构造计划的"同伴关系"和"不完美的共有"困难,并基于多元主义、唯名论和个体计算方法给出了解决方案,不仅因重构了构造主义而回应了对整个构造主义计划的质疑,而且借助于实用主义因素的引入奠基了分析哲学两大学派的融流取向。     

启蒙的理性重建——论卡尔纳普的科学人文主义思想

卡尔纳普的科学人文主义致力于在新时代理性重建启蒙的人文理想,这主要体现于以下三方面:(1)通过批判神学和形而上学世界观,理性重建肯定人性自律的科学世界概念;(2)通过清除近代科学的形而上学残余,理性重建科学自治的主张;(3)通过消解传统习俗中的道德偏见,理性重建倡导生活自主的科学人生观.卡尔纳普的科学人文主义捍卫了人性的自律,推进了人类心智的启蒙,为科学与人文的交融和对话留下了宝贵的思想遗产.     

论萨普对科学理论句法观的误解

通常将萨普的表述作为对科学理论句法观的标准理解,但对比卡尔纳普的原始表述,表明萨普的表述中存在诸多误解:一是认为句法观仅限于以一阶语言来重构科学理论,未指出句法观已将类型论与数学都囊括于其基本演算中;二是未指明"经验定律"就是重构后的科学理论"公理系统"中的"定理";三是对观察子演算及其形式语义的引入,误解了卡尔纳普在句法观中提出的经验语义解释及模型概念的本义。     

意义与事实——对逻辑经验主义意义理论的质疑

卡尔纳普和石里克从不同角度表述了同样的意义理论,即句子的意义就是它的证实条件。逻辑经验主义的意义理论完全依赖于它的证实原则,但证实本身却不是没有问题的。通过揭示逻辑经验主义意义理论中的矛盾,我们能发现证实原则的局限。