Fabrice科雷亚;罗森克兰兹，斯文 临时主义没有现成性的形式。 （英语） Zbl 1476.03017号 圣母院J.形式逻辑 61，第2期，181-202（2020）. 作者提出了呈现主义和扩张主义（版本）的精确特征，既不涉及呈现的概念，也不涉及刚刚提到的不熟悉类型的概念工具。除了标准的Priorian时间操作符、真函数连接词、一阶量词和同一谓词外，只调用了另外两个词汇——时间谓词和时间位置谓词。这些特征并不仅仅包含在原则列表中，而是采取了成熟逻辑的形式，每个逻辑都包含一个公理证明系统和一个相应的语义，对于这个语义，系统是健全和完整的。语义相当简单直观，大大增加了相应系统可能独立具有的吸引力。此外，也不会有两种特征，一种是表现论，另一种是扩张主义，而是每个观点的一组特征，每一组对应于相关观点的一些自然变体。审核人：布拉尼斯拉夫·博里奇奇（贝尔格莱德） MSC公司： 03B44号 时间逻辑 03B45号 模态逻辑（包括规范逻辑） 关键词：一阶时序逻辑;现代派;时间增长块理论;现在 PDF格式BibTeX公司 XML格式引用 \textit{F.Correia}和\textit{S.Rosenkranz}，圣母院J.形式逻辑61，No.2，181--202（2020；Zbl 1476.03017） 全文： 内政部 欧几里得 链接 参考文献： [1] Bourne，C.，“我是什么时候？一些时态理论家的时态？”，《澳大利亚哲学杂志》，第80卷（2002年），第359-71页。 [2] Braddon-Mitchell，D.，《分析》，第64卷（2004年），第199-203页。 [3] Button，T.，《分析》，第66卷（2006年），第130-35页。 [4] Button，T.，《分析》，第67卷（2007年），第325-32页。 [5] Correia，F.和S.Rosenkranz，“生活在边缘，或欢迎回来，成长的阻碍！”，《牛津形而上学研究》，第8卷（2013年），第333-50页。 [6] Correia，F.和S.Rosenkranz，“没有呈现的呈现”，《思想：哲学杂志》，第4卷（2015年），第19-27页。 [7] Correia，F.和S.Rosenkranz，《无事可做：时间增长块理论的辩护》，Synthese Library第395卷，查姆施普林格，2018年·兹比尔1398.00035 [8] Correia，F.和S.Rosenkranz，“时间存在和时间位置”，《哲学研究》，2019年5月8日电子版。 [9] Crisp，T.M.，“论现代派和琐事”，《牛津形而上学研究》，第1卷（2004年），第15-20页。 [10] Dummett，M.，《真理与过去》，哥伦比亚大学出版社，纽约，2004年。 [11] Hughes，G.E.和M.J.Cresswell，《模态逻辑新导论》，劳特利奇出版社，伦敦，1997年·Zbl 0855.0302号 [12] Ingram，D.和J.Tallant，“呈现主义”，摘自E.N.Zalta编辑的《斯坦福大学哲学百科全书》，2018年，https://plato.stanford.edu/archives/spr2018/entries/presentism/。 [13] Markosian，N.，“为呈现主义辩护”，《牛津形而上学研究》，第1卷（2004年），第47-82页。 [14] Merricks，T.，“Good-bye growing block”，《牛津形而上学研究》，第2卷（2006年），第103-10页。 [15] 美国迈耶，“呈现者的困境”，《哲学研究》，第122卷（2005年），第213-25页。 [16] Meyer，U.，“现实主义的琐碎性”，第67-87页，《关于当下的新论文：聚焦于现实主义》，由R.Ciuni、K.Miller和G.Torrengo编辑，《哲学》，慕尼黑，2013年。 [17] Prior，A.N.，《过去、现在和未来》，克拉伦登出版社，牛津，1967年·Zbl 0169.29802号 [18] Prior，A.N.，《事件的变化和事物的变化》，堪萨斯大学劳伦斯分校，1962年。 [19] Sider，T.，《四维主义：持久性和时间的本体论》，牛津大学出版社，牛津，2001年。 [20] 《时间、时态和因果关系》，牛津大学出版社，牛津，2000年。 [21] 威廉姆森，T·Zbl 1294.03008号 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。