洛伦佐·马格纳尼 使逻辑自然化。 （英语） Zbl 1311.03021号 J.应用。日志。 13，第1期，13-36（2015）. 摘要：全面修订主流逻辑是一项亟待完成的任务。这一修订将能够使逻辑与认知科学创造性地和解。这可以通过尝试做四十多年前奎因和其他人试图做的认识论逻辑来实现。有必要提出人类推理逻辑的“自然化”。本文探讨了归化过程可能如何进行，以及它可能实现的一些指示。为了帮助读者理解逻辑的归化，我将利用我自己对诱拐概念的研究，这证明了由于所谓的EC-model（生态认知模型）而确认结果的谬误，以及最近出版的《推理错误：将推理逻辑自然化》（Errors of reasonation：naturalizing the logic of inference.London:College Publications（2013））一书的积极认知价值J.伍兹虽然本文的目的当然是促进逻辑自然化的研究计划，但它还进一步提倡在逻辑研究计划中放置诱拐，并强调我们当代的哲学和逻辑传统在多大程度上得益于查尔斯·桑德斯·皮尔斯，思想家经常因其生产力而受到赞扬，但其质量和重要性却经常被忽视。 引用于三文件 MSC公司： 03A05号 逻辑和基础的哲学和批判性方面 03B60号 其他非经典逻辑 关键词：逻辑自然化；绑架；生态认知模型；谬论；皮尔士哲学 软件：LUPS公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Magnani}，J.应用。日志。13，第1号，13-36（2015；Zbl 1311.03021） 全文： 内政部 参考文献： [1] （Albertazzi，L.；van Tonder，G.J.；Vishwanath，D.，《超越推理的感知：视觉过程的信息内容》（2011），麻省理工学院出版社：麻省理工学学院出版社，马萨诸塞州剑桥） [2] Alferes，J.J。；布罗基，A。；Leite，J.A。；Pereira，L.M.，进化逻辑程序，（Flesca，S.；Greco，S.；Leone，N.；Ianni，G.，第八届欧洲人工智能逻辑会议论文集。第八届欧洲人工智能逻辑会议论文集，JELIA'02（2002），施普林格：施普林格-海德堡/柏林），50-61·Zbl 1014.68534号 [3] Alferes，J.J。；克诺尔，M。；Wang，K.，《建立良好语义下的遗忘》，（Cabalar，P.；Son，T.，《逻辑编程和非单调推理》，《逻辑程序设计和非单调理性》，《Lect.Notes计算科学》，第8148卷（2013年），施普林格：施普林格-柏林/海德堡），第36-41页·Zbl 1405.68336号 [4] Alferes，J.J。；佩雷拉，L.M。；Przymusinska，H。；Przymusinski，T.C.，Lups-一种用于更新逻辑程序的语言，Artif。智力。，138, 1-2 (2002) ·Zbl 0995.68023号 [5] Aliseda，A.，《寻求解释：逻辑、科学哲学和人工智能中的诱拐》（1997），逻辑、语言和计算研究所：阿姆斯特丹逻辑、语言与计算研究所，博士论文 [6] Aliseda，A.，《诱因推理：发现和解释的逻辑研究》（2006），《施普林格：施普林格柏林》·Zbl 1107.03300号 [7] Angius，N.，《面向自动化软件测试中基于模型的诱因推理》，Log。J.IGPL，21、6、931-942（2013） [8] 班纳吉，B.，《绘制群体运动图的分层溯因推理框架》，Log。J.IGPL，第14、2、363-378页（2006年）·兹比尔1103.68668 [9] Bardone，E。；Magnani，L.，《八卦谬论的吸引力及其生态根源》，Pragmat。认知。，18, 2, 365-396 (2010) [10] Berto，F.，《推理错误评论：推理逻辑的自然化》，John Woods，J.Log著。计算。，24, 1, 303-307 (2014) [11] 贝托洛蒂，T。；Magnani，L.，《八卦和基于八卦的知识的认识论分析》，Synthese（2014） [12] Brandom，R.，《清晰的理由：推理导论》（2000），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥，爱丁堡 [13] 布鲁尔，W.F。；Lambert，B.L.，《观察的理论负载和科学过程其余部分的理论负载》，Philos。科学。，68，S176-S186（2001），另见PSA 2000年双年展会议记录 [14] Busemeyer，J.R。；波托斯，E.M。；弗朗哥·R。；Trueblood，J.S.，概率判断错误的量子理论解释，心理学。版本：118、2、193-218（2011） [15] Byrne，R.M.J.，《理性想象：人们如何创造现实的替代品》（The Rational Imagination:How People Create Alternatives to Reality）（2007年），麻省理工学院出版社：麻省理学学院出版社波士顿 [16] Churchland，P.M.，《感性可塑性与理论中立性：对杰里·福多（Jerry Fodor，Philos）的回复》。科学。，55, 167-187 (1988) [17] 科恩，A.G。；Magee，D.R。；加拉塔，G。；霍格特区。；Hazarika，S.M.，《使用定性时空表征和诱因实现认知视觉架构》（Freska，C.；Habel，C.；Wender，K.F.，《空间认知III》（2002），施普林格：施普林格-柏林），232-248 [18] de Cheveigné，A.，《聆听、行动与空间》（Andler，D.；Ogawa，Y.；Okada，M.；Watanabe，S.，《推理与认知》（2006），庆应义塾大学出版社：庆应义和团大学出版社东京），253-264 [19] 杜威，J.，《后来的作品》（1991），伊利诺伊州南部出版社：伊利诺伊南部出版社卡本代尔 [20] Feyerabend，P.，Against Method（1975年），Verso:Verso London-New York [21] Finocchiaro，M.，《关于争论的争论》（2005），剑桥大学出版社：剑桥大学出版社 [22] Fodor，J.，《重新考虑观察》，Philos。科学。，51，23-43（1984），再版于Goldman[29，pp.119-139] [23] Gabbay博士。；Woods，J.，《理性代理的规范模型：某些方法的无用性》，Log。J.IGPL，11，597-613（2003）·Zbl 1042.03004号 [24] Gabbay，D.M。；Woods，J.，《绑架的范围，认知系统的实用逻辑》，第2卷（2005年），北荷兰：北荷兰阿姆斯特丹·Zbl 1078.03002号 [25] Gigerenzer，G.，你的法律是什么？（2004年），发表于Edge，9月24日，参见。 [26] Gigerenzer，G。；布莱顿，H.，《人类启发式：为什么偏执的思维会做出更好的推断》，托普。认知。科学。，1, 107-143 (2009) [27] Gigerenzer，G。；Selten，R.，《有限理性：适应性工具箱》（2002年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥 [28] Gigerenzer，G。；Todd，P.，《使我们聪明的简单启发式》（1999），牛津大学出版社：牛津大学出版社牛津/纽约 [29] （Goldman，A.I.，《哲学与认知科学阅读》（1993），剑桥大学出版社：剑桥大学出版社，马萨诸塞州剑桥） [30] Han，T.A。；Pereira，L.M.，通过意图识别进行基于意图的决策及其应用，（Guesgen，H.；Marsland，S.，《人类行为识别技术：监控和安全的智能应用》（2013），IGI Global:IGI Global Hershey，PA），174-211 [31] Han，T.A。；Pereira，L.M.，《意向识别的现状及其在决策中的应用》，AI Commun。，26, 237-246 (2013) [33] Han，T.A。；佩雷拉，L.M。；Santos，F.C.，意图识别促进了合作的出现，Adapt。行为。，19, 264-279 (2011) [34] Han，T.A。；佩雷拉，L.M。；F.C.桑托斯。；Lenaerts，T.，良好的协议会结交好朋友，科学。代表，3（2013） [36] Han，T.A。；佩雷拉，L.M。；Santos，F.C.，《承诺与合作的出现》（《第11届自主智能体和多智能体系统国际会议论文集》，第1卷。《第十一届自主代理和多代理系统国际会议记录》，第1卷，AAMAS’12（2011）），559-566 [37] Han，T.A。；Saptawijaya，A。；Pereira，L.M.，《不确定性下的道德推理》（Logic for Programming，Artificial Intelligence，and reasoning），第18卷。《编程逻辑、人工智能和推理》，第18卷，Lect。票据计算。科学。，第7180卷（2012），《施普林格：柏林施普林格》，212-227·Zbl 1352.68243号 [38] 赫尔宾，D。；Szolnoki，A。；Perc，M。；Szabó，G.，《通过空间交互进化建立道德和双重道德标准》，《公共科学图书馆·计算》。生物学，6，4（2010） [39] Hintikka，J.，《苏格拉底认识论：通过提问探索知识寻求》（2007），剑桥大学出版社：剑桥大学出版社 [40] Hutchins，E.，《野外认知》（1995），麻省理工学院出版社：麻省剑桥 [41] Hutchins，E.，概念融合的材料锚定，J.Pragmat。，37, 1555-1577 (2005) [42] 卡卡斯，A。；Kowalski，R.A。；Toni，F.，诱拐逻辑编程，J.Log。计算。，2, 6, 719-770 (1993) ·Zbl 0778.68081号 [43] Kowalski，R.，《计算逻辑与人类思维：如何人工智能》（2011），剑桥大学出版社：剑桥大学出版社·Zbl 1230.68021号 [44] Kowalski，R.A.，《问题解决的逻辑》（1979年），爱思唯尔出版社：纽约·Zbl 0426.68002号 [45] Kuipers，T.A.F.，《绑架》，旨在偶真近似的经验进展，对计算建模提出挑战，Found。科学。，4, 307-323 (1999) ·Zbl 0941.03502号 [46] Mackonis，A.，《最佳解释、连贯性和其他解释优点的推断》，Synthese，190975-995（2013）·Zbl 1284.03070号 [47] Magnani，L.，《诱拐、理性与科学：发现与解释的过程》 [48] Magnani，L.，《技术世界中的道德：知识作为责任》（2007），剑桥大学出版社：剑桥大学出版社 [49] Magnani，L.，《诱拐认知：假设推理的认识论和生态认知维度》（2009），施普林格：施普林格-海德堡/柏林·Zbl 1191.68693号 [50] Magnani，L.，《理解暴力：道德、宗教和暴力的交织：哲学立场》（2011），施普林格：施普林格-海德堡/柏林 [51] 马格纳尼，L.，《科学模型不是虚构的：以模型为基础的科学作为认识战》，（马格纳妮，L.；李，P.，《哲学和认知科学：西方和东方研究》（2012），施普林格：施普林格-海德堡/柏林），1-38 [52] Magnani，L.，绑架是无知的表现吗？科学中的惯例、模型和虚构，Log。J.IGPL，21、6、882-914（2013）·Zbl 1343.03008号 [53] Magnani，L.，启发式知识激励吗？科学中的诱拐、模型和虚构，（Ippoliti，E.，启发式推理（2014），施普林格：施普林格-海德堡/柏林），29-56 [54] 马库斯，G.F.，《认知结构与进化》，《认知》，第101期，第443-465页（2006年） [55] Meheus，J。；Verhoeven，L。；范戴克，M。；Provijn，D.，《放大自适应逻辑和基于逻辑的诱拐方法的基础》（Magnani，L.；Nersessian，N.J.；Pizzi，C.，《基于模型推理的逻辑和计算方面》（2002），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），39-71 [56] Migliore，S。；Curcio，G。；Mancini，F。；Cappa，S.F.，《道德判断中的反事实思维：实验研究》，Front。心理医生。，5, 541 (2014) [57] 皮尔斯，C.S.，《查尔斯·桑德斯·皮尔斯论文集》（1958），哈佛大学出版社：哈佛大学出版社，马萨诸塞州剑桥，卷。1-6，由C.Hartshorne和p.Weiss编辑，卷。7-8，由A.W.Burks编辑·Zbl 0081.00410号 [58] 皮尔斯，C.S.，《视觉认知和认知建模》（Buchler，J.，《皮尔斯的哲学著作》（1955），多佛：纽约多佛），302-305 [59] 皮尔斯，C.S.，（埃塞尔，C.，《皮尔斯科学逻辑的历史观点：科学史》，第一卷至第二卷（1987年），莫顿：莫顿-柏林） [60] Peirce，C.S.（Ketner，K.L.，《推理和事物的逻辑：1898年剑桥会议演讲》，Charles Sanders Peirce（2005），哈佛大学出版社：哈佛大学出版社阿姆斯特丹） [61] 佩雷拉，L.M。；Dell'Acqua，P。；平托，A.M。；Lopes，G.，《检查和偏好诱拐模型》（Nakamatsu，K.；Jain，L.C.，《基于推理的智能系统手册》（2013），世界科学出版社），243-274·兹比尔1348.68029 [62] 佩雷拉，L.M。；迪茨，E。；Hölldobler，S.，《信念偏差效应的诱因推理方法》，（《知识表征和推理原则：第十四届国际会议论文集》，KR 2014，奥地利维也纳，2014年7月20日至24日（2014）） [63] 佩雷拉，L.M。；迪茨，E。；Hölldobler，S.，具有副作用的情境诱因推理，理论与实践。日志。程序。，14, 4-5, 633-648 (2014) ·Zbl 1309.68176号 [65] 佩雷拉，L.M。；Pinto，A.M.，《正常逻辑程序中的反证论证》，（Simari，G.；Torroni，P.，《论证与非单调推理会议录》，《论证和非单调推理研讨会录》，ArgNMR’07，Tempe，Arizona，USA（2007）），第96-113页，也收录于《逻辑编程与非单调推论》，LPNMR’07型 [66] 佩雷拉，L.M。；Pinto，A.M.，合作代理的自适应推理，（Abreu Seipel D，S.，《第18届国际声明性编程和知识管理应用大会精选扩展论文》，第18届世界声明性编程与知识管理应用会议精选扩展论文，INAP’09（2011），施普林格：施普林格-海德堡/柏林），102-116 [67] 佩雷拉，L.M。；Saptawijaya，A.，《用前瞻逻辑建模道德》（Anderson，M.；Anderson（S.L.），《机器伦理学》（2011），剑桥大学出版社：剑桥大学出版社，398-421 [69] 拉布，M。；Gigerenzer，G.，《智能作为智能启发式》（Sternberg，R.J.；Prets，J.E.，《认知与智能：识别思维机制》（2005），剑桥大学出版社：剑桥大学出版社，马萨诸塞州剑桥），188-207年 [70] Raptopoulos，A.，感知是信息封装的吗？认知的理论负载问题，科恩。科学。，25, 423-451 (2001) [71] Raftopoulos，A.，《再入路径与感知的理论莱登斯》，Philos。科学。，68，S187-S189（2001），另见PSA 2000双年展会议记录 [72] Raftopoulos，A.，《认知和感知：心理学和神经科学如何为哲学提供信息？（2009），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥 [73] 里维拉，F.D。；罗西·贝克尔（Rossi Becker，J.），《初等专业关于代数图形模式的诱骗诱导（泛化）过程》，《数学杂志》（J.Math）。行为。，26, 140-155 (2007) [74] Saptawijaya，A。；Pereira，L.M.，《逻辑编程作为模拟道德的计算工具的潜力》（Trappl，R.，《机器人道德系统构建手册：要求、方法、实现》（2014），施普林格出版社：施普林格-海德堡/柏林） [75] Saptawijaya，A。；Pereira，L.M.，《面向用逻辑编程进行道德计算建模》，（Flatt，M.；Guo，H.，《第16届国际声明性语言实用方面研讨会论文集》，《第十六届国际声明语言实用方面会议论文集》（PADL’14）。第16届国际Symp.会议记录。关于声明语言的实际方面。第16届国际Symp.会议记录。《声明语言的实践方面》，PADL’14，Lect。票据计算。科学。，第8324卷（2014），《施普林格：施普林格-海德堡/柏林》，104-119 [76] Shanahan，M.，《作为诱拐的感知：将感官数据转化为有意义的表征》，Cogn。科学。，29, 103-134 (2005) [77] 斯坦宁，K。；van Lambangen，M.，《人类推理与认知科学》（2012），麻省理工学院出版社：麻省理工学院出版社，马萨诸塞州剑桥 [78] Szentagothai，J。；Arbib，M.A.，《神经组织的概念模型》（1975年），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州剑桥 [79] Thom，R.，Esquisse d'une Sémiophysique（1988），《InterEditions:InterEditions Paris》，V.Meyer翻译，《Semio Physics:A Sketch》，加利福尼亚州红木市艾迪森·韦斯利出版社，1990年 [80] Tindale，C.W.，《谬误与论证评估》（2007），剑桥大学出版社：剑桥大学出版社，马萨诸塞州剑桥 [81] Toulmin，S.，《论据的使用》（1958），剑桥大学出版社：剑桥大学出版社 [82] A.特维斯基。；Kahneman，D.，《扩展推理与直觉推理：概率判断中的合取谬误》，《心理学》。修订版，90，293-315（1983） [83] Woods，J.，《无知、推理和证明：诱拐逻辑符合刑法》（Tuzet，G.；Canale，D.，《推理规则：法律和哲学中的推理主义》（2009），博科尼大学埃加分校：埃加分校，米兰博科尼大学），151-185 [84] 伍兹，J.，《诱因逻辑的最新发展》，《历史研究》。菲洛斯。科学。，42，1，240-244（2011），L.Magnani论文综述，诱拐认知：假设推理的认识论和生态认知维度，施普林格，海德堡/柏林，2009 [85] 伍兹，J.，《认识论数学化》，《非正式日志》。，33, 292-331 (2013) [86] Woods，J.，《推理错误：推理逻辑的自然化》（2013），大学出版社：伦敦大学出版社 [87] 伍兹，J。；Rosales，A.，《美德扭曲：基于模型科学中的抽象和理想化》（Magnani，L.；Carnielli，W.；Pizzi，C.，《科学与技术中基于模型的推理》（2010），施普林格：施普林格-海德堡/柏林），3-30 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。