经典逻辑中函数概念的引入

Introduction of function concept into classical logic

“函数”本来是一个数学概念 ,弗莱格把它引入逻辑学 ,使其在逻辑学从古典到现代的发展过程中 ,起到了关键的作用。弗莱格用函数和自变元概念代替传统逻辑中的主项和谓项概念 ,在此基础上相当自然地建立了量词理论 ,并成功地把算术的符号语言扩展为一种逻辑语言 。