×
布鲁诺·达雷

结构弱化和悖论。 （英语） Zbl 1529.03159号

圣母院J.形式逻辑 62，第2号，369-398（2021）.
摘要：最近，几位作者指出，子结构逻辑足以发展代表语义概念（如真理）的天真理论。其中，已经探讨了三个建议：减少削减、减少收缩和减少自反性。然而，在亚结构文献中，没有人提出反对弱化的结构规则，而接受其他规则。一些理论家甚至认为，这项任务是不可能的，因为弱化在语义悖论的推导中没有任何作用。在本文中，我介绍了一种基于逻辑的朴素真理理论，该逻辑是从经典逻辑中去掉弱化规则，并保持其他结构规则的结果。

引用于4文件

MSC公司：

03B47号 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）
05年3月 切割消除和正规形定理
03A05号 逻辑和基础的哲学和批判性方面

关键词：

语意悖论;子结构逻辑;真理理论;弱化
PDF格式BibTeX公司 XML格式引用
\textit{B.Da Ré}，圣母院J.形式逻辑62，No.2，369--398（2021；Zbl 1529.03159）
全文： 内政部

参考文献：

[1] Avron，A.，“简单后果关系”信息与计算第92卷（1991年），第105-39页·Zbl 0733.03007号 ·doi:10.1016/0890-5401（91）90023-U
[2] Barrio，E.、F.Pailos和D.Szmuc，“什么是次协调逻辑？”，第89-108页矛盾，从一致到不一致由W.Carnielli和J.Malinowski编辑，第47卷Logic-Studia Logica图书馆的发展趋势，施普林格，查姆，2018年·Zbl 1439.03062号
[3] Barrio，E.、L.Rosenblatt和D.Tajer，“严格容忍逻辑的逻辑”哲学逻辑杂志第44卷（2015年），第551-71页·Zbl 1350.03007号 ·doi:10.1007/s10992-014-9342-6
[4] Beall，J.C。，真理的拱肩，牛津大学出版社，牛津，2009年。
[5] Beall，J.C.，“多重结论LP和默认古典性”符号逻辑综述第4卷（2011年），第326-36页·Zbl 1252.03008号 ·doi:10.1017/S1755020311000074
[6] Beall，J.C.、M.Glanzberg和D.Ripley，真理的形式理论，牛津大学出版社，牛津，2018·兹比尔1400.03003
[7] Beall，J.C.和J.Murzi，“柯里悖论的两种风格”哲学杂志第110卷（2013年），第143-65页·doi:10.5840/jphil2013110336
[8] R.布雷迪。，通用逻辑CSLI出版物，斯坦福，2006年·Zbl 1234.03010号
[9] Caret，C.R.和Z.Weber，“关于有效性的无收缩逻辑的注释”托波伊第31卷（2015年），第63-74页·Zbl 1382.03050号 ·doi:10.1007/s11245-014-9241-z
[10] Cobreos，P.、P.Egré、D.Ripley和R.van Rooij，“宽容、经典、严格”哲学逻辑杂志第41卷（2012年），第347-85页·Zbl 1243.03038号 ·doi:10.1007/s10992-010-9165-z
[11] Cobreos，P.、P.Egré、D.Ripley和R.van Rooij，“实现透明的真理”头脑第122卷（2013年），第841-66页·doi:10.1093/分钟/fzt110
[12] Da Ré，B.和L.Rosenblatt，“收缩、不定式量词和欧米伽悖论”哲学逻辑杂志第47卷（2018年），第611-29页·Zbl 1436.03143号 ·doi:10.1007/s10992-017-9441-2
[13] Dunn，J.，“关联逻辑和蕴涵”，第117-224页哲学逻辑手册由D.Gabbay和F.Guenthner编辑，第166卷合成库，施普林格，多德雷赫特，1986年·Zbl 0875.03051号
[14] H·菲尔德。，从悖论中拯救真理，牛津大学出版社，牛津，2008年·Zbl 1225.03006号 ·doi:10.1093/acprof:oso/9780199230747.001.0001
[15] Fjellstad，A.，“tonk的语义应该如何，”符号逻辑综述第8卷（2015年），第488-505页·Zbl 1382.03016号 ·doi:10.1017/S1755020314000513
[16] Fjellstad，A.，“关于‘没有反作用的真理’中的割消去证明的一个注记，”符号逻辑综述第13卷（2020年），第882-86页·Zbl 1473.03035号 ·doi:10.1017/s1755020319000571
[17] French，R.，“结构自反性与自我参照的悖论”埃尔戈，第3卷（2016）。 ·doi:10.3998/ergo.12405314.003.005
[18] Gentzen，G.，“Untersuchungenüber das logische schließen，I”数学期刊第39卷（1935年），第176-210页；二第405-31页·Zbl 0010.14601号
[19] Girard，J.-Y.，“线性逻辑”理论计算机科学第50卷（1987年），第1-101页·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4
[20] Hjortland，O.T.，“真理理论和最小切割准则”合成，（2017），第1-32页·doi:10.1007/s11229-017-1612-8
[21] Kripke，S.，“真理理论纲要”哲学杂志第72卷（1975年），第690-716页·Zbl 0952.03513号 ·doi:10.1007/BF00247954
[22] Mares，E.和F.Paoli，“逻辑结果和悖论”哲学逻辑杂志第43卷（2014年），第439-69页·Zbl 1302.03021号 ·doi:10.1007/s10992-013-9268-4
[23] Meyer，R.K.，“模态和多值逻辑的主题”，匹兹堡大学博士论文，1966年。
[24] Meyer，R.K.和M.McRobbie，“多重集和相关含义，I，”澳大利亚哲学杂志第60卷（1982年），第107-39页·doi:10.1080/00048408212340551
[25] Meyer，R.K.和M.McRobbie，“多重集和相关蕴涵，II，”澳大利亚哲学杂志第60卷（1982年），第265-81页·网址：10.1080/00048408212340681
[26] Nicolai，C.和L.Rossi，“对象语言结果的原则：从逻辑到非自反”哲学逻辑杂志第47卷（2018年），第549-77页·Zbl 1436.03059号 ·doi:10.1007/s10992-017-9438-x
[27] Novaes，C.D.和R.French，“对话视角下的悖论和结构规则，”哲学问题，第28卷（2018年），第129-58页·doi:10.1111/phis.12119
[28] Øgaard，T.F.，“琐碎之路”哲学逻辑杂志第45卷（2016年），第237-76页·Zbl 1392.03038号 ·doi:10.1007/s10992-015-9374-6
[29] Paoli，F。，亚结构逻辑：入门，第13卷，共页Logic-Studia Logica图书馆的发展趋势，Kluwer，Dordrecht，2002年·Zbl 1025.03002号 ·doi:10.1007/978-94-017-3179-9
[30] Paoli，F.，“含意悖论和逻辑常数的意义”澳大利亚哲学杂志第85卷（2007年），第553-79页·doi:10.1080/00048400701728574
[31] G.牧师，“悖论的逻辑”哲学逻辑杂志第8卷（1979年），第219-41页·Zbl 0402.03012号 ·doi:10.1007/BF00258428
[32] 牧师，G.，“超一致逻辑”，第287-393页哲学逻辑手册由D.Gabbay和F.Guenthner编辑，Springer，柏林，2002年。
[33] G.牧师。，矛盾中第2版，牛津大学出版社，牛津，2006年。
[34] Restall，G.，“断言、否认和非经典理论”，第81-99页超一致性：逻辑与应用由K.Tanaka、F.Berto、E.Mares和F.F.Paoli、Springer、Dordrecht编辑，2013年·Zbl 1272.03038号 ·数字对象标识代码：10.1007/978-94-007-4438-76
[35] Ripley，D.，“保守地用透明的真理扩展经典逻辑”符号逻辑综述第5卷（2012年），第354-78页·Zbl 1248.03012号 ·doi:10.1017/S175502031200056
[36] Ripley，D.，《切割的悖论和失败》澳大利亚哲学杂志第91卷（2013年），第139-64页·doi:10.1080/00048402.2011.630010
[37] 里普利，D.，“比较真理的亚结构理论”埃尔戈第2卷（2015年），第299-328页·doi:10.3998/ergo.12405314.002.013
[38] Ripley，D.，“天真集理论和非传递逻辑”符号逻辑综述第8卷（2015年），第553-71页·Zbl 1347.03094号 ·doi:10.1017/S1755020314000501
[39] Rosenblatt，L.，“非收缩经典逻辑”圣母院形式逻辑杂志第60卷（2019年），第559-85页·Zbl 1472.03020号 ·doi:10.1215/00294527-2019-0020
[40] 夏皮罗，L.，“天真的结构、收缩和悖论”托波伊第34卷（2015年），第75-87页·Zbl 1382.03043号 ·doi:10.1007/s11245-014-9235-x
[41] 斯莱尼，J.K.，“RWX不是Curry Parasconsistent”，第472-81页准一致逻辑。关于不一致的文章由G.Priest、R.Routey和J.Norman编辑，《哲学》，慕尼黑，1989年·Zbl 0695.03013号
[42] Tennant，N.，“真理与悖论的新统一解释”头脑第124卷（2015年），第571-605页·Zbl 1316.03005号 ·doi:10.1093/mind/fzu179
[43] 北卡罗来纳州坦南。，核心逻辑，牛津大学出版社，牛津，2017年·Zbl 1386.03001号
[44] Thistlewaite，P.B.、M.A.McRobbie和R.K.Meyer，非经典逻辑中的自动定理证明伦敦皮特曼出版社，1988年·Zbl 0862.68097号
[45] Thistlewaite，P.B.，R.K.Meyer和M.A.McRobbie，“相关逻辑的高级定理证明技术，”逻辑与分析（N.S.），第28卷（1985年），第233-56页·Zbl 0612.03011号
[46] Troelstra，A.S。，线性逻辑讲座，第29卷，共页CSLI课堂讲稿CSLI出版物，斯坦福，1992年·Zbl 0942.03535号
[47] Urbas，I.，“超一致性”苏联思想研究第39卷（1990年），第343-54页·doi:10.1007/BF00838045
[48] Weir，A.，“天真的真理和复杂的逻辑”，第1-37页通货紧缩与悖论由J.C.Beall和B.Armour-Garb编辑，牛津大学出版社，牛津，2005年。
[49] Zardini，E.，“没有对立的真理”符号逻辑综述第4卷（2011年），第498-535页·Zbl 1252.03018号 ·doi:10.1017/S1755020311000177
[50] Zardini，E.，“朴素的逻辑属性和结构属性”哲学杂志第110卷（2013年），第633-44页·doi:10.5840/jphil2013110118
[51] Zardini，E.，“天真的真理和天真的逻辑属性，”符号逻辑综述第7卷（2014年），第351-84页·Zbl 1345.03014号 ·doi:10.1017/S1755020314000045
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。