维特根斯坦论语言的不定性原则——兼论私人语言的不可能性

语言的否定性原则指的是凡语言必须有否定语句的存在，否则就不称为语言。这一原则是维特根斯坦探讨语言问题时所持有的一个根本原则，它体现着语言的辩证法。根据这一原则，他对逻辑语言、日常语言和私人语言的可能性问题都作了独特的分析，认为逻辑语言和日常语言是可能的，而私人语言由于没有否定语句的存在因而是不可能的。     

浅议一阶逻辑的发展与集合论公理化的关系

众所周知,一阶逻辑与公理集合论是数理逻辑的两个组成部分,其中,一阶逻辑是数理逻辑的基础部分.但在数理逻辑刚刚出现的时候,逻辑不是一阶的,集合论也经历了由康托尔素朴集合论到公理集合论的发展.在数理逻辑发展的历史中,一阶逻辑的出现及其主导地位的确立与集合论的公理化,二者之间存在着密切的联系.     

萨维奇确定性原则的逻辑与认知分析

萨维奇将确定性原则作为其决策理论体系的一条重要公理,以确保决策者的偏好具有一致性。然而,确定性原则遭到了阿莱悖论等诸多难题的挑战,致使期望效用理论的合理性遭到质疑。从认知的角度看,确定性难题可以由框架错觉、不恰当的问题情境、非结果主义推理方式等非理性因素所导致。从逻辑的角度看,确定性难题源于人们错误地将确定性原则当作了一个逻辑原则。因而,在运用确定性原则时,必须注意它的应用条件和适用范围,或者引入非线性的决策权重以建构起更加具有解释力的权重效用理论,从而实现对确定性难题的消解。     

关系性-过程性原则的逻辑必然性

过程哲学的核心观点是将实在看作是相互关系着的过程,这一核心观点可以概括为关系性-过程性原则。过程哲学作为一种思辨哲学,必须表明自身的逻辑必然性。从思辨哲学的自明原则可以分析出关系性原则的逻辑必然性;从怀疑论的逻辑结构的解析中可阐明过程性原则的逻辑必然性。因此在过程哲学中关系性-过程性原则是重要的基本原则。     

命题顺序与文本逻辑:比林斯利英译欧几里得《原本》双版第十四卷成因分析

1570年比林斯利英译欧几里得《原本》(简称比氏《原本》)集文艺复兴时期欧几里得《原本》研究之大成,收录了双版第十四卷:14A和14B.14A源自赞伯蒂《原本》,保持4道基本命题顺序,呈现以基本命题为核心的文本原貌.14B源自坎帕努斯《原本》和弗鲁萨特斯《原本》,优先考虑完善4道基本命题逻辑结构的完备性,在原基本命题之...     

莱布尼茨逻辑数学化思想的开创和界限

莱布尼茨开创了逻辑数学化的工作,成为数理逻辑的创始者。他以单子论的本体论和唯理主义的认识论为前提,按照方法论上的包含原则、符号对应原则、演绎推理的一致性原则将逻辑数学化,追求逻辑和数在本体论、认识论和方法论的统一。然而莱布尼茨没有完成逻辑数学化的宏大设想,其逻辑数学化存在一定的界限：一方面,单子论取消了量的关系的独立性;另一方面,包含原则导致对项的还原和内涵逻辑的倾向。对莱布尼茨逻辑数学化界限的分析将有助于进一步反思当今科学数学化的合理性和局限性。     

大学和产业知识生产模式的异质性与融合性研究——基于制度逻辑的视角

大学和产业知识生产模式的异质性与融合性是影响产学合作关系发展的关键因素之一。基于制度逻辑的视角,可把产学知识生产模式的制度逻辑划分为"商业逻辑"和"学术逻辑"。据此,通过包括"劳动分工"、"工作环境"、"个人特征"和"知识扩散"四个维度的分析框架对它们的异质性和融合性进行探究后发现,大学和产业的知识生产模式不是截然对立的,而是异质性和融合性的统一。认识到这些异质性和融合性,对形成科学、合理的产学合作政策,从而更有效地促进产学协同创新起着重要作用。     

基于关系网络的直觉思维探析

直觉思维是对事物本质特征的整体领悟。它将有关对象事物的各种感受、体验和观念融合为一个整体,提炼能够解读其整体性质的基本关系,以求达到融会贯通的理解。直觉有其内在的思维机制,它以对象事物内部和外部的各种关系网络为认识对象,将对关系的识别("取象")、关系的"同构映射"("嵌入")和意义的解读("贯通")融为一体,在瞬间完成了有关对象事物本质特征的整体性判断。直觉思维并不完全准确,但具有很大程度的可靠性,原因在于其符合在宏观层次上把握事物本质特征的一般规律,能够发现被逻辑思维框架忽略了的事物内在联系,并且以隐蔽方式利用逻辑思维方法和相应思想资源,获得更全面、更深入的认识成果。     

经验论的自由化——重审逻辑经验主义的后期发展

后期逻辑经验主义在实用主义等哲学的影响下,构造了自由化的经验论。一方面,后期逻辑经验主义反思了传统经验论的三大教条,弱化乃至部分消解了观察与理论、分析与综合以及事实与价值的界限;另一方面,后期逻辑经验主义根据更为自由的命题意义标准,凸显科学概念框架的历史性,强调科学哲学与科学实践的紧密关联。经验论的自由化,不仅开启了科学文化哲学的研究进路,而且也为当代科学哲学克服相对主义和非理性主义提供了宝贵的思想遗产。     

