西罗·德弗洛里奥；阿尔多·弗里吉里奥 细细的红线、莫里斯主义和时间的流动。 （英语） Zbl 1477.03045号 J.逻辑语言信息。 29，第3号，307-329（2020）. 摘要：在解决神性预知与人类自由的兼容性问题时，宗教哲学家遇到了形而上学和时间结构方面的问题。一些出于完全独立的原因而发展起来的时间逻辑模型被证明特别适合于代表莫里主义所设想的世界的时间结构。特别是，一些细红线模型（（\mathsf｛TRL｝））似乎暗示了自由条件是真是假，正如莫里主义者所坚持的那样。注意到莫里斯主义和（mathsf{TRL}）模型之间的相似性，G.重述[“莫里斯主义和细红线”，载于：莫里斯主义：当代辩论。牛津：牛津大学出版社，227–239（2011）]提出了一些对莫里斯主义的批评，这些批评也与（mathsf{TRL}）模型相比较。特别是，Restall认为隐含的（p\rightarrow\mathbf{HF}p（高频）\)在\（\mathsf{TRL}\）模型中不为true。因为莫里斯主义者也必须接受这种暗示是不真实的，这对他们来说是一个问题。我们将证明Restall的批评是无稽之谈。首先，我们将证明，在许多开放的未来模型中（不仅仅是（mathsf{TRL}）），暗示（p\rightarrow\mathbf{HF}p（高频）\)无效。其次，虽然可以解释这一含义，但需要对分支时间语义进行一些修改。在提出这样的修改时，我们表明这种新语义可以被（mathsf{TRL}）的倡导者采用，因此也可以被莫里斯主义者采用。我们的结论是，Restall提出的原则对于许多开放的未来模型（不仅仅是莫里斯主义者）来说是一个问题，或者可以由这些模型解释，因此对莫里斯主义也不是一个问题。 引用于1文件 MSC公司： 03B44号 时间逻辑 03A05号 逻辑和基础的哲学和批判性方面 关键词：时序逻辑模型；细红线；莫里斯主义；时间的流动 PDF格式BibTeX公司 XML格式引用 \textit{C.De Florio}和\textit{A.Frigerio}，J.Logic Lang.Inf.29，No.3，307--329（2020；Zbl 1477.03045） 全文： 内政部 链接 参考文献： [1] 巴恩斯，E。；卡梅隆，R.，《开放的未来：二重性、决定论和本体论》，《哲学研究》，146291-309（2009）·doi:10.1007/s11098-008-9257-6 [2] 北卡罗来纳州贝尔纳普。；Green，M.，《不确定性与细红线》，《哲学视角》，第8365-388页（1994年）·doi:10.2307/2214178 [3] 北卡罗来纳州贝尔纳普。；Perloff，M。；徐，M.，面向未来。《我们非决定论世界中的代理人和选择》（2001年），纽约：牛津大学出版社，纽约 [4] Borghini，A.和Torrengo，G.（2013年）。细红线的形而上学。在F.Corriera和A.Iacona（编辑）的《树周围》中。关于分支和开放未来的语义和形而上学问题（第105-125页）。纽约：斯普林格。 [5] Brauner，T.，Hasle，P.，&Öhrstrøm，P.（1998年）。Ockhamistic逻辑和反事实时刻的真正未来。《第五届时间表征和推理国际研讨会论文集》（第132-139页）。电气与电子工程师协会。 [6] 伯吉斯，JP，《逻辑与时间》，《符号逻辑杂志》，44,4566-582（1979）·Zbl 0423.03018号 ·doi:10.2307/2273296 [7] 克雷格，WL，《神性预知与人类自由》（1991），莱顿：布里尔，莱顿 [8] Crivelli，P.，《亚里士多德论真理》（2004），剑桥：剑桥大学出版社，剑桥 [9] De Florio，C.和Frigerio，A.（2015）。捍卫人类自由意志和神圣预知问题的永恒解决方案。国际宗教哲学杂志，78，5-28。 [10] 弗林特，T.，普罗维登斯。Molinist account（1998），纽约州伊萨卡：康奈尔大学出版社，纽约州伊萨卡 [11] Lewis，D.，《反事实》（1973），Harward:哈佛大学出版社，Harward [12] 麦克法兰，J.，《未来的偶然事件和相对真理》，《哲学季刊》，第53期，第321-336页（2003年）·数字对象标识代码：10.1111/1467-9213.00315 [13] MacFarlane，J.（2014）。评估敏感性：相对真理及其应用。牛津：牛津大学出版社。 [14] Malpass，A。；Wawer，J.，《细红线的未来》，Synthese，188，1，117-142（2012）·Zbl 1279.03024号 ·doi:10.1007/s11229-012-0064-4 [15] 麦基姆，V。；Davis，C.，《时间模式与未来》，《圣母院形式逻辑杂志》，第17期，第233-238页（1976年）·Zbl 0299.02024 ·doi:10.1305/ndjfl/1093887526 [16] Merricks，T.，《真理与自由》，《哲学评论》，118，29-57（2009）·doi:10.1215/00318108-2008-028 [17] Øhrström，P.（1981）。非决定时态逻辑中关于未来算子的问题。收录于：丹麦哲学年鉴（第18卷，第81-95页）。Tusculanum出版社博物馆。 [18] Øhrström，P.，为捍卫细红线，Humana。Mente，8，17-32（2009） [19] Perszyk，K.（2011年）。莫里斯主义：当代的辩论。牛津：牛津大学出版社。 [20] Placek，T。；Müller，T.，《反事实与历史可能性》，综合，154173-197（2007）·兹比尔1119.03317 ·doi:10.1007/s11229-005-0617-x [21] 普兰廷加，A.，《论奥卡姆的出路》，《信仰与哲学》，第3235-269页（1986年）·doi:10.5840/faithphil19863322 [22] Prior，A.，《过去、现在和未来》（1967），牛津：牛津大学出版社，牛津·Zbl 0169.29802号 [23] Restall，G.（2011）。莫里斯主义和细红线。在K.Perszyk（编辑），《莫里斯主义：当代辩论》（第227-239页） [24] Rosenkranz，S.，《为奥卡米斯主义辩护》，《哲学》，第40期，第617-631页（2012年）·doi:10.1007/s11406-011-9337-2 [25] Schoubye，A。；Rabern，B.，《反对俄罗斯开放的未来》，Mind，1261217-1237（2017）·doi:10.1093/mind/fzv189 [26] 托马森，RH，《不确定性与真值差距》，《理论》，第36期，第264-281页（1970年）·Zbl 0269.02007 ·doi:10.1111/j.1755-2567.1970.tb00427.x [27] 托马森，RH；Gabbay博士。；Guenthner，F.，《时态和情态的组合》，《哲学逻辑手册》，135-165（1984），多德雷赫特：D.Reidel Publishing Co，多德雷赫特·Zbl 0875.03047号 [28] 托马森，RH；古普塔，A.，分支时间背景下的条件句理论，《哲学评论》，89，65-90（1980）·doi:10.2307/2184864 [29] 托德，P，未来的特遣队都是假的！代表俄罗斯开放的未来，Mind，125775-798（2016）·doi:10.1093/mind/fzv170 [30] Wawer，J.，《关于未来的真相》，Erkentnis，79，365-401（2014）·Zbl 1304.03041号 ·doi:10.1007/s10670-013-9454-3 [31] Wawer，J.和Wronski，L.（2015）。走向一种新的历史反事实理论。P.Arazim和M.Danc̆ák（编辑），《2014年逻辑年鉴》（第293-310页）。伦敦：学院出版物·Zbl 1383.03032号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。