函数：对概念的一种追寻与探究

通过对数学领域和语言分析领域中的函数分析方法进行比较,阐述两者在函数的构成,以及函数符号和符号所表达的内容方面的不同;在此基础上对数学领域中的函数在运算符号、值域和自变元等方面进行扩充。将函数分析方法纳入到对自然语言的分析过程中,对自然语言进行分析,把自然语言中的概念与对象加以明确划分,从而对语言哲学和分析哲学会产生深远的影响。     

弗雷格的真值函项理论

本文就G·弗雷格为构建一阶逻辑语言，把数学概念“函项”、“主目”、“值”等，通过类比和普遍化方法而用以分析命题的逻辑结构，并用以重建谓词公式的真值函项理论作一简要阐述和分析。     

弗雷格逻辑观中的“真”

弗雷格是现代逻辑的创始人,也是公认的语言哲学与分析哲学的始祖。他创造性地研究了关于逻辑的一系列哲学问题,其中,关于“真”的理论在他的逻辑哲学中具有核心地位。弗雷格认为,逻辑研究真,逻辑是关于实真的最普遍规律的科学。他的逻辑观是紧紧围绕他的“真”之理论展开的,“真”之理论是弗雷格逻辑观的理论基石。     

逻辑函数之谱的新运算法则

为了谱技术(方法)在数字电路综合中的应用,必须先求出逻辑函数系中的独立函数及其在Rademacher/Walsh变换域中的谱系数。本文根据独立函数的性质,提出了独立函数的谱系数在R/W变换域中的运算法则,这是对原有谱的运算法则的补充,从而使逻辑函数之谱的运算法则更加完整。     

弗雷格逻辑观中的“真”

弗雷格是现代逻辑的创始人,也是公认的语言哲学与分析哲学的始祖。他创造性地研究了关于逻辑的一系列哲学问题,其中,关于“真”的理论在他的逻辑哲学中具有核心地位。弗雷格认为,逻辑研究真,逻辑是关于实真的最普遍规律的科学。他的逻辑观是紧紧围绕他的“真”之理论展开的,“真”之理论是弗雷格逻辑观的理论基石。     

费雷格逻辑观中的"真"

弗雷格是现代逻辑的创始人,也是公认的语言哲学与分析哲学的始祖.他创造性地研究了关于逻辑的一系列哲学问题,其中,关于"真"的理论在他的逻辑哲学中具有核心地位.弗雷格认为,逻辑研究真,逻辑是关于实真的最普遍规律的科学.他的逻辑观是紧紧围绕他的"真"之理论展开的,"真"之理论是弗雷格逻辑观的理论基石.     

走出形式化的困境

逻辑的形式化是对自然语言推理的程式化、模式化、符号化，其实质是精确化、抽象化。抽象化到一定界限，它会脱离自然语言实际。实质蕴涵怪论、道义逻辑中的罗斯悖论以及认知逻辑中的厄勒克特拉悖论，都是抽象化、形式化的结果。要消除这些悖论，摆脱形式化的困境，就要由抽象回到具体，回归自然语言，研究自然语言概念、命题及推理的具体用法。     

弗雷格逻辑思想的来源、内容及面临的困境

弗雷格认为须把逻辑研究从心理主义的影响中解放出来,为了达到这个目的,他确立了算数演算的基本规则,建立了初步自足的命题演算系统和量化理论,提供了现代意义下的数理逻辑体系,这为后世语言哲学的发展奠定了逻辑基础。由于受到社会发展的局限,弗雷格逻辑思想里面也存在一些令人们费解的东西。尝试从逻辑思想渊源、学术内容以及面临的困境三个方面来探讨弗雷格的逻辑思想。     

需求分析过程中规范性业务交流语言研究

以Barker表示法、UML为例,分析了需求分析过程中图示建模技术在可理解性方面的缺陷,指出了这些建模技术偏重于开发人员的倾向。而自然语言（Nature Language）是需求分析中所有可能的读者都能理解的唯一语言,但却存在着二义性的问题。提出规范性自然语言的概念,尝试通过对自然语言逻辑形式和语言形式加以一定的限制来减少其歧义性,增强其准确表达的能力。最后以概念（术语）的定义为例,给出了相应的逻辑规范和语言形式规范。     

基于MMTD的中文副词模糊语义的量化研究

自然语言理解是人工智能领域的核心课题,副词的模糊语义深刻影响着自然语言理解研究。针对副词在汉语语义中的作用,采用MMTD对其模糊语义进行了研究。根据英文副词频度数值研究的已有成果,建立了中文频度副词真值程度函数,在设定中文副词的程度数值后,建立了程度副词真值程度函数,提出副词连接概念及其量化方法。基于MMTD的中文副词的量化是语句语义数值化处理的前期准备,这些工作试图为自然语言理解建立一种新方法。     

