1) Modal Illocutionary Logic
模态的语用逻辑
2) pragmatic logic
语用逻辑
1.
This paper demonstrates that Rhetorical Question is the special form of a logical judgment or reasoning, and analyzes the 12 pragmatic logic functions of the Rhetorical Questions such as revealing prominent objective of the development of things, revealing the trend of things, demonstrating a point, revealing a link between things, and confirming or negating things.
论述了反问句是逻辑判断或推理的特殊表达形式,分析了反问句凸显的揭示事物发展的客观规律、揭示事物的趋势、论证某一观点、强调事物性质、揭示事物之间的某种联系、肯定或否定某一事物等12种语用逻辑功能。
2.
The basic feature of economic logic is that it is pragmatic logic,action logic,value logic,the logic of knowledge innovation and the logic of economic study.
就其多维的学科面向而言,它是语用逻辑,是行动逻辑,是价值逻辑,是知识创新的逻辑。
3) illocutionary logic
语用逻辑
1.
The present paper,based on the speech act theory and conversation analysis,attempts to investigate the relationship between speech acts and mutual understanding from the illocutionary logic of the sequential structures in conversation.
基于言语行为理论和会话分析理论,试图从会话结构的语用逻辑探讨言语行为与相互理解的关系。
2.
In this paper, Professor Zhou s contribution to linguistic logic will be recommended and then the modal illocutionary logic system MF will be given, then Prepositional Illocutionary Logic, Quantificational Illocutionary Lo.
清华学人、中国著名逻辑学家周礼全先生从 195 0年开始研究语言逻辑 ,1989年起指导作者对奥斯汀的言语行为理论和塞尔的语用逻辑进行研究。
3.
This paper briefly introduces the object of study, content and general characteristics of illocutionary logic (IL) as well as the present development in this field at home and abroad.
文章扼要阐明了语用逻辑的研究对象、内容和主要特点 ,并介绍了这一领域的国内外研究现状。
4) modal logic
模态逻辑
1.
Three types of fuzzy modal logics about K;
关于K的三种模糊模态逻辑
2.
According to the real meaning of applying epistemic or modal logic to theoretical study on agent or multi-agent system,through detailed and strict analysis of the two basic premises upon which scholars draw their assertion of logical omniscience problem,it was argued clearly that neither of their two premises can stand.
从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的。
3.
In order to introduce the quantitatively analytical method into security protocol analysis, a protocol measurement method based on modal logic was defined.
为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在此基础上 ,进一步地给出了对安全协议冗余进行度量及化简的方法 。
5) Commonly used logical terminology
常用逻辑用语
6) temporal logic language
时态逻辑语言
1.
XYZ/E is the first executable temporal logic language,which can desribe abstract static semantics and also express programming dynamic semantics.
XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构 ,文 [1]采用XYZ/E语言刻画了软件体系结构的基本组件与连接件。
2.
XYZ/E is the first executable temporal logic language,which can represent both of the static and dynamic aspects of program.
XYZ/E是世界上第一个可执行的时态逻辑语言 ,它既能描述抽象静态语义 ,又能表示程序的动态语义 ,这一特征恰好适合分层描述软件体系结构。
补充资料：模态
模态
modality
模态[确喊叨勿;。~OcT‘I 逻辑判断的一个性质，用以刻画该判断的确定程度.模态逻辑(确习al logiC)即是研究不同模态及它们之间的关系.Aristotie(公元前4世纪)早就研究过模态“必须”及“可能”，但他没有赋予它们一个准确的含义.该二模态被称为基本(n抑龙~扭1)模态并分别以口和今记之(或者L及M).基本模态口，今及否定，的各种组合也称为模态.如果将一个模态Q中的每一个口都改成今，又将Q中的每一个令都改成口，就得到另一个模态，记为亘，称为模态Q的对偶(d回of a nx刁aJ盛妙).在大部分模型逻辑系统中，对任一模态Q及其对偶叠，下式: Q二A<二:》，QA(，)成立. 原则上，口，令及门可以有无穷种组合;但在一个具体的模态逻辑系统中，两两不相等价的模态个数往往是有界的(因为上面的等价式(*)起作用，同时该系统中的公理也将简化某些模态，或者将某一个模态归结到另一个模态).例如，在模态逻辑系统S3中，有且仅有40个不同的模态.在S4中，仅有12个: 口A，口令A，口令口A，门口A， ，口令A，7口令口A以及它们的对偶.在55中，仅有4个模态:口A，令A，二口A，，今A.另一方面，在模态逻辑系统T，以及sl和52中，都存在无穷个模态.更有甚之，在这些系统中，不可能进行模态的归结;即，任两个正模态(不含门)Q，与QZ是等价的，当且仅当Q，=QZ· 有时，“模态”这一术语也指在不同的理论中形式化了的概念，如“真”，“可证性”，“不可证性”，有时也和时序逻辑中“将是”，“过去总是”等等联结词联系起来. 读者可参阅模态逻辑(Inodal fogic). C.K.Co6侧le。撰王驹译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条