利波·Běhounek;Ondrej Majer 反事实的分级语义。 （英语） Zbl 1528.03143号 合成 199，编号5-6，11963-11994（2021）. 小结：本文将刘易斯的反事实分析扩展到分级框架。与使用概率框架的标准分级方法不同，我们使用了多值逻辑的方法。我们的主要目标是对刘易斯方法的主要背景概念——可能世界的相似性进行充分分析。我们讨论了相似性的不精确性对反事实分析的要求，并特别关注稳健性，即相似关系的微小变化不应显著改变所讨论反事实的真实值。我们的第二个动机与自然语言的逻辑分析有关：在多值逻辑的框架下分析反事实使我们能够将分析扩展到包括模糊陈述的反事实。与文献中以前的这类建议不同，我们的方法可以在分析的各个层面上应用等级性，从而对反事实语境中的模糊现象提供更详细的解释。最后，我们的框架采用了一种新颖的方法来避免极限假设，保持刘易斯反事实真理条件的核心不变。 MSC公司： 03B52号 模糊逻辑；模糊逻辑 03B45号 模态逻辑（包括规范逻辑） 03A05号 逻辑和基础的哲学和批判性方面 关键词：反事实条件句;刘易斯语义学;稳健性;极限假设;Łukasiewicz逻辑 PDF格式BibTeX公司 XML格式引用 \textit｛L.BŞhounek｝和\textit｛O.Majer｝，Synthese 199，No.5-6/11963-11994（2021；Zbl 1528.03143） 全文： 内政部 参考文献： [1] Adams，E.W.（1975）。条件逻辑：概率在演绎逻辑中的应用。施普林格·Zbl 0324.02002号 [2] Běhounek，L.（2014a）。模糊线性序，模糊极大值和模糊极小值。布拉格捷克共和国科学院计算机科学研究所技术代表V-1195，网址：http://hdl.handle.net/11104/0233644 ·Zbl 1374.06001号 [3] Běhounek，L.（2014年B）。模糊逻辑在什么意义上是模糊逻辑？收录于：Łukasiewicz T、Peñaloza R、Turhan AY（编辑）《关于偏好、不确定性和模糊性推理的逻辑》（PRUV 2014）。CEUR研讨会论文集，第1205卷，第26-38页 [4] Běhounek，L.，模糊化线性序中的极大值和极小值，模糊集与系统，28982-93（2016）·Zbl 1374.06001号 ·doi:10.1016/j.fss.2015.02.010 [5] Běhounek，L。；Majer，O.，Fuzzy内涵语义学，《应用非经典逻辑杂志》，28，348-388（2018）·Zbl 1499.03020号 ·网址：10.1080/11663081.2018.1525207 [6] Běhounek，L.，Cintula，P.，Hájek，P.（2011）。数学模糊逻辑导论。In:Cintula P，Hájek P，Noguera C（eds）数学模糊逻辑手册，第一卷，学院出版物，第1章，第1-101页·Zbl 1284.03175号 [7] Bennett，J.，《条件词哲学指南》（2003），剑桥：牛津大学出版社，剑桥·数字对象标识代码：10.1093/0199258872.0001 [8] Bodenhofer，U.，《基于相似性的模糊序推广，保留经典公理》，《国际不确定性、模糊性和基于知识的系统杂志》，8，5，593-610（2000）·Zbl 1113.03333号 ·doi:10.1142/S0218488850000411 [9] Bodenhofer，U.，基于相似性的模糊序的表示和构造，模糊集和系统，137113-136（2003）·Zbl 1052.91032号 ·doi:10.1016/S0165-0114（02）00436-0 [10] 博登霍夫，美国。；De Baets，B。；Fodor，J.，《模糊弱序简编：表示与构造》，《模糊集与系统》，158811-829（2007）·Zbl 1119.06001号 ·doi:10.1016/j.fss.2006.10.005 [11] Cerami，M.，Pardo，P.（2011年）。模糊反事实的多值语义。收录于：Cintula P、Fermüller CG、Godo L、Hájek P（编辑）《理解模糊——逻辑、哲学和语言观点》，大学出版物，第341-362页·Zbl 1275.03100号 [12] 查格罗夫，A。；Zakharyaschev，M.，模态逻辑（1997），剑桥：牛津大学出版社，剑桥·Zbl 0871.03007号 [13] Cignoli，R.、D’Ottaviano，I.M.L.和Mundici，D.（1999）。多值推理的代数基础。多德赫特：克鲁沃。 [14] 德尔加多，M。；医学博士鲁伊斯；桑切斯，D。；马萨诸塞州维拉，《模糊量化：最新进展》，《模糊集与系统》，2421-30（2014）·Zbl 1315.68250号 ·doi:10.1016/j.fss.2013.10.012 [15] DiNola，A.，Leuštean，I.（2011年）。Łukasiewicz逻辑和MV-代数。In:Cintula P，Hájek P，Noguera C（eds）数学模糊逻辑手册，第2卷，学院出版物，第6章，第469-583页·Zbl 1284.03178号 [16] Dvořák，A。；Holčapek，M.，通过剩余格上的模糊测度确定的类型（langle 1,1\rangle）模糊量词。第一部分：基本定义和示例，模糊集和系统，242，31-55（2014）·Zbl 1315.03036号 ·doi:10.1016/j.fss.2013.10.003 [17] Hájek，A.（2020年）。反事实怀疑主义和先行控制主义。综合（即将出版）。doi:10.1007/s11229-020-02686-0。 [18] Hájek，P.，《模糊逻辑的元数学》（1998），多德雷赫特：科鲁沃，多德莱赫特·Zbl 0937.03030号 ·doi:10.1007/978-94-011-5300-3 [19] Hájek，P.，关于模糊模态逻辑（S5（\cal{C}）），模糊集与系统，1612389-2396（2010）·兹比尔1210.03020 ·doi:10.1016/j.fss.2009.11.011 [20] Jackson，F.，条件句（1987），牛津：布莱克威尔，牛津 [21] Leitgeb，H.（2012）。反事实的概率语义。《符号逻辑评论》，5（1），26-84·Zbl 1253.03009号 [22] Lewis，D.，《反事实》（1973），牛津：布莱克威尔，牛津·Zbl 0989.03003号 [23] 刘易斯，D.，《反事实与比较可能性》，《哲学逻辑杂志》，2418-446（1973）·Zbl 0272.02048号 ·doi:10.1007/BF00262950 [24] Lewis，D.，《论世界的多元性》（1986），牛津：布莱克威尔出版社，牛津 [25] Lewis，KS，《难以捉摸的反事实》，Noûs，50，2286-313（2016）·Zbl 1384.03052号 ·doi:10.1111/nous.12085 [26] Novák，V.，中间量词的形式理论，模糊集与系统，1591229-1246（2008）·Zbl 1176.03011号 ·doi:10.1016/j.fss.2007.12.008 [27] Recasens，J.，《不可分辨算子：模糊等式和模糊等价关系建模》（2011），柏林，海德堡：施普林格，柏林，海德堡·Zbl 1215.03065号 ·doi:10.1007/978-3642-16222-0 [28] Sandgren，A.和Steele，K.（2020年）。消除反事实怀疑。综合（即将出版）。doi:10.1007/s11229-020-02742-9。 [29] 新泽西州史密斯，《模糊度和真实度》（2008），剑桥：牛津大学出版社，剑桥·doi:10.1093/acprof:oso/9780199233007.0001 [30] Stalnaker，R.C.（1968年）。条件句理论。Rescher N（编辑），《逻辑理论研究》（第98-112页）。牛津：布莱克威尔。 [31] Valverde，L.，关于（F）-不可分辨算子的结构，模糊集与系统，17，3，313-328（1985）·Zbl 0609.04002号 ·doi:10.1016/0165-0114（85）90096-X 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。