Because of the vagueness and ambiguity of natural language on its expression form of logical reasoning can not guarantee the accuracy, resulting in a fuzzy between logic and other disciplinary boundaries, Frege had the idea of constructing a formal language of pure thinking.He constructed the concept notation”by imitating the arithmetic language.This language avoid the distinction of subject and predicate, and eliminated the ambiguity of natural language.Then he formalized propositional logic and predicate logic and constructed their axiom system. Concept Notation achieved the turning from traditional logic to modern logic, and led to the birth of analytic philosophy and the philosophy of language.%由于自然语言在表达上的模糊与歧义,无法保证逻辑推理形式的准确性,造成了逻辑学与其他学科边界的模糊,弗雷格产生了构造一套纯思维形式语言的想法。他模仿算术语言构造“概念文字”,避免了主词谓词的区分,消除了自然语言的模糊性,对命题逻辑与谓词逻辑进行形式化,分别构造了公理系统。“概念文字”实现传统逻辑向现代逻辑的华丽转身,促成了语言哲学和分析哲学的诞生。
展开▼