首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 0 毫秒
1.
汉语句子具有灵活的语序 ,主语、宾语和状语可出现在不同的位置上而使得句义大致保持不变。从范畴类型逻辑角度看 ,需要提供说明汉语灵活语序的工具。因此 ,给出关于范畴位置移动的结构公设 ,构成特定的范畴类型逻辑系统 ,即多样模态逻辑 ,并给该系统的可能世界语义学的可通达关系确立相应的限制条件。其次 ,为说明汉语语义异常句的合理性 ,提出一种多体的范畴类型逻辑 ,构建有关的结构公设 ,通过相关正常语义句的推导来证明异常句的成立。此外 ,为强调句子生成过程中各种词类的搭配限制 ,从而生成合符直观和认知的句子 ,设想用类型 -逻辑语义加特征结构的并行推演来解决这个问题 ,为汉语句法和语义生成的计算机实现提供理论依据  相似文献   

2.
哲学逻辑概论   总被引:5,自引:0,他引:5  
哲学逻辑包括模态逻辑、时态逻辑、多值逻辑、道义逻辑、直觉主义逻辑等。哲学逻辑是从扩充古典逻辑或修改古曲逻辑而来的一个逻辑分类。本文分别对这类逻辑进行了简要介绍。  相似文献   

3.
在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景.然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑.  相似文献   

