共查询到20条相似文献，搜索用时 109 毫秒
1.
张家龙 《云南师范大学学报(哲学社会科学版)》2010,42(1):59-62
从言模态和从物模态是模态逻辑中一个重要的理论问题,本文从亚里士多德的模态理论开始直到现代模态谓词逻辑进行了考察,阐明了从言模态和从物模态的联系、区别及其哲学意义,揭示了模态逻辑是一种本质主义的逻辑。 相似文献
2.
3.
以命题逻辑公理系统P和模态逻辑公理系统K、T或D为支撑，建构了一个包含“教、学、教和学”三个系统的模态公理系统，试图去描述教学世界的可能性和必然性、现实性和理性、逻辑性和知识性，希望能从一个新的角度探索教学世界的哲学意义和知识意义。 相似文献
4.
互模拟已成为模态逻辑模型论的一个核心概念。笔者在克里普克模型上定义了互模拟和互模拟不变性概念,接着证明模态逻辑具有互模拟不变性,最后讨论了互模拟与模态等价之间的关系。 相似文献
5.
李秀敏 《淮阴师范学院学报(哲学社会科学版)》2004,26(2):166-168
在现代逻辑研究中,可能世界语义学不仅揭示了模态逻辑公理系统的直观背景,而且提供了强有力的语义工具,使模态逻辑的研究进入了一个崭新的阶段。但在可能世界语义学的研究中,也遇到了许多哲学上的难题。本文仅对可能世界理论中的跨界识别问题进行分析、探讨。 相似文献
6.
李秀敏 《江西教育学院学报》2004,25(1):29-32
在现代逻辑研究中,可能世界语义学不仅揭示了模态逻辑公理系统的直观背景,而且提供了强有力的语义工具,使模态逻辑的研究进入了一个崭新的阶段。但在可能世界语义学的研究中,也遇到了许多哲学上的难题。因此,对有关可能世界的定义与跨界识别问题进行分析、探讨确实很有必要。 相似文献
7.
首先介绍模态逻辑的两种语义:克里普克模型和非良基集合模型,表明这两种语义的相互可推演性,证明非良基模型,描述互模拟等价的克里普克模型类;接着,从模型的视角讨论集合上的互模拟与模态等价的关系;最后,运用互模拟和集合翻译等概念讨论非良基集合与模态逻辑的关系,证明:"一个集合论公式在集合上的互模拟下是不变的当且仅当它等价于一个模态公式的标准集合论翻译"。 相似文献
8.
;模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环.从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gresswell对Kripke-语义图的修正;从L.Henkin极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点.对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法. 相似文献
9.
柳祥美 《衡阳师范学院学报》1999,(2)
现代道义逻辑开创者冯·莱特在道义逻辑起源问题上形成了自己独特的观点。他认为,道义逻辑是模态逻辑的一个分支,基本的道义概念可被认为类似于基本的模态概念。为了更深刻地研究道义逻辑与模态逻辑间的联系,还提出了条件逻辑理论,从而使得对遵义逻辑起源的研究呈现出多样性。 相似文献
10.
基于认知逻辑分析了模态逻辑在运用方面具有与一阶逻辑不同的特点,它不仅可以通过系统演绎论证来刻画具体的概念和实质对象,还能够解决许多领域中的现实问题,并指出了模态逻辑具有特殊性的两大基本原因。 相似文献
11.
Business letter with friendly modality is an effective means to represent the best advantage of one’s self and firm. The paper in vestigates modality in business letter according to Halliday’s view on modality. The modal devices mainly cover modal operator, modal ad junct, and modal cohesion. By means of binary approach modal logic is tentative divided into: perfective and imperfective; positive and neg ative; subjective and objective or explicit and implicit; high, median and low value. Modal devices or modal logic has formal and semantic level. Modality is regarded as a potential analyzing method to business text in this paper. The significance of the study is for understanding modal expression in business letter, meanwhile, this is a way to better understand modal logic, and to better use modal device in business let ter. 相似文献
12.
广义模态逻辑研究中的若干问题 总被引：1，自引：0，他引：1
冯棉 《华东师范大学学报(哲学社会科学版)》2001,33(5):141-146
模态理论不仅涉及逻辑的可能性，也涉及事实的可能性，两存在着重要的差异；在对“罗斯悖论”的剖析中引入可能算子，通过对道义悖论作时态的分析，以辨明义务的相对性，是消除道义悖论的一条可行的途径。 相似文献
13.
罗翊重 《昆明师范高等专科学校学报》2006,28(3):10-15,22
形式逻辑是关于断定的逻辑（Logic），辩证逻辑是关于描述的逻辑（Logos）。通过对性质判断的非反否定演算，将形式逻辑的断定否定演算，辩证逻辑的描述否定演算，认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算，都归结为非和反的哲学否定演算。由此，所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了。 相似文献
14.
康陆 《苏州教育学院学报》2013,(6):60-63
任何一种语言都是在一定的环境和背景下生成并发展起来的,情态从逻辑学进入语言学之后成为了一个公认的重要而复杂的范畴,通过对情态以及语境概念的界定,阐述情态动词的特征、语境的分类及相关研究,从语义学和语用学角度分析语境在情态动词使用中所起的作用,以期为英语情态动词的研究开辟全新视角。 相似文献
15.
ＴＨＥＳＥＭＡＮＴＩＣＭＯＤＥＬＯＦＯＤＰＳＹＳＴＥＭＵＮＤＥＲＴＨＥＥＮＴＥＲＰＲＩＳＥＶＩＥＷＰＯＩＮＴＧｏｎｇＪｉａｎ（龚俭）（ＤｅｐａｒｔｍｅｎｔｏｆＣｏｍｐｕｔｅｒＳｃｉｅｎｃｅａｎｄＥｎｇｉｎｅｅｒｉｎｇ）ＴＨＥＳＥＭＡＮＴＩＣＭＯＤＥＬ... 相似文献
16.
Fan Rongqiang 《广东技术师范学院学报》1993,(4)
本文在Reiter 1980年提出的缺省逻辑的基础上,将缺省条件视为获取知识的背景知识与所得到的知识同等地加以考虑,提出了一种缺省模态逻辑。它是一种非单调逻辑,并且具有在Reiter的系统中所不能保证的两个重要性质:扩充的存在性和非单调性,然后通过知识从其背景中分离出来的方法,给出了一个缺省理论扩充的概念,它是Reiter的扩充概念的一种推广。 相似文献
17.
何丽君 《桂林师范高等专科学校学报》2014,(2):73-76
近代汉语语气词是语气词发展史上的一个重要时期,它继承发展了古代的文言语气词,又影响着现代汉语语气词体系的形成。近三十年来,学者们在近代汉语语气词研究上取得了很好的成绩。文章在综合考察前人研究成果的基础上,从系统、个体、专书三个角度对这些成果予以概述,并指出其中的不足及今后努力的方向。 相似文献
18.
万小龙 《华中科技大学学报(社会科学版)》2012,26(3):33-39
狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。 相似文献
19.
汪云 《太原教育学院学报》2008,(4):85-88
“情态”概括地说就是指说话人对于句子所表达的内容的主观态度。在语言系统中情态意义的体现方式多种多样。英语和汉语这两种语言中情态意义的主要表达方式都是情态动词。文章以情态理论和情态意义为基础,对英语的情态动词“can”和汉语的情态动词“能”所表达的情态意义进行对比研究,从而探讨英汉情态动词在情态意义上的异同,以及语意对应程度,并考虑其受语言形式的制约程度。 相似文献
20.
情态语气范畴中语气词的功能分析 总被引：5，自引：0，他引：5
齐沪扬 《南京师范大学文学院学报》2002,(3):141-152
本讨论情态语气范畴中语气词的功能问题。首先对讨论的对象语气词作出界定。认为语气词功能的含义应该是宽泛的，不仅表现在表义上，还体现在其他方面；语气词的功能不仅可以由句末语气词体现，也可以由句中语气词体现。语气词在情态语气范畴中的作用可以归纳为表义功能、完句功能和篇章功能。 相似文献