查询词典 statement logic

This is a criticism of the main point and the way of argument in Concept of Logic by Wang Lu. Wang's main point (the only object of logic is necessary inference and the nature of logic is necessity) failed completely to meet with the historical facts of the brith and development of the science of 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.

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

He made a comparative analysis on Chinese nominalistic logic with Western Aristotles logic and Indian classical logic, and revealed the main content of logic of Moism, including basic concept, principle of inference, induction ect.

本文拟从以下几个方面对梁启超的逻辑——方法论思想进行分析评述： 1、梁启超取得逻辑——方法论研究成就的历史条件：①清代诸子学的考证训诂成果使《墨子》一书稍可读通；②西学输入促进了梁启超对中国古典逻辑的研究；③研究墨学和科学的逻辑方法，为宣传维新变法思想提供方法论武器；④梁启超对墨子及墨家学说的主观偏爱。

They are: the achievements of textual research and exegesis of Zhu Zi Xue in Qing Dynasty; the promoting effect of the introducing Western theories that took on the research of Chinese classical logic; taking the doctrine of Moism and scientific logic method as a methodological weapon for propagating reformist thought and Liang Qichao"s favor to Mo Zi and theory of Moism.The second part is about Liang Qichao"s achievements of logic and methodology: he analyzed induction and deduction, and thoroughly analyzed induction in particular, and his thought about those was mainly correct; he analyzed comparison as a component of induction and discussed the cognitive function of comparison, he also explained how to use comparison in the research of history; he not only explicated the thinking process of analytical method and synthetic method, but also integrated the two methods with studying history and reading history , and turned them into specific research methods of history ;he expound the rule of causal law , just as Leibnizs principle of sufficient reason in Western modern times and the law of sufficient reasonin universal logic; he discussed nominal classification, and analyzed wrong classification of the forefathers, then he pointed out the significance of clarifying the basic of division .

不足在于：①梁启超对于各种科学方法的论述不够系统、全面；②梁启超比较研究方法仍存在一些缺陷，他的比较研究主要是将墨家论式与西方逻辑的三段论(有的与印度因明的三支作法)形式作求同研究，缺乏系统性和全面性，而且对三种逻辑的共同点和差异点的分析也缺乏理论深度，加之梁启超不懂得数理逻辑，缺乏精确的数理逻辑工具，因而使这种对比分析缺乏严密性和精确性。

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.

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

For example, the following statement is correct: System.out.println(x = 1); which is equivalent to x = 1; System.out.println; The following statement is also correct: i = j = k = 1; which is equivalent to k = 1; j = k; i = j; In an assignment statement, the data type of the variable on the left must be compatible with the data type of the value on the right.

例如，以下声明是正确的： 55 System.out.println （十= 1 ）；这相当于为x = 1 ； 55 System.out.println ；以下声明也是正确的：= j =当K = 1 ；这相当于当K = 1 ； j =钾；=焦耳；在转让的声明中，数据类型的变量在左边则必须与数据类型的价值，对正确的。

After all, the same curly braces replace the RETURN statement in a subroutine, the ENDIF statement in a conditional and the NEXT statement in a FOR loop.

毕竟，一样的大括号在子程序中用替代了 RETURN，在条件语句中替代了 ENDIF，在FOR循环中替代了NEXT。

The third part has tried to analyze the universality and diversity in syntacticdistributions among Shi Shi, Bu Shi , Shi Bu Shi , statement adverbs and descriptionadverbs. Pointing out the function doubleness (embody the statement and description)derive from the semantic doubleness (embody the meanings of "Chang Chang and PinPin),The three words bridge the function of statement adverbs and descriptionadverbs,the part also points out that the "Shi Shi "shoud be divided into "Shi Shi1"whichexpresses continuousness and"Shi Shi2 which expresses repeatlity.

第三章对"时时"、"不时"、"时不时"同判断类频率副词与描写类频率副词分别进行了句法分布上的比较分析，指出这三个词功能的双重性来源于它们语义的双重性(既有"常"类副词的意义，又用"频"类副词的意义)，指出了它们在频率副词系统中所起到的桥梁作用；并对"时时"作了表延续义的"时时_1 "和表重复义的"时时_2 "的区分。

Where the expiration date of the grace period precedes the statutory time limit for disclosing the annual financial statement of 2001 and if the company fails to disclose its 2001 annual financial statement prior to the expiration of the grace period, or it has disclosed the 2001 annual financial statement prior to the expiration of the grace period but fails to file an application within 5 working days after the expiration of the grace period, the stock exchange shall decide to terminate the listing of the stocks of the company within 10 working days after the expiration of the grace period.

宽限期结束日早于2001年度报告法定披露期限的公司，如果未在宽限期结束日之前披露2001年度报告，或者虽然在宽限期结束日之前披露了2001年度报告，但未在宽限期结束日后五个工作日内提出恢复上市申请的，证券交易所应当在公司宽限期结束日后十个工作日内做出公司股票终止上市的决定。

"Second Life is remarkably easy to work with, and is very popular,"

"第二次生命是显着容易的工作，并且很受欢迎，"

For example, we usually assume that materials are homogeneous and isotropic and free of internal defects or flaws.

为了得到适合有限元分析的模型，我们必须经过如图2所示的简化步骤。