概念文字的数学背景及哲学意味

Mathematical Background and Philosophical Significance of Begriffschrift

概念文字是弗雷格为实现从逻辑推出数学而创建的推理工具。它为求真而创立,适用于科学研究,对于人们日常所用并不适用。概念文字经过进一步改进,"将能够成为哲学家们的一种有用工具"。这种运用首先是一种逻辑分析方法,而不是形式化方法。弗雷格明确地区分了未加判断的"纯表象组合"与判断,也区分了语句与语句所要表达的"概念内容";他使用自变元和函数取代语法结构中的主词和谓词。以上二方面基本上奠定了概念文字逻辑分析方法的核心。概念文字中并没有严格清晰的语法与语义概念。

Frege devised Begriffschrift as an inference tool when he implemented logicism.It is for the pursuit of truth that Begriffschrift is established.It is suitable for scientific research but is unfriendly for the use in everyday life.Begriffschrift can be developed to become a useful tool for philosophers.The usefulness means primarily the logical analysis,not the formal method.Frege distinguished definitely a judgment from a mere complex of ideas,the content from the sentence expressing the content and used the concepts of function and argument to replace predicates and subject.All these constitute the core of logical analysis in Begriffschrift.There are no clear and strict concepts of semantics and grammar in Begriffschrift.