• 基于SVO逻辑的多方不可否认协议的形式化分析与研究

    基于SVO逻辑的多方不可否认协议的形式化分析与研究

    论文摘要近年来,随着网络的普及及应用的推广,电子商务的使用得到了极大的发展,其可实现的功能也越来越全面,包括网络购物、网络支付、网络银行、电子订货等等。网络密码协议是保证电子商...
  • 基于逻辑的哲学之路 ——由维特根斯坦哲学引发的逻辑思考

    基于逻辑的哲学之路 ——由维特根斯坦哲学引发的逻辑思考

    论文摘要在哲学史上,从亚里士多德创建传统逻辑以来,逻辑就在哲学中发挥着非常重要的作用。从广义上说,逻辑分析作为对概念和陈述在逻辑上做出阐明以获得哲学理解,它在整个西方哲学史上一...
  • 自然语言否定的逻辑思考 ——以“不”和“没有”为例

    自然语言否定的逻辑思考 ——以“不”和“没有”为例

    论文摘要否定是自然语言中最常见的现象,是人的重要思维形式之一,是逻辑学、语言学、计算科学等众多学科的重要研究对象。语言否定的本质是组织思想的一种形式。本文选择自然语言中狭义的否...
  • 法律论证中的逻辑研究

    法律论证中的逻辑研究

    论文摘要法律论证理论作为一门交叉性学科,在逻辑学、法理学、语言学等领域中的研究越来越被重视,并且有关法律论证的文章不断的在法学、哲学、逻辑学等学科领域的刊物上发表。特别是在国外...
  • 趋利避害 ——自然选择塑造的领域特殊性归纳逻辑

    趋利避害 ——自然选择塑造的领域特殊性归纳逻辑

    论文摘要本文一共包括12章。其中,第1章回顾了归纳问题的哲学和逻辑学研究历史。第2章对归纳推理的心理学研究作了综述,并参照康德的“先验哲学”、古德曼的“主观逻辑”以及施泰默的“...
  • 网络协议安全性分析中的逻辑化方法研究

    网络协议安全性分析中的逻辑化方法研究

    论文摘要安全协议是建造网络安全环境的重要基石,是保证网络安全的核心技术。设计和证明安全协议自身的正确性和安全性,成为网络安全的基础。形式化分析方法已被证明是用于分析、设计和验证...
  • 试论创意的基本命题及其逻辑关系

    试论创意的基本命题及其逻辑关系

    论文摘要基于当前全球产业正由工业经济迈向后工业经济的时代背景,特别是中国制造向中国创造转型的现实需求,创意和创意产业成为日益显性的关键词。为此,本文尝试从这一当下语境入手,对作...
  • 高中物理习题教学中思维能力的培养

    高中物理习题教学中思维能力的培养

    论文摘要教育的核心是能力的培养,物理教育包括实验能力、思维能力、创新能力等等的培养,这些能力中又以思维能力作为能力培养的核心。在习题教学实践中,从习题选编的指导思想到教学中习题...
  • 基于SSL协议的访问控制机制研究与实现

    基于SSL协议的访问控制机制研究与实现

    论文摘要随着网络技术的飞速发展,网络应用已经渗透到我们生活的方方面面,但网络给人们带来巨大便利的同时也带来了一些潜伏的不安全因素。网络的发展带动了电子商务的广泛应用,它的安全性...
  • 秦皇岛市北戴河滨水区街道景观设计研究

    秦皇岛市北戴河滨水区街道景观设计研究

    论文摘要伴随旅游城市环境建设的蓬勃发展和旅游产业的加速腾飞,运用景观设计与旅游规划的专业知识,创造令人心旷神怡的景观环境,提供让人流连忘返的旅游场所,成为每一个景观设计者始终追...
  • 《经下》逻辑理论考察

    《经下》逻辑理论考察

    论文摘要《墨经》是我国古代最早提出系统逻辑科学理论的著作,以极其浓缩、精练的文字,述说古代科学和逻辑学的内容,学术价值极高。《墨经》讲究以名举实、以辞抒意、以说出故。《经下》、...
  • 真理的逻辑前提 ——布伦塔诺与法称判断理论的对比研究

    真理的逻辑前提 ——布伦塔诺与法称判断理论的对比研究

    论文摘要本文通过对印度逻辑历史演进的考察,揭示出印度逻辑的基本特征,在此基础上立足于印度逻辑,对普遍的逻辑进行了分析,并由此指出了逻辑的根本任务。本文首先对法称与布伦塔诺的生平...
  • 从名称的演进看逻辑和哲学的融合

    从名称的演进看逻辑和哲学的融合

    论文摘要名称理论是语言哲学研究的一个很重要的部分,这也从某种程度上肯定了现代逻辑在语言哲学中的作用。从弗雷格的专名理论,罗素的摹状词理论,再到克里普克的历史因果理论的研究,都是...
  • 冠捷电子运营计划系统的实践研究

    冠捷电子运营计划系统的实践研究

    论文摘要运营计划作为企业生产管理的核心功能,在现代企业中发挥越来越重要的功能,尤其在市场环境发生很大的改变,客户需求多样化,而且要求企业拥有快速变动的弹性来满足市场需求变化的要...
  • 逻辑语义视域中的真理 ——塔尔斯基真理语义学探析

    逻辑语义视域中的真理 ——塔尔斯基真理语义学探析

    论文摘要真理是哲学中非常重要的一个概念,在塔尔斯基以前,哲学家提出了各种各样的真理理论,试图以普遍和充分的方式来刻画真理语义概念,结果都不令人满意。更糟糕的是包含语义概念的语句...
  • 历史与逻辑视野中的物权行为

    历史与逻辑视野中的物权行为

    论文摘要本文在阐释了物权行为理论的具体内容及法律属性的基础上,运用历史和逻辑的方法,考察了物权行为理论产生和被制定法采纳的过程,打破了物权行为理论的逻辑神话,揭示了其中的历史因...
  • 宗喀巴大师生平及其量论因明学体系初探 ——《因明七论入门除意暗论》之研究

    宗喀巴大师生平及其量论因明学体系初探 ——《因明七论入门除意暗论》之研究

    论文摘要藏传因明学源于古印度,随着佛学的传入,进入我国西藏地区。因明学在我国西藏区,经过宁玛、萨迦、迦举、格鲁等主要佛教教派的兴替,各教派的学者,对因明学不断的研究,使因明学形...
  • 公平不可否认协议设计及其形式化分析

    公平不可否认协议设计及其形式化分析

    论文摘要公平不可否认协议可以保证通信双方对各自的行为不能进行抵赖,并保证双方的公平性。它使通信双方要么都收到消息及证据,要么都收不到消息及证据。该类协议是电子商务协议的基础。由...
  • 谈判中的逻辑问题研究

    谈判中的逻辑问题研究

    论文摘要谈判是人类交往的重要形式,人类文明发展的历史就是人类交往谈判发展的历史。当今,知识经济的到来,谈判已成为人类解决争端、消除分歧最为有效的方法。作为思维工具的逻辑学在整个...
  • 《企业会计准则》的逻辑性研究

    《企业会计准则》的逻辑性研究

    论文摘要《企业会计准则》随着社会经济的发展不断改进和完善。大多数学者对其进步主要从环境的变化和方法的适应性进行提升和推敲,为《企业会计准则》的发展和完善作出了突出贡献。《企业会...