论弗雷格的命题函项思想

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