本·亚米，汉诺威 巴坎公式和必然存在：夸克的观点。 （英语） Zbl 1525.03066号 合成 198，编号11，11029-11064（2021）. 概要：情态谓词演算引发了围绕巴坎公式、其逆式和必要存在性的问题。我用量化论证演算（Quartified Argument Calculus，Quarc）这一最近开发的强大形式逻辑系统来研究这些问题。与谓词演算相比，Quarc在语法和逻辑属性上更接近于自然语言，这一事实使本研究更加有趣，因为Quarc可以更好地表示我们的模态概念。夸克表明，巴坎公式及其逆式的有效性是谓词演算中量化具体结合的结果，而不是更普遍地反映量化与情态相互作用的特征。必要存在是根据谓词演算中对特定量化、存在的归属和“有”结构的规范解释的识别来证明的，这三种结构在夸克语和自然语言中都是不同的。因此，围绕巴坎公式及其逆命题和必要存在的问题被证明是特定逻辑系统的产物，而不是我们相关模态概念或形式逻辑的基本特征。 引用于1文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 关键词：模态逻辑;量化;量化论据演算;巴坎公式;必要存在 PDF格式BibTeX公司 XML格式引用 \textit{H.Ben-Yami}，综合198，No.111029--11064（2021；Zbl 1525.03066） 全文： 内政部 参考文献： [1] Azzouni，J.，《白话中的本体论承诺》，《诺阿斯》，第41、2、204-226页（2007年）·文件编号：10.1111/j.1468-0068.2007.00644.x [2] Ben-Yami，H.，《逻辑与自然语言：复数指称及其语义和逻辑意义》（Logic&natural language:On multipal reference and its semantic and logical implication）（2004年），奥尔德肖特：阿什盖特，奥尔德肖 [3] Ben-Yami，H.，量化论据演算，符号逻辑评论，7，1，120-146（2014）·Zbl 1345.03053号 ·doi:10.1017/S1755020313000373 [4] Ben-Yami，H.（即将推出）。量化论据演算和自然逻辑。辩证法·Zbl 1345.03053号 [5] Ben-Yami，H.和Pavlovic，E.（未出版）。基于真实值方法的量化论据演算的完备性。 [6] 起重机，T。；Tahko，T.，《重新考虑存在与量化》，亚里士多德形而上学，44-65（2012），剑桥：剑桥大学出版社，剑桥 [7] Crane，T.，《思想的对象》（2013），牛津：牛津大学出版社，牛津·doi:10.1093/acprof:oso/9780199682744.001.0001 [8] Fitch，F.，《符号逻辑》（1952），纽约：罗兰出版社，纽约·Zbl 0049.00504号 [9] Fitting，M.，Barcan双向，应用非经典逻辑杂志，9329-344（1999）·兹比尔0993.03016 ·doi:10.1080/11663081.1999.10510970 [10] Frege，G.，Begriffsschrift：Eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens（1879），Halle A/S：Verlag von Louis Nebert，Halle-A/S [11] Garson，J.（2016）。模态逻辑。在Zalta，E.N.（编辑）《斯坦福大学哲学百科全书》（2016年春季版）。https://plato.stanford.edu/archives/spr2016/entries/logic-modal/。 ·Zbl 0875.03050号 [12] Geach，PT，《参考与一般性：对一些中世纪和现代理论的审查》，（1968年修订版）（1962年），纽约州伊萨卡：康奈尔大学出版社，纽约州伊萨卡 [13] Jáskowski，S.，《论形式逻辑中的假设规则》，《逻辑研究》，1，2-32（1934）·Zbl 0011.09702号 [14] Kripke，S.，《模态逻辑的语义思考》，《费尼卡哲学学报》，第1683-94页（1963年）·Zbl 0131.00602号 [15] 兰伯特，K.，《自由逻辑：论文选集》（2003），剑桥：剑桥大学出版社，剑桥·Zbl 1026.03003号 [16] Lanzet，R.，《三值量化变元演算：无域模型理论、完备性和FOL嵌入》，《符号逻辑评论》，10，3，549-582（2017）·Zbl 1421.03013号 ·doi:10.1017/S1755020317000053 [17] 兰泽特，R。；Ben-Yami，H。；Hendricks，VF，《用复数引用对新形式系统的逻辑探究》，第一阶逻辑重温，173-223（2004），柏林：Logos Verlag，柏林·Zbl 1086.03027号 [18] 莱蒙，EJ，《开始逻辑》（1978），印第安纳波利斯，伦敦：哈科特，印第安纳波利斯，伦敦 [19] McGinn，C.，《逻辑属性：同一性、存在性、谓词、必然性、真理》（2000），牛津：牛津大学出版社，牛津·doi:10.1093/0199241813.001.0001 [20] McNally，L.，《无存在量化的存在句》，语言学与哲学，21，4533-392（1998）·doi:10.1023/A:1005389330615 [21] 麦克纳利，L。；Maienborn，C。；von Heusinger，K。；Portner，P.，《存在句，语义学：国际自然语言意义手册》，1829-1848（2011），海牙：德格鲁伊特出版社，海牙 [22] Menzel，C.（2018）。现实主义。在Zalta，E.N.（编辑）《斯坦福大学哲学百科全书》（2018年夏季版）。https://plato.stanford.edu/archives/sum2018/entries/actualism/。 [23] Movahed，Z.（2003年）。Ibn-Sina对Buridan和Barcan公式的预期。在Enayat，A.、Kalantari，I.和Moniri，M.（编辑）中。德黑兰的逻辑：2003年10月18日至22日举行的关于逻辑、代数和算术的研讨会和会议记录（第248-255页）。LNL 26韦尔斯利，马萨诸塞州：ASL/A K Peters有限公司·邮编1099.03003 [24] Nolt，J.（2018）。自由逻辑。在Zalta，E.N.（编辑）《斯坦福大学哲学百科全书》（2018年秋季版）。https://plato.stanford.edu/archives/fall2018/entries/logic-free/。 ·Zbl 0731.03017号 [25] Pavlovic，E.（2017年）。量化论据演算：对其逻辑性质和应用的探讨。布达佩斯中欧大学博士论文。 [26] 巴甫洛维奇，E。；Gratzl，N.，量化论元演算的实证分析，符号逻辑评论，12，4，607-636（2019）·Zbl 07171840号 ·doi:10.1017/S1755020318000114 [27] 巴甫洛维奇，E。；格拉茨，N。；Mras，总经理；Weingartner，P。；Ritter，B.，《自由逻辑和量化论证演算》，《逻辑和数学哲学》，35-45（2019），海牙：德格鲁伊特出版社，海牙 [28] 皮亚诺，G.，《数学公式》（1897），都灵：博卡·弗雷斯，CH.克劳森，都灵 [29] 彼得斯，S。；Westerstáhl，D.，《语言和逻辑中的量词》（2006），牛津：牛津大学出版社，牛津 [30] 普里斯特，G.，《走向非存在：意向性的逻辑和形而上学》（2016），牛津：牛津大学出版社，牛津·doi:10.1093/acprof:oso/978198783596.0001 [31] Prior，A.，S5中的模态和量化，符号逻辑杂志，21，1，60-62（1956）·Zbl 0071.01002号 ·doi:10.2307/2268488 [32] Prior，AN，《时间与情态》（1957），牛津：牛津大学出版社，牛津·Zbl 0079.00606号 [33] Raab，J.，亚里士多德，《逻辑》和夸克，《逻辑的历史和哲学》，39，4，305-340（2018）·Zbl 1427.03047号 ·doi:10.1080/01445340.2018.1467198 [34] Rayo，A。；Uzquiano，G.，《绝对普遍性》（2006），牛津：牛津大学出版社，牛津·Zbl 1374.03007号 [35] 斯特劳森，PF，《个人：描述性形而上学论文》（1959），伦敦：劳特利奇出版社，伦敦 [36] 威廉姆森，T.，《作为形而上学的模态逻辑》（2013），牛津：牛津大学出版社，牛津·Zbl 1328.03001号 ·doi:10.1093/acprof:oso/9780199552078.001.0001 [37] Yin，H.（未出版）。量化参数演算：真值语义、完整性以及与谓词演算的形式关系。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。