关于物理理论基础的逻辑简单性原则

本文从爱因斯坦的种种科学方法中,选取颇有意义的逻辑简单性原则进行考察,试图阐明爱因斯坦对此原则的真实理解;并指出他如何运用对称性原理以导致逻辑简单性的。同时,从确立公理的指导原则,探索科学的路标,选择与评价理论的标准等方面,说明逻辑简单性原则的地位与作用。     

集体行动逻辑的理论条件

对18—20世纪的,尤其是奥尔森的著名的集体行动逻辑、公共物品理论和公共选择理论做了评述,认为集体行动逻辑与公共物品理论和公共选择理论的发展密切相关。公共物品理论指出市场失灵问题,公共选择理论以经济学方法研究非市场决策,它们分别为集体行动的逻辑创造了理论条件和方法论条件。     

审计理论结构逻辑起点的现实选择

审计理论结构逻辑起点是构造审计理论体系的出发点和最基本的理论范畴,对审计理论结构的建立和发展有着决定性的作用,而逻辑起点的选择应符合一定的要求。本文在回顾、分析已有的审计理论结构逻辑起点各种观点基础上,提出、论证了审计理论结构逻辑起点新的现实选择选择。     

略论统一的理论思维逻辑系统

<正> 从一定意义上可以说,逻辑学正在从单一学科逐步形成为由既相对独立又有内在联系的诸多学科组成的科学体系。这个体系包括若干基本逻辑分支和更多的应用逻辑分支。 抽象理论思维逻辑是辩证理论思维逻辑的子系统。所谓理论思维,就是人们在认识过程中借助于概念、范畴来描述或解释对象的思维过程。抽象理论思维是指以类概念及其体系揭示事物一般本质和稳定性规律的思维。抽象理论思维包括初级抽象理论思维(即传统的形式逻辑管辖的思维领域)和高级抽象理论思维(由标准符号逻辑管辖)。抽象理论思维逻辑是辩证理论思维逻辑的子系统,笔者认为有如下的理由。     

会计目标与会计理论结构关系的研究

会计理论结构本身是个逻辑系统,构建会计理论结构首先要涉及到逻辑起点的选择问题。目前会计理论结构逻辑起点主要观点有四种,但从逻辑学会计学角度看会计目标应是会计理论结构的逻辑起点。     

从墨辩看逻辑的理论和应用

分析从墨子应用逻辑、对象逻辑,到墨辩元逻辑,再到诸子百家逻辑应用的飞跃,说明中国古代逻辑从应用到理论,再到应用辩证运动的动因、过程和脉络,从墨辩的产生、发展过程,探索逻辑理论和应用相辅相成、相互促进的机理,寻求现代逻辑理论和应用的历史借鉴。     

对会计理论结构逻辑的几点思考

所谓会计理论结构是指由具有内在联系的一系列要素组成的概念体系.包括会计在内的任何学科,都需要有一个理论或者叫理论结构,借以建立统一的逻辑体系.本文试图通过介绍作为会计理论结构的逻辑起点应具备的条件,并评析几种会计理论结构逻辑起点论,最后提出将会计对象和会计目标结合起来作为会计理论结构逻辑起点的设想.     

会计准则理论结构的逻辑起点

会计理论结构本身是个逻辑系统。构建会计理论结构首先要涉及到逻辑起点的选择问题。会计目标直接与社会经济环境相联。决定和影响会计系统的其他要素。在会计目标的指导下,会计假设作为会计理论的推理基础,根据会计目标的要求,对客观经济环境作出合理推断。目前会计理论结构逻辑起点主要观点有四种.但从逻辑学会计学角度看会计目标应是会计理论结构的逻辑起点。     

论“经济人”假设中的理论逻辑和价值逻辑

"经济人"假设,作为西方经济学基本假设前提,时至今日,仍在不断完善它的理论逻辑和价值逻辑。亚当.斯密首次提出了"经济人"假设,为这一理论奠定了理论逻辑的基础,随后古典经济学派的约翰.穆勒第一次给出了较为准确的"经济人"定义。到了新古典经济学时期",经济人"则变得形式化,逐渐褪下功利主义的外衣。他们的贡献都为完善"经济人"假设的理论逻辑和价值逻辑引出了主轴。     

对经济发展理论与模式的评论

