弗雷格的量词—变元理论

弗雷格是现代逻辑的创始人,也是语言哲学的创始人,在对逻辑和哲学的诸多影响中,起关键和基础作用的是弗雷格的量词—变元理论.在弗雷格事业的开端,出于对自然语言表达方式和传统逻辑表达能力的不满,弗雷格将数学中的函数概念引入对句子结构的刻画中,并在此基础上引进量词和约束变元,从而使得包含个体词和多个量词的句子的结构都得到准确的刻画,逻辑表达能力和推导能力因此大为加强,新的逻辑呼之欲出.也正是量词一变元概念的发现,导致弗雷格改变了他后来对哲学的看法,量词一变元理论是弗雷格逻辑体系和哲学体系的基础和核心理论.