×
米歇尔·克鲁贝利;马修·马里恩;佐伊·麦康纳;沙希德·拉赫曼

辩证法全知格言和埃克提斯。 （英文） Zbl 1427.03013号

历史。菲洛斯。日志。 40，第3期，207-233（2019）.
摘要：在这篇论文中，我们对亚里士多德的《论语》中当前的论语方法进行了详细的评论前分析篇为了激发一种新的方法，该方法建立在第二作者和H.吕克特[同上37，第3号，201–229（2016年；Zbl 1384.03010号)]在上全知格言这种方法将亚里士多德的作品置于辩证法的语境中，并使用洛伦岑的对话逻辑，在此将马丁·洛夫的建构型理论重新定义为“内在推理”。然后我们为后者提供了三段论规则，并提供了\（e）-转换的证明，Darapti公司和博卡尔多和（e）-次交替，同时显示这些证明与亚里士多德的文本有多么接近。

MSC公司：

03A05号 逻辑和基础的哲学和批判性方面
03-03 数学逻辑和基础的历史
01A20号 希腊和罗马数学史

引文：

Zbl 1384.03010号
PDF格式BibTeX公司 XML格式引用
\textit{M.Crubellier}等人，历史。菲洛斯。日志。40，第3号，207--233（2019；Zbl 1427.03013）
全文： 内政部

参考文献：

