×
科德斯，莫里茨;弗里德里希·雷蒙特

自然演绎线性计算中的注释和言外表达。 （英语） Zbl 1417.03129号

日志。日志。菲洛斯。 26，第2期，163-196（2017）.
摘要：我们认为，在常用的自然演绎线性演算中，对注释的需求与“删除”表达命题作为理由、假设或推断命题的言外表达有关。我们首先分析了一些普通计算中非正式证明的形式化，这些计算没有形式化自然语言的言外表达，并表明在这些计算中，示例证明的形式依赖于与原始证明没有对应的注释装置。然后，我们提出了一种线性自然演绎演算，该演算利用了形式化的言外表达，从而保证了派生词的独特可读性，从而表明形式化的言外表达可以消除注释的需要。

引用于1文件

MSC公司：

03B22号 抽象演绎系统
03B65号 自然语言逻辑
03年3月 一般证明理论（包括证明理论语义）
03A05号 逻辑和基础的哲学和批判性方面

关键词：

自然扣除;逻辑的应用;形式化

软件：

LPL软件
PDF格式BibTeX公司 XML格式引用
\textit{M.Cordes}和\textit{F.Reimuth}，日志。日志。菲洛斯。26，No.2，163--196（2017；Zbl 1417.03129）
全文： DOI程序

参考文献：

[1] Barwise，J.和J.Etchemendy，《语言、证明和逻辑》，CSLI出版社，加利福尼亚州斯坦福市，2002年·Zbl 0858.0302号
[2] Church，A.，《数理逻辑导论》，普林斯顿大学出版社，新泽西州普林斯顿，1956年·Zbl 0073.24301号
[3] Cordes，M.，“Freges Urteilslehre.Ein in der Logik vergessense Lehrstück der Analytischen Philosophie”，第二十三期。《德国康格列斯福尔哲学》，穆斯特出版社，2014年
[4] Cordes，M.和F.Reimuth，《言语行为微积分》。实用自然演绎演算及其元理论，2011
[5] Cordes，M.和F.Reimuth，“Ein Redehandlungskalkül:Folgern in einer Sprache”，二十二。《德国康格里斯哲学》，Sektion Logik，慕尼黑，2011年
[6] Dutilh Novaes，C.，“逻辑规范性的对话式多主体解释”，Dialectica，69，4（2015）：587-609。内政部：
[7] 艾宾浩斯，H.-D.，J.弗鲁姆和W.托马斯，《数学逻辑》。1994年，纽约斯普林格大学数学本科生教材。内政部：·Zbl 0795.03001号
[8] Fitch，F.B.，《符号逻辑》。《导言》，罗纳德出版社，纽约，1952年·Zbl 0049.00504号
[9] Frege，G.，Begriffsschrift。埃因·德·算术（Eine der arithmetischen nachgebildete Formelsprache des reinen Denkens），内伯特，哈雷·d·萨尔，1879年
[10] Gentzen，G.，“Untersuchungenüber das logische Schließen I”，《数学杂志》，39，2（1934）：176-210·Zbl 0010.14501号
[11] Gentzen，G.，“Die Widerspruchsfreiheit der reinen Zahlenthorie”，《数学年鉴》，112（1936）：493-565
[12] Harman，G.，“内部批判。逻辑不是推理理论，推理理论不是逻辑”，D.M.Gabbay、R.H.Johnson、H.J.Ohlbach和J.Woods（编辑）《论证和推理逻辑手册》第171-186页。《转向实用》，爱思唯尔出版社，阿姆斯特丹，2002年·Zbl 1038.03506号
[13] Hinst，P.，“Pragmatische Regeln des logischen Argumentierens”，第199-215页，C.F.Gethmann（编辑），Logik und Pragmetik，Suhrkamp，Frankfurt am Main，1982年
[14] Indrzejczak，A.，“Ja she kowski和Gentzen对自然演绎和相关系统的方法”，第253-264页，收录于：K.Kijania-Placek和J.Woleñski（编辑），《利沃沃索学派和当代哲学》，Kluwer学术出版社，多德雷赫特，1998年·Zbl 0967.03001号
[15] Indrzejczak，A.，《自然演绎、混合系统和模态逻辑》，施普林格，多德雷赫特朗顿，2010年。内政部：·兹比尔1236.03002
[16] Ja sh kowski，S.，“形式逻辑中的假设规则”，Studia Logica，1（1934）：5-32·Zbl 0011.09702号
[17] Kalish，D.、R.Montague和G.Mar，《逻辑》。形式推理技术，Harcourt Brace Jovanovich，加州圣地亚哥，1980年
[18] Lemmon，E.J.，《开端逻辑》，Chapman&Hall/CRC，佛罗里达州博卡拉顿，1965年
[19] Link，G.，后勤学院。《逻辑与哲学》，第1卷，。曼蒂斯，帕德博恩，2009年
[20] 麦克法兰，J.，“逻辑在什么意义上（如果有的话）是思维的规范？”，2004年
[21] Meggle，G.和G.Siegwart，“Der Streit um Bedeutungsthorien”，第964-989页，D.Gerhardus，K.Lorenz，G.Meggle和M.Dascal（编辑），斯普拉奇哲学。Ein internationales Handbuch zeitgenössischer Forschung，下半卷，德格鲁伊特，柏林，1996年
[22] Pelletier，F.J.，“自然演绎简史”，《逻辑史与哲学》，20，1（1999）：1-31。内政部：·Zbl 1052.03517号
[23] Pelletier，F.J.，“自然演绎和基本逻辑教科书的历史”，J.Woods和B.Brown（编辑），《逻辑后果：竞争方法》第105-138页。《1999年精确哲学学会会议录》，赫尔墨斯科学出版社，牛津，2001年
[24] Prawitz，D.，《自然演绎：实证理论研究》。多佛数学图书，多佛出版社，纽约州米诺拉，1965年·Zbl 0173.00205号
[25] Reimuth，F.，“Logische Rekonstruktion.Ein解释学Traktat”，格雷夫斯瓦尔德大学博士论文，2014年
[26] Reimuth，F.和G.Siegwart，“推理行为和推理规则。逻辑的内在规范性”，Analyse&Kritik，38，2（2016）：417-432。内政部：
[27] Siegwart，G.、Vorfragen zur Wahrheit。Ein Traktatüber认知Sprachen，奥尔登堡，慕尼黑，1997
[28] Siegwart，G.，“Alethic行为和alethiological反思。真理的建设性哲学概述”，G.Siegward和D.Greimann（编辑），《真理与言论行为》第41-58页。《语言哲学研究》，劳特利奇出版社，纽约，2007年
[29] Siegwart，G.（与M.Cordes和F.Reimuth合作），Denkwerkzeuge。格列夫斯瓦尔德大学Eine Vorschule der Philosophie，2015年
[30] Suppes，P.，《逻辑导论》，多佛出版社，纽约州米诺拉，1957年·Zbl 0077.01105
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。