证实原则的认知逻辑分析

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。     

建构基于术语属性的定名原则

术语定名涵盖本族自生术语命名和语际术语译名。尽管术语定名贵在实践,但终需理论来指导。例示基于术语属性而构建科学性、简明性、规范性三大定名原则,旨在促成术语定名合理规范。     

基于ArcEngine的国情普查矢量数据拼接技术探讨

针对目前地理国情普查数据分幅生产与管理,在时点核实后要进行快速数据拼接和融合,处理地理要素在图幅边缘产生的空间和属性不一致问题,利用ArcGIS的GeoDatabase数据模型,针对空间数据库要素的合并、要素属性的合并等问题,提出了一种兼顾空间位置关系和属性特征的数学模型和算法,并基于ArcGIS Engine以及Microsoft Visual Studio 2010的开发环境实现了该方法。实践证明,该方法很好地实现了逻辑接边和物理接边。     

技术资本化的路径探析——基于马克思资本逻辑的视角

技术包含了物质、智能和信息。物质层面,技术是物化的人工物;智能层面,技术是人的主观技术意向和客观科学原理的统一;信息层面,技术是人工物的具体工艺流程。技术与资本存在逻辑共契,技术通过"资本化"转化为技术资本。技术资本兼具技术的普遍特质和资本的一般属性,其目的是追求高效率与实现高增值,前提是技术成果成为商品,关键步骤是商品货币积累成资本。技术资本化则是遵循着马克思资本逻辑,在时间和空间上展开为三条具体路径:技术人工物的资本化、技术知识的资本化和技术专利的资本化。     

地球的第五种基本运动形式——离极自转

太阳视运动是地球基本运动的反映,“地球离极自转”形式被太阳视运动反映出来了。人们以中国的5座北回归线标志塔为参照,发现北回归线每年持续南移14米。北回归线南移是一种太阳视运动,它所反映的是地球南北方向的运动形式。地球南北极点以每年10米左右的速度移动,地轴却指向天北极不变,这证明地球本体在作离极运动。南北方向的“地球离极自转”现象,被太阳视运动和地球离极运动双重证据所证明。由于其它自转形式的参与,地球离极自转的自转轴收缩到了黄轴和地轴的交点上,轴变成了点。地球离极自转使地球上南北极有煤和6000万年前的恐龙化石,热带有冰川遗迹,岩石中有反向的剩余磁场等,也使诸多地球现象成了未解之谜。     

中国博物学文化发展的命题——第五届博物学文化论坛综述

2021年10月23日至24日,第五届博物学文化论坛在北京召开,本届论坛由《博物》杂志、国家动物博物馆、中国自然辩证法研究会博物学文化专业委员会、中国科学院《自然辩证法通讯》杂志社联合主办.因疫情防控工作需求,本届论坛严控线下参会人数,首次采用线上同步直播的形式进行,当日直播观看人数达81600多人次.10月23日的论...     

基于规范科技术语数据库的科技术语多音字研究与读音推荐

基于全国科技名词委规范科技术语数据库,提出包含614个多音字的“科技术语多音字表”,涉及34万余条含有多音字的科技术语。对科技术语多音字读音进行分析和整理,研究读音理据与原则,例析科技术语读音,给出部分科技术语的推荐读音。     

世界新秩序的构建——第五届国际易学与现代文明学术研讨会纪要

金秋时节,天高云淡。来自海内外十几个国家和地区的四百多名专家学者会聚香港柴湾的青年广场,以世界新秩序的构建为主题举办了第五届国际易学与现代文明学术研讨会。本次研讨会由国际易学联合会、中国自然辩证法研究会易学与科学专业委员会、东方国际易学研究院、香港中华能源基金     

科学技术文化研究的新视野——第五届全国科技文化与社会现代化学术研讨会综述

2008年7月30日至8月1日,第五届全国科技文化与社会现代化学术研讨会在齐齐哈尔大学隆重召开,本次研讨会由中国自然辩证法研究会科技文化专业委员会组织,齐齐哈尔大学承办。会议收到论文86篇,100多位来自全国各地的专家、学者围绕科技文化与社会现代化这一主题进行了广泛而热烈的研讨。现将与会专家、学者的主要观点综述如下。     

基于取象比类的五行-五脏术语英译研究

“取象比类”是中国传统医学理论的主要方法论之一,它对中医理论体系的构建和临床实践都发挥了重要作用。中医学理论中五行-五脏之间模式的构建正是基于取象比类的方法论。文章通过对取象比类进行系统阐释,结合现代概念隐喻翻译研究,对五行-五脏中术语的英译进行分析思考,旨在为中医术语隐喻翻译提供新思路。     

基于协同的第三方软件测试平台建设关键问题研究及实现

随着中国软件业的迅猛发展，软件产品的质量控制与质量管理正逐渐成为软件企业生存与发展的核心。但国内软件测试刚刚起步，测试标准的不完善、测试管理技术落后等问题凸显，通过构建第三方测试机构使用的测试管理平台可以推动我国测试管理技术的快速发展，具有重要的研究意义。本文结合理论研究，立足软件测试实践工作，从第三方测试活动和平台建设的关键问题等角度进行了观点阐述，从而得出建设基于协同的第三方软件测试平台的主要内容。