×
巴托斯·威考斯基

否定谓语和区别。 （英语） Zbl 07682170号

日志。Univers大学。 17，编号1，103-138（2023）.
摘要：有人认为，作为荒谬含义的否定的直觉主义概念不足以对否定谓语和区别进行实证语义分析。相反，建议将否定谓词证明从理论上解释为亚原子推导失败，并通过诉诸否定谓词来定义区分性——理解为一个限定概念。这一建议是根据直觉双预测亚原子自然演绎系统来阐述的。结果表明，这些系统中的导数是正规化的，并且正规导数具有子表达式（包括子公式）的性质。定义了否定谓词和区分的证明理论语义，提出了基于规范推导的直觉真理概念。以否定预测和明确性为核心的三位一体学说的应用，说明了这些系统及其证明论语义。

MSC公司：

03B20型 经典逻辑子系统（包括直觉逻辑）
03财年03 一般证明理论（包括证明理论语义）

关键词：

身份;直觉逻辑;自然扣除;否定;否定预测;证明理论语义;三位一体
PDF格式BibTeX公司 XML格式引用
\textit{B.Więckowski}，日志。Univers大学。17，编号1，103--138（2023；Zbl 07682170）
全文： DOI程序

参考文献：

[1] Ben-Yami，H.，《量化论据演算》，Rev.Symb。日志。，7, 1, 297-308 (2014) ·Zbl 1345.03053号 ·doi:10.1017/S1755020313000373
[2] Branson，B.，《三位一体逻辑问题没有新的解决方案》，J.Appl。日志。，6, 6, 1051-1092 (2019) ·Zbl 1513.03008号
[3] 布鲁宁，W。；Beinert，W.，Trinitätslehre，Lexikon der katholischen Dogmatik，519-523（1991），牧民：弗莱堡
[4] De，M.，经验否定，《分析学报》。，28, 1, 49-69 (2013) ·doi:10.1007/s12136-011-0138-9
[5] De，M.，Omori，H.：关于经验否定的更多内容。在Goré，Kooi，B.，Kurucz，A.（编辑）《模态逻辑进展》，第10卷，第114-133页。伦敦：学院出版物（2014）·Zbl 1385.03005号
[6] 德·坎波斯·桑兹，W。；Piecha，T。；Schroeder-Heister，P.，《建构语义学、规则的可接受性和皮尔士定律的有效性》，Log。J.IGPL，22，2，297-308（2014）·Zbl 1323.03086号 ·doi:10.1093/jigpal/jzt029
[7] Denzinger，H.：Enchiridon symbolorum definitionum et declarationum de refus fidi et morum/Kompendium der Glaubensbekentnisse und kirchlichen Lehrentscheidungen，P.Hünermann编辑，第37版。弗莱堡·im Breisgau:Herder（1991）【英语：Enchiridon Symbolorum——信仰和道德问题的信条、定义和声明简编】，旧金山：伊格纳修斯出版社（2012）】
[8] Deutsch，H.，Garbacz，P.：相对同一性。在Zalta，E.N.（编辑）《斯坦福大学哲学百科全书》（2018年秋季版）中，https://plato.stanford.edu/archives/fall2018/entries/identity-relative/ (2018)
[9] Dingel，I.，Die Bekenntnischriften der Evangelisch Lutherischen Kirche（2014），《Vandenhoeck und Ruprecht:Vollständige Neuedition》。哥廷根、范登霍克和鲁普勒支
[10] Drago，A.，《尼古拉斯（1401-1464）的三位一体神学中的直觉主义推理》，J.Appl。日志。，6, 6, 1143-1186 (2019)
[11] Dummett，M.，《形而上学的逻辑基础》（1991），剑桥/马萨诸塞州：哈佛大学出版社，剑桥/麻省
[12] 埃文斯，M.，《佩拉尔德斯的罪恶之巅的插图片段：哈莱安MS 3244》，J.Warburg Courtauld Inst.，45，14-68（1982）·doi:10.2307/750966
[13] Francez，N.，《实证语义学》（2015），伦敦：大学出版社，伦敦·Zbl 1433.03001号
[14] Francez，N.，《连接逻辑的观点》（2021），伦敦：大学出版社，伦敦·Zbl 1530.03009
[15] Franks，C.，因此剪掉，Hist。菲洛斯。日志。，31, 4, 349-379 (2010) ·Zbl 1298.03005号 ·doi:10.1080/01445340.2010.522365
[16] 加巴茨，P.，《相对同一性的逻辑》，圣母院J.Form.Log。，43, 1, 27-50 (2002) ·Zbl 1054.03023号 ·doi:10.10305/ndjfl/1071505768
[17] Geach，P.T.：逻辑很重要。牛津：巴兹尔·布莱克威尔（1972）[再版：伯克利和洛杉矶/CA:加利福尼亚大学出版社（1980）]
[18] Gentzen，G.：Untersuchungenüber das logische Schließen I，II，数学。Zeitschrift 39:176-210，405-431（1934/35）[英语：Szabo，M.E.（ed.）The Collected Papers of Gerhard Gentzen，pp.68-131。阿姆斯特丹：北荷兰（1969）]
[19] 霍恩，L.R.：否定的自然史。芝加哥：芝加哥大学出版社（1989）[再版：斯坦福/CA，CSLI出版物（2001）]
[20] Horn，L.R.，Wansing，H.：否定。在Zalta，E.N.（编辑）《斯坦福哲学百科全书》（2020年春季版）中，https://plato.stanford.edu/archives/spr2020/entries/negation网站/ (2020)
[21] Krajewski，S.，Silvestre，R.（编辑）：《上帝的概念》，特刊。J.应用。日志。6(6), (2019)
[22] Krajewski，S.，Trepczyñski，M.（编辑）：《神学话语与逻辑》，特刊，《逻辑学》。Univers大学。13(4) (2019)
[23] 南非克里普克；克罗斯利，J。；达米特，MAE，直觉逻辑的语义分析，形式系统和递归函数，92-130（1965），阿姆斯特丹：North-Holland出版社，阿姆斯特朗·Zbl 0137.00702号 ·doi:10.1016/S0049-237X（08）71685-9
[24] Martin-Löf，P.，直觉主义类型理论（1984），那不勒斯：那不勒斯图书馆·兹比尔0571.03030
[25] Niki，S.，经验否定、共同否定和对位规则I语义研究，布尔。第节。日志。，49, 3, 231-253 (2020) ·Zbl 1477.03026号 ·doi:10.18778/0138-0680.2020.12
[26] 诺德斯特伦，B。；彼得森，K。；Smith，JM，《马丁·洛夫类型理论中的编程》（1990），牛津：克拉伦登出版社，牛津·Zbl 0744.03029号
[27] 巴甫洛维奇，E。；Gratzl，N.，《量化论据演算的实证分析》，Rev.Symb。日志。，12, 4, 607-636 (2019) ·Zbl 1534.03053号 ·doi:10.1017/S1755020318000114
[28] Piecha，T。；Schroeder-Heister，P.，直觉主义命题逻辑关于证明理论语义的不完全性，研究日志。，107, 233-246 (2019) ·Zbl 1532.03085号 ·doi:10.1007/s11225-018-9823-7
[29] 派茶，T。；de Campos Sanz，W。；Schroeder-Heister，P.，《证明理论语义的完备性失败》，J.Philos。日志。，44, 3, 321-335 (2015) ·Zbl 1326.03068号 ·doi:10.1007/s10992-014-9322-x
[30] Prawitz，D.：自然演绎。实证理论研究。斯德哥尔摩：Almqvist和Wiksell（1965）[再版：Mineola/NY，Dover Publications（2006）]·Zbl 0173.00205号
[31] Prawitz，D.，《通过证明接近意义》，Synthese，148，3507-524（2006）·Zbl 1103.03055号 ·doi:10.1007/s11229-004-6295-2
[32] Prawitz，D.：直觉主义中的真理与证明。在Dybjer，P.、Lindström，S.、Palmgren，E.、Sundholm，G.（编辑）《认识论与本体论》中。佩尔·马丁·洛夫关于数学哲学和基础的论文，第45-67页。多德雷赫特：施普林格（2012）·Zbl 1312.03039号
[33] 谢夫勒，美国。；Shramko，Y。；费伊，J。；谢夫勒，美国。；Urchs，M.，《消极事实的逻辑本体论：关于不存在的东西、事实和事件》，《波兹南科学和人文哲学研究》，76-109（2000），阿姆斯特丹：罗德比
[34] Schroeder-Heister，P.：证明理论语义学。在Zalta，E.N.（编辑）《斯坦福大学哲学百科全书》（2018年春季版）中，https://plato.stanford.edu/archives/spr2018/entries/proof-theoretic-semantics/ (2018)
[35] 塞德拉尔，I。；Šebela，K.，一阶逻辑中的项否定，Log。等分析。，247, 265-284 (2019) ·Zbl 1486.03017号
[36] Sinowjew，AA；Wessel，H.，Logische Sprachregeln（1975），柏林：德国维森沙芬出版社，柏林·Zbl 0307.02002号
[37] Sommers，F。；Englebretsen，G.，《形式推理的邀请：术语的逻辑》（2000年），奥尔德肖特：阿什盖特，奥尔德肖·Zbl 1423.03005号
[38] Troelstra，A.S.，van Dalen，D.：数学中的建构主义。导言，第1卷。阿姆斯特丹：爱思唯尔（1988）·Zbl 0653.0304号
[39] Troelstra，AS；Schwichtenberg，H.，《基本证明理论》（2000），剑桥：剑桥大学出版社，剑桥·Zbl 0957.03053号 ·doi:10.1017/CBO9781139168717
[40] Tuggy，D.：三位一体。在Zalta，E.N.（编辑）《斯坦福大学哲学百科全书》（2016年冬季版）中，https://plato.stanford.edu/archives/win2016/entries/trinity/ (2016)
[41] van Dalen，D。；DM Gabbay；Guenthner，F.，直觉主义逻辑，《哲学逻辑手册》，1-114（2002），多德雷赫特：施普林格·Zbl 1002.03001号
[42] van Inwagen，P。；van Inwagen，P.，《然而他们不是三个神，而是一个神、神、知识和神秘》，《伊萨卡》，第222-259页（1995年），康奈尔大学出版社，伊萨卡·doi:10.7591/9781501745324
[43] Wansing，H。；Goble，L.，《否定》，《布莱克威尔哲学逻辑指南》，415-436（2001），牛津：布莱克威尔出版社，牛津·Zbl 1010.03006号
[44] Wansing，H.：Connexive逻辑。在Zalta，E.N.（编辑）《斯坦福大学哲学百科全书》（2020年春季版）中，https://plato.stanford.edu/archives/spr2020/entries/logic-connexive网站/ (2020)
[45] Wansing，H.，Odintsov，S.，Shramko，Y.（编辑）：《建构逻辑中的否定》，特刊，《研究日志》。80(2-3), (2005)
[46] Więckowski，B.，《亚原子推导规则》，Rev.Symb。日志。，4, 2, 219-236 (2011) ·Zbl 1252.03125号 ·doi:10.1017/S175502031000033X
[47] Więckowski，B.，《具有非本原身份的自然主义一阶语言的亚原子自然演绎》，J.Log。语言信息，25，2，215-268（2016）·Zbl 1396.03110号 ·doi:10.1007/s10849-016-9238-7
[48] Więckowski，B.，亚原子否定，J.Log。语言信息，30,1207-262（2021）·Zbl 1496.03030号 ·doi:10.1007/s10849-020-09325-4
[49] Więckowski，B.：信念和知识的直觉主义多智能体亚原子自然演绎，J.Log。计算。31(3): 704-770. A.Ciabattoni、D.Galmiche、N.Olivetti和R.Ramanayake编辑的《非经典逻辑的外部和内部演算》专刊，（2021）·Zbl 07398772号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。