共查询到20条相似文献,搜索用时 0 毫秒
1.
2.
3.
4.
当今,命题模态逻辑作为一种标准的形式工具,已被广泛应用于计算机科学和人工智能的各个领域.然而,与命题模态逻辑不同,通常的一阶模态逻辑语言的表达力是不充分的,这是许多重要问题背后的原因所在,这些重要问题包括:模态逻辑中没能出现与经典逻辑相媲美的赫伯兰(Herbrand)定理、非严格指称问题、同一性问题、罗素的限定摹状词理论、动态逻辑的指派表达等等.美国当代逻辑学家、证明论专家菲汀(M.C.Fitting)充分认识到通常的一阶模态逻辑表达力不充分所产生的弊端,他通过把谓词抽象引入通常的一阶模态逻辑的语形和语义,以一种极其简单和自然的形式加强了一阶模态语言的表达力,从而使上述问题迎刃而解.本文首先介绍谓词抽象的基本思想及其简史,然后重点阐述谓词抽象在模态赫伯兰定理以及其他领域的重要作用. 相似文献
5.
6.
军事情报对于战争进程采说是至关重要的,有时甚至起着决定性的作用。而情报的获得,情报的分析,检验,都离不开逻辑推理。有时,检验一份情报的真伪比得到一份情报更难,更重要。因为战争进程是十分复杂的,一份真的情报往往伴随着许多假情报。如果得到的情报不是真的,不但不能起到应有的作用,而且有可能使人误入敌人的陷阱。 相似文献
7.
8.
胡好根据康德文本中的两处说明提出了关于逻辑谓词的四重界定。但是,他的界定却存在着理解上的困难和文本阐释上的问题。他的界定不但没有揭示出逻辑谓词的特定意义,反而使得它的意义受到了遮蔽,这缘于他局限于"S是P"这种命题类型来界定逻辑谓词,而完全没有注意到"S是"这种命题类型对理解逻辑谓词的特定意义所具有的重要地位和作用。其实,在康德的存在论题中,他主要是以"S是"这种命题类型来阐释逻辑谓词的,因此此处的逻辑谓词只能是特指的,而非泛指的,它就是Sein。Sein这个逻辑谓词就是实存谓词,它具有双重性:一方面在本体论证明当中的实存谓词还只是分析命题的谓词;另一方面它指的是existiert,Dasein或Existenz,这是一个通过联系知觉经验而对它做出了精确规定之后并完全超出了上帝概念的实存谓词,因此是综合命题的谓词。基于这一理解,存在作为逻辑谓词的特定意义将被揭示出来。 相似文献
9.
《哲学研究》2019,(6)
道德谓词是否描述了实在的属性,这是元伦理学中一个颇具争议性的难题。如果从吉奇关于表语形容词和定语形容词的区分出发,首先绕开实在性难题,仅从认知经验(现象学)的角度作出分析,那么,在熟练的道德判断者那里,包含道德算子的道德谓词具有领受度(quanta)经验,虽然它们不描述实质的(real or substantial)属性,也没有明晰的内容,但可以是一种直接的和自发的经验。作为非推论性的或非派生性的经验,领受度经验完全不同于且不可还原为感受质(qualia)经验。因此,即使不存在实在的道德属性,也会有相关的道德经验;而如果承认这种经验就是一类心灵属性,那么它们在一种弱的意义上也可以具有实在性。 相似文献
10.
我们曾经说过,传统逻辑有一个重大缺陷,就是没有关系推理。数理逻辑克服了传统逻辑的局限性,开拓了新的逻辑领域,关系理论就是其中的一个重要方面。这一讲介绍一些简单的关系推理形式。令R是一个二元谓词。对R(a,b)可以连续两次引用量词,得到以下四种形式: (x)(y)R(x,y):一切x和一切y有关系R, (x)(y)R(x,y):有的x和一切y有关系R, (x)(y)R(x,y):一切x和有的y有关系R, 相似文献
11.
逻辑主要是研究推理的科学,辩证逻辑推理与形式逻辑推理有什么区别?有的讲到以下两点:第一,辩证逻辑是“动态”的逻辑,它用唯物辩证法的发展观看待事物之间的逻辑关系;而形式逻辑是“静态”的逻辑,它用相对静止的观点看待事物之间的逻辑关系。第二,辩证逻辑是“内容”的逻辑,推理是内容的推理;形式逻辑是“形式”的逻辑,推理是撇开了思维具体内容的推理。按照以上两点,能否区分辩证逻辑推理 相似文献
12.
"Sein显然不是实在的谓词",是康德反驳本体论证明的著名论题。在《康德哲学中实在谓词难题的解决》一文中,胡好为了解决他所说的"实在谓词难题",即"实在谓词不是实在谓词"的表面冲突,把该论题解读为"主观综合的现实谓词"不是"客观综合的实在谓词"。胡好解决"实在谓词难题"的新方案难言成功:(1)他的基本框架来自于知性分析论,脱离了康德反驳本体论证明的语境,看不到该论题是针对本体论证明的小前提混淆"逻辑谓词"与"实在谓词"而提出的;(2)他用新造的"现实谓词"代替康德所说的"实存谓词"没有必要,把"在与主词概念的关系中对一个对象的肯定"当作"现实谓词"也与康德原意不符;(3)他关于实在谓词是表达事物可能性的谓词的说法包含歧义,甚至有自相矛盾和自我否定的倾向。胡好"新方案"的失败表明:必须放弃从经验论出发理解"实在谓词"的做法,放弃"实在谓词是综合命题的谓词"这一基本预设,而要坚持对"实在谓词"作先验论的的解读,在先验神学的框架中把它与上帝的实在性联系起来,承认它就是诸如"全能的"等分析命题的谓词。更精确的文本分析表明:胡好的观点并无可靠的文本依据,他对我的观点的批评不能成立,他对"上帝是全... 相似文献
13.
破案与逻辑推理是密切联系的,案件的侦破过程也是正确运用逻辑推理的过程。本文就侦破上海市某公社水泥制品厂重大盗窃案的情况,对此作些分析。一九七七年五月四日深夜,上海市某公社水泥制品厂财务室保险箱被砸破,窃去大量现金。财务室位于该厂南部二楼一排房子最东头的楼梯口,门窗完好无损,未发现撬动痕迹。财务室的西隔壁是该厂的另一办公室,两室之间有一个放置固定式电话的壁洞(洞口长36公分,宽34公分,壁洞下缘离地面1.3米)。保险箱系用重磅钢锤砸 相似文献
14.
15.
墨家是先秦诸多学派之一,墨家逻辑也是中国古代本土逻辑思想的典范之一。墨子及其后学创立了中国思想史上第一个"以名举实,以辞舒意,以说出故"的墨家逻辑体系,成为中国古代逻辑思想发展的优秀代表。墨家逻辑的主要推理模式包括:"辟"、"侔"、"援"、"推"等。墨家逻辑思想的研究开启了中国逻辑思想研究的先河,墨家逻辑思想研究是中国逻辑思想研究的核心内容之一。国际逻辑学界对作为非印—欧语言系统的中国逻辑的关注,显示了中国逻辑独立存在的价值。今天的中国逻辑思想研究处于现代逻辑发展与中国现代文化发展的交汇点上,需要我们从逻辑和中国文化的角度来研究中国逻辑思想。用逻辑的一般特性来分析墨家逻辑,依据工具性、形式性和有效性这三个方面,是解释墨家逻辑的一个新角度。 相似文献
16.
由中国逻辑与语言研究会会员,复旦大学郑伟宏与上海社科院倪正茂二同志共同编著的《逻辑推理集锦》最近已由光明日报出版社出版。本书精选了古今中外七十多个故事。这些故事中所包含的推理包括了普通逻辑中所有的推理类型。书中详尽地分析了每个故事中所包含的逻辑推理的种类、是否正确,如不正确,错在何处,如何正确运用等。本书的突出特点或主要目的是帮助读者提高运用推理知识解决实际问题的能力。所以无论是对初学者还是需进一步提高逻辑修养的同志都不失为一本好的参考书。本书行文流畅, 相似文献
17.
不但军事情报的取得、分析和验证离不开逻辑推理,而且,如何使用军事情报,使其发挥最大作用也和逻辑推理息息相关。得到了重要情报但却未使其起到应有作用的事,历史上是累见不鲜的,使用情报,同样需要非凡的智慧。 1916年隆冬时节,英德战争已经进入僵持阶段。双方在同一个泥潭里进行着无休止的拉锯战,都付出 相似文献
18.
卦象在逻辑推理中的应用研究 总被引:1,自引:0,他引:1
<周易>不仅具有哲学的意义,同时也具有科学的价值.这是因为易卦中不仅有传统的易象逻辑形态而且有现代的数理逻辑形态.易卦若是除去神秘的象征意义,其卦象便是精良的推理工具.易卦是一种完备的二值逻辑体系,每一个卦象就是一组真值表.易卦中蕴含大量的逻辑信息,其逻辑价值有待开发. 相似文献
19.
高中语文课本上的《母亲》一课,情节并不复杂,但“母亲”这个人物给人的感染力特别强烈,原因之一,就是作者用了细腻的心理描写表现了人物的思想性格,而逻辑推理在心理描写中又起到了决定作用。母亲到车站接受任务,散发传单,空气寒冷干燥,小铺子也有兵,地面有雪,候车室拥挤肮脏,臭味冲鼻,在这恶劣的环境中,照理说,母亲应感到烦恼、恶心、厌恨,然而不然,母亲却感到“满意”、“爽快”。这是为什么?这里母亲的内心是 相似文献
20.
戏剧《升官记》的故事发生在明朝。剧情是皇叔并肩王和安国侯为争夺民女倩娘闹起了纠纷。大理寺、刑部、吏部、都察院俱因两家权势显赫不敢审理此案。相貌丑陋但才智过人的徐九经由七品县令被王爷保举升任大理寺正卿负责审理此案。 相似文献