4.
混合语言是扩张的命题的模态语言.它能指称(甚至量化)状态.近年来,混合语言的流行主要有两点原因[1]45:首先,语言表达力的增强,它能定义许多一般模态语言无法定义的框架性质,典型的例子,如禁自返性(i→'◇i)、反对称性((I∧◇(j∧◇i))→j)等.混合语言流行的另一个主要原因是,使用纯公式公理化得到的逻辑系统有一般完全性的结果.  相似文献   

5.
常逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。但反过来某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件,是该框架类对满射互模拟象、不相交并封闭,并且它的补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件,是它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑。  相似文献   

6.
心理咨询中当事人的语言逻辑仍然经历概念、判断和推理的过程,和其他非当事人一样具有逻辑性的特征。但是当事人的逻辑前提具有主观虚拟性;表象语言指号与深层心理意义不一致;语境在其独特心理背景下表现为虚构的特征;当事模态逻辑具有专一角度特征;非陈述句逻辑的预设是其深层心理意义的信息。认识当事人语言逻辑的特殊性可以从语言的技术路线上更多地揭示当事人的心理可能世界。  相似文献   

7.
20世纪60年代,经典逻辑发展相对停滞,非经典逻辑蓬勃兴起。在对逻辑学、自然科学及社会科学等领域中许多不协调命题进行思索后,人们对经典逻辑发起挑战,认为矛盾律并不是普遍有效的。在这一背景下达·科斯塔创立了弗协调逻辑。当将弗协调逻辑运用于真值模态逻辑时,可得到一避免了善良的撒玛利亚人悖论的道义逻辑系统,于是我们可得出结论:道义逻辑可归约为弗协调真值模态逻辑。   相似文献   

8.
《阅读与作文》2007,(3):106-106
1、女人为什么要穿高跟鞋? 因为女人知道她们天生比男人矮一截。穿高跟鞋是为了弥补她们心灵上所造成的这种创伤。  相似文献   

9.
寒假,带着儿子回乡下姥姥家,姥姥家旁边有一片桔园,桔园边就是我家的菜地,我和儿子跟着外公一起去浇水。  相似文献   

10.
知识与行动的研究之学术危机的拯救方法就是产生一种新的知识行动研究模式,即是说在"强知识弱行动"和"强行动弱知识"研究模式的基础上形成"强知识强行动"研究模式,笔者称这种知识与行动研究模式为"强强纲领"。在这个纲领的推进下形成一种新的知识样态即"知识行动论"来解释和说明使知识时代社会扎根的知识行动(知识实践)。从知识与行动之关系演进的逻辑中衍生出知识行动的概念便成为了一种自然的内生过程,这就是知识行动论的知识逻辑。  相似文献   

11.
模态逻辑Beth-语义图及其应用   总被引:1,自引:0,他引:1  
  相似文献   

12.
后悔是人的一种心智状态。与相信、知道一样后悔是心智模态,其对象是某个与行动者的行动有关的命题或事态。某人后悔是因为他做过某个事情、而对这样的事情他现在认为他"不应当"做。借助于可能世界语义学,一个极小的后悔心智逻辑得到构建。该系统是完全且可靠的非标准模态逻辑系统。该系统刻画了合理的后悔关系。研究后悔的逻辑构造有助于对因后悔而造成的思想病症进行思想分析或治疗。  相似文献   

13.
合理的投票系统都是操纵的,决策形成过程中的防策略投票问题属于社会选择应用领域的前沿问题.分别从模态逻辑、一阶逻辑、命题逻辑的角度,研究了防操纵社会选择机制的核心理论——防策略不可能性定理.希望由此引发对这一领域感兴趣的学者做进一步的探究.  相似文献   

14.
逻辑全能问题是认知逻辑发展的一个瓶颈,抑制了认知逻辑在其他学科中的应用。许多学者对逻辑全能问题提出了诸多的解决方案,但并未在"解决标准"上展开深入研讨,难以在各种解决方案的优劣上达成共识。在达克提出的"逻辑全能"与"逻辑无能"概念的基础上,文章试图给出解决逻辑全能问题的一种基本制约性标准,并给予哲学说明。  相似文献   

15.
吴志 《百姓生活》2014,(4):78-79
抽血、量血压、做B超、上胃镜……一通“折腾”后,一份体检报告就递到了你的手上。翻开看看,那些专业术语和化验单上升升降降的箭头通常会让外行们眼晕。究竟体检报告里隐藏了怎样的秘密?专家为你解读。  相似文献   

16.
主体的认知世界可以划分为“信念世界(WB)”、“怀疑世界(WD)”和“无知世界(WU)”,这三个世界中的元素是认知命题。这三个世界之间是不重叠的,并且它们构成一个认知世界全集。一个认知命题是真的,当且仅当它属于相应的认知世界之中。有了这样的划分,研究怀疑世界中的认知命题之间的逻辑关系的怀疑逻辑是独立的,它不能通过信念逻辑的变形而得到。怀疑逻辑、无知逻辑与信念逻辑构成三个相互独立的逻辑系统。  相似文献   

17.
三分的认知世界与怀疑逻辑的独立性   总被引:4,自引:0,他引:4  
主体的认知世界可以划分为“信念世界(WB)”、“怀疑世界(WD)”和“无知世界(WU)”,这三个世界中的元素是认知命题。这三个世界之间是不重叠的,并且它们构成一个认知世界全集。一个认知命题是真的,当且仅当它属于相应的认知世界之中。有了这样的划分,研究怀疑世界中的认知命题之间的逻辑关系的怀疑逻辑是独立的,它不能通过信念逻辑的变形而得到。怀疑逻辑、无知逻辑与信念逻辑构成三个相互独立的逻辑系统。  相似文献   

18.
青少年对父母保守秘密被界定为隐瞒闲暇时间的活动及活动衍生的私人信息。青少年对父母保守秘密是一把双刃剑。就个体发展而言,保守秘密是危险的,它与生理疾病、抑郁情绪、问题行为等密切相关,同时保守秘密却有利于青少年感情自主的发展。就亲子关系而言,保守秘密促进亲子关系转向平等,又可能导致亲子关系不良。研究者介绍了西方关于青少年对父母保守秘密的研究成果、方法、进展,以及研究焦点和现存问题。  相似文献   

19.
逻辑基础理论研究、逻辑应用理论研究和逻辑理论应用研究三个概念各有其内涵,既不能混淆又不能把它们完全孤立起来。应用理论研究具有必然性和丰富性。商贸逻辑是商贸思维领域的应用理论研究,它具有十分丰富的内容  相似文献   

20.
自然语言中语义模糊逻辑解读的回顾   总被引:1,自引:0,他引:1  
自然语言的模糊性对经典二值逻辑的“排中律”提出了挑战,逻辑学家引进了三值逻辑,即在二值逻辑的基础上引入第三值——不定值。但三值逻辑引发的高阶模糊问题是其本身无法克服的,因而逻辑学家又引入了模糊逻辑——即用一个无穷多值的取值范围反映出事物变化的连续性和渐次性。逻辑法对语义模糊的研究目的是建立一个能合理解释或者描述语义模糊的语义模型而非追求一个具体的逻辑真值,所以逻辑研究法的价值是不该被否定的。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号