Parallelism is present everywhere in the early Moist texts： at the syntactic level, at the semantic level, between sentences, between sets of sentences, between argumentative structures. The present article gives man...Parallelism is present everywhere in the early Moist texts： at the syntactic level, at the semantic level, between sentences, between sets of sentences, between argumentative structures. The present article gives many examples of the phenomenon： parallelism of insistence, insistence from top to bottom, insistence from bottom to top, parallelism with symmetry, parallelism involving negation, subcontraries and negation at deeper levels, parallelism of the argumentative structures. Logic is particularly applied to the study of parallelism involving negation. From the point of view of argumentation, it is shown that many of those constructions have an important role in supporting arguments such as： arguments of generalization, afortiori arguments, arguments of exemplarity, consequentialist arguments, arguments by comparison. This study draws the attention to the importance of argumentation in the study of Moism and gives a new light on the argument by parallelism （mou ~$-） in the ＂Xiaoqu＂： It is a natural extension of what we call ＂parallelism involving negation,＂ already very common in the early Moist texts.展开更多
This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable...This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable information.This method can also deal with the uncertain problem which has both positive evidence and negative evidence at the same time.10-elements linguistic truthvalued intuitionistic fuzzy first-order logic system has been established in the intuitionistic fuzzy algebra.展开更多
Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-va...Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-valued first-order logic, we discussed the satisfiable problem of 6-elements linguistic truth-valued first-order logic and proposed a resolution method of 6-elements linguistic truth-valued firstorder logic. Then the resolution algorithm is presented and an example illustrates the effectiveness of the proposed method.展开更多
文摘Parallelism is present everywhere in the early Moist texts： at the syntactic level, at the semantic level, between sentences, between sets of sentences, between argumentative structures. The present article gives many examples of the phenomenon： parallelism of insistence, insistence from top to bottom, insistence from bottom to top, parallelism with symmetry, parallelism involving negation, subcontraries and negation at deeper levels, parallelism of the argumentative structures. Logic is particularly applied to the study of parallelism involving negation. From the point of view of argumentation, it is shown that many of those constructions have an important role in supporting arguments such as： arguments of generalization, afortiori arguments, arguments of exemplarity, consequentialist arguments, arguments by comparison. This study draws the attention to the importance of argumentation in the study of Moism and gives a new light on the argument by parallelism （mou ~$-） in the ＂Xiaoqu＂： It is a natural extension of what we call ＂parallelism involving negation,＂ already very common in the early Moist texts.
基金This work is partly supported by National Nature Science Foundation of China (Grant No.61105059,61175055,61173100), International Cooperation and Exchangeof the National Natural Science Foundation of China (Grant No.61210306079),Sichuan Key Technology Research and Development Program (Grant No.2011FZ0051),Radio Administration Bureau of MIIT of China (Grant No.[2011]146), China Institution of Communications (Grant No.[2011]051), and Sichuan Key Laboratory of Intelligent Network Information Processing (Grant No.SGXZD1002-10),Liaoning Excellent Talents in University (LJQ2011116).
文摘This paper presents 10-elements linguistic truth-valued intuitionistic fuzzy algebra and the properties based on the linguistic truth-valued implication algebra which is fit to express both comparable and incomparable information.This method can also deal with the uncertain problem which has both positive evidence and negative evidence at the same time.10-elements linguistic truthvalued intuitionistic fuzzy first-order logic system has been established in the intuitionistic fuzzy algebra.
基金This work is partly supported by National Nature Science Foundation of China (Grant No.61105059,61175055,61173100), International Cooperation and Exchange of the National Natural Science Foundation of China (Grant No.61210306079), Sichuan Key Technology Research and Development Program (Grant No.2011FZ0051), Radio Administration Bureau of MIIT of China (Grant No.[2011]146), China Institution of Communications (Grant No.[2011]051), and Sichuan Key Laboratory of Intelligent Network Information Processing (Grant No.SGXZD1002-10),Liaoning Excellent Talents in University (LJQ2011116).
文摘Based on 6-elements linguistic truth-valued lattice implication algebras this paper discusses 6-elements linguistic truth-valued first-order logic system. With some special properties of 6-elements linguistic truth-valued first-order logic, we discussed the satisfiable problem of 6-elements linguistic truth-valued first-order logic and proposed a resolution method of 6-elements linguistic truth-valued firstorder logic. Then the resolution algorithm is presented and an example illustrates the effectiveness of the proposed method.
