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

作者：马明辉; 刘新文

来源：哲学动态, 2016, (03): 96-99.

• 弗雷格
• 量化逻辑
• 克里普克

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

• 单位
  中国社会科学院哲学研究所; 西南大学