×
约翰·科科兰

亚里士多德基于规则的基础逻辑原型。 （英语） Zbl 1397.01005号

日志。Univers大学。 12号1-2、9-35（2018）.
这是一篇关于亚里士多德逻辑原型的阐释性论文，作者是亚里士多逻辑无可争议的大师级解释者，面向广大受过教育的读者。本文首先讨论了亚里士多德的证明逻辑、亚里士多的“证明的一般真理和结果理论”以及他的“直接演绎演绎理论”，特别是重新发现基于规则的演绎，而不是基于重言式的演绎。作者对亚里士多德的接受程度以及对他的成就的许多误解提出了批评：“主要的评论家和逻辑历史学家没有注意到，在分析”（第。29）
审核人：维克托·潘布奇（埃里温）

引用于1文件

MSC公司：

01年2月20日 希腊和罗马数学史
00A30型 数学哲学
03-01 关于数学逻辑和基础的介绍性说明（教科书、教程论文等）

关键词：

基于规则的演绎

传记参考：

亚里士多德
PDF格式BibTeX公司 XML格式引用
\textit{J.Corcoran}，日志。Univers大学。12、编号1--2、9--35（2018；Zbl 1397.01005）
全文： 内政部

参考文献：

[1] 亚里士多德：先验分析。收录：Smith，T.R.（编辑）亚里士多德的《先前分析》。哈克特，印第安纳波利斯（1989）
[2] 亚里士多德：后验分析。收录：Mure，T.G.R.G（编辑）McKeon（1947）
[3] 贝丝：数学基础。荷兰北部，阿姆斯特丹（1959年）·Zbl 0085.24104号
[4] 茂物，G；Gabbay，D（编辑）；伍兹，J（编辑），亚里士多德的基本逻辑，（2004），阿姆斯特丹·Zbl 1067.03003号
[5] Boole，G.：思想法则。剑桥麦克米伦出版社（1854/2003）（J.Corcoran再版，导言。水牛城：普罗米修斯出版社）
[6] 奥迪罗伯特。（编辑）：《剑桥哲学词典》。剑桥大学出版社，剑桥（1999）
[7] 科尔科兰，J，《古代逻辑的完整性》，J.Symb。日志。，37, 696-702, (1972) ·Zbl 0261.0204号 ·doi:10.2307/2272415
[8] Corcoran，J.（编辑）：古代逻辑及其现代解释。多德雷赫特·克鲁沃（1974）·Zbl 0274.00002号
[9] 科尔科兰，J，亚里士多德的自然演绎系统，科尔科兰（1974），85-131，（1974）·兹bl 0286.02002年
[10] 科科兰，J，奥克姆的三段论语义学，J.Symb。日志。，57, 197-8, (1981)
[11] Corcoran，J，《亚里士多德归纳法评论》，hintikka 1980，《数学》。修订版，82m，00016，（1982）
[12] Corcoran，J，《演绎与还原：先前分析中的两个证明理论过程》，I，J.Symb。日志。，48, 906, (1983)
[13] Corcoran，J.：《G.Sacceri评论》，欧几里德·维迪卡特斯（1733），G.B.Halsted编辑和翻译，第二版（1986），In:数学评论88j:01013（1988）
[14] Corcoran，J，《论证与逻辑》，《论证》，第3期，第17-43页，（1989年）·doi:10.1007/BF00116415
[15] 《逻辑方法论：亚里士多德和塔斯基》（Logical methodology:aristotle and Tarski，J.Symb）。日志。，57374，（1992年）
[16] 科尔科兰，J，Argumentacions y lógica，阿尔戈拉，13/1，27-55，（1994）
[17] 科尔科兰，J，《逻辑的建立》，Anc。菲洛斯。，14, 9-24, (1994) ·doi:10.5840/cancintphil199414特刊74
[18] 科尔科兰，J；奥迪，R（编辑），逻辑形式，（1999），剑桥
[19] 科尔科兰，J，亚里士多德的先验分析和布尔的思维法则，Hist。菲洛斯。日志。，24, 261-288, (2003) ·Zbl 1044.03001号 ·网址：10.1080/01445340310001604707
[20] Corcoran，J.：引言。收录：普罗米修斯著作，乔治·布尔的思想法则。重印水牛城（2003b）
[21] 科尔科兰，J，《图式：逻辑史上的图式概念》，布尔。符号。日志。，12, 219-40, (2006) ·Zbl 1123.03001号 ·doi:10.2178/bsl/1146620060
[22] Corcoran，J，现有进口，公牛。符号。日志。，13, 143-144, (2007)
[23] 科克伦，J；Lachs，J（编辑）；Talisse，R（编辑），科学革命，（2008），纽约
[24] 科尔科兰，J，亚里士多德的指示逻辑，希斯特。菲洛斯。日志。，30, 1-20, (2009) ·Zbl 1162.03300号 ·网址：10.1080/01445340802228362
[25] 科尔科兰，J，《隐藏的后果和隐藏的独立性》，布尔。符号。日志。，16, 443, (2010)
[26] 科尔科兰，J，《亚里士多德·尤卡西维奇》省略，公牛。符号。日志。，21, 237-238, (2015) ·兹伯利1368.03012 ·doi:10.1017/bsl.2015.2
[27] 科尔科兰，J；哈米德，伊斯兰国；Buchsbaum，A（编辑）；Koslow，A（编辑），《调查知识和观点》，第一期，95-126，（2015），柏林·Zbl 1376.03018号
[28] Corcoran，J.，Tracy，K.：《Joray 2017评论》。数学。修订版MR3681098（2018）
[29] Davenport，H.：高等算术。纽约哈珀（1952/1960）·Zbl 0049.30901号
[30] 《大英百科全书：大英百科》，公司：芝加哥（1980）
[31] 欧几里德：元素。3卷。Heath，T（tr）。纽约：多佛（1956）
[32] 费费曼，A.，费费曼（Feferman，S.）：阿尔弗雷德·塔斯基（Alfred Tarski）：《生活与逻辑》（Life and Logic）。剑桥大学出版社，剑桥（2004）·Zbl 1062.03002号
[33] 弗兰纳里，K.：《通往阿芙罗狄西亚斯的亚历山大的逻辑之路》（Ways into the Logic of Alexander of Aphrodisias）。布瑞尔，莱顿（1995）·doi:10.1163/9789004320840
[34] 盖伦：逻辑研究所。Kieffer，J.（编辑）约翰·霍普金斯大学：巴尔的摩（1964）
[35] Gasser，J.：《自然的Essai et les critères de la preuve》。DelVal版，Cousset（瑞士）（1989年）·Zbl 0715.03001号
[36] Gasser，J，亚里士多德的现代读者逻辑，HPL，12，235-240，（1991）
[37] Heath，T.：《Tr.Euclid的元素》，第3卷。纽约多佛（1908/1925/1956）
[38] 辛提卡，J，亚里士多德归纳法，《国际哲学评论》。，34, 422-439, (1980)
[39] Hughes，R.：一阶逻辑的哲学伴侣。哈克特，印第安纳波利斯（1993）·Zbl 0827.03001号
[40] Jeffrey，R.：形式逻辑。McGraw-Hill，纽约（1967年/1991年）
[41] Joray，Pierre，Robin smith的不完全推理的完整系统，圣母院J.Form.Log。，58, 329-342, (2017) ·Zbl 1380.03016号 ·电话：10.1215/00294527-3882234
[42] 基弗，J.：Tr.Galen’s Instituteo Logica。巴尔的摩约翰霍普金斯大学出版社·Zbl 1044.03001号
[43] 库恩，T.：哥白尼革命。哈佛大学出版社，剑桥（1957）
[44] 库恩，T.：科学革命的结构。芝加哥大学出版社，芝加哥（1962）
[45] Lejewski，C.：逻辑史。收录于：《大英百科全书》，第11卷。大英百科全书公司，芝加哥（1980）·Zbl 0423.03025号
[46] Łukasiewicz，J.：亚里士多德的三段论。牛津大学出版社，牛津（1951/1957）·Zbl 0043.24601号
[47] McKeon，R.：亚里士多德导论。纽约现代图书馆（1947）
[48] 穆勒，I；Rist，JM（编辑），《斯多葛逻辑导论》，1-26，（1978），伯克利
[49] Newman，J.（编辑）：《数学世界》，第4卷。西蒙和舒斯特，纽约（1956年）·兹伯利0072.24301
[50] 皮尔斯：布尔的逻辑演算。皮尔斯1982(1865/1982)
[51] 皮尔斯：《查尔斯·S·皮尔斯的作品：编年史版》，第一卷，印第安纳大学出版社，布卢明顿（1982）·Zbl 1022.01010号
[52] 皮尔斯，C.S.：In:Houser N.，Kloesel C.（编辑）《本质皮尔斯：精选哲学著作》（1867-1893），第一卷，印第安纳大学出版社，布卢明顿（1992）·Zbl 0937.01014号
[53] 皮尔斯，C.S.：In:Houser N.等人（编辑）《本质皮尔斯：哲学文选》（1893-1913）。第二卷。印第安纳大学出版社，布卢明顿（1998）·Zbl 0931.01035号
[54] W.D.罗斯：亚里士多德。Meridian Books，纽约（1923/1959）
[55] W.D.罗斯：亚里士多德的先验和后验分析。牛津大学出版社，牛津（1949）
[56] 斯加比，M.，科西，M.：三段论的后果。摘自：亚里士多德从阿维森纳到黑格尔的论证。伦敦布鲁姆斯伯里（2018）·Zbl 1398.00040号
[57] Smiley，T，什么是三段论？，喷气推进实验室，2136-154，（1973）·Zbl 0259.02005 ·doi:10.1007/BF02115614
[58] Smiley，T，亚里士多德的完备性证明，Anc。菲洛斯。，14, 24-38, (1994)
[59] Smith，R.：引言。在：亚里士多德的先验分析。哈克特，印第安纳波利斯（1989）·Zbl 0726.01003号
[60] 塔斯基，A.：逻辑和演绎科学方法论导论。事务处理。O.赫尔默。纽约多佛（1941/1946/1995）
[61] 塔斯基：真理与证据。科学。1969年6月上午。休斯1993年重印（1969/1993）
[62] 冯·柏拉图，J.：《伟大的形式机器工程：数字时代起源的演绎和计算理论》。普林斯顿大学出版社，普林斯顿（2017）·兹比尔1380.03008 ·doi:10.2307/j.ctt1vwmgx9
[63] Whaley，R.：逻辑要素。詹姆斯·门罗（James Monroe and Co），波士顿和剑桥（1855）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。