经济发展理论是对现实经济发展问题及其一般规律性的理论概括和总结,同时也预测未来经济发展的逻辑。经济发展模式则是从经济发展理论的高度,对具体的经济发展战略、方式和道路(特别是某一类国家经济发展实际)的经验概括,体现了在特定条件下理论与历史的逻辑统一。自经济学诞生之日起,经济发展理论大致经历了古典理论和现代     

斯特劳森逻辑预设理论述评

斯特劳森在语境条件下,根据意义和指称理论对句子的预设进行了探讨,他的逻辑预设既是语义的又是语用的;他认为预设和蕴涵是有区别的,当预设不存在时,句子既不真也不假。由此可以看出,斯特劳森的逻辑预设理论明显是三值的。     

一种S-蕴涵模糊逻辑系统的真度理论

利用计量逻辑学中真度理论的思想,首次对S-蕴涵的模糊逻辑系统的真度理论进行研究.在模糊逻辑与语义解释为乘积算子,蕴涵解释为其相应S-蕴涵的模糊逻辑系统中,借助逻辑公式A所诱导的函数引入逻辑公式A的积分真度概念,建立一种S-模糊逻辑系统下的真度理论,得到其真度推理规则.     

动态模糊逻辑理论在入侵检测技术中的研究

阐述了动态模糊逻辑理论,运用动态模糊逻辑的理论来解决入侵检测中的这些动态模糊数据的问题,介绍了动态模糊入侵检测系统的基本过程。     

反腐倡廉理论的逻辑起点

从反腐倡廉理论体系、反腐倡廉理论产生和反腐倡廉理论的发展三方面进行理论分析,可以发现党同人民群众的血肉联系是“三个代表”重要思想反腐倡廉理论的逻辑起点。     

展开定理与逻辑函数不同表示形式的转换原理

为探索逻辑表达式、真值表、卡诺图等几种逻辑函数表示形式之间的转换原理,分析研究了基于展开定理的对逻辑函数按变量展开的最小项表达式,给出了逻辑常量0、1取值和最小项的各个变量出现形式的对应关系,逻辑函数最小项表达式和真值表及卡诺图的对应关系,揭示了逻辑函数各种表示方法的内在联系,从而完善了逻辑函数表示方法的理论原理.所述方法,有助于逻辑函数的分析、变换方法的研究,具有较好的实用性.     

浅析审计理论基础

审计理论基础是审计理论的逻辑起点，是联系审计与其他学科理论之间的桥梁，具有多样性和相对稳定性。审计理论基础的具体内容包括审计思想、审计方法论和审计技术基础。     

安全协同理论的基础性问题研究

为完善安全系统学理论,本文对安全协同理论开展系统研究。首先,基于协同理论,论证协同理论应用于安全系统学研究实践的可行性和合理性。其次,提出安全协同理论,并用安全目标关联维度概括安全协同理论的研究范畴。最后,提炼出安全协同理论7条重要的下属应用原理,即安全协同竞争原理、安全不稳定性原理、安全涨落原理、安全序参量原理、安全伺服原理、安全自组织原理、安全协同效应原理,并分别对其内涵进行详细阐述。结果表明,安全协同理论可揭示安全系统内的运行机制和一般规律,可为安全系统分析、评价及对策措施提供新的方法和思路。     

L(Q)逻辑的完全理论

对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论 ,用构造性证明方法证明了完全理论T和模型完全的一些等价条件 ,还给出了完全理论T的一种判定定理 ,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础     

量子测量逻辑与推理理论

已有的量子逻辑存在只适合于刻画封闭量子系统以及无法形式化量子测量算子等问题。为了描述开放量子系统,本文基于量子测量给出一种逻辑语言。首先,将经典命题公式作为逻辑语言的局部公式,以量子测量算子作为项公式;然后,将项公式的比较式和封闭量子子系统作为逻辑语言的原子命题,并定义一组量子联结词;最后,按结构归纳方式给出逻辑语言的全局公式。通过比较、分析已有的逻辑语言,说明量子测量逻辑的表达能力。作为公理化系统,给出量子测量逻辑的推理规则、元定理等相关理论。     

杜威的判断理论探析

杜威对于判断进行了独特的分析,并在此基础上形成了他独具特色的逻辑理论。杜威对于命题和判断进行了区分,阐述了判断的主词、谓词和系动词的逻辑意义,并且分析了判断的推论性和实践性两个重要特征。杜威的逻辑思想为我们理解"判断"概念提供了一条新颖的路径。