查询词典 classical logic

Comparing withHayek's theory on society method, I believe constitution litigationmechanism must considering the following conclusion in modelingconstitutional method: first, the acquiring of constitutional method isusually effects system vicissitudes. Although constitutional arbitramentcan form definite constitutional method, it can't achieve perduringsubstantial results level of method; secondly, constitutional method isformed virtually by the mixture of two kind of potence, and one is socialpotence, the other is governmental potence. The constitutional method'srationality in logic structure rests directly with the wrestling process ofconstitutional logic and social process. Constitutional method is more akind of simulative conformation of natural logic and social logic, itforms by the wrestling of government, public, legislature andconstitution judging organ. Fourthly, the maintenance of constitutionalmethod depends on the inner power sustained by faith and exteriorpower coming from the background of compulsion. Fifthly,constitutional method itself is a dynamic structure, and it's realizingquomodo and vindicating means is being in vicissitude, however, it canonly provide condition and inspiritment.

对照哈耶克的社会秩序理论，笔者认为，宪法诉讼机制在型构宪政秩序时必然要照顾到以下结论：其一，宪政秩序的取得，往往是一个制度自然变迁的结果，宪法裁决虽然也可能在短期内形成一定的宪法秩序，不过却无法强行地达到一个较大范围内持久的秩序实效水准；其二，宪政秩序实际上是由两种力量交合而成的，一是社会力量，一是政府力量，宪政秩序的逻辑结构的合理性直接取决于宪法逻辑和社会逻辑之间的博弈过程；其三，宪政秩序更多的是一种对自然逻辑和社会逻辑的模拟形态，是经由政府、公众、立法机关与宪法裁判机构的合作博弈而形成的，宪法诉讼的功用至多在于提供博弈规则，以实现纳什均衡；其四，宪政秩序的维护主要依靠来自信念支持的内部力量与来自强制背景的外部力量；其五，宪政秩序本身是一个动态的、常新的结构，其实现方式与维护手段也处于不断变迁之中，但无论如何，宪法诉讼机制所能提供的只是制约与激励两种。

With the background of application of fuzzy control techniques to a rather typical complex control system, gas-burning water heater, theories, applications and techniques of fuzzy information processing have been studies. The obtained results include:(1) For lattice-valued logic systems based on lattice implication algebras, two dynamical lattice-valued propositional logic Lvpl and lattice-valued first-order logic Lvfl have been constructed, and some theories and methods of fuzzy reasoning have been proposed based on fuzzy set theory and multi-valued logic.(2) Some methods for designing and optimizing fuzzy control systems and some corresponding control algorithms have been proposed, and some new theories and methods for fuzzy control rule base and fuzzy control system performance analysis have been introduced.(3) 6 fuzzy control systems have been developed, and some difficult problems on craft of manufacture, batch consistency, quality stability, installation and main

本项目以模糊控制技术用于燃气热水器这一较典型的复杂控制系统为应用背景，在模糊信息处理的理论、应用和技术三个层次开展了相关的研究工作：(1)进一步研究了基于格蕴涵代数的格值逻辑系统，建立了两种动态的格值命题逻辑Lvpl和格值一阶逻辑Lvfl，并基于模糊集理论和多值逻辑提出了多种模糊推理的理论与方法；(2)提出了模糊控制系统的多种设计及优化方法与控制算法，建立了模糊控制规则库和模糊控制系统性能分析的一些新理论与新方法；(3)研制完成了6个模糊控制系统，还特别解决了模糊控制燃气热水器和智能控制燃气热水器在产业化过程中的生产工艺、批量一致、质量稳定、安装维修和性能价格等一系列难题，做好了批量生产前的技术准备，现已小批量生产。

Marx built up Historical Materialism, which realized the transformations from scientific logic to historical logic, from material logic to human logic, and provided the interpreted principles for the view of subsistence and the view of historical orientation with Marx's new material philosophy.

马克思创立历史唯物主义，实现了从科学逻辑向历史逻辑的转变，从物的逻辑向人的逻辑的转变，为马克思的新唯物主义哲学提供了生存论的解释原则和历史性解释原则。

Setting out from symbolic logic, Russell was the first philosopher who destroyed the law of excluded middle in classical logic, and provided leads for the research into formalized fuzzy logic o...

皮尔斯是西方哲学史上确认"语言本身的模糊性"的第一位哲学家；维特根斯坦强调语言确定性与模糊性的并存关系，并试图将二者统一；罗素从符号逻辑的水平上首次打破了古典逻辑的排中律，开辟了形式化模糊逻辑或多值逻辑的研究道路。

In fact, once we take a closer examination on some of his classical texts, it's not very difficult for us to find that Mill's psychologism was strictly limited by himself. On the one hand, he asserted that the logic as an art got its theoretical basis from the logic as a science, which, in a very broad sense, was taken as a part of psychology, and on the other hand, he also asserted that logic could receive some enlightenment regarding how to construct a theory from psychology.

事实上，只要更仔细地研读穆勒本人的经典文本，我们就不难发现，穆勒对自己的心理主义做了严格的限定：他一方面断言，作为一项技艺的逻辑学从作为一门科学的逻辑学那里获得全部的理论基础，而作为科学的逻辑学广义上乃是心理学的一部分；另一方面他又断言逻辑学可以从心理学那里获得理论构造方面的启示。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition, by adding the modal auxiliary "should "before t...

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition , by adding the modal auxiliary "should "before the verb "believe".

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

"The movement concerned itself with the logic of entire Classical volumes, unlike Classical revivalism, which tended to reuse Classical parts."

此一运动关注于整个古典体式的逻辑，而非古典复生主义倾向重新使用古典的成份。

"The movement concerned itself with the logic of entire Classical volumes, unlike Classical revivalism, which tend ed to reuse Classical parts."

此一运动关注于整个古典体式的逻辑，而非古典复生主义倾向重新使用古典的成份。

Classical music, Western classical music generalized mean, those from the West since the Middle Ages, in the context of the European mainstream culture of music creation, mainly because of its complexity and diversity of creative technology and can carry a heavy connotation different from the popular music and folk Music, narrowly refers to classical music, is the 1750-1820 period in the European mainstream music, classical music, also known as the Vienna School.

别用翻译工具，意思大概差不多就可以了1。古典音乐，广义指西洋古典音乐，那些从西方中世纪开始至今的，在欧洲主流文化背景下创作的音乐，主要因其复杂多样的创作技术和所能承载的厚重内涵而有别于通俗音乐和民间音乐，狭义指的是古典主义音乐，是1750-1820年这一段时间的欧洲主流音乐，又称维也纳古典音乐派。

I go to school at night.

我是上上学。

Clear Tip Nasal Aspirator: A soft time and gentle suction action makes removing excess mucus easy.

鼻吸明确提示：一个柔软的时间和温柔吸力行动使消除过剩的粘液容易。