论数学观念在古希腊自然哲学原理体系中的地位

古希腊自然哲学为近代科学的产生奠定了哲学基础，其整个原理体系以探讨万物的本原为核心。一条路线从物质性方面展开；另一条路线从非物质性即形式方面展开。在古希腊独特的思想文化背景下形成的数学现念。为其自然哲学之建构提供了丰富的思想资源，在整个原理体系中处于基础性地位。     

科学理论成真概率的逻辑演绎——理查德·斯温伯恩科学哲学中的解释学原理

科学理论如何能够被我们判定其真或伪,成真的概率有多大,是科学哲学认识论的基本问题之一。当代英国哲学家理查德·斯温伯恩对科学理论的成真概率进行了逻辑演绎。他提出,科学理论的成真概率包括两个方面,其一是经验成真概率;其二是先验成真概率。前者依靠科学理论的"解释力";后者则依靠科学理论预设条件的"简单性"。两者一并构成了我们判定科学理论成真概率的原理。斯温伯恩关于科学理论成真概率的原理不仅适用于非生命事件的解释领域,而且也适用于有生命的人格性事件的解释领域。     

论逻辑的自然与自然的逻辑

"能高度逻辑地思维"是智慧与非智慧的唯一区别与分水岭,而人类能逻辑地思维是长期进化自然形成的。人类一旦学会逻辑地思维,其认知的获取与传承也根据逻辑而进行,人类认知的逻辑传承就成为自然而必然。由此,不仅存在人类认识自然的相同逻辑范式,而且一切自然皆逻辑,自然是逻辑的标准。     

科学的逻辑与解释学的逻辑——评海德格尔逻辑思想

科学的逻辑的本质和基础的问题一直是哲学史和逻辑史上一个长久争论的话题。海德格尔从形而上学和实践智慧的角度来研究逻辑的基础问题,一方面有助于克服分析哲学在形而上学问题上的片面性,另一方面也为实践理性的提出以及非形式逻辑的兴起铺平了道路。在海德格尔逻辑观的基础上发展起来的解释学逻辑是逻辑学在哲学中应用的一个极好范例,它的兴起预示了科学的逻辑的勃勃生机和发展前景,促进了解释学与分析哲学的渗透和融合,具有重大的理论意义和实践意义。     

西方逻辑的引入与《墨子》研究新范式--关于梁启超墨家逻辑研究的回顾与反思

逻辑内容的开掘构成了20世纪<墨子>义理研究过程中的一个重要方面.实现这一范式转化的第一人当推梁启超.梁启超研究工作的几个方面--历史基础、具体探索、返观与评判,成为20世纪墨家逻辑研究的"胚胎".推进墨家逻辑,乃至整个中国古代逻辑研究的有效途径,在于对梁启超模式的进一步精致化,抑或改弦易辙,运用新的模式.     

从分析命题到逻辑真理——论弗雷格对康德分析命题的拓展

本文揭示了弗雷格逻辑主义的核心问题如果拓展康德的分析真理到范围更广的逻辑真理。能否涵盖某一范围的数学真理?弗雷格相信通过对逻辑真理范围的扩展，有可能对算术真理进行重新定位。弗雷格是从证明论的角度拓展康德的分析命题的。此外，本文通过对函数连续性概念的详尽分析，例示了弗雷格的概念词的析出法，指出康德概念论的局限在于如下一个简单的事实如果约束变元的值域是无限的，我们不可能把包含量词的表达式改写成合取范式或析取范式。     

强纲领对逻辑合理性的误批判

“强纲领”是埃丁堡科学知识社会学学派提出的研究知识社会成因的社会学形而上学理论。巴里.巴恩斯和大卫.布鲁尔是这个学派的理论家。他们把自己的纲领定位在“相对主义知识观”上,其批判的矛头直指科学哲学研究中的理性主义。他们的一个重要观点是,反对逻辑的合理性是人类理性活动的普遍合理性的标准。然而,他们的论证是有问题的。     

群体对一个命题可能的知道状态分析

一个n人组成的群体对一个“外部世界”的命题p有2“个可能的“知道”状态，但当我们要分析群体成员之间“相互知道”或“相互不知道”p的关系时，我们发现，该群体有无限多个可能的认知状态。公共知识为群体中对某个真的事实知道及相互知道的关系。公共知识的递归定义为：一个命题是公共知识，当且仅当每个成员知道该命题，并且“每个成员知道该命题”是公共知识。群体对命题p的公共知识存在级剐之分。一旦一个群体有低级的公共知识，那么它必定有高级的公共知识；并且如果一个群体有一个公共知识，它必定有无穷多个公共知识。群体的可能的公共知识状态也是无限多的。“D是公共知识”是第0级的公共知识，它只是无限多的公共知识状态中的一种。     

关于逻辑和逻辑现代化的几个问题——评唯演绎主义

