搜索结果: 121-135 共查到“知识库 逻辑学”相关记录217条 . 查询时间(1.312 秒)
一类函数完全的n值逻辑联结词及其特点
一类函数 n值逻辑 联结词
2009/7/23
多值逻辑理论中，函数系完备性问题是一个重要的问题，要解决此问题就要定出多值逻辑函数集中所有的极大封闭集，对于这一问题的研究，上一世纪八十年代有了较好的结果，定出了完全多值逻辑函数集中所有的极大封闭集，它们是：线性函数集，单调函数集，自对偶函数集，保E（{0, 1,…, n}的子集）函数集，保直接分划函数集，保中心分划函数集，保正则分划函数集，所有一元函数和所有漏值函数组成的函数集。一个函数是She...
一个关于常识推理的基础逻辑
常识推理 基础逻辑
2009/7/23
直观上常识推理就是用到常识的推理[1]。考虑到技术处理的方便，可以宽泛地将含有常识命题或常识句的推理称为常识推理。下面是一些常识推理的例子。
在日常生活中，一个有效的推理通常可以用形式表示为“如果p，那么q； p， 所以q”。也可以用符号表示为（p→q）∧p→q。这种有效式在逻辑中又称为重言式。在正确的推理（合理的论证）中，各个重言式是一致的。因此，如果能够把握被看成是重言式的所有复合命题形式，那么，也就把握了所有的正确推理，也就解决了逻辑学中的最主要的问题，即推理理论。
面向信息处理的自然语言逻辑研究——邹崇理《逻辑、语言和信息》评介
信息处理 自然语言逻辑
2009/7/7
逻辑学在20世纪获得蓬勃发展，提出了构造形式系统和语义模型的技术手段。而自然语言本身就是一种特定的符号形式系统，能够接受语义模型的解释，因而从某种意义上说，自然语言的内在基础就是逻辑。另一方面，高度发达的计算机信息技术要求人们在逻辑的框架内去描述自然语言的特征。在机器的自动句法分析、以逻辑公式为中介语的机器翻译以及计算机的自然语言理解等领域，逻辑方法都发挥着巨大的作用。所以，近30年来，逻辑的应用...
符号、由符号构成的某类表达式及其语义是语言哲学和符号哲学研究的一个重要方面，逻辑符号、由逻辑符号构成的某类表达式及其逻辑语义则是逻辑哲学研究的一个重要方面。
分析性语言哲学：反思与批判
分析哲学 分析性语言哲学 真值 真实
2012/5/4
兴起于19世纪末20世纪初的分析哲学,历经理想语言建构和日常语言分析两个阶段,已经成为一种影响广泛的思潮。其研究方法延伸到现代的许多学科。文章针对分析哲学的理论基础———真值概念和日常语言分析的普适性结论,反思和批判分析性语言哲学。在此基础上,得出结论: (1)语言研究不应该仅仅死盯外在物理世界; (2)语言具有人类中心性,因此应该关注语言中以人为中心的主观意义; (3)各种具体语境的集合是人的生...
本文通过4个重要的视角阐释认知语言学。第一, 本文从历时角度把认知语言学的发展分成3个十年段,分别阐述每十年的基石性著作和重要事件。第二, 文章讨论认知语言学的两个首要共识, 这些共识是不同的研究取向都普遍接受的/ 宪法0, 是认知语言学的标志。第三, 文章谈及三个具体的哲学假设。第四, 从人文视角入手, 文章介绍4位创始人(Lakof,f Langacker, Ta lmy and D irve...
溯因法与语言认知:以语言理论的建构为例
溯因法 语言认知 理论构建
2012/5/4
溯因推理是一种“由果溯因”的逆向性逻辑推理方式,是人们在语言认知过程中所采用的基本方法。人们对语言的理解和解释就是在观察的基础上通过假设来回溯原因的推理过程。本文以当代语言学的一些理论和学说为案例,从认知角度考察其建构,发现现代语言学的研究取向和方法基本上为溯因法。研究者从观察到的语言现象出发,回溯其发生的原因并提出假设解释该现象,最后作出新阐释,形成新的理论和观点。
言语使用形成人的独特的生存方式。在基本言语层面,言语建构人的主体性,为人类表征世界提供资源。在功能言语层面,功能性言语标记又使主体间性成为可能。本文在语言哲学的视域中考察主体性和主体间性的建构过程,指出,人的主体性在语言作用下走向主体间性是一种哲学必然。
本文的目的主要是把文恩图解的新理论介绍给国内的读者，希望促动大家开展这方面的研究；当然也希望纠正一些关于图解方法的偏见，明白我们对图解方法研究得不够是造成图的表达能力不足和使用中容易致误的根本原因。
新版《哲学逻辑手册》的内容结构
哲学逻辑手册 内容结构
2009/1/15
《哲学逻辑手册》第二版介绍了目前国际逻辑学研究的主要内容和理论框架，其作者都是目前正活跃在逻辑学界的各个分支的前沿专家。手册各章独立成篇，为世界各国的逻辑研究者们进一步研究提供了一个新的起点。1983-1989年四卷本的第一版《哲学逻辑手册》出版之时，逻辑已经在计算机科学和人工智能领域获得了基础性的地位。15年以来，哲学逻辑领域发生了极大的变化。计算机、人工智能和计算语言学等对哲学逻辑的需要促进了...
如果符号逻辑是通过一种为某种目的而设计的或是由其它用途延伸过来的、特殊的符号系统来处理的逻辑（目前仅指演绎逻辑），那么把代数的和某些图形的符号都包括进来将有其便利之处。
模态逻辑是关于必然性和可能性的逻辑，或者说，是关于“一定是”和“可能是”的逻辑。当然，必然性和可能性有不同的解释。真势模态逻辑把必然解释为必然真；道义逻辑（见第8章）则把必然解释为道义必然性或规范必然性。必然也可以指知道或相信为真，这是认知逻辑（见第9章）的解释；如果指总是为真或从此总是为真，则是时态逻辑（见第10章）的解释。另外也可以把“必然p”解释为“p是可证的”。本章以真势模态逻辑为重点概述...
存在图是现代逻辑草创时期皮尔士在其关系演算和谓词逻辑的基础上发展起来的、表示逻辑句子和推理的图式系统，是皮尔士用来证明其形而上学的工具，它的重要性直到计算机表示的图示推理得到发展后才得以确认。本文首先以经典逻辑为背景研究存在图的各个部分，然后讨论存在图在当代许多学科领域的回应和应用以及它在逻辑史上的地位，最后考察存在图对于皮尔士形而上学的意义。
摹略万物之然，论求群言之比——模态逻辑新观念述评
模态逻辑 新观念
2009/1/15
模态逻辑是一个多方面的学科，它起初在哲学中得名，在很长一段时间中作为“必然和可能的逻辑”而被人所知。但是，把模态逻辑视为关于“可能”和“必然”的逻辑至少在20世纪60年代末就已经过时。“模态语言是研究关系结构的一种简单但富于表达力的语言”、“模态语言为关系结构提供一种内部的、局部的视角”、“模态语言不是孤立的形式系统”，这就是关于模态逻辑的新观点（这种观点有时称为“阿姆斯特丹观点”）。新观点不再把...