Research On Karel Lambert's Free Logic

There are a lot of new branches of logic, free logic at this time ushered in the golden period of development. On the basis of inheriting the spirit of logical philosophy, free logic is a new rising theory of logic that has been modified in the classical logic. The theoretical origin of free logic comes from the logic foundation of ancient Greece, and its origin can be traced back to Aristotle's "the category" in the "tool theory". Karle Lambert is the founder of "free logic" terminology, Lambert through free logic research since 1960s, making the free logic theory in the whole development of the philosophy of logic is very important also plays a role as the previous free logic theory and summarizes the theory of descriptions derived widely used Lambert's law in the past, which greatly promoted the development of logic related disciplines, especially the progress and development of the cross field field of philosophy and logic. The development of modern logic philosophy has produced many kinds of new branches of logic.This paper is divided into three parts: the first part, this paper analyzes the purpose and significance of the study on free logic study of Lambert, discusses the "existence"philosophical basis and free logic of the Lambert free logical thinking research situation at home and abroad and the research frame, content and methods. In the second part, the origin of free logic is analyzed,and the origin of free logic is analyzed. Research on logical theorem of Lambert's .Meanwhile, Lambert proposed to "existence" and understanding of Lambert's law, and the free logic theory application analysis in the application of presupposition, two aspects. The last part is based on the Enlightenment of the free logic thought to the contemporary logic research and the overall evaluation of Lambert thought.Free logic is formalized in many applications, which is highly abstract, precise and practical. It is shown that under the research of Lambert's efforts and later scholars and the idea of free logic is more plentiful and more reasonable.