现代逻辑中的哲学问题

现代逻辑在发展过程中与现代哲学相互渗透,也相互促进发展。本文认为,现代逻辑所涉及的哲学包括逻辑本体问题,归纳逻辑中的休谟问题和现代逻辑概念的一些精细分析问题,并大致归纳出10个具体的问题作进一步的讨论。     

心理逻辑、创造性思维与科学发现——兼论逻辑认知的文化价值

心理逻辑作为认知逻辑的一个分支,反映了认知科学与现代逻辑的交叉特征.由于认知科学的经验性质,认知逻辑能够更好地说明人类认知过程中心理过程与逻辑过程的统一.用心理逻辑可以表征溯因推理、类比推理和归纳推理的创新思维特征.科学发现是一个创造性思维过程,同时也是一个心理逻辑过程.科学发现的心理逻辑模型从心理直觉和逻辑推理两种加工方式来说明科学发现的规律,揭示了创造性思维在科学发现中的作用.语言认知、逻辑认知、文化、进化和认知都是认知逻辑的题中应有之义,其中有很多重要的理论问题和实际问题值得我们去深入研究.     

浅析传统逻辑向现代逻辑发展的主要因素

传统逻辑主要局限于逻辑形式的贫乏与粗糙,现代逻辑是传统逻辑在当代哲学形式下的继承与发展,是逻辑学家企图弥补传统逻辑缺陷的一种逻辑。长期以来,研究者一直试图说明导致传统逻辑向现代逻辑转变的原因。从传统逻辑的局限性与现代逻辑的特征两个角度出发进行尝试性探讨,认为:现代逻辑的结构明显优于传统逻辑;传统逻辑向现代逻辑发展是现代哲学和科学发展的必然要求,更是必然结果;传统逻辑向现代逻辑发展过渡符合发展规律。     

“归纳问题”探析——问题的提出、内涵演变及理论价值

从古典到现代，归纳逻辑之所以远未取得如演绎逻辑一样的辉煌成就，原因之一在于它始终未能摆脱为自身合理性进行辩护的根基性问题。“归纳问题’的产生，既有深刻的逻辑学背景和近代经验论的哲学根源，同时也与休谟个人哲学思想的发展直接相关。自休谟以来，该问题的内涵已经在逻辑学、心理学和哲学等方面得以丰富和完善。探讨该问题，不仅对发展归纳逻辑和整个逻辑学科意义重大，而且还具有深刻的哲学认识论、科学方法论与科学哲学等理论价值及现实意义。     

论情境语义学研究的发展

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

弗协调逻辑的发展及现状

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

正规模态逻辑完全性理论研究综述

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

逻辑哲学研究的新进展——读陈波《逻辑哲学》

逻辑哲学是20世纪以来在西方哲学界与逻辑学界兴起的一个交叉研究领域，它是20世纪现代逻辑与现代哲学相互融合，特别是“哲学的逻辑化”与“逻辑的哲学化”这一趋势的直接产物。作为一个新兴研究领域，自20世纪80年代始，它就引起了我国的逻辑与哲学工作者的高度关注，时至今日，一大批逻辑工作者与哲学工作者一直在这块土地上辛勤劳作。在逻辑哲学的研究者中，北京大学的陈波教授无疑是其中较为著名的一位。十六年前，陈波出版了他的第一本专著《逻辑哲学引论》（人民出版社，1990年），这可以说是国内最早的冠名为“逻辑哲学”的著作之一。     

从流体力学的发展史看科学发展模式

科学发展的模式问题历来是科学和哲学探讨的重大理论问题之一。现代逻辑经验主义和证伪主义的方法论运行是以静态的方法论原则透视和演绎科学历史发展的逻辑程序和动态机制,它构成了科学哲学整体流程的一个不可或缺的环节,而科学发展模式则是该环节最直接最本质的体现。 在科学哲学的发展过程中,逻辑经验主义继承传统归纳主义的科学发展观,利用证实原则建立     

从挑战到和解:具身认知进路与近现代哲学之关系演变

认知科学中的具身认知进路宣称其在重要的论点和方法上挑战了传统的认识论哲学。在论点上,支持者们认为传统哲学中对认识起源的理解表现为两个极端的倾向,即实在论和唯心论。这两个极端的立场都起始于笛卡尔的追寻稳固认识根基的倾向。同样受笛卡尔的影响,西方传统哲学的主流将心智视为离身的,而认知科学最近得出的结论表明,心智是具身的。在方法上,具身认知提倡者们共同表现出了一种对包括现代哲学在内的哲学省思方法的贬低和蔑视。然而,具身认知进路对哲学的批判被其自身的发展走向所否定。具身认知进路的主张主要来自于现代哲学中的具身性思想,而其方法论的沙文主义也随着具身认知进路提倡者们对现象学的深入了解而消退。     

