搜索结果: 106-120 共查到“知识库 逻辑学”相关记录210条 . 查询时间(2.746 秒)
略评“层级”、“三值”、“间隙”、“情景”诸方案——“自涉”悖论杂谈
层级 三值 间隙 情景
2009/7/23
是否具有“特设性”，是评估解悖方案的一个重要标准。以往的许多著名的方案，如类型论（罗素）、层级论（塔斯基）、三值论（鲍茨瓦）、变值论（赫兹博格）、间隙论（克里普克）等都因具“特设性”而遭排斥。近年来不少论者认为，情景论（巴威斯和艾切曼迪1987年提出）则完全不具“特设性”，最终消解了“说谎者”这个“千古之谜”，被视为“奇迹”！但是，我们认为，这个所谓“奇迹”的最大“缺失”，仍然是重蹈前者的覆辙：以...
在《悖论的统一模式》（以下简称①）一文中，给出的统一模式是：设F： A®B是集合A到B Í P(A)的双射，令M={aÎA | aÏF(a)}是双射F下的反对角线集合。悖论的统一模式定理断言，已知所有悖论都是由于错误地认为MÎB造成的。
墨家的言语行为思想和中国古代逻辑
墨家 言语行为思想 中国古代逻辑
2009/7/23
言语行为理论是二十世纪50年代西方语言哲学家奥斯汀创立，60、70年代塞尔、格赖斯等人修改和发展的关于语言的理论。奥斯汀揭示了语言的多功能性，纠正了以往哲学家以描述为语言的首要乃至唯一功能的简单化的观点，从一个崭新的角度提出了与此截然相反的观点——言语行为理论，即认为语言的主要作用是完成各种言语行为。语言作为人类重要的交流工具，古今中外许多哲学家、语言学家都倾注了巨大的热情和大量心血进行研究。中国...
前苏联科学逻辑的发展及其启示
前苏联 科学逻辑
2009/7/23
我在《前苏联逻辑学发展对新中国逻辑学发展的影响和启示》一文中认为，“前苏联的逻辑学发展对于新中国的逻辑学发展影响巨大。……考察苏联逻辑学界高潮与低潮的交替，主流与非主流的变迁，传统与现代化的撞击，见仁见智各种观点的并存，意在追根溯源，弄清前苏联逻辑学界对中国逻辑学界的影响；相互借鉴，尽力避免不必要的简单重复争论；取长补短，加快我国逻辑学界赶超世界水平的前进步伐。”(沈荣兴，第104页)本文考察前苏...
论预设的可废除性和投射问题
预设 可废除性 投射问题
2009/7/23
人们在日常语言的交流中经常要运用预设，从逻辑学的角度将预设作为一种理论而加以研究是上个世纪中后期以来的事。预设以其丰富的内容已经成为自然语言逻辑的一个重要理论组成部分，也已经成为语用学研究中的一个非常热门的话题。“在语用学中，关于预设的文献比除了言语行为以外的任何其他论题都多。”（Stephen, pp.167）本文主要对预设的定义及其检验方法作以介绍，然后在此基础上来讨论预设的可废除性和预设的投...
模态逻辑·形式语义·文本符号
模态逻辑 形式语义 文本符号
2009/7/23
在外延逻辑中(1)(2)两句的意义由两个不相干的客观事件决定，p, q为真的条件是在句子外确实客观地存在着比如说手里举着棍子和骨头的驯狗师之类人物和正要射箭的弓箭手等，符号表达式为：
论法律推理与司法判决推理
法律推理 司法判决推理
2009/7/23
法官审理案件处理纠纷时要解决三个问题：其一，确认事实；其二，寻找法律；其三，将案件事实置于法律规范之下，根据事实和法律做出判决。案件事实一旦被确认，接下来法官要做的工作便是，首先，基于对“上位规范与具体事实之间来回穿梭的观察”，寻找可资适用的法律规定、规则或原则，将其作为裁判依据，把具体案件置于该法律规定、规则或原则之下；其次，根据已确认的事实和法律对具体案件做出判决。如在四川省南江县人民法院受理...
A MINI-GUIDE TO LOGIC IN ACTION
MINI-GUIDE LOGIC ACTION
2009/7/23
Classical logic is about propositions which we can know or believe, and unchanging inferential relationships between them. But inference is first and foremost an activity, for which propositions are m...
一类函数完全的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)各种具体语境的集合是人的生...