雅罗斯拉夫·什兰科;海因里希·瓦辛 隐含的本质：一种信息方法。 （英语） Zbl 1525.03082号 合成 198，补遗22，S5241-S5261（2021）; 更正同上，198，补编22，5263-5264（2021）。 摘要：在本文中，我们基于我们所称的隐含概念阿克曼原理它根据句子的信息内容，通过句子之间的逻辑连接来解释有效的蕴涵。我们在Restall方法的基础上，通过引入“位置描述”的概念，重建了Dunn的隐含信息语义，将断言和否认作为两个独立的（主要的）言语行为。我们展示了如何有效地使用位置描述机制来定义特定语言句子所携带的积极和消极信息，并将阿克曼原则的形式化版本作为结论的信息内容和有效前提之间的包含关系来表示牵连。经过这样的解释，蕴涵关系表现出某些性质，包括及物性（以及更广泛地说，切割规则的可接受性）。虽然安德森和贝尔纳普的变量共享属性或帕里的禁止原则等属性通常被认为是对有效蕴涵的相关性要求，但阿克曼原则的建议形式化支持根岑的所有结构规则，包括弱化、，关联逻辑的顺序式证明系统中通常放弃的规则。通过这种方式，我们提出了一种阿克曼式的解释，即隐含的本质是句子信息内容之间的关系。 引用于1审查引用于1文件 MSC公司： 03B47号 子结构逻辑（包括关联、蕴涵、线性逻辑、Lambek微积分、BCK和BCI逻辑） 关键词：蕴含关系;阿克曼原理;信息性内容;结构推理规则 PDF格式BibTeX公司 XML格式引用 \textit｛Y.Shramko｝和\textit｛H.Wansing｝，合成198，S5241——S5261（2021；Zbl 1525.03082） 全文： 内政部 参考文献： [1] Ackermann，W.，Begründung einer stringgen Implikation，《符号逻辑杂志》，21113-128（1956）·Zbl 0072.00106号 [2] Almukdad，A。；Nelson，D.，《可构建虚假谓词和不精确谓词》，《符号逻辑杂志》，49，231-233（1984）·Zbl 0575.03016号 [3] 安德森，AR；新泽西州贝尔纳普，《牵涉：相关性和必要性的逻辑》（1975），新泽西州普林斯顿：普林斯顿大学出版社，新泽西普林斯顿·Zbl 0323.02030号 [4] 阿什比，WR，《控制论导论》（1956），纽约：威利，纽约·Zbl 0071.12303号 [5] Bar-Hillel，Y。；Carnap，R.，《语义信息》，《英国科学哲学杂志》，第4期，第147-157页（1953年） [6] Barwise，J。；佩里，J.，《形势的转变与态度的动摇：对巴韦斯和佩里的采访》，《语言学与哲学》，第8期，第105-161页（1985年）·Zbl 0557.0302号 [7] 加利福尼亚州Baylis，《暗示与包容》，Monist，41，392-399（1931） [8] 贝尔纳普，ND，《显示逻辑》，《哲学逻辑杂志》，第11期，第375-417页（1982年）·Zbl 0509.03008号 [9] 布兰莎德，B.，《思想的本质》（1939），伦敦：艾伦和安文出版社，伦敦 [10] Blasio，C。；马科斯，J。；Wansing，H.，推理多值二维蕴涵概念，《逻辑学杂志》，46，233-262（2017）·Zbl 1423.03068号 [11] Brillouin，L.，《科学不确定性和信息》（1964），纽约：学术出版社，纽约·Zbl 0184.54001号 [12] 伯吉斯，J.，《哲学逻辑》（2009），普林斯顿：普林斯顿大学出版社，普林斯顿·Zbl 1220.03005号 [13] Carnap，R.和Bar-Hillel，Y.（1952年）。语义信息理论概述。麻省理工学院电子研究实验室，技术报告，第247号·Zbl 0282.94023号 [14] 科布雷罗斯，P。；埃格雷，P。；雷普利，D。；van Rooij，R.，《宽容、经典、严格》，《哲学逻辑杂志》，第41期，第347-385页（2012年）·兹比尔1243.03038 [15] Cockett，JRB公司；西利，RAG；Landry，E.，切割规则的证明理论，在职哲学家的分类，223-261（2017），牛津：牛津大学出版社，牛津·兹比尔1496.03228 [16] 德·M。；Omori，H.，《否定多于情态》，《哲学逻辑杂志》，47281-299（2018）·Zbl 1436.03032号 [17] Došen，K.，序列系统和广群模型I，Studia Logica，47353-389（1988）·Zbl 0671.03018号 [18] 多森，K。；Chiara，MLD，《逻辑结果：风格、逻辑和科学方法的转变：第十届国际逻辑、方法论和科学哲学大会第一卷》，289-312（1997），多德雷赫特：施普林格·Zbl 0906.03055号 [19] 邓肯-琼斯，AE，严格暗示与暗示相同吗？，分析，270-78（1935） [20] Dunn，J.M.（1966）。内涵逻辑的代数。博士论文。匹兹堡大学，安娜堡大学缩微胶片。 [21] 邓恩，JM，一级蕴涵和耦合树的直观语义，哲学研究，29149-168（1976）·Zbl 1435.03043号 [22] 邓恩，JM；加巴伊，D。；Guenthner，F.，《关联逻辑和蕴涵》，《哲学逻辑手册》，第三卷。经典逻辑的替代品。Synthese library，117-224（1986），多德雷赫特：D.Reidel Publishing Company，多德雷赫特·Zbl 0875.03051号 [23] 邓恩，JM；周，C.，《盖格尔理论背景下的否定》，Studia Logica，80，235-264（2005）·Zbl 1097.03015号 [24] 爱泼斯坦，R.，《关系与暗示》，《哲学研究》，第29期，第149-168页（1979年） [25] 弗格森，TM，《形式逻辑中的意义和禁止》。威廉·帕里（William T.Parry）（2017）的命题逻辑变体，《多德雷赫特：施普林格》，多德雷希特·Zbl 1441.03002号 [26] Font，JM，Belnap的四值逻辑和De Morgan格，IGPL的逻辑杂志，5413-440（1997）·Zbl 0871.03012号 [27] Frankowski，S.，《似是而非推理的形式化》，《逻辑部分公报》，33，41-52（2004）·Zbl 1060.03027号 [28] Geach，PT，Entailment，《亚里士多德学会会刊》，32，157-172（1958） [29] Gentzen，G.，Untersuchungenüber das logische Schließen。一、 Mathematische Zeitschrift，39，176-210（1935） [30] 黑客，我，什么是逻辑？，《哲学杂志》，76285-319（1979）·Zbl 0418.03001号 [31] 赫兹，P.，Über Axiomensysteme für beliebige Satzsysteme，Mathematicsche Annalen，101，457-514（1929） [32] Horn，L.R.和Wansing，H.（2017）。否定。E.N.Zalta（编辑），斯坦福大学哲学百科全书（2017年春季版）。https://plato.stanford.edu/archives/spr2017/entries/negation/。 [33] Humberstone，L.，《拒绝否定的复兴》，《哲学逻辑杂志》，29，331-381（2000）·Zbl 0962.03005号 [34] Iemhoff，R.，结果关系和可接受规则，《哲学逻辑杂志》，45，327-348（2016）·Zbl 1392.03021号 [35] Ilić，M.，《无收缩相关逻辑的证明理论分析》，国际数学虚拟学会公报，6，1-11（2016）·Zbl 1446.03104号 [36] 以色列，D。；佩里，J。；Hanson，PP，什么是信息？，信息、语言和认知，1-19（1990），温哥华：不列颠哥伦比亚大学出版社 [37] 克莱恩，SC，数学逻辑（1967），纽约：威利，纽约·Zbl 0149.24309号 [38] W.Kneale。；Kneale，M.，《逻辑的发展》（1962），伦敦：达克沃思出版社，伦敦·Zbl 0100.00807号 [39] 刘易斯，CI，《关于物质含义的问题》，《哲学杂志》，第14期，第350-356页（1917年） [40] Lewy，C.，Entailment，《亚里士多德学会会刊》，32，123-142（1958） [41] Ło shi，J。；Suszko，R.，关于句子逻辑的评论，Indagationes mathematicae，20177-183（1958）·Zbl 0092.24802号 [42] Mares，E.，《相关逻辑与信息理论》，Synthese，109，345-360（1996）·Zbl 0934.03029号 [43] E.马雷斯。；Paoli，F.，《逻辑结果与悖论》，《哲学逻辑杂志》，第43期，第439-469页（2014年）·Zbl 1302.03021号 [44] Martin，B.，《拒绝主义与务实矛盾的挑战》，《争议》，第43期，第253-268页（2016年） [45] McCall，S。；安德森，AR；北卡罗来纳州贝尔纳普，《牵连含义》，第29.8条，牵连。相关性和必要性的逻辑，434-446（1975），普林斯顿：普林斯顿大学出版社，普林斯顿 [46] McCall，S。；Gabbay，DM，联系史，逻辑史手册。《逻辑：其核心概念的历史》，415-449（2012），阿姆斯特丹：爱思唯尔出版社·Zbl 1348.03006号 [47] Nelson，EJ，意向关系，心智，39440-453（1930） [48] Paoli，F.，《子结构逻辑：入门》（2002），纽约：施普林格，纽约·Zbl 1025.03002号 [49] 牧师，G。；DM Gabbay；Guenthner，F.，超一致逻辑，《哲学逻辑手册》，287-393（2002），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 1055.03001号 [50] Read，S.，《相关逻辑：推理的哲学检验》（1988），纽约：威利出版社，纽约 [51] Restall，G。；塞利格曼，J。；Westerstáhl，D.，《信息流和相关逻辑、逻辑、语言和计算》，463-477（1996），斯坦福：CSLI出版社，斯坦福·Zbl 0877.03015号 [52] Restall，G.，《子结构逻辑导论》（2000），伦敦：Routege出版社，伦敦·Zbl 1028.03018号 [53] Restall，G。；Hájek，P。；Valdés-Villanueva，L。；Westerstáhl，D.，《科学的多结论、逻辑、方法论和哲学：第十二届国际大会论文集，189-205（2005）》，伦敦：大学出版社，伦敦·Zbl 1105.03011号 [54] Restall，G.，《真理值与证明理论》，Studia Logica，92，241-264（2009）·Zbl 1191.03042号 [55] Restall，G。；田中，K。；贝托，F。；E.马雷斯。；Paoli，F.，断言、否认和非经典理论，超一致性：逻辑和应用，81-100（2013），多德雷赫特：施普林格 [56] Ripley，D.，《随遇而安》，Topoi，34岁，25-36岁（2015）·Zbl 1382.03078号 [57] Routey，R.，《连接逻辑的语义》。一、 Studia Logica，37，393-412（1978）·Zbl 0405.03009号 [58] Routey，R。；劳特利，V.，《一级蕴涵的语义》，《诺斯》，第6335-359页（1972）·Zbl 1366.03122号 [59] 谢夫勒，美国。；Shramko，Y。；Wuttich，K。；Schefler，U.，Eine Generelle Informationssmantik für Systeme der logischen Folgebeziehung，Terminigebrauch und FolgeBeziehung229-247（1998），柏林：Logos，柏林·Zbl 1007.03505号 [60] Schroeder-Heister，P.，《解析与结构推理的起源：赫兹和根岑的早期证明理论思想》，符号逻辑公报，82246-265（2002）·兹比尔1005.03004 [61] Shramko，Y。；Childers，T.，《美国直觉主义逻辑计划1：直觉背景》，《逻辑学年鉴》1999，53-64（2000），布拉格：费洛索菲亚，布拉格 [62] Shramko，Y。；瓦辛，H，真理与谬误。《广义逻辑值探究》（2011），柏林：施普林格出版社，柏林·Zbl 1251.03002号 [63] Tennant，N.，《反现实主义和逻辑》（1987），牛津：克拉伦登出版社，牛津 [64] Tennant，N.，《核心逻辑》（2017），牛津：牛津大学出版社，牛津·Zbl 1386.03001号 [65] Voishvillo，EK，逻辑关联理论，《逻辑与分析》，155-156207-228（1996）·Zbl 0973.03027号 [66] Wansing，H.（2016）。连接逻辑。E.N.Zalta（编辑），斯坦福大学哲学百科全书（2016年春季版）。https://plato.stanford.edu/archives/spr2016/entries/logic-connexive/。 ·Zbl 1107.03017号 [67] Wansing，H.，《信息结构的逻辑》。AI 681（1993）中的Springer课堂讲稿，柏林：Springer，柏林·Zbl 0788.03001号 [68] Wansing，H.，正规模态命题逻辑的序列系统，逻辑与计算杂志，4125-142（1994）·Zbl 0799.03014号 [69] Wansing，H.，《显示模态逻辑》（1998），多德雷赫特：Kluwer学术出版社，多德雷赫特·Zbl 0955.03006号 [70] Wessel，H.，Logik（1998），柏林：Logos Verlag，柏林 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。