论克里普克的弗雷格式量化逻辑

在2014年发表的论文《弗雷格式量化理论》中,克里普克将弗雷格的句子作为专名这一思想进行了推广和研究,建立起弗雷格式量化逻辑FQ。本文论证FQ不是对一阶逻辑的重新表述,因此克里普克的尝试失败了;但是FQ中还有一些有效项值得作进一步的公理化研究。