On Type-logic In Research

In the development of various disciplines of modern and contemporary, Logic and Mathematics even have a natural link though the interaction in Logic and other disciplines is nothing new. While the research of the "type" is one of the bridge connecting Logic and Mathematics, type-logic takes "type" as its main research object, and analogical reasoning as its main form of reasoning, the type-logic thoughts are related to the ancient and modern researches.The main part of this text focus on the research of type-logic and discussing from the following three aspects:Firstly, this text interprets the origin of the "type". In order to extract the can't ignored origin in Logic and Mathematics, this paper analyzes the development of ancient China, the Western tradition of modern logic thoughts, and then the logical properties of the "type" are described and the development of the "type" thought in pushing in ancient Mathematics are analyzed.Secondly, a simple comparison is given on the "type". Through the comparison of identity in Logic and Mathematics of type, which Logic and Mathematics have many similarities are clearly known, and then a rough discussion of the same points in their respective is given. This paper conducts a full range thought of type, and interprets its real value, at the same time, the value of the "analogy" thought is cleared in Logic and Mathematics through the effective analysis of all the values which the "type" has, also the significance in the application of mathematical methods to the "type" is clearly shown.Finally, the innovation of "type" is investigated. In this article, the conclusion is that type is the strong backing of innovative thoughts, discussing that the doubt and confused develop a spirit of innovation, and good at thinking inspires the innovation potential, which are right the way of getting the innovations. And the applications of type have been shown from the political and social development, thinking awareness and education.In short, type-logic is a field worthy of study and research, type-logic system is an important wealth in the field of thinking which constituted by the "type", and it is a link to obtain knowledge from other disciplines; but for those who are not involved in the logic area, it has a positive effect for opening the wisdom and training the creative thinking.