地理信息系统技术在环境科学中的应用

弗雷格从逻辑的角度考察"真",认为"真"不可定义,并认为句子是"真"的作用对象;"真"具有客观性和完全性,它是不可感觉到的存在,其表达只存在于断定句的形式中。弗雷格关于"真"之本体论基础的解读促使他将命题作为逻辑研究的对象。弗雷格求"真"的进路给语言学、哲学和逻辑学的研究带来启迪,而其思想也有不足之处。     

什么是数学地思维

学会数学地思维,就是要学会将自然语言转化为集合语言；在理解基本的数学概念时,就要从直观的描述转化为严格的数学符号语言；在实分析的教学中,就要学会将ε-N和ε-δ语言转化为集合的语言,进一步就要学会集合的分解技巧.     

莱布尼茨的概念代数及其外延解释

根据传统的观点,莱布尼茨被视为数理逻辑的最伟大的前弗雷格先驱,但后人同时认为他的失败归之于他对三段论模式和主谓句法过于拘泥。这种近乎矛盾的说法无法解释莱布尼茨既是弗雷格的伟大先驱,同时又是传统三段论的集大成者的历史事实。莱布尼茨作为一位逻辑巨人的历史地位是建立在他对古老三段论的隐藏力量和范围继承及发展的基础上的,正是这种继承和发展决定了他比同时代的任何人都更加清晰地预见了新逻辑的诞生。莱布尼茨的概念代数就是这样一个承上启下的系统,但由于种种原因,这一承启作用只体现于逻辑史的重构中。     

主观信任云在文本分类中的应用研究

自然语言的不确定性是影响文本分类性能的最重要因素。从降低自然语言中的不确定性出发,将主观信任云引入到文本分类中,提出了一种基于主观信任云信任决策的文本分类方法。该方法通过基于云的概念跃升计算出文本类别概念特征,采用主观信任特征向量作为待分类文本与类别概念之间的相似度判断标准完成分类。该方法有效减少了自然语言的不确定性影响,在不同文本分类方法的实验对比分析中,充分体现了其优异的分类性能。     

模糊逻辑:现代逻辑应用的一支奇葩

传统数学和逻辑都是以精确性著称的,这种精确性建立在经典集合论和二值逻辑的基础上,但对于类属边界和性态不确定的事物及其概念,运用非此即彼的二值逻辑是无法解决的。美国控制论学家扎德提出模糊集合理论。他认为,要解决上面的难题,就必须超越精确数学和二值逻辑的视野:外延精确的概念通常用普通集合来描述,模糊概念应该用相应的模糊集合来描述。扎德的模糊逻辑理论中,隶属度和隶属函数是非常重要的概念,是用数学方法描述模糊性的关键。模糊逻辑在人工智能和解决高级管理决策等方面得到广泛应用。     

逻辑函数中的约束项与任意项

逻辑函数中的约束项和任意项是两个不同的概念，但就它们对逻辑函数的影响而言，又没什么不同。本文在指出它们的不同的基础上，说明在逻辑函数中又不加区别的原因。     

经济分析中导数的应用探讨

本文从数学的基本理论导数的概念出发,引出了经济管理学中重要的概念边际函数和弹性函数,分别从绝对量变化和相对量变化研究它们的经济意义,介绍了经济科学中常见的函数及大量的实例,探讨了数学在经济管理学中的应用,给出了解决这些问题的一般方法。     

逻辑函数中的约束项与任意项

逻辑函数中的约束项和会意项是两个不同的概念，但就它们对逻辑函数的影响而言，又没什么不同。本文在指出它们的不同基础上，说明在逻辑函数中又不加区别的原因。     

基于Ontology的自然语言智能检索技术研究

本文针对信息检索中的重要问题,即自然语言的智能检索技术进行了研究。应用Ontology的理论方法对文本分类进行概念控制,将信息检索从基于关键词提高到基于知识（概念）,从概念层认识和处理用户的检索请求,有效的提高了检索系统的检全率和检准率,在自然语言语义查询、多媒体信息检索中得到较好的实践效果。     

关于函数的定义域及值域

函数是数学中最重要,最抽象的概念之一,在教学中要注重突出构成函数的三要素——定义域、值域及对应关系,本文将讨论函数的定义域、值域问题。 1、讲函数离不开定义域、值域 给定一个函数就是要给定它的定义域、值域、对应关系,三者中任何一个有所不同,就表示不同的函数;只要三者都相同,尽管使用的表达文字不同,还是同一个函数。例如函数f(x)=x,与函数g(x)=x~2/x当它们在各自的定义域中取相同的值时,对应的函数值是相同的,但它们不是同一个函数。因为前者定义域为全休实数,后者定义域为不等于零的实数。若将其图象画出来,学生便容易看出它们的不同之处。