共查询到20条相似文献,搜索用时 15 毫秒
1.
基于[4]中的逻辑系统G,本文通过删减和增加公理及规则给出3个逻辑G0,GD和Gs,同时,我们通过对正常主项选择函数添加不同的条件给出与三个逻辑相应的不同的模型定义。其中,G0是GD和Gs的基础。这些逻辑的给出是为了刻画通过演绎方式得概称句的推理的局部推理。 相似文献
2.
3.
4.
5.
以前的道德世界中根本就没有权利的说法,而今天再谈及道德,则一定要从权利的立场出发,权利已然强势进入了道德的语境。这要归因于所谓道德思维的逻辑结构的存在。道德思维的逻辑结构让我们能够在思考道德问题时,首先从对人的本真图景出发,以对人的本质属性、现实需要和价值地位的认知为开端,本着这样一种前提条件,在尊重人的意志自由的基础上来建构和遵循道德规范的内容。对道德思维的逻辑结构的把握,就如同我们在医学里掌握了人体构造精确图谱那样,使我们能够对道德现象的认知与塑造建立在一种科学和规范的基础之上。因而,对道德思维的逻辑结构的掌握与运用,不论是对于我们的伦理理论的探索还是对于道德实践的推展都具有不容忽视的意义。 相似文献
6.
涵义语义与关于概称句推理的词项逻辑 总被引:1,自引:0,他引:1
概称句推理具有以词项为单位的特征并且词项的涵义在其中起到了重要的作用。已有的处理用A一表达式表达涵义,不够简洁和自然。亚里斯多德三段论是一种词项逻辑,但它是外延的和单调的。这两方面的情况使得有必要考虑新的词项逻辑。涵义语义的基本观点是:语词首先表达的是涵义,通过涵义的作用,语词有了指称,表达概念。概称句三段论是更为常用的推理,有两个基本形式GAG和Gaa。在涵义语义的基础上建立的系统GAG和Gaa是关于这两种推理的公理系统。 相似文献
7.
8.
<正>对于汉传因明所说的"九句因",藏传因明称之为"宗法九句因轮"或"因明九句因轮"。在因明逻辑中,"九句因"理论是判定大前提所具有的九种情况的理论。这个理论是印度因明大师陈那首先提出和总结出来的。按藏传因明的说法,他在世时著有108部有关佛学与因明方面的论著,而"九句因"就是其中的《因明九句因轮》论著提出来的重要逻辑理论。 相似文献
9.
作为固定词组的成语,较之其他形式的词组有一个明显的特点,是充分利用其内部所属的概念之间的逻辑关系来表意;也就是说,不少成语在表意时是藉其内部的逻辑关系来进行的。关于这一点,我们只要将这些成语的逻辑搭配构成作一番追踪,便会一目了然。 (一)采用同一关系构成的成语,如: 真凭实据精雕细刻花言巧语崇山峻岭奇珍异宝家喻户晓 (二)采用并列关系构成的成语,如: 耳闻目睹凤毛麟角狼心狗肺餐风饮露虎踞龙盘唇枪舌剑 (三)采用反对关系构成的成语,如: 貌合神离深入浅出阳奉阴违扬长避短吐故纳新扶弱抑强 (四)兼用同一关系和并列关系构成的,如: 相似文献
10.
11.
12.
13.
14.
逻辑学以及形式语义学对汉语连动结构的研究一般都停留在一阶逻辑的层面上,即通过一阶逻辑中的形式化方法给出连动结构的形式化构造。但是在对不同类型连动结构进行更为深入的研究时,一阶逻辑这一工具就显的不够了。本文中,作者将以因果型连动结构为研究对象,利用一阶模态逻辑为其构建形式系统并尝试给出因果型连动结构和途径–目的型连动结构之间的区别和联系。 相似文献
15.
16.
17.
一消除蕴涵怪论的主要方案及其困境为了消除怪论,逻辑学家相继创制了形式蕴涵、严格蕴涵、相干蕴涵和衍推等。通观这些方案,可以发现它们向同一方向划出了比较连续的轨迹:(1)前后件真假值对→真值的影响渐弱,直至消 相似文献
18.
科学中问题的结构与问题逻辑 总被引:4,自引:0,他引:4
“问题”是科学认识论与方法论中的极其重要的范畴。我在《问题·科学问题·科学目标》一文(载《百科知识》1987年第11期)中,曾对“问题”以及有关概念作出如下定义:问题——某个给定过程的当前状态与智能主体(人或机器)所要求的目标状态之间存在的差距;问题求解——设法消除给定过程的当前状态与所要求的目标状态之间的差距;疑难(Puzzle)——求 相似文献
19.
唐末著名高僧黄檗希运所作《传心法要》,是禅学思想发展史上的一部重要经典。它以对自心本体的透彻诠解,解脱方法的善施巧导,无碍境界的点染突现,建构了一个完整的逻辑理论体系;以直探心源,以心传心,见性成佛的鲜明特色而享誉祥林,成为禅学思想史上的一个重要发展环节,对禅宗的发展分化,尤其对于临济宗的形成发展产生了深远的影响。希运圆寂后,被唐宣宗谥为“断际禅师”,享有极高的地位,后世更视其为临济宗初祖,尊称“运祖”。《传心法要》独具特色的理论价值和不可忽略的重要地位,是我们今天研究禅宗思想发展时必须加以充分关注和深入探讨的。 相似文献