论弗雷格的命题函项思想

On Frege′s Thought of Propositional Function

弗雷格区分了语言和语言所表达的东西、意义与指称以及对象与概念,在对象处于概念之下的观点的基础上运用数学函项的方法提出了命题函项思想。同时,他引入逻辑联接词和量词对语言进行了刻化,奠定了一阶谓词演算系统的基础。为了研究弗雷格的命题函项思想对现代谓词逻辑的影响,本文从命题函项提出的原因、基本要点以及命题函项的影响对弗雷格的这一思想进行了探讨,得出了弗雷格的命题函项是以逻辑本体论为基础,以求真为落脚点的观点。

It is Frege who clarifies the distinction between a language and what it expresses, meaning and reference, and object and concept. On the basis of the view that the object is embodied and covered by the concept, and by applying the method of arithmetic function, Frege puts forward the thought of propositional function. At the same time, he introduces logic connecting words and measure words to describe the language, which establishes the foundation of the first order predicate calculus system. In order to learn Frege＇s thought of propositional function, this article discusses the causes, the essentials and its influence on Frege,and come at the conclusion that Frege＇s thought is based on the logic ontology and aims at seeking the truth .