[1] Barnes，J.，Truth等（2007），牛津：克拉伦登出版社，牛津
[2] Beth，E.W.，Un ber Lockes“Allgemeines Drieck”，康特·斯图迪安，48，361-80（19567）
[3] Beth，E.W。；辛提卡，J.，《语义蕴涵和形式可导性》，《数学哲学》（1969），牛津：牛津大学出版社，牛津·Zbl 0181.29501号
[4] Beth，E.W.，《现代逻辑方面》（1970），多德雷赫特：D.Reidel，Dordrecht·Zbl 0209.00602号
[5] Beth，E.W。；Piaget，J.，《数学认识论和心理学》（1966年），多德雷赫特：D.Reidel，多德莱赫特·兹伯利0165.30104
[6] Brandom，R.，Making it Explicit（1994），马萨诸塞州剑桥：哈佛大学出版社，马萨诸塞诸塞州坎布里奇
[7] Castelnérac，B。；马里恩，M。；Primiero，G。；拉赫曼（Rahman，S.），《争论不一致：学院中的辩证游戏》，《知识行为：历史、哲学和逻辑》，37-76（2009），伦敦：大学出版社，伦敦
[8] Chantraine，P.，Etures sur le vocabulaire grec（1956），巴黎：Klincksieck，巴黎
[9] Corcoran，J.，《古代逻辑的完整性》，符号逻辑期刊，37696-702（1972）·Zbl 0261.0204号 ·doi:10.2307/2272415
[10] Crubellier，M.，Du阴沟炎au三段论，《Revue哲学》，1/2011，17-36（2011）
[11] Crubellier，M.，亚里士多德。预处理分析物。引言、导言、注释、评论和参考书目par Michel Crubellier（2014），巴黎：Flamarion，巴黎
[12] Ebbinghaus，K.，Ein formales Modell der Syllogistik des Aristotels（1964），哥廷根：范登霍克和鲁普雷希特
[13] Ebert，T。；Nortmann，U.，《亚里士多德：分析》，Buch I（2007），柏林：Akademie Verlag出版社，柏林
[14] 艾纳森，B.，《关于亚里士多德逻辑中的某些数学术语》，《美国语言学杂志》，第57期，第151-72页（1936年）·doi:10.2307/289829
[15] Granström，J.G.，《直觉主义类型理论论》（2011），多德雷赫特：施普林格·Zbl 1246.03005号
[16] Heath，S.T.，《希腊数学史》（1921），牛津：克拉伦登出版社，牛津
[17] Hintikka，J.，《逻辑、语言游戏和信息》。《逻辑哲学中的康德主题》（1973），牛津：克拉伦登出版社，牛津·Zbl 0253.02005号
[18] Hintikka，J.，《知识与已知》（1991年），多德雷赫特：科鲁沃，多德莱赫特
[19] 辛提卡，J.，《苏格拉底式提问、逻辑和修辞》，《国际哲学评论》，47，5-30（1993）
[20] 辛提卡，J。；Auxier，R.E。；Kahn，L.E.，《知识分子自传》，《Jaakko Hintikka的哲学》，1-84（2006），伊利诺伊州拉萨尔：公开法庭，拉萨尔
[21] 辛提卡，J。；Remes，U.，《分析方法》。《其几何起源及其一般意义》（1974年），多德雷赫特：D.Reidel，Dordrecht·Zbl 0344.01002号
[22] Joray，P.，《罗宾·史密斯的不完全Ecthetic三段论的完整系统》，《圣母院形式逻辑杂志》，58，329-42（2017）·Zbl 1380.03016号 ·电话：10.1215/00294527-3882234
[23] Kapp，E.，《传统逻辑的希腊基础》（1942），纽约：哥伦比亚大学出版社，纽约
[24] W.Kneale。；Kneale，M。；斯特恩，S.M。；Hourani，A.，《繁荣的命题和论据，伊斯兰哲学和古典传统，189-207年（1972年）》，牛津：卡西尔出版社，牛津
[25] Lorenz，K。；Marciszewski，W.，对话逻辑，《应用于语言研究的逻辑词典》，117-25（1981），海牙：Martinus Nijhoff，海牙
[26] Lorenzen，P.，Einführung在《逻辑与数学》（1955）中的作品，柏林：施普林格，柏林·Zbl 0068.00801号
[27] Lorenzen，P.，《形式逻辑》（1967），柏林：德格鲁伊特出版社，柏林·Zbl 0121.25206号
[28] Lorenzen，P.和Lorenz，K.1978。Dialogische Logik公司达姆施塔特：Wissenschaftliche Buchgesellschaft·Zbl 0435.03011号
[29] Łukasiewicz，J.，《从现代形式逻辑的角度看亚里士多德的三段论》（1957），牛津：克拉伦登出版社，牛津·Zbl 0043.24601号
[30] Maier，H.，Die Syllogistik des Aristotels II.1:Formenlehre und Technik des Syllogismus&II.2:Die Entstehung der Aristotelischen Logik（1900），杜宾根：劳普，杜宾恩
[31] Malink，M.，《先前分析》1.1-22中的TΩI与TΩN，《经典季刊》，58，519-36（2008）·doi:10.1017/S000983880800608
[32] Malink，M.，亚里士多德的模态三段论（2013），马萨诸塞州剑桥：哈佛大学出版社，马萨诸塞诸塞州坎布里奇·Zbl 1358.03002号
[33] 马里恩，M。；马杰尔，O。；彼得雷宁，A.-V。；Tulenheimo，T.，为什么要玩逻辑游戏？，《逻辑与游戏，基础视角》，3-26（2009），《多德雷赫特：施普林格》，多德雷希特·Zbl 1169.03010号
[34] 马里恩，M。；马里恩，M。；Primiero，G。；Rahman，S.，《游戏语义与表现论论文》，《另类逻辑时代的现实主义-反现实主义之争》，151-80（2011），多德雷赫特：施普林格
[35] Marion，M.和Les arguments de Zénon selon le帕尔梅内德德柏拉图，对话，53，393-434（2014）·网址：10.1017/S0012217314000961
[36] 马里恩，M。；Rückert，H.，《亚里士多德关于普遍量化：从博弈语义学的角度进行的研究》，《逻辑的历史与哲学》，37201-29（2016）·Zbl 1384.03010号 ·doi:10.1080/01445340.2015.1089043
[37] Martin-Löf，P.，直觉主义类型理论（1984），那不勒斯：那不勒斯图书馆·Zbl 0571.03030号
[38] 米格努奇（Mignucci，M.）。；安吉列利，I。；塞雷佐，M.，亚里士多德的谓词理论，《逻辑史研究》，1-20（1996），柏林：德格鲁伊特出版社，柏林
[39] Mignucci，M.，部分，量化和亚里士多德预测，莫尼斯特，83，3-21（2000）·doi:10.5840/monist20008311
[40] Morison，B.，Aristotle等，Phronesis，53，209-22（2008）·doi:10.1163/156852808X299034
[41] Parsons，T.，《清楚地表达中世纪逻辑》（2014），牛津：牛津大学出版社，牛津·Zbl 1302.03002号
[42] Patzig，G.，《亚里士多德的三段论理论：对先前分析学A卷的逻辑哲学研究》（1968年），多德雷赫特：雷德尔·Zbl 0185.00501号
[43] 佩雷格林，J.，《推理》。《规则为何重要》（2014），《贝辛斯托克斯：帕尔格雷夫·麦克米伦》，贝辛斯托克出版社
[44] Rahman，S.、Klev，A.、Mcconaughey，Z.和Clerbout，N.2018。间接推理或行动中的平等。游戏级别的格子查姆：斯普林格·Zbl 1403.03003号
[45] Ross，W.D.，亚里士多德的前后分析。W.D.Ross（1949）《修订文本及导言和评论》，牛津：克拉伦登出版社，牛津
[46] Ross，W.D.，亚里士多德（1949），伦敦：Methuen&Co，伦敦
[47] Smiley，T.，三段论和量化，符号逻辑杂志，27，58-72（1962）·Zbl 0121.01004号 ·doi:10.2307/2963679
[48] Smiley，T.，什么是三段论？，哲学逻辑杂志，2136-54（1973）·Zbl 0259.02005 ·doi:10.1007/BF02115614
[49] Smith，R.，什么是亚里士多德学说？，逻辑历史与哲学，3113-27（1982）·数字对象标识代码：10.1080/01445348208837035
[50] Smith，R.，演绎三段论的完备性，《圣母院形式逻辑杂志》，24224-32（1983）·Zbl 0476.03004号 ·doi:10.1305/ndjfl/1093870312
[51] Smith，R.，亚里士多德，先验分析（1989），印第安纳波利斯：哈克特，印第安纳波利斯·Zbl 0726.01003号
[52] Stekeler-Weithofer，P.，《逻辑的问题：元素einer Kritik der formalen Vernunft》（1986），柏林：德格鲁伊特出版社，柏林
[53] Striker，G.，亚里士多德的先验分析。第一册（2009），牛津：牛津大学出版社，牛津
[54] Sundholm，G.，《推理与结果》，重温：推理、结果、条件、暗示，综合，187943-56（2012）·Zbl 1275.03061号 ·doi:10.1007/s11229-011-9901-0
[55] Sundholm，G.2013年。”在研讨会上发表的演讲：“相互干扰语言中的推理和结果”证明理论与哲学2005年12月3日至5日，格罗宁根。
[56] Tannery，P.，亚里士多德，Météorologie livre III，ch.v，Revue de philologie，de littérature et d’historie ancinnes，10，38-46（1886）
[57] Thom，P.，Ekthesis，Logique et Analyse，19，299-310（1976）·Zbl 0369.02008
[58] Thom，P.，《三段论》（1981），《慕尼黑：哲学》，慕尼黑·Zbl 0471.03005号
[59] Tricot，J.，亚里士多德，Organon III Les Premiers analytiques（1971），巴黎：弗林，巴黎
[60] Vitrac，B.，Note Textuelle sur-un（Problème de）Lieu géométrique dans les météorologiques d'Aristote（III.5，375 B 16-376 B 22），《精确科学史档案》，56，239-83（2002）·Zbl 0998.01003号 ·doi:10.1007/s004070100046
[61] 冯·柏拉图，J.2009。”亚里士多德的演绎逻辑：一项实证理论研究，2009年5月在乌普萨拉马丁·洛夫研讨会上发表，未发表手稿。
[62] 冯·柏拉图，J.，《逻辑推理的要素》（2013），剑桥：剑桥大学出版社，剑桥·兹比尔1291.03004
[63] Wolff，M.，《亚里士多德的三段论》中的普林齐皮恩与阐发者贝韦斯，《哲学与逻辑分析》，131-69（1998）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。