一阶逻辑公式自动推演前的预处理

讨论了一种方法用于在处理γ子式前先对δ子式进行处理，减少了后期执行的工作量，简化了自动推演程序，并对其在理论上进行了证明，同时也得到了对一阶逻辑公式进行范式转换的方法．     

形式演绎系统的完全性定理

<正> 设k是用不带等词的可数一阶语言L表述的形式演绎系统,作为形式系统,k是纯粹的语法对象,其中的推演(deduction)出现为无意义的仅仅遵循一定语法规则的公式演算形态,但在本质上,k是逻辑演绎系统,应该满足逻辑语义学的要求:k的公理模式提供的公理应是逻辑有效的,k的推演规则应是保真的,k中的推演应是演绎另一方面,演绎理论也不可能绝对孤立地构造自身的系统,它与归纳理论也有不可分割的联系,本文主要目的就是基于这种关系与联系改进Henkin对Godel完全性定理的证明。     

浅谈情景式教学法在经济法教学中的应用

情景式教学法是中小学教育中常见的教学法，在高等教育领域，情景式教学法也有其可取之处。情景式教学法有效地解决了该困境，通过模拟特定情景与学生的抽象思维、逻辑推演能力的相结合，使学生对经济法学制度的认识具有切实的体会和经验，有效提高经济法学的教学效果。     

近似推理中模糊蕴涵算子的构造与选择

针对在基于合成推理规则(CRI)的近似推理研究中,模糊蕴涵算子的选择这一核心问题,对采用t-范数与t-余范数以及否定算子所构造的模糊蕴涵算子进行归纳,分为五类(t,S,R,QL和D蕴涵),为构造新的算子提供了强有力的依据;采用绝大多数模糊规则芯片中使用的CRI方法,依据广义取式推理与广义拒式推理中的12条模糊推理准则对分类后的模糊蕴涵算子进行实际的逻辑推演,通过对逻辑推演中实例数据和推演结果的分析,给出选择模糊蕴涵算子的参考依据.     

社会主义本质论断思维行程中的逻辑与历史相统一的原则

在邓小平同志的社会主义本质论断的思维行程中，邓小平同志以唯物辩证法和历史唯物主义原理为指导，运用科学的逻辑思维方法，坚持逻辑与历史相统一的原则，把逻辑方法与历史方法结合起来考察社会主义，科学地揭示了社会主义的本质，运用历史的方法，以生产力为基点，动态地再现了社会主义的历史过程和内在本质联系，运用逻辑的方法，对历史进行科学合理的“修正”，排除了偶然的，次要的非本质因素的干扰，抓住了主流和本质，逻辑方法与历史方法的结合在揭示社会主义本质过程中，既克服了对社会主义历史进程和现实关系的平铺直叙的经验主义；又克服了排斥历史方法的纯粹，空洞的逻辑推演的唯心主义，坚持逻辑与历史的统一使邓小平的社会主义本质观具有历史感，现实感和理想感。     

市场信息分析与预测

加强市场信息分析与预测，对了解市场供需变化，调节市场供需矛盾，为企业决策提供了依据，市场信息分析与预测有顾客需求直接调查法、经理人员评判预测法、销售人员意见综合法、市场因子推演法和季节变化分析法等多种方法。     

中国传统道德的生成路径及其启示

中国传统道德是当前我国公民道德建设的基础,研究中国传统道德生成的逻辑对当前道德建设具有重要启示。中国传统道德生成的路径是:从"天人合一"的理念出发,寻求道德的自然基础;按人的自然性不断推演出道德原则;最终又归于自然的"天人合一"的境界中,达到一种永无止境的升华。面对当前道德建设的种种困境,我们应回首中国传统道德生成的智慧,重视社会道德建设的现实性和实践性;重视社会道德建设的逻辑推演;重视社会道德建设中榜样的作用。     

和谐性质及其应用Ⅰ

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw_1w(Q)的公理系统及模型理论。此文证明了主要是对Lw_1w(Q)中的模型存在定理及推演完全性定理。     

组合范畴语法产生和发展的动因之分析--从句法演算的角度看

AB-演算刻画句法推演能力太弱,许多合语法的语句在 AB-演算中没有合适的推演形式.斯蒂德曼(Steedman)在 AB-演算基础上增加组合规则,产生了标准的组合范畴语法 CCG;CCG 刻画推演能力太强,不仅能推演出所有合语法的语句,而且可以推演出不合语法的语句;为制止非法句子的可推演性,就需要对推理规则做出限制,因为各种自然语言的特殊性,这种限制又会因语言而异,导致 CCG 失去一定的普遍性.鲍德里奇(Jason Baldridge)和克鲁伊夫(Geert-Jan M . Kruijff)把模态词引入 CCG,由此产生了多模态组合范畴语法MMCCG;MMCCG 摒弃了 CCG 的限制规则的策略,在词法上控制组合规则的适用性,不同语言语法的区别仅仅体现在词汇上,使语法逻辑走上了完全的词汇主义道路.     

经管类实验教学基础数据分析

采集信息、获取数据、推演科学规律、解决实际问题的实验方法，已开始广泛应用于管理学，经济学、人文社会科学。而采集实验教学中的基础数据，从大量数据中获取有效数据建立关系数据、资源数据，最终为建立科学实验奠定基础。     

基于溯因问题求解的知识库更新

在一个广义的溯因问题框架下,讨论以逻辑公式形式表示的知识库的维护问题．使用表推演方法,检查知识库协调性,对知识库进行扩展、约减和修正,给出可行方法     

基于本体的信息检索模型研究