我国的五次逻辑论争表明逻辑学科本身还有不够规范和完善之处，其局限性和实效性之薄弱又难以适应当代高新科技的发展和文化的需求。逻辑学要改进、变革和发展。若仍以唯演绎主义看待逻辑和逻辑现代化则是不合时宜的。     

柯尔莫哥洛夫:复杂性研究的逻辑建构过程评述

本文试图理清柯尔莫哥洛夫关于直觉主义逻辑、信息论、概率论的批判与建构的逻辑发展脉络；把柯尔莫哥洛夫“复杂性”概念置于逻辑发展过程中理解并阐明其出现的逻辑必然性。     

概念分析的奠基与发展

本文重点研究一阶逻辑与模态逻辑之间的历史关系以及模态逻辑的产生发展。文章首先回顾了《概念文字》出现的历史背景和理论背景,探讨其形式化和公理化研究方法对逻辑研究的历史贡献。接着,我们重点关注经典一阶逻辑所采用的实质蕴涵概念的意义,表明这样的蕴涵概念如何导致实质蕴涵悖论。接着,文章考察了模态逻辑如何在解决实质蕴涵的悖论中产生,后来如何为哲学概念的分析提供有力的工具和技术。     

哲学逻辑与逻辑哲学

本文对哲学逻辑与逻辑哲学这两门新兴学科进行了较为详细的介绍与讨论，作者认为：（1）尽管“哲学逻辑”在英美哲学界与逻辑界具有不同的涵义，但我们宜在比较规范和合乎词义习惯的意义上使用“哲学逻辑”一词-用“哲学逻辑”指称不同于经典逻辑或标准逻辑的诸现代逻辑分支。（2）关于逻辑哲学，可以定义为研究逻辑特别是现代逻辑及其发展中的哲学问题的学科，这是一门介于元逻辑与语言哲学之间的学科。     

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

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

论内涵逻辑与内涵语境下的替换失效问题

本文旨在介绍内涵逻辑的兴起与内涵语境下的替换失效问题之间的关系，分析了外延逻辑所存在的缺陷，并进一步简要地展示各种内涵逻辑系统对于替换失效问题的解决方案。     

从逻辑哲学观点看量子逻辑

1.根据逻辑哲学,量子逻辑可以定位于一种以非分配性为特征的非经典逻辑,它以量子力学家实际使用的科学推理为现实原型或经验基础;2.普特南从量子逻辑的产生而得出根据经验的理由,逻辑是整体可修正的结论。但他同时又主张逻辑联词的意义不变,因此陷入二难困境。3.根据量子力学几种不同解释来重新审视经验理由和逻辑可修正性论证,发现形而上学考量更不可忽视。4.对应原理具有消解普特南二难的方法论功效,量子逻辑对于经典逻辑的继承性与革新性同时可以得到合理解释。     

审视逻辑相对主义——以关于阿赞德逻辑的争论为例

逻辑相对主义观点是指不同的文化也许根据不同的逻辑规则进行推理。来自人类学关于偏远民族的调查引起了是否存在不同于西方逻辑的其他逻辑的争论。以关于阿赞德逻辑的争论为例进行分析,表明争论的缘起在于用西方形式逻辑的视角讨论特定文化的实践推理。从一种非形式逻辑的视角分析阿赞德推理,则引起争论的疑惑点得以解释与澄清。     

科学管理原理

泰勒对科学管理作了这样的定义"诸种要素——不是个别要素的结合,构成了科学管理,它可以概括如下:科学,不是单凭经验的方法。协调,不是不和别人合作,不是个人主义。最高的产量,取代有限的产量。发挥每个人最高的效率,实现最大的富裕。"这个定义,既阐明了科学管理的真正内涵,又综合反映了泰勒的科学管理思想。一、工作定额原理泰勒认为管理的中心问题是提高劳动生产率。在制定工作定额时,泰勒是以"第一流的工人在不损害其健康的情况下,维护较长年限的速度"为标准,这种速度不是以突击活动或持续紧张为基础,而是以工人能长期维持的正常速度为基础。     

足部按摩原理

1．血液循环原理 人体心脏的跳动带动周身的血液循环,在大循环中动脉内的血液是干净的,静脉内的血液是不干净的,静脉内血液流速也比动脉内血液流速慢。静脉内部干净的血液中有很多的“杂质”如尿酸晶等,非常容易沉淀下来。     

墨家辩学的研究对象与逻辑类型

《墨辩》六篇中的“辩”指的是论辩，墨家辩学理论是中国古代关于论辩形式、方法及其规律的科学。墨家辩学中包含有形式逻辑的思想，这种形式逻辑思想届于非形式化的，它通过辩学对自然语言中广义逻辑问题的研究得以表现，因此说，墨家辩学的逻辑类型是中国古代的非形式化的自然语言逻辑。     

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

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