×
萨姆·罗伯茨;斯图尔特·夏皮罗

休谟的原则、坏伙伴和选择公理。 （英语） Zbl 1530.00013号

版本符号。日志。 16，第4期，1158-1176（2023）.
摘要：对抽象主义程序的一个突出批评是所谓的坏公司反对。人们的抱怨是，抽象原则一般来说不可能成为引入数学理论的合法方式，因为其中有些是不一致的。当然，最臭名昭著的例子是弗雷格的基本法V。对这一反对意见的常见反应表明，抽象原则可以用于正当地引入数学理论稳定的：当它可以在所有足够大的域上实现时。在本文中，我们对Bad Company反对意见的回应表示担忧。我们认为，也许令人惊讶的是，这需要对二阶量词的范围进行非常有力的假设；抽象主义者应该拒绝的假设。

MSC公司：

00A30型 数学哲学
03A05号 逻辑和基础的哲学和批判性方面
03E25型 选择公理和相关命题

关键词：

抽象主义;选择公理;坏公司
PDF格式BibTeX公司 XML格式引用
\textit｛S.Roberts｝和\textit｛S.Shapiro｝，Rev.Symb。日志。16，编号4，1158--1176（2023；Zbl 1530.00013）
全文： DOI程序

参考文献：

[1] Boolos，G.（1984）。To be是一个变量的值（或者是一些变量的一些值）。《哲学杂志》，81，54-72；重印于[5]·Zbl 0972.03535号
[2] Boolos，G.（1985）。名义柏拉图主义。《哲学评论》，94，327-344；重印于[5]，第73-87页·Zbl 0972.03514号
[3] Boolos，G.（1987）。弗雷格算术基础的一致性。编辑J.J.汤普森。存在与言说：理查德·卡特赖特的散文。剑桥：麻省理工学院出版社，第3-20页；重印于[5]，第54-72页。
[4] Boolos，G.（1997年）。休谟的原理是分析性的吗？。In Heck，R.Jr，编辑。语言、思维和逻辑。牛津：牛津大学出版社，第245-261页；再版于[5]，301-314·Zbl 0972.03509号
[5] Boolos，G.（1998）。逻辑、逻辑和逻辑。剑桥：哈佛大学出版社·兹比尔0955.03008
[6] Burgess，J.P.（1984）。回顾克里斯平·赖特（Crispin Wright）的弗雷格（Frege）关于数字作为对象的概念。《哲学评论》，93，638-640。
[7] Dummett，M.（1991）。弗雷格：数学哲学。剑桥：哈佛大学出版社。
[8] Dummett，M.（1998）。新生代：有坏朋友？。希恩，M.，编辑。今天的数学哲学。牛津：牛津大学出版社，第369-387页·Zbl 0937.03004号
[9] Ebert，P.和Shapiro，S.（2009年）。好的，坏的，丑的。合成，170，415-441·Zbl 1182.03013号
[10] Feferman，S.（2006）。预测性。在夏皮罗，S，编辑。牛津数学和逻辑哲学手册。牛津：牛津大学出版社，第590-624页。
[11] Fine，K.（2002）。抽象的极限。牛津：牛津大学出版社·1043.00005赞比亚比索
[12] Florio，S.和Linnebo，Ø。(2020). 批判性复数逻辑。《数学哲学》，第28期，第172-203页·Zbl 1454.03012号
[13] 弗雷格（1884年）。Die Grundlagen der Arithmetik公司。布雷斯劳：科布纳；Austin，J.（1960）翻译。《算术基础》（第二版）。纽约：哈珀。
[14] 弗雷格·G（1893）。Grundgesetze der Arithmetik 1。奥尔姆斯：希尔德斯海姆；由Ebert，P.A.和Rossberg，M.翻译（2013）。算术基本定律。牛津：牛津大学出版社。
[15] Fritz，P.和Goodman，J.（2017）。计算不可能的事情。心灵，1261063-1108。
[16] Hale，B.（1987）。抽象对象。牛津：巴兹尔·布莱克威尔。
[17] Hale，B.（2000年）。抽象与集合论。《圣母院形式逻辑杂志》，41，379-398·Zbl 1014.03014号
[18] Hale，B.（2010年）。存在的可忍受的轻巧。Axiomathes，第20页，第399-422页。
[19] Hale，B.（2013年）。二阶逻辑的性质和解释。《数学哲学》（3），第21期，第133-156页·Zbl 1293.03007号
[20] Hale，B.（2013）。必要存在：一篇关于本体论、模态及其关系的论文。牛津：牛津大学出版社。
[21] Hale，B.和Wright，C.（2001年）。理性的正确研究。牛津：牛津大学出版社·Zbl 1005.03006号
[22] Heck，R.（1992）。关于二阶上下文定义的一致性。努斯，26491-494·Zbl 1366.03072号
[23] Landman，F.（1989）。第一组：语言学和哲学，12559-605；第二组。语言学与哲学，12723-744。
[24] Lévy，A.（1969年）。基数的可定义性。在Bulloff，J.J.、Holyock，T.C.和Hahn，S.W.的编辑中。数学基础：纪念库尔特·哥德尔六十岁诞辰的研讨会论文。柏林，春季，第15-38页·Zbl 0182.01203号
[25] Linnebo，Ø。(2004). 弗雷格算法的预测片段。符号逻辑公报，10153-174·Zbl 1068.03051号
[26] Linnebo，Ø。(2009). 导言。专门讨论坏公司问题的特刊。合成，170，321-329·Zbl 1182.03018号
[27] Linnebo，Ø。(2010). 复数和集合。《哲学杂志》，107，144-164。
[28] Maddy，P.（1983年）。适当的课程。符号逻辑杂志，48113-139·Zbl 0546.03008号
[29] Maddy，P.（2007年）。第二哲学：自然主义方法。牛津：牛津大学出版社·Zbl 1190.03009号
[30] Moore，G.H.（1982）。泽梅洛的选择公理：起源、发展和影响。纽约：斯普林格·Zbl 0497.01005号
[31] Poincaré，H.（1906年）。数学与逻辑。《梅塔普西克与道德评论》（Revue de Métaphysique et de Morale），第14期，第294-317页。
[32] 牧师G.（2006）。矛盾中：超越研究（第二修订版）。牛津，牛津大学出版社；（第一版）。多德雷赫特：马丁努斯·尼霍夫斯，1987年·Zbl 0682.0302号
[33] Rayo，A.和Yablo，S.（2001年）。通过非名词化实现名词化。不，35，74-92·Zbl 1366.03117号
[34] Resnik，M.（1988年）。二阶逻辑仍然是疯狂的。哲学杂志，85，75-87。
[35] Roberts，S.《反思原则：调查》，即将出版。
[36] 罗伯茨（Roberts，S.），多元无足轻重。哲学杂志，即将出版。
[37] 夏皮罗，S.（1991）。没有基础主义的基础：二阶逻辑的一个例子。牛津：牛津大学出版社·Zbl 0732.03002号
[38] Shapiro，S.（2000年）。弗雷格会见德德坎德：一个真正分析的新逻辑治疗。《圣母院形式逻辑杂志》，41，335-364·Zbl 1014.03013号
[39] Shapiro，S.（2003）。任何未来新逻辑主义集合论的序言：抽象和不确定可扩展性。英国科学哲学杂志，54，59-91·Zbl 1041.03004号
[40] Shapiro，S.（2018年）。属性和谓词、对象和名称：忠实性和选择公理。在Fred Rivera，I.和Leech，J.的编辑中。必要：鲍勃·黑尔作品中的本体论和模态主题。牛津：牛津大学出版社，第92-110页。
[41] Tennant，N.（1987）。反现实主义和逻辑。牛津：牛津大学出版社·Zbl 0626.03010号
[42] Uzquiano，G.（2009）。坏公司普遍存在。合成，170，331-347·Zbl 1186.03015号
[43] Walsh，S.（2012）。比较皮亚诺算法、基本法V和休谟原理。《纯粹逻辑与应用逻辑年鉴》，1631679-1709年·Zbl 1251.03078号
[44] Weir，A.（1998）。天真集合论是无辜的。头脑，107，763-798。
[45] Weir，A.（2003）。新摄政主义：财富的尴尬。《圣母院形式逻辑杂志》，44，13-48·Zbl 1071.03006号
[46] Weyl，H.（1918）。达斯·科蒂努姆。莱比锡：Verlag von Veit；由Pollard，S.和Bole，T.（1994）翻译为《连续体》。多佛。
[47] 怀特黑德和罗素（1910）。数学原理，第1卷。剑桥：剑桥大学出版社。
[48] Williamson，T.（2013）。一切。哲学观点，17，415-465。
[49] Williamson，T.（2013）。作为形而上学的模态逻辑。牛津：牛津大学出版社·Zbl 1294.03008号
[50] Wright，C.（1983年）。弗雷格关于数字作为对象的概念。阿伯丁：阿伯丁大学出版社·Zbl 0524.03005号
[51] Wright，C.（1997）。论弗雷格定理的哲学意义。编辑：Heck，R。语言、思维和逻辑。牛津：牛津大学出版社，第201-244页；再版于Hale和Wright（2001），第272-306页·Zbl 0938.03508号
[52] Wright，C.（2004）。无担保（免费提供基金会）。亚里士多德学会会刊，补充卷，78，167-212。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。