在传统的信息检索模型中，由于档逻辑视图和用户信息需求逻辑视图不能有效地代表档和用户信息需求，所以尽管根据逻辑视图的特点选取了合适的排序函数，但检索性能总是不能令人满意．提出基于本体的信息检索模型，使用较好的兼顾了知识表达能力和推理效率的描述逻辑来构建本体，利用tableau算法和只含有原子角色情况下个体间的等价关系分别生成概念集和个体集的商集，从而得到具有语义的索引项集合，利用这些具有语义的索引项来生成较好地反映档和用户信息需求语义的档逻辑视图和用户信息需求逻辑视图；由于逻辑视图能够有效地代表档和用户信息需求，再根据逻辑视图的特点选取合适的排序函数，从而可以使检索性能大大提高．     

论黑格尔逻辑学“概念论”的立意

概念论是黑格尔逻辑学的旨趣和根本观点的明白确立。在本体论层面上，它旨在把终极存在归结为概念，从概念的特殊化和客观化所展开的概念和客体的关系的推演来论证概念是存在的本质和唯一全体，是现实世界必然进程的内在根据和实体性力量。消解主客的二元分裂；在认识论层面上，它旨在从概念由潜在到自为自在的发展的必然性的推演来建构世界的逻辑结构，确立概念和概念的运动所展开的主客体的辩证法为世界的终极解释的原则和模式；在价值论层面上，它旨在确立概念的辩证进展所指向的善和自由为客观世界必然进程的内在目的和理性所追求的终极价值。     

人文科学的方法论：从肯定到否定

对西方思想发展而言,其终极思考是在纷繁流变的"多"中找寻不变的"一"。自巴门尼德便通过逻辑推演从现象中找寻永恒。笛卡尔系统阐释了这种方法,但造成了人文科学方法与自然科学的同质化,因此,德罗伊森以"理解""说明"对人文科学和自然科学研究方法进行区分。德罗伊森的理解是肯定性理解,这使人的自我理性膨胀,无法承认绝对化的他者。无论是对逻辑推演的探索还是自我理性的关照,人文科学之路依然是肯定性的、有目的的追求,依旧没有摆脱自然科学的理性逻辑。人文科学更多的可能呈现在与自然科学一样古老的神秘主义中,即以否定的方式,在拒绝真理中真正地看向真理,承认他者的绝对他性,在参与真理中走向动态的开放。     

由李陵事件探究《史记》书写的真实性问题

在汉代"死节于边"的文化背景中,李陵的幼稚所导致的兵败被俘自然不被时人所认可,公卿大臣"媒糵其短"正是这一文化观念在当时社会上的客观反映。但司马迁本于情理之真的逻辑推演,认为有国士之风的李陵不会是真正投降匈奴,李陵被俘初期的表现证明了他推断的合理性。司马迁既是事件的参与者,也是叙事者,在客观史实与叙事之相之间,可以看到司马迁追寻情理之真、逻辑之真的历史观念,这种历史观念本孔子作《春秋》"当一王之法"而来,旨在探究历史发展的内在逻辑关系,以推演历史可能的走向。从李陵事件到《史记》书写,司马迁虽看到了事件表层的史实之真,但他追求的则主要是情理之真,逻辑之真。     

柔性机器人操作臂的动力学建模

对于有两个柔性杆的操作臂，用基于空间次变换和有限元的方法，推演出拉氏动力学闭式显方程，在推演中，提出一些技巧以改变某些表达式的形式，进而将操作臂的动能表示 似于刚性臂的动能形式，这样使后续推演可借用关于刚性臂的推演技巧和结果，最后以两均质刚杆操作臂为例，说明了所推得的方程的使用与正确性。     

卢梭同霍布斯、洛克自然状态描述之比较

对自然状态的描述是自然法学派建构其政治理论的基石,也是近代西方政治哲学逻辑推演的前提。卢梭、霍布斯和洛克作为自然法学派的代表,对自然状态的描述各有不同,从而也导致其各自政治思想的差异。     

对不可压缩流体连续性方程的讨论

经典不可压缩流体数学模型的建立,是近代理论流体力学的基础。但是当时的数学工具的不完善,不可压缩流体模型的建立存在一些假设。本文针对不可压缩流体的连续性方程存在的一些问题,运用数学分析工具进行了数学上重新的分析和推演。所作的分析仍然是在经典流体力学基本框架上,在连续介质和局部平衡假定下[1]的基础上,从逻辑推演的角度对不可压缩流体连续性方程的定义作了一些有益的探讨。     

中小企业信用担保制度的法理分析

本文从经济法规制的视角研究我国中小企业信用担保制度。首先分析中小企业信用担保制度是经济学理论逻辑推演的结果;其次说明中小企业信用担保制度契合于经济法法理;最后,笔者对政府、银行、中小企业与信用担保机构之间的法律关系进行合理构架。     

直言逻辑与谓词逻辑的对比研究

1.1 这里的直言逻辑,就是传统的直言命题逻辑,而这里的谓词逻辑,实际上也只涉及一部分,这部分通常称为狭谓词逻辑。为了行文简便,故使用简称。1.2 直言逻辑研究直言命题及其推理的形式,是传统逻辑的重要组成部分,亚里士多德奠定了其基本内容。谓词逻辑研究谓词公式及其推演,并给出语义解释。谓词公式经过解释成为命题形式的符号表达式。谓词逻辑是现代逻辑的基础之一,罗素第一个建立了完全的谓词演算系统。1.3 谓词逻辑所研究的思维形式,从量上来说远远多于直言逻辑,而其中有一部分是与直言逻辑相同的,但两者在理解和处理这相同的对象时,表现出诸多的不同,从这方面对