乌尔夫赫洛比勒 忠实于天真的有效性。 （英语） Zbl 1474.03024号 合成 196，第11号，4759-4774（2019）. 摘要：对有效性库里悖论的非传递性回应面临着一个困境，这是巴里奥、罗森布拉特和塔杰尔最近提出的。似乎，在富含有效性谓词的非传递逻辑ST中，要么你不能证明所有可派生元规则都保持有效性，要么你可以证明逻辑中不允许的Cut实例保持有效性。我代表非及物方法作出回应。本文认为，首先，我们应该拒绝天真有效性的分离原则。其次，我展示了如何在避免困境的同时向ST添加有效性谓词。 引用于6文件 MSC公司： 03年05月 逻辑和基础的哲学和批判性方面 03B47型 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 关键词：天真有效性;非及物逻辑;V-Curry悖论;悖论的子结构方法 PDF格式BibTeX公司 XML格式引用 \textit{U.Hlobil}，Synthese 196，No.11，4759-4774（2019；Zbl 1474.03024） 全文： 内政部 链接 参考文献： [1] Barrio，E.、Rosenblatt，L.和Tajer，D.（2016）。在无需裁剪的方法中捕捉天真的有效性。合成。https://doi.org/10.1007/s11229-016-1199-5。 [2] Beall，J.和Murzi，J.（2013）。库里悖论的两种风格。《哲学杂志》，110（3），143-165·doi:10.5840/jphil2013110336 [3] Cobreos，P.，Egré，P.、Ripley，D.和van Rooij，R.（2012）。宽容、经典、严格。《哲学逻辑杂志》，41（2），347-385·Zbl 1243.03038号 ·doi:10.1007/s10992-010-9165-z [4] Cobreros，P.、Égré，P.、Ripley，D.和van Rooij，R.（2013）。达到透明的真相。《心灵》，122（488），841-866·doi:10.1093/分钟/fzt110 [5] 库克·R.T.（2014）。逻辑有效性没有悖论。Logica Universalis，8（3），447-467·Zbl 1330.03030号 ·文件编号：10.1007/s11787-014-0094-4 [6] Field，H.（2017）。解除有效性悖论。《圣母院形式逻辑杂志》，58（1），1-19·Zbl 1360.03028号 ·doi:10.1215/00294527-3699865 [7] Heck，R.G.（2007）。自我参照和算术语言。《数学哲学》，15（1），1-29·Zbl 1132.03002号 ·doi:10.1093/philmat/nkl028 [8] Hlobil，U.（2018年）。无需裁剪的方法和可接纳性——咖喱。思想：哲学杂志（即将出版）。 [9] Ketland，J.（2012）。作为原语的有效性。分析，72（3），421-430·Zbl 1264.03020号 ·doi:10.1093/analys/ans064 [10] Negri，S.和von Plato，J.（1998年）。公理存在时的截消。符号逻辑公报，4（4），418-435·兹伯利0934.03072 ·doi:10.2307/420956 [11] Ripley，D.（2012）。用透明的真理保守地扩展经典逻辑。符号逻辑综述，5（2），354-378·Zbl 1248.03012号 ·doi:10.1017/S1755020312000056 [12] Ripley，D.（2013）。切割的悖论和失败。《澳大利亚哲学杂志》，91（1），139-164·doi:10.1080/00048402.2011.630010 [13] Ripley，D.（2015）。一切顺利。托波伊，34（1），25-36·Zbl 1382.03078号 ·doi:10.1007/s11245-014-9261-8 [14] Ripley，D.（2017）。双边主义、一致性、保证。F.Moltmann&M.Textor（编辑），《命题内容的基于行为的概念》（第307-324页）。牛津大学出版社。 [15] Rosenblatt，L.（2017）。天真有效性、内在化和亚结构方法解决悖论。Ergo，4（4），93-120。 [16] Rumfitt，I.（2008）。演绎知识。格雷泽哲学研究，77（1），61-84·doi:10.1163/18756735-90000844 [17] Shapiro，L.（2013）。有效期Curry得到加强。思想：哲学杂志，2（2），100-107。 [18] von Kutschera，F.（1968年）。Die Vollständigkeit des Operatorensystems \[\{not，\vee，\supset\}\]{，∨，⊃}für Die intuistivisische Aussagenlogik im Rahmen der Gentzensematik。数理逻辑档案，11（1），3-16·Zbl 0165.01101号 ·doi:10.1007/BF01973339 [19] Wansing，H.和Priest，G.（2015）。外部货币。《哲学逻辑杂志》，44（4），453-471·Zbl 1329.03089号 ·doi:10.1007/s109922-014-9336-4 [20] Zardini，E.（2013）。天真的方法。《哲学逻辑杂志》，42（4），575-593·Zbl 1315.03012号 ·doi:10.1007/s10992-012-9239-1 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。