On The Development Of Logical Language

Logic is closely related with language in so far as it has its own linguistic means of communicating ideas. As the founder of Logic, Aristotle started to use a kind of formal language which was derived from a natural language by adding some signals with special meaning. In the 17th century, German philosopher and logician Gottfried Wilhelm Leibniz brought a new life to the logical language used by Aristotle. He believed that it was necessary to establish a common logical language so as to measure logical debates with mathematics. He put forward two basic ideas of mathematical logic to construct formal language and found calculus. In the mid-19th century, English mathematician George Boole founded a logical algebra, realizing Leibniz's proposal in the main. Soon after, German logician and philosopher Gottlob Frege founded a formal language in his work"Concept and Character". It improved the expression of Gottlob Frege and developed the calculable system of Mathematical Logic. After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.Based on the development of History of Western Logic, my thesis studies the development of logical language from the half formal language to the absolute formal language. Many people engaged in the study of Logic and Language want to read books devoted to formal logical language about History of Western Logic. But they can only find theses. Therefore, I want to study the development of Logic from using natural language, half formal language to formal language. I hope my thesis will contribute to the study of the development of logic language in China.