弗杰特兰托雷 通往琐碎的道路。 （英语） Zbl 1392.03038号 J.菲洛斯。日志。 45，第3期，237-276（2016）. 小结：本文提出了一系列新的琐碎性证明，这些证明与用次协调相关逻辑表述的天真真理理论有关。结果表明，排除中间点和各种排列原则，如（A到（B到C）、（B到（A到C）），都淡化了天真的真理理论。本文还利用公理（（A到B）楔（B到C））到（A到C）和（A到A）到否定A）、融合连接词和阿克曼常数给出了一些新的平凡性证明。概述了在非经典逻辑中形成莱布尼茨定律的各种方法，并为天真集理论提供了两个新的平凡性证明。 引用于5文件 MSC公司： 03B53号 准一致逻辑 03B47型 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑） 关键词：收缩;柯里悖论;身份;莱布尼茨定律;天真的真理理论;天真集合论;次协调逻辑;相关逻辑 PDF格式BibTeX公司 XML格式引用 \textit{T.F.Øgaard}，J.Philos（费罗斯）。日志。45，第3号，237--276（2016；Zbl 1392.03038） 全文： 内政部 链接 参考文献： [1] 培根，A（2013）。柯里悖论和ω-不一致性。《逻辑研究》，101（1），1-9·Zbl 1316.03003号 ·doi:10.1007/s11225-012-9373-3 [2] 培根，A（2013）。天真真理理论的一个新条件。《圣母院形式逻辑杂志》，54（1），87-104·Zbl 1273.03073号 ·doi:10.1215/00294527-1731407 [3] 培根，A（2015）。逻辑等价性和同一性的矛盾。托波伊，34（1），89-98·Zbl 1382.03040号 ·doi:10.1007/s11245-013-9193-8 [4] JC比尔。(2009). 真理的延伸。牛津大学出版社·兹比尔1067.03500 [5] Beall，JC（2011年）。增加相关限制量化。《澳大拉西亚逻辑杂志》，第10期，第36-44页·Zbl 1330.03050号 [6] Beall，JC，Brady，RT，Hazen，AP，Priest，G，&Restall，G（2006年）。相关限制量化。《哲学逻辑杂志》，35（6），587-598·Zbl 1111.03020号 ·doi:10.1007/s10992-005-9008-5 [7] 北卡罗来纳州贝尔纳普（1960）。隐含和相关性。符号逻辑杂志，25（2），144-146·Zbl 0107.00802号 ·doi:10.2307/2964210 [8] Brady，R.T.（1971）。三值逻辑中抽象性和可拓性公理的一致性。《圣母院形式逻辑杂志》，12（4），447-453·doi:10.1305/ndjfl/1093894366 [9] Brady，R.T.（1983年）。基于逻辑CSQ的集合论的简单一致性。《圣母院形式逻辑杂志》，24（4），431-449·兹伯利048.803026 ·doi:10.1305/ndjfl/1093870447 [10] Brady，R.T.（1989）。辩证集合论的非私密性。G.Priest、R.Routey和J.Norman（编辑），《次一致逻辑：关于不一致的文章》（第437-470页）。哲学Verlag·Zbl 0691.03038号 [11] Brady，R.（2006）。通用逻辑。CSLI课堂讲稿。CSLI出版物·Zbl 0096.24301号 [12] Brady，R.T.（2014）。使用元评估的朴素集合理论的简单一致性。《哲学逻辑杂志》，43（2-3），261-281·Zbl 1343.03003号 ·doi:10.1007/s10992-012-9262-2 [13] Brady，RT，&Øgaard，TF。对“使用元估值的朴素集合理论的简单一致性”的更正。手稿。 [14] Brady，R（编辑）（2003年）。相关逻辑及其竞争对手2。Ashgate出版公司。 [15] 柯里，HB（1942）。某些形式逻辑的不一致性。符号逻辑杂志，7（3），115-117·Zbl 0060.02209号 ·doi:10.2307/2269292 [16] Field，H（2002）。从悖论中拯救真理图式。《哲学逻辑杂志》，31（1），1-27·Zbl 1008.03004号 ·doi:10.1023/A:1015063620612 [17] Field，H（2003）。一种针对语义悖论的报复-免疫解决方案。《哲学逻辑杂志》，32（2），139-177·Zbl 1026.03009号 ·doi:10.1023/A:1023027808400 [18] Field，H（2004）。天真的属性理论的一致性。《哲学季刊》，54（214），78-104·doi:10.1111/j.00331-8094.204.00343.x [19] Field，H.（2008）。从悖论中拯救真理。牛津大学出版社·Zbl 1225.03006号 [20] Field，H（2011）。对Martin和Welch评论的评论。《符号逻辑评论》，4（3），360-366·Zbl 1276.03006号 ·doi:10.1017/S1755020311000025 [21] 菲尔德，H（2014）。天真的真理和有限的量化：更好地保存真理。《符号逻辑评论》，7（1），147-191·Zbl 1329.03015号 ·doi:10.1017/S1755020313000312 [22] Field，H，Lederman，H，&Øgaard，TF。天真类理论的展望。《圣母院形式逻辑杂志》（即将出版）·兹比尔1417.03272 [23] Gilmore，PC（1974）。没有外延的部分集理论的一致性（1967）。在T.Jech（Ed.）中，公理集理论（第147-153页）。美国数学学会·Zbl 0309.02065号 [24] Girard，J（1995）。轻型线性逻辑。D.Leivant（编辑），《逻辑和计算复杂性》（第960卷，第145-176页）。斯普林格。 [25] Grišin，VN（1982）。基于逻辑的谓词和集合理论计算，没有缩写（英语翻译）。数学苏联Izvestija，18（1），41-59·Zbl 0478.03009号 ·doi:10.1070/IM1982v018n01ABEH001382 [26] Hájek，P（2005）。关于Cantor-Łukasiewicz模糊集理论中的算法。数学逻辑档案，44（6），763-782·Zbl 1096.03064号 ·doi:10.1007/s00153-005-0284-0 [27] Hájek，P（2013）。关于Cantor-Łukasiewicz模糊集理论的一些评论。IGPL逻辑期刊，21（2），183-186·Zbl 1283.03087号 ·doi:10.1093/jigpal/jzs014 [28] Hájek，P，Paris，J，&Shepherdson，J（2000）。说谎者悖论和模糊逻辑。符号逻辑期刊，65（1），339-346·Zbl 0945.03031号 ·doi:10.2307/2586541 [29] Hinnion，R，&Libert，T（2003）。积极抽象和外延。符号逻辑杂志，68（3），828-836·Zbl 1056.03027号 ·doi:10.2178/jsl/1058448441 [30] Kripke，S（1975）。真理理论大纲。《哲学杂志》，72（19），690-716·兹比尔0952.03513 ·doi:10.2307/2024634 [31] Mares，E和Paoli，F（2014）。逻辑后果和悖论。《哲学逻辑杂志》，43（2-3），439-469·Zbl 1302.03021号 ·doi:10.1007/s10992-013-9268-4 [32] Øgaard，TF.非经典逻辑中的Skolem函数。手稿·Zbl 1422.03056号 [33] G牧师（1983年）。逻辑悖论和排中律。《哲学季刊》，33（131），160-165·doi:10.2307/2218742 [34] 牧师，G（2002）。次一致逻辑。D.M.Gabbay和F.Guenthner（编辑），《哲学逻辑手册》，第二版。（第6卷，第287-393页）。Kluwer学术出版社·Zbl 1329.03015号 [35] 牧师G.（2006）。矛盾，第二版。牛津大学出版社·Zbl 0682.0302号 [36] Priest，G，Sylvan，R，&Norman，J.（1989）。超一致逻辑：关于不一致的文章。哲学Verlag·Zbl 0678.0003号 [37] Restall，G.（1992年）。Łukasiewicz的无限值逻辑中的算术和真理。逻辑与分析，139-140，303-312·Zbl 0832.03010号 [38] Restall，G.（2000年）。子结构逻辑导论。劳特利奇·Zbl 1028.03018号 [39] Restall，G（2010）。我们接受什么，拒绝什么，同时从悖论哲学研究中拯救真理，147（3），433-443·doi:10.1007/s11098-009-9468-5 [40] Restall，G（2013）。断言、否认和非经典理论。在K.Tanaka、F.Berto、E.Mares和F.Paoli（编辑）中，《超一致性：逻辑和应用》（第81-99页）。斯普林格·兹比尔1272.03038 [41] Ripley，D（2013）。矛盾和削减的失败。《澳大拉西亚哲学杂志》，91（1），139-164·doi:10.1080/00048402.2011.630010 [42] Ripley，D（2015）。朴素集理论和非及物逻辑。符号逻辑综述。10.1017/S1755020314000501·Zbl 1347.03094号 [43] Routey，R（1980）。探索美浓的丛林和其他地方。澳大利亚堪培拉：澳大利亚国立大学RSSS哲学系。部门专著第3号·Zbl 0060.02209号 [44] Routey，R，Plumwood，V，Meyer，RK，&Brady，RT（1982年）。相关逻辑及其竞争对手。里奇维尤·Zbl 0579.03011号 [45] M·肖奎（1954）。多值系统的逻辑悖论。符号逻辑杂志，19（1），37-40·Zbl 0055.00503号 ·doi:10.2307/2267648 [46] 斯科勒姆，T（1957）。Bemerkungen zum Komprehensionsaxiom公司。Zeitschrift für Mathematische Logik und Grundlagen der Mathemtik，3，1-17·Zbl 0095.00902号 ·doi:10.1002/毫克19570030102 [47] 斯科勒姆，T（1960）。基于某种三值逻辑的集合论。斯堪的纳维亚马塞马提卡，8127-136·Zbl 0096.24301号 [48] 斯科勒姆，T（1960）。研究定义命题函数中不否定的理解公理。《圣母院形式逻辑杂志》，1（1-2），13-22·Zbl 0116.01002号 ·doi:10.1305/ndjfl/1093956425 [49] T·斯科勒姆（1963）。关于理解公理的研究。《圣母院形式逻辑杂志》，1（1-2），162-170·Zbl 0133.25805号 ·doi:10.1305/ndjfl/1093957573 [50] 斯莱尼，JK（1989）。RWX不是Curry paraconsistent。G.Priest、R.Sylvan和J.Norman（编辑），《次一致逻辑：关于不一致的文章》（第472-480页）。弗拉格哲学·Zbl 0695.03013号 [51] Terui，K.R.B.White文章“Łukasiewicz无限值谓词逻辑中理解公理的一致性”中的一个缺陷。未发布的注释。可从、，http://www.kurims.kyoto-u.ac.jp/terui/b白.pdf。 ·Zbl 0107.00802号 [52] 韦伯，Z（2010）。朴素集理论中的可拓性和限制性。《逻辑研究》，94（1），87-104·Zbl 1200.03021号 ·doi:10.1007/s11225-010-9225-y [53] 怀特，R（1979）。Łukasiewicz的无限值谓词逻辑中理解公理的一致性。《哲学逻辑杂志》，8（1），509-534·兹伯利0418.03037 ·doi:10.1007/BF00258447 [54] 怀特·R（1993）。逻辑中一致的属性理论，没有收缩。《逻辑研究》，52（1），113-142·兹比尔0765.03015 ·doi:10.1007/BF01053067 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。