查询词典 classical logic

As far as Aristotle, philosophers have studied deontic logic, but the modern deontic logic began with GH.

从亚里士多德开始，哲学家们就开始对道义问题进行不断的探讨，但道义逻辑的最新发展则是从芬兰哲学家G.H。

Deontic logic is a new realm of philosophical logic.

道义逻辑是逻辑学研究的新领域，二元道义系统的提出时间更短，因此，国内的逻辑研究者对之较为陌生。

On the basis of this discussions, the author gives the standard system of deontic logic which was created by Von Wright and abstracts the development from the classic system to the standard system of deontic logic.

真性模态和道义模态之间存在着类似和区别，在此基础上给出冯·赖特道义逻辑的经典系统，说明经典道义逻辑在向标准道义逻辑发展

Classic system of deontic logic is a logic about action whose new development will introduce agent concept and occas-sion concept in this system;at the same time the negative concepts will have different understandings in the deontic system and some special action concepts in relation to the negative concepts will have some special meanings.

道义逻辑的经典系统是关于行动的逻辑。这种逻辑发展的新思路是在其系统中引入主体和场合概念；同时对正规逻辑的否定概念在道义系统中作了不同的理解；和否定概念相关的一些特殊的行动概念在行动逻辑中有其特定的意义。

This paper aims at analyzing the mechanisms of humor from the perspective of logic inspired from the interactional between executants and respondent, which is the starting point of this thesis. The analysis will concentrate on those humor productions in which different perceptions of the utterances results in the dislocation of logic.

本文以幽默话语中发话人和受话人的互动关系为出发点，从语言的逻辑性角度分析幽默语言的制笑机理，侧重分析言语事件中由于视角不同，造成逻辑错位及特定环境下语用联系的缺失而产生的幽默。

Extended logic programs without functions are introduced to represent the diverse access control policies, and the propagation depth and direction of privileges along the entity hierarchy can be constrained. After privilege conflicts are resolved according to the rules based on priority between different grantors and entities, semantics as answer sets of extended logic programs is attained.

采用类似于无函数的扩展逻辑程序的表示方法对安全访问策略进行描述，限定权限传播的深度，利用不同的优先次序定义了多种消解冲突的规则，并给出了类似扩展逻辑程序的回答集语义解释。

Pro Logic — manually selecting Pro Logic may be needed when listening to a conventional digital signal, as from a laserdisc player, which does not have an identifying "flag" to indicate whether it is simply stereo, or Dolby Surround encoded.

定向逻辑——在欣赏普通数字信号，如 CD 影碟机时，由于其本身没有鲜明的&旗帜&来表明它到底是立体声音频规格的还是 Dolby Surround 编码的，所以可能需要手动选择 Pro Logic 。

The correctness of logic theory is one of the most important factors in relay protection. This paper validate the testing function of medium and low voltage line protection through the relay protection testing system based on virtual instrument developed by ourselves, so as to make the validation of the correctness of logic theory be independent of the relay protection devices'software and hardware.

保护逻辑原理的正确性是继电保护能可靠动作的重要因素之一，本文采用自行研制的基于虚拟仪器的继电保护测试系统对中低压线路保护测控功能进行了验证，确保保护逻辑原理的正误与微机继电保护装置软硬件无关。

All-Flash website and the production of similar html website, prior should be painted on paper restructuring plan, including : Terms of the theme, with what kind of elements, which elements need to repeat them use elements of the link between how elements of campaign what style of music, the entire site can be divided into several logic blocks, each logic block the link between how and whether you intend to use Flash construct the station or just doing their part of the preliminary site etc., should be considered within the scope.

制作全Flash网站和制作html网站类似，事先应先在纸上画出结构关系图，包括：网站的主题、要用什么样的元素、哪些元素需要重复使用、元素之间的联系、元素如何运动、用什么风格的音乐、整个网站可以分成几个逻辑块、各个逻辑块间的联系如何、以及你是否打算用Flash建构全站或是只用其做网站的前期部分等等，都应在考虑范围之内。

Mr.Jin Yuelin was one of the most famous Logicians in Our country,who had been engaged in the studying and teaching of logic for more than half a century. He had achieved great attainments and attributed a great deal to the development of logic in our country.

金岳霖先生是我国著名的逻辑学家，从事逻辑的教学和研究有半个多世纪，其造诣极深，论著颇丰，为我国的逻辑学发展作出了重大的贡献。

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。