First-Order Frege Theory is Undecidable

被引：0
作者：
Warren Goldfarb
机构：
[1] Harvard University,Department of Philosophy
来源：
Journal of Philosophical Logic | 2001年 / 30卷
关键词：
decidability; Frege; extensions;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
The system whose only predicate is identity, whose only nonlogical vocabulary is the abstraction operator, and whose axioms are all first-order instances of Frege's Axiom V is shown to be undecidable.
引用
收藏
页码：613 / 616
页数：3
相关论文
共 3 条
  • [1] Burgess J.(1998)On a consistent subsystem of Frege's ‘Grundgesetze’ Notre Dame J. Formal Logic 39 274-278
  • [2] Heck R.(1996)The consistency of predicative fragments of Frege's Grundgesetze der Arithmetik History and Philosophy of Logic 17 209-220
  • [3] Parsons T.(1987)On the consistency of the first-order portion of Frege's logical system Notre Dame J. Formal Logic 28 161-188
1