威廉·汉森。 实用主义、严肃的实用主义和量化的模态逻辑。 （英语） Zbl 1403.03031号 圣母院J.形式逻辑 59，第2期，233-284（2018）. 本文在形而上学学说和形式逻辑表征之间穿行。目标是构建一个一阶模态逻辑，它既包含“现实主义”（认为不存在唯一可能的事物，即不存在但具有某种替代性存在的事物），也包含“严重的现实主义”在用复杂谓词抽象统一替换简单谓词抽象的情况下保持逻辑真理，在替换逻辑等价子公式的情况下保留普通真理，并承认一个健全完整的证明系统。审核人：David Makinson（伦敦） MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03B60号 其他非经典逻辑 关键词：量化模态逻辑；形而上学；严重的现实主义；现实主义；谓词抽象；均匀替换；表格证明系统 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Hanson}，圣母院J.形式逻辑59，No.2，233--284（2018；Zbl 1403.03031） 全文： 内政部 参考文献： [1] Burge，T.，“真理与单数术语”，《不》，第8卷（1974年），第309-25页。 [2] Chihara，C.S.，《可能性的世界：模态现实主义和模态逻辑的语义》，牛津大学出版社，纽约，1998年·Zbl 0901.03005号 [3] Davies，M.和L.Humberstone，“必然性的两个概念”，《哲学研究》，第38卷（1980年），第1-30页。 [4] Fine，K.，“模态逻辑的模型理论，III:存在与预测”，《哲学逻辑杂志》，第10卷（1981年），第293-307页·Zbl 0464.03017号 ·doi:10.1007/BF00293421 [5] Fine，K.，《情态与时态：哲学论文》，牛津大学出版社，牛津，2005年·Zbl 1082.03002号 [6] Fitting，M.，Types，Tableaus，and Gödel's God，Studia Logica Library第12卷，多德雷赫特，Kluwer，2002年·Zbl 1038.03001号 [7] Fitting，M.和R.L.Mendelsohn，一阶模态逻辑，Synthese Library第277卷，Kluwer，Dordrecht，1998年·Zbl 1025.03001号 [8] Garson，J.W.，“模态逻辑中的量化”，第267-323页，《哲学逻辑手册》，第3卷，由D.M.Gabbay和F.Guenther，Kluwer，Dordrecht编辑，2001年·Zbl 1003.03519号 [9] Gibbard，A.，“偶然身份”，《哲学逻辑杂志》，第4卷（1975年），第187-221页·Zbl 0317.02028号 ·doi:10.1007/BF00693273文件 [10] Gilbert，D.R.和E.D.Mares，“一些二维现实逻辑的完整性结果”，《符号逻辑评论》，第5卷（2012年），第239-58页·兹比尔1260.03042 ·doi:10.1017/S1755020311000384 [11] Hanson，W.H.，“现状、必然性和逻辑真理”，《哲学研究》，第130卷（2006年），第437-59页。 [12] Hanson，W.H.，“模态语言中的逻辑真理：对Nelson和Zalta的回复”，《哲学研究》，第167卷（2014年），第327-39页。 [13] Hodes，H.T.，“现实公理”，《哲学逻辑杂志》，第13卷（1984年），第27-34页·Zbl 0538.03015号 ·doi:10.1007/BF00297575 [14] Hodes，H.T.，“关于丰富一阶模态逻辑”{S} 5个\)《哲学逻辑杂志》，第13卷（1984年），第423-54页·Zbl 0553.03008号 [15] Hodes，H.T.，“关于模态语言表达限制的一些定理”，《哲学逻辑杂志》，第13卷（1984年），第13-26页·Zbl 0538.03014号 ·doi:10.1007/BF00297574 [16] Jager，T.，“量化模态逻辑的实用主义语义”，《圣母院形式逻辑杂志》，第23卷（1982年），第335-49页。 [17] Jager，T.，“De re and dedicto”，《圣母院形式逻辑杂志》，第29卷（1988年），第81-90页·Zbl 0664.03005号 ·doi:10.1305/ndjfl/1093637772 [18] 卡普兰，D.，“论指示词的逻辑”，《哲学逻辑杂志》，第8卷（1979年），第81-98页·Zbl 0415.03004号 ·doi:10.1007/BF00258420 [19] Kripke，S.A.，“模态逻辑的语义考虑”，《费尼卡哲学学报》，第16卷（1963年），第83-94页·Zbl 0131.00602号 [20] 兰伯特，K.，《自由逻辑：论文选集》，剑桥大学出版社，剑桥，2003年·Zbl 1026.03003号 [21] Lambert，K.和E.Bencivenga，“带有简单谓词和复杂谓词的自由逻辑”，《圣母院形式逻辑杂志》，第27卷（1986年），第247-56页·Zbl 0614.03010号 ·doi:10.1305/ndjfl/1093636615 [22] Mates，B.，《基本逻辑》，第二版，牛津大学出版社，纽约，1972年·Zbl 0146.24601号 [23] Menzel，C.，“现实主义、本体论承诺和可能的世界语义学”，《综合》，第85卷（1990年），第355-89页。 [24] Menzel，C.，“真正的模态逻辑”，《哲学逻辑杂志》，第20卷（1991年），第331-74页·Zbl 0748.03015号 ·doi:10.1007/BF00249434 [25] Percival，P.，“谓词抽象、量化限制和存在方式”，《哲学研究》，第156卷（2011年），第389-416页。 [26] Plantinga，A.，《必然性的本质》，牛津大学出版社，牛津，1974年。 [27] Plantinga，A.，“对我同事的答复”，Alvin Plantinga，第313-96页，由J.Tomberlin和P.van Inwagen编辑，Springer，Dordrecht，1985年。 [28] Plantinga，A.，“自我简介”，第3-97页，Alvin Plantinga，J.Tomberlin和P.van Inwagen编辑，Springer，Dordrecht，1985年。 [29] Prior，A.N.和K.Fine，《世界、时代和销售》，达克沃斯，伦敦，1977年·Zbl 0198.01404号 [30] Ray，G.，“无本体模态语义学”，《哲学逻辑杂志》，第25卷（1996年），第333-61页·Zbl 0860.03018号 ·doi:10.1007/BF00249664 [31] Stalnaker，R.C.，“复合谓词”，《一元论》，第60卷（1977年），第327-39页。 [32] Stalnaker，R.C.，“情态与量化和同一性的相互作用”，第12-28页，《情态、道德和信仰：向鲁斯·巴坎·马库斯致敬的论文》，W.Sinnott-Armstrong、D.Raffman和N.Asher编辑，剑桥大学出版社，剑桥，1995年。 [33] Stalnaker，R.C.，《世界可能的方式》，牛津大学出版社，牛津，2003年。 [34] Stalnaker，R.C.，《纯粹可能性：模态语义学的形而上学基础》，普林斯顿大学出版社，普林斯顿，2012年。 [35] Stalnaker，R.C.和R.H.Thomason，“一阶模态逻辑中的抽象”，《理论》，第34卷（1968年），第203-7页。 [36] Stephanou，Y.，“量化模态逻辑的研究”，《圣母院形式逻辑杂志》，第43卷（2002年），第193-220页·Zbl 1050.03017号 ·doi:10.1305/ndjfl/1074396306 [37] Stephanou，Y.，“带‘实际’算子的一阶模态逻辑”，《圣母院形式逻辑杂志》，第46卷（2005年），第381-405页·Zbl 1092.03010号 [38] Stephanou，Y.，“严肃的现实主义”，《哲学评论》，第116卷（2007年），第219-50页。 [39] Thomason，R.H.和R.C.Stalnaker，“模态和参考”，《无》，第2卷（1968年），第359-72页。 [40] 汤姆森，J.和A.拜恩，《内容与形式：罗伯特·斯塔纳克哲学的主题》，牛津大学出版社，牛津，2006年。 [41] Vlach，F.，“现在和那时：时态和回指逻辑的正式研究”，加州大学洛杉矶分校博士论文，1973年。 [42] 威廉姆森，T.，《作为形而上学的模态逻辑》，牛津大学出版社，牛津，2013年·Zbl 1294.03008号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。