高校计算机网络安全问题研究

本文对当前高校校园网络安全所存在的问题进行了分析,并从安全管理和提高安全技术水平两方面阐述了保证高校网络安全的策略,从而确保校园计算机网络的安全畅通。     

基于系统动力学的区域低碳发展政策研究——以中国为例

低碳经济是一次全面的经济转型,其必要性和迫切性有目共睹,而低碳经济转型势必需要政策力量的推动才可能实现,因此,研究政策对低碳发展的不同影响就成了政策制定的必经之路。对于低碳发展的研究目前有很多,文章应用系统动力学方法构建区域低碳发展的政策影响模型,并将模拟结果与中国历年统计年鉴数据相比对,证明了模型的有效性。最后对中国未来发展的两种情景进行了预测,并对政策的制定、研究和分析给出了意见和建议。     

弗洛姆关于爱的理论述评

关于爱的理论是弗洛姆人道主义伦理学的核心内容。弗洛姆认为 ,爱是对人类生存问题的回答 ;爱是具有创造性和成熟性格的人的一种能力 ;爱的本质是“给予” ;爱包括博爱、母爱、性爱、自爱、神爱等形式 ,但所有爱的形式都包含关心、责任心、尊重和了解等基本要素。当代西方的社会结构和西方文化导致了西方社会爱的异化和爱情衰亡。弗洛姆关于爱的理论体现了他对弗洛伊德和马克思的“综合” ,有其合理因素和进步意义 ,但仍然是着重从心理学的角度去探讨爱的问题。     

企业文化变革要议——以IBM公司为例

本文从"文化"和"变革"的概念入手,从中国企业面临的实际情况出发,以国际巨头IBM公司为例,详细阐述了文化变革下的价值观再造、战略再造以及组织流程再造。在以上论述的基础上,作者阐明了业务方面选择、摆脱路径依赖、强势CEO在文化变革工作中的重要性。     

关于奢侈品税立法的思考

奢侈品作为一种高档或顶级商品,无疑是那些富足有余的人们经常关注或消费的对象。课征奢侈品税,其实就是征富人们的税,不会因此损害中低收入的普通消费者的利益。相反,通过课征奢侈品税,然后再把这部分税款通过社会公共福利等形式提升低收入人们的生活质量,这就在社会财富的二次分配上给那些社会上的"最不利者"带来了补偿利益。如此通过税收立法的手段,一方面削减了高收入者的财富,另一方面又形成对低收入群体的补偿,从而在一定程度上使社会财富的分配达到了相对的平衡,从而更加有利于分配正义的实现。     

论物上请求权

对物上请求权的种类、性质以及物上请求权是否适用消灭时效等基本理论问题进行了探讨,以期能对我国物权法的制定有所裨益.     

基于FPGA的可编程片上系统SOPC

介绍了可编程片上系统SOPC导致嵌入式系统设计变革的原因及优势,分析了基于FPGA的可编程片上系统的设计方法,提出了嵌入IP核的SOPC系统的解决方案.     

基于语料库的there-构式研究

构式是形式与意义的匹配,基于构式语法理论可以将there-构式分为存在性there-构式和呈现性there-构式。本文对美国当代英语语料库(COCA)中关于there-构式的相关数据进行分类检索、词条对比和数据分析后,总结出了各类there-构式的使用特征、肯定与否定的使用频率、各个时态的使用情况以及there-构式的使用规律,即there be使用最多,肯定形式和一般时使用频率更高,而部分there-构式即使符合语法结构,实际使用中却很罕见,进一步验证了构式是形式与意义的匹配,整体大于部分意义之和。     

列宁执政安全理论初探

执政安全是关系执政党生存与发展的基本问题。从掌权安全、控权安全、用权安全等角度出发,分析列宁对马克思主义党建学说的丰富和发展,从而揭示俄国共产党在确保执政安全方面的基本经验。     

章太炎自由观新探——以其与中国传统思想的对话为中心

自由是现代性的核心观念之一。辛亥革命的理论先导章太炎在与中国传统思想的对话中阐释其自由观,以"无待"来理解形上自由,在"一字千金"的《齐物论释》中,通过"我"之成立及其可破,在确立形上平等的同时也确立了形上自由;在认识论领域,通过和《荀子》、《庄子》、佛学等的对话,章太炎对认识上的自由的获得机制本身、人的认识能力、真理、科学规律等问题,都提出了独到的看法,然而其佛学的立场又有将真实的认识论问题的讨论归结为虚幻的心灵构造的嫌疑;在伦理学领域,章氏讨论了自由人格的培养问题,其核心就在于通过重新解读中国传统思想,从中挖掘出"依自不依他"的原则,并试图复活传统道德条目以应对现代处境。