安东内利，G.奥尔多 范围上的生活：奎因的论文和语义不确定性。 （英语） Zbl 1437.03015号 亚历山德罗·托尔扎（编辑），量词、量词和量词：逻辑、形而上学和语言的主题。查姆：斯普林格。合成。伦敦银行同业拆借利率。373, 171-189 (2015). 小结：本文探讨了奎因论文的分歧，即本体论承诺是根据量化变量的范围，根据一阶量词的非标准语义确定的，类似于亨金对二阶逻辑的一般解释。在这样一个通用语义学上，一阶量词的意义的说明除了选择宾语的一阶域（D\）（这是惯例）之外，还需要进一步识别（D\的子集的二阶域。如果没有这样一个进一步的标识，“有”和“所有人”的语义是根本不确定的。此外，一般语义很可能是“透明的”，因为可能没有语义事实来区分一般解释和标准解释。对于奎因的论文来说，一般的语义学有着丰富的结果：论文展示了论文的两个部分，即对称的声明，即作为一个有界变量的值对于本体论承诺来说是必要的，或者是足够的，尽管以有趣的不同方式失败了。这一结果破坏了哲学本体论的前景，哲学本体论被视为从量化语句的语义分析中提取本体论承诺的典型扶手工程。关于整个系列，请参见[Zbl 1326.03009号]. 引用于1文件 MSC公司： 03A05号 逻辑和基础的哲学和批判性方面 03年10月 经典一阶逻辑 03B16号 高阶逻辑 关键词：本体论承诺;一般性解释;二进制量词;存在泛化;可定义子集 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Antonelli}，Synth。伦敦银行同业拆借利率。373171--189（2015；Zbl 1437.03015） 全文： 内政部 参考文献： [1] Antonelli，G.A.2007年。自由量化和逻辑不变性。Rivista di estetica（特刊“Il significant to eluso.Saggi in onore di Diego Marconi”，编辑M.Andronico、A.Paternoster和A.Voltolini），33（1）：61-73。 [2] Antonelli，G.A.，2010年。通过Frege量词进行数值抽象。《圣母院形式逻辑杂志》51（2）：161-79·Zbl 1205.03055号 ·doi:10.1215/00294527-2010-010 [3] Antonelli，G.A.2013年。关于一级量词的一般解释。符号逻辑综述6:637-658·Zbl 1319.03034号 ·doi:10.1017/S1755020313000270 [4] Azzouni，J.2004年。通货紧缩的存在后果：唯名论的一个例子。牛津/纽约：牛津大学出版社·Zbl 1060.03003号 ·网址：10.1093/0195159888.001.0001 [5] Boolos，G.1984年。be是一个变量的值（或者是一些变量的值）。《哲学杂志》81（8）：430-449·doi:10.2307/2026308 [6] Dutilh Novaes，C.2011年。中世纪的量化理论。中世纪哲学百科全书，H.Lagerlund主编。多德雷赫特/纽约：施普林格·兹比尔1138.03001 [7] Fara，D.和G.Russell。2011年，劳特利奇语言哲学伴侣。纽约：劳特利奇 [8] 弗雷格，G.1893-1903。Grundgesetze der Arithmetik公司。《算术的基本定律：系统的解释》，耶娜·赫尔曼·菲尔主编，部分英语翻译。蒙哥马利·弗斯。伯克利：加利福尼亚大学出版社，1964年 [9] 哥德尔，K.1940。选择公理和广义连续统假设与集合论公理的一致性。《数学研究年鉴》，第3卷。牛津/纽约：牛津大学出版社·Zbl 0061.00902号 [10] 亨金，L.1950。类型理论的完整性。符号逻辑杂志15:81-91·Zbl 0039.00801号 ·doi:10.2307/2266967 [11] Hirsch，E.2002年。量化变量和现实主义。哲学问题12（1）：51-73·doi:10.1111/j.1758-2237.2002.tb00061.x [12] Keisler，H.J.1970年。带有量词的逻辑“有无数”。数理逻辑年鉴1:1-93·Zbl 0206.27302号 ·doi:10.1016/S0003-4843（70）80005-5 [13] Lambert，K.，1963年。重新访问现有导入。《圣母院形式逻辑杂志》4（4）：288-292·Zbl 0139.24409号 ·doi:10.1305/ndjfl/1093957655 [14] Leblanc，H.和R.H.Thomason。一些无预设逻辑的完备性定理。《基础数学》62:125-54·Zbl 0162.31202号 [15] Leng，M.、A.Paseau和M.Potter（编辑）。2007年，数学知识。牛津/纽约：牛津大学出版社·Zbl 1328.00089 [16] Lindström，P.1966年。带有广义量词的一阶谓词逻辑。理论32:186-95·Zbl 1230.03072号 [17] Linnebo，Ø。2011.二阶逻辑。在《哲学逻辑的连续体伴侣》中，第4章，L.Horsten和R.Pettigrew编辑。伦敦/纽约：Continuum。 [18] 林内博。2012.多元量化。《斯坦福大学哲学百科全书》，Edward N.Zalta主编。http://plato.stanford.edu/archives/sum2012/entries/plural-quant/。 ·Zbl 1366.03091号 [19] 蒙塔古，R.1974。英语作为一种正式语言。《形式哲学》，R.H.Thomason主编。牛津/纽约：牛津大学出版社。 [20] Mostowski，A.1957年。量词的泛化。《基础数学》第44:12-36页·Zbl 0078.24401号 [21] 帕森斯，T.1970。本体论承诺的各种外延概念。哲学研究21（5）：65-74·doi:10.1007/BF00420738 [22] Peters，S.和D.Westerstáhl。2006.语言和逻辑中的量词。牛津/纽约：牛津大学出版社。 [23] 牧师，G.2008。非经典逻辑导论。从如果到是。剑桥：剑桥大学出版社·Zbl 1148.03002号 ·doi:10.1017/CBO9780511801174 [24] 之前，A.N.1971。《思想的对象》，P.T.Geach和A.J.P.Kenny编辑，ix-175。牛津：克拉伦登出版社。 [25] 奎因，W.V.O.1948年。关于存在的东西。《形而上学评论》2（5）：21-38。 [26] 1970年W.V.O.奎因。《逻辑哲学》，第二版，恩格尔伍德·克利夫斯：普伦蒂斯·霍尔。1986年，哈佛大学出版社 [27] Rayo，A.2007年。本体论承诺。哲学指南2/3:428-444。 [28] Rayo，A和Yablo，S.，2001年。通过非名词化实现名词化。挪威35（1）：74-92·Zbl 1366.03117号 [29] Routey，R.1982年。什么都没有。哲学与现象学研究43（2）：151-177·doi:10.2307/2107527 [30] Sider，T.2007年。新词和量词变异。亚里士多德学会补充卷8（1）：201-232·文件编号：10.1111/j.1467-8349.2007.0156.x [31] 托马森、R.H.和D.R.约翰逊。带有自由量词变量的谓词演算。符号逻辑杂志34（1）：1-7·Zbl 0188.31403号 ·doi:10.2307/2270973 [32] Thomasson，A.L.2008年。存在问题。哲学研究141（1）：63-78·doi:10.1007/s11098-008-9263-8 [33] Van Inwagen，P.1987。对象是什么时候的部件？哲学观点第一卷：形而上学1:21-47。 [34] Wright，C.2007年。关于量化到谓语位置。编辑M.Leng、A.Paseau和M.Potter[15]，150-174·Zbl 1328.00095号 [35] Yasuhara，M。 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。