查询词典 logic

At the basic of knowledge implication propositional logic, a system of knowledge implicational model prepositional logic system has been built. It can describe inference mechanism of inconsistent knowledge system which includes in modal information.

在知识蕴涵命题逻辑的基础上，构建了一个知识蕴涵模态命题逻辑系统，它可以描述包含模态信息的不协调知识系统的推理机制。

This thesis chooses Grade 7, Grade 1 of high school and junior as subjects, it proves that the dual-processing theory can make an effective interpretation of individual and age differences in the perspectives of content effect, logic effect, time pressure, self-confidence assessing, logic training and individual cognitive difference according to the different characteristics of the two systems. The research concludes:(1) The subjects in the three grades are all affected by content. The accuracy of the four inferent types about abstract and concrete material increases with age.

为验证双重加工理论对条件推理的个体差异和年龄差异的解释力度，本论文选取初一、高一、大学三个年龄段近1300名被试，根据两个加工系统的不同特点，从内容效应、指导语效应、时间压力、自信评价、逻辑训练以及认知的个体差异——工作记忆容量等角度对条件推理进行了发展性研究，研究结果显示：(1)随着年龄的增长，三个年级被试的抽象和具体材料条件推理四种推论的正确率均增长。

From the cognitive perspective, this part also examines the logic evidence for discriminating metalanguage and object language. Additionally, tracing back to its origin, the metalinguistic theory can be divided into the formalized and the one of natural language As a conclusion, this chapter will point out three orientations to the study of linguistic metalanguage The second chapter tries to retrospect to the origin of the theory and find the prototype for the pairs of metalanguage and object language, on which according to this chapter, modern mathematics and modern logic have key effects. In fact, mathematician, philosopher and logician B Russell and G. Frege discriminated metalanguage from object language.

作为方法论原则的元语言理论》是一篇着重从方法论原则的角度探讨元语言理论的博士学位论文，本文在现代语言学和语言学史的理论和方法指导下，通过对元语言这一现代哲学、现代语言学共同关注的重大课题的梳理，旨在系统阐释哲学和语言学领域的元语言的概念、特性和内容，明确哲学和语言学的元语言理论之间的关联与分野，真正把元语言和对象语言这一对范畴纳入语言学研究视野，从形式研究、功能研究和语用的角度阐述其方法论的意义和内容，并将这一方法论原则运用到汉语修辞现象分析中，提出&元语辞格&说。

He introduced Western logic and made research on the important work of Chinese pre-Qin logic, i.e Canon of Moism, with comparative method for the first time in logical history of Chinese modern times.

他的研究方法影响了同时代的以及后来的一大批研究墨学的中国学者，其后的墨学研究大都循着梁启超所开辟的这一方向深入发展。

In part two ,the author rethink the domestic research of logic of Moism in recent twenty years and summarize the achievement and defect .At the same time ,the author look forward to the research of Chinese logical history and logic of Moism ,and raise some questions

第二部分是对近二十年国内墨辩逻辑研究成果进行反思，总结当代学者研究的成就与不足，并对未来墨辩逻辑研究和中国逻辑史研究进行展望，提出应思考的一些问题。

The third part is about Liang Qichaos research of logic of Moism, he advanced Die Jing Biao Ti style of annotating Canon of Moism, and developed comparison among three kinds of Logic.

梁启超的这些成就和不足给我们的主要的启示是：首先，我们可以吸收他关于方法论的正确思想，在他不足的地方继续深入研究，以使我们的研究更具体全面。

He explained relevant clauses in Canon of Moism by referring to the theory of Western logic and Indian classical logic so that he could rather sufficiently revealed the logical meaning of many basic concept and propositions in Canon of Moism. Moreover his method had a great effect on the contemporary and following researchers of Chinese logical history.The fourth part is concluding remarks.

其次，正确运用逻辑方法深入地挖掘中国古代的逻辑思想，正确认识中国逻辑的特点，确立中正确认识中国逻辑的特点，确立中国古代逻辑在世界逻辑史上的地位，并通过中外逻辑思想的对比分析，找出我国逻辑科学发展中存在的问题及其原因，以推动我国逻辑科学的更大发展。

The work describes the progressing course of Indian Logic from Nyaya to Nyaya-Vaisesika with comparison with Buddhist logic.

本书首次从西方哲学方法立场来看待印度的逻辑学，并整理出印度古典哲学从宗教解脱论的目的出发，而寻求认识论来指导宗教实践的思想历程。

In this paper, it is demonstrated that the logic tool used in agent formalized d epiction should be the mixed modal logic which has both normal and non-normal m odal operators.

阐述了 Agent的形式化描述应该采用含有正规和非正规模态算子的混合模态逻辑为逻辑工具的观点。

In Van Steenberghen's Epistemology, the related study is divided into pistémologie analytique ou descriptive and pistémologie Critique, while the study of logic is omitted here, for traditional study of logic has made a system of its own.

在汪斯坦博根所著的《知识论》中，主要将知识论研究区分成「分析或描写的知识论」（pistémologie analytique ou descriptive）与「批判的知识论」（pistémologie Critique）两大部分，至於逻辑研究的部分由於传统逻辑研究早已自成体系，故不再重复。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