搜索结果: 106-120 共查到“知识库 逻辑学”相关记录214条 . 查询时间(3.51 秒)
逻辑多元论与逻辑在人文科学中的应用研究——兼谈《次协调逻辑与人工智能》
逻辑多元论 逻辑 人文科学
2009/7/23
20世纪下半叶是非经典逻辑蓬勃发展的时期。在这一时期，陆续诞生了相干逻辑、时态逻辑、量子逻辑、规范逻辑、多值逻辑等非经典逻辑，其中最引人注目的非经典逻辑是次协调逻辑。次协调逻辑的兴起展示了逻辑走多元化发展道路的必然性和可能性。同时也促进了逻辑在计算机科学、人工智能、法学、伦理学等领域的广泛应用。本文试图通过评价国内关于次协调逻辑的研究，论证逻辑多元论的合理性，进而阐明逻辑的多元化发展有助于拓展逻辑...
在当代导论逻辑、非形式逻辑和批判性思维教科书中，通常会列举几条“论证规范”。这有悠长的历史渊源。亚里士多德《论题篇》和《辩谬篇》提出的论证规范综述起来有6条，即①前提正确；②欲证之结论不包括在前提中；③论题明确；④论题同一；⑤论证的推理形式正确；⑥反驳应在同一方面、关系、方式、时间下进行。如果我们只集中考虑论证的背景、目标和推理结构，那么论证的成功的条件是：①每一前提是在背景中假定的陈述；②每一推...
在国外，批判性思维（critical thinking）继承了亚里士多德用于“智力训练、交际会谈和增加哲学素养”（苗力田，第一卷第355页）的逻辑教学与研究传统，经过近20年来的教学研究实践，已经发展成为一门内容丰富的思维训练课程。就在国外学者研究和发展批判性思维的同一时期，我国高校中的逻辑教学改革，却被困扰在“取代论”（用一阶逻辑取代传统逻辑）和“吸收论”（在传统逻辑的基础上吸收一阶逻辑的一些内...
戴维森纲领——一条躲避内涵的意义理论捷径
戴维森纲领 内涵 意义理论
2009/7/23
意义理论是当代语言哲学的核心问题，它讨论什么是意义以及意义的组成。早在分析哲学创始之初，弗雷格(G.Frege)就为意义理论的研究制定出了一条重要原则“只有在语句的语境中，而不是在孤立的语词中，才能得到语词的意义。”（弗雷格，第9页）这实际上是一条整体论的原则，它彰显了分析哲学家意图通过认识语言的意义这个中介，最终达至对世界的实在图像的认识;而在本体论上世界是由相互关联着的事实所组成的，事物、关系...
略评“层级”、“三值”、“间隙”、“情景”诸方案——“自涉”悖论杂谈
层级 三值 间隙 情景
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]。考虑到技术处理的方便，可以宽泛地将含有常识命题或常识句的推理称为常识推理。下面是一些常识推理的例子。