arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1803.02475math.LO
收藏

无限环境中的营养原理

The Nuisance Principle in Infinite Settings

Sean C. Ebels-Duggan

摘要:

新弗雷格主义者一直被营养原则(NP)所困扰,这是一个抽象原则,它与所青睐的抽象原则HP是一致的,但不能共同(二阶)满足。我们表明,逻辑上这种情况仍然存在,如果一个看联合(二阶)的一致性,而不是可满足性:在一个温和的假设下,无限的概念,NP也不符合HP。

英文摘要:

Neo-Fregeans have been troubled by the Nuisance Principle (NP), an abstraction principle that is consistent but not jointly (second-order) satisfiable with the favored abstraction principle HP. We show that logically this situation persists if one looks at joint (second-order) consistency rather than satisfiability: under a modest assumption about infinite concepts, NP is also inconsistent with HP.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