科學(xué)邏輯與辯證邏輯研究的新進展

1、科學(xué)邏輯與辯證邏輯研究的新進展摘要#文章簡要評介我國辯證邏輯、科學(xué)邏輯研究的新進展，主要包括：與改革開放相關(guān)的科學(xué)思維方 式、新時代創(chuàng)新思維、傳統(tǒng)辯證思維方式的當代價值、辯證邏輯形式化的新成果、人工智能研究中的邏輯 以及邏輯理論與應(yīng)用的最新成果，以期為我國科學(xué)邏輯與辯證邏輯研究提供新的研究路徑與新的研究視 角$關(guān)鍵詞#創(chuàng)新思維；傳統(tǒng)辯證思維；辯證邏輯形式化；邏輯的應(yīng)用;人工智能的邏輯Research Progress of Scientific Logic and Dialectical LogicAbstract：The new progress of dialoctica 1 logic

2、and scientific logic has been briefly rev i ewed, including the scientific way of thinking on reform and opening, innovative thinking in new era, the modern value of traditional dialectical thinking mode, new formalization of dialectica l logic, logic in Al, and logcal theory and its application. Th

3、erefore, it is expected to provide a new research path and perspective for Chinese research on scientific logic and dialectica l logic. Key words ： innovative thinking； traditional dialectical thinking； formalization of dialectica l logic; logic application； Al logic在2018年11月底結(jié)束的“全國科學(xué)邏輯 與辯證邏輯討論會”上，呈

4、現(xiàn)出一系列與改革開 放相關(guān)的科學(xué)思維方式研究、科學(xué)邏輯、辯證邏 輯形式化、新時代思維創(chuàng)新研究、中國傳統(tǒng)辯證 思維方式的當代價值、人工智能研究中的邏輯 問題以及邏輯理論與應(yīng)用研究為主的最新研究 成果這些研究成果充分展示了我國科學(xué)邏輯 與辯證邏輯發(fā)展的最新研究進路文章以此為 契機，從辯證邏輯與科學(xué)邏輯的新材料與形式 化、人工智能研究中的邏輯問題、邏輯理論與應(yīng) 用以及科學(xué)思維方式等四個方面，概括辯證邏 輯與科學(xué)邏輯研究的新進展，同時就我們關(guān)注 的角度，對其進行簡要評述-、辯證邏輯與科學(xué)邏輯研究的新材料與 形式化辯證邏輯與科學(xué)邏輯在研究內(nèi)容和形式化 方面有新進展首先表現(xiàn)在研究材料上，梁慶 寅教授指出，

5、需要把習(xí)近平關(guān)于五種思維的論 述、量子科學(xué)的新話題以及人工智能對人類的 影響等三個方面的內(nèi)容，作為辯證邏輯和科學(xué) 邏輯研究的新材料。他在題為“辯證邏輯研究 的新材料”的報告中對此做了精要概括：首先指 出，我國的辯證邏輯研究有過兩個比較活躍的 時期：一個是20世紀50年代中期到60年代初 期，他稱之為“把辯證邏輯說起來”時期；一個是 20世紀80年代到90年代，他稱之為“把辯證邏 輯樹起來”時期。現(xiàn)在到了 “把辯證邏輯強起來 的”的時代，不過需要聚集人才和添加新材料這 兩個條件。從事辯證邏輯與科學(xué)邏輯研究的學(xué) 者，素以將辯證邏輯與科學(xué)方法論一體化為特 色。日本物理學(xué)家武谷三男明確指出，量子力 學(xué)

6、具有高度辯證的結(jié)構(gòu)，要理解這種結(jié)構(gòu),唯有 依靠辯證邏輯，原先的形式邏輯已經(jīng)跟不上時 代了。作為辯證邏輯研究會前會長的梁慶寅! 確實富有學(xué)術(shù)敏感性，他敏銳地察覺到，20世 紀量子革命還具有后續(xù)效應(yīng)。他指出，量子理 論中的“波粒二象性”“不確定性”和“量子糾纏” 等三個原理意義重大。雖然這些材料是過去 的，但是隨著我國量子衛(wèi)星發(fā)射成功，量子科學(xué) 引起了新的關(guān)注，最近兩年量子糾纏甚至成為 熱議的話題，辯證邏輯、科學(xué)邏輯應(yīng)當關(guān)注和研 究其中的科學(xué)和哲學(xué)問題。此外，晉榮東教授在題為“略論馮契未刊 辯證唯物主義講授記錄稿）（1956 1957）對辯 證邏輯若干問題的探索的報告中指出，辯證 唯物主義講授記錄

7、稿是馮契先生1956年2月 至1957年5月在華東師范大學(xué)的講課記錄，迄 今尚未收入馮契文集（增訂版）因此，這是 一份十分珍貴的歷史資料，為辯證邏輯與科學(xué) 邏輯研究范圍的進一步拓展，提供了新的研究 材料。值得注意的是，在辯證唯物主義講授記 錄稿中，馮契先生對辯證邏輯的若干問題進行 了初步探討，堪稱后來“智慧說三篇”之邏輯思 維的辯證法的濫觴。其次，科學(xué)邏輯與辯證邏輯在形式化方面 也取得了新的突破。辯證邏輯形式化取得初步 成功是在全國第二屆辯證邏輯會議（昆明, 1982）上，林邦瑾教授在他的“一個矛盾命題的 無矛盾形式”報告中，具體運用集合論、極限論 （微積分）與衍推邏輯（entailment

8、logic ）的工 具，對“物體在同一瞬間既在同一個地方又不在 同一個地方”,1-這一論斷做了精確刻畫。時隔 30多年之后，作為華中科技大學(xué)科學(xué)哲學(xué)與邏 輯的學(xué)科帶頭人，萬小龍教授在題為“論辯證邏 輯一一兼與杜國平研究員和鄧曉芒教授商榷 的主題報告中，展示了他在新邏輯的開拓研究 以及在多種非經(jīng)典邏輯的統(tǒng)一性研究上的創(chuàng)新 力度。他吸收了杜國平教授“哲思邏輯”句法系 統(tǒng)的突出優(yōu)點，并且能解讀出文本原作者可能 尚未充分認識到的深刻意義。關(guān)鍵在于，杜國 平把“辯證否定”頗具創(chuàng)造性地表達為兩種等價 的特別疊置形式：一是經(jīng)典否定與次協(xié)調(diào)否定 的疊置；二是直覺主義否定與經(jīng)典否定的疊置。 萬小龍教授驚奇地發(fā)現(xiàn)

9、，其實這正是辯證法的 “否定之否定”在邏輯句法上的合理表述，而在 原則上有別于通常的“雙重否定”（非非A又等 于A,簡單回復(fù)到原來的起點）o經(jīng)過萬小龍教授的系統(tǒng)化改造、闡述和提 升，使得讓一般人感到“云里霧里”的黑格爾式 的思辨辯證法，能夠轉(zhuǎn)換成有句法可依的有效 推理。正因為如此，很有可能，它標志著“辯證 邏輯形式化”的一種突破性進展。萬小龍教授 認為，基于在各種基礎(chǔ)理論中普遍存在的更為 基礎(chǔ)問題（辯證性、整體性和不確定性）及其雙 重纏繞而創(chuàng)立的基礎(chǔ)之基礎(chǔ)理論（即基礎(chǔ)III理 論SRF）,可給出“哲思邏輯”和辯證邏輯更加 普遍和深入的理解，包括對辯證矛盾、概念流 變、自否定和質(zhì)量互變等的新認識

10、&尤其是有 深度地表達“辯證法既是嚴格推理的邏輯也是 自身內(nèi)在矛盾運動的邏輯”：每個“否定之否定$ 過程整體上都是一次有效推理過程，這與科學(xué) 性的演繹一致，但辯證法揭示了每個有效推理 過程其實都是由兩個不同否定的子過程所組合 形成的超越一般演繹思維的精細機構(gòu)：結(jié)構(gòu)中 的經(jīng)典否定完備表達了邏輯二分本性的自否定 形式；次協(xié)調(diào)否定或直覺主義否定表達對立統(tǒng) 一的廣義辯證矛盾性&次協(xié)調(diào)邏輯的創(chuàng)立 者巴西學(xué)者達科斯塔（N.da Costa）及其 中外追隨者通過對辯證邏輯中對立統(tǒng)一規(guī)律結(jié) 構(gòu)的形式化研究，自I960年代以來不斷構(gòu)造著 各種次協(xié)調(diào)的辯證邏輯命題系統(tǒng)。由于創(chuàng)新 力度極大，一些驚人的影響力需要逐步

11、顯示和 展開，慢慢體會，而他自己也在不斷改進、精煉 和提升&內(nèi)蒙古師范大學(xué)林田博士與武漢大學(xué)桂起 權(quán)教授合作研究了 “辯證邏輯形式化的哲學(xué)問 題”的課題&桂教授多年的研究方向是辯證邏 輯的形式化，也就是如何將某種“辯證”，即非形 式論證過程轉(zhuǎn)化成有窮描述的形式刻畫&林田 認為，該形式系統(tǒng)的主要特色表現(xiàn)為兼有“次協(xié) 調(diào)性”（容納“不平庸的矛盾”）、“模糊性”（并非 “非此即彼”）以及“相干性”（前后件不可不相 干）等幾種非經(jīng)典邏輯的整合&按照桂起權(quán)教 授主張的弱綱領(lǐng)，在新辯證邏輯中，經(jīng)典邏輯的 核心規(guī)律（如矛盾論）及相關(guān)重要規(guī)則（如司各 特規(guī)則）可以弱化或者其普適性可能受限制 他還指出，理解“辯

12、證邏輯形式化”的核心問題 在于，既要將非形式的“論證”與形式系統(tǒng)分開 處理，同時又要把狹義與廣義理解分開&狹義 的辯證邏輯,可以限制在黑格爾式的辯證法,否 定之否定、“正一反一合”的知識發(fā)現(xiàn)模式等& 它可以被借助于次協(xié)調(diào)邏輯、模糊邏輯、相干邏 輯等形式化手段，構(gòu)造一個關(guān)于辯證法性質(zhì)有 窮的形式刻畫&廣義的辯證邏輯，則可以上溯、 回歸至蘇格拉底式的辯證法（dialectic），即“通 過論辯來證明真理的方法”（所以被翻譯為辯一 證一法），也就是“論辯術(shù)的辯證邏輯”，它可以 看作一般意義上的“哲學(xué)論證”，包含著遠比黑 格爾辯證法更豐富的內(nèi)涵&我們在文中同樣列 出了其他國內(nèi)外學(xué)者對于不同類型的“論證

13、”的 邏輯化嘗試&這些論證系統(tǒng)同樣構(gòu)成辯證邏輯 家族的成員）一這就體現(xiàn)了我們所說的對“辯 證性”的廣義理解&當然“形式化”的重中之重 應(yīng)當是對實際論證模式的一些核心概念及其性 質(zhì)構(gòu)造進行有窮的形式描述&與此直接相關(guān)，桂起權(quán)教授于2019年12 月9日在首都師范大學(xué)為“語言智能研究室”的 博士團隊做了“次協(xié)調(diào)邏輯的頂層設(shè)計思想”的 講座，他從邏輯哲學(xué)的高度強調(diào)“邏輯的對應(yīng)原 理”在開拓次協(xié)調(diào)邏輯時的導(dǎo)向作用。他提出 “邏輯的對應(yīng)原理”是對玻爾的“物理學(xué)對應(yīng)原 理”所做的大膽推廣，并且提升為“多種非經(jīng)典 邏輯的通用原理- &次協(xié)調(diào)邏輯的特異性聚 焦于“若虛設(shè)矛盾律，則歸謬律成立”之一公理, 從而“

14、司各脫規(guī)則”失去普遍有效性，容納“不平 庸矛盾”成為可能。經(jīng)典邏輯退居于特例地位, 次協(xié)調(diào)邏輯成為更普遍的情況& 一般來說，按 照“邏輯對應(yīng)原理”的指引，盡管經(jīng)典邏輯原有 的強的公理和推理規(guī)則已經(jīng)失效，然而對應(yīng)的 弱化的公理和推理規(guī)則繼續(xù)有效，推理仍然有 法可依這是一種新的邏輯哲學(xué)思想，對開 拓新的非經(jīng)典邏輯具有發(fā)現(xiàn)作用&如何將辯證邏輯與科學(xué)邏輯研究有效交 叉，陶文樓教授在題為“辯證邏輯、科學(xué)邏輯的 創(chuàng)新機制與目標”的報告（南京會議,2018）中， 給我們指出了思考的方向。他認為，辯證邏輯 與科學(xué)邏輯的本質(zhì)是創(chuàng)新，應(yīng)從機制與目標這 兩個方面展開討論&從創(chuàng)新機制來看，辯證邏 輯的創(chuàng)新是從辯證思維

15、的具有矛盾性的概念出 發(fā)的，而科學(xué)邏輯的創(chuàng)新是從具有矛盾性的科 學(xué)問題出發(fā)的，這也是創(chuàng)新思維的起點，這是第 一步；在認清與把握矛盾問題的基礎(chǔ)上，辯證邏 輯與科學(xué)邏輯的創(chuàng)新機制的要求是：提出創(chuàng)新 的假說、并加以科學(xué)的驗證，這是第二步；辯證 邏輯與科學(xué)邏輯的創(chuàng)新及其成果也是不斷進步 發(fā)展的，如何推動這種發(fā)展是研究機制的第三 步因此，創(chuàng)新目標、創(chuàng)新科學(xué)體系、科學(xué)理論、 科學(xué)方法和科學(xué)成果即是辯證邏輯與科學(xué)邏輯 的創(chuàng)新目的陶文樓教授屬于倡導(dǎo)科學(xué)邏輯與 辯證邏輯的第一梯隊（始于1980年代初）的成 員，因此他對兩種邏輯研究相互滲透的內(nèi)在化 和一體化的過程了如指掌二、人工智能研究中的邏輯問題隨著科學(xué)技術(shù)特

16、別是大數(shù)據(jù)技術(shù)的快速發(fā) 展，人工智能的研究也取得了突破性進展，但是 當面臨唯理論困境以及新經(jīng)驗論一味強調(diào)數(shù)據(jù) 經(jīng)驗，而忽視甚至抹殺因果關(guān)系，無暇關(guān)注人 類的能動性時，人工智能發(fā)展該如何扭轉(zhuǎn)：要么 只顧及邏輯演繹，要么鐘情于數(shù)據(jù)相關(guān)性的局 面，從辯證邏輯與科學(xué)邏輯視角著手似乎是個 出路。作為計算機人工智能專家，何華燦教授 的研究表明，辯證邏輯已經(jīng)成為人工智能研究 者內(nèi)在的客觀需要，數(shù)理邏輯的原有形式已經(jīng) 不夠用了 何華燦在他題為“數(shù)理辯證命題邏 輯及其在智能科學(xué)中的應(yīng)用的報告中，圍繞現(xiàn) 今的人工智能何以會失去可解釋性、從剛性信 息處理到柔性信息處理的擴張過程和已有結(jié)果 以及確保智能信息處理過程和

17、結(jié)果的可解釋性 等三個方面，通過逐步開放各種邏輯要素的非 此即彼性約束，建立一個完整的數(shù)理邏輯辯證 命題邏輯理論體系（簡稱為柔性命題邏輯）。這 一理論體系的建立，對于目前關(guān)于辯證邏輯是 否真實存在，有什么應(yīng)用價值，形式邏輯與辯證 邏輯是什么關(guān)系，邏輯矛盾與辯證矛盾是什么 關(guān)系，辯證邏輯能否數(shù)學(xué)化成為數(shù)理邏輯辯證 邏輯等哲學(xué)層面的爭論及其可能的解決辦法提 供了一個真實的案例和好的思路周寧寧在題為“智能的邏輯基礎(chǔ)探索一一 兼論智能機器模型”的報告中，從“人工智能”這 個術(shù)語出發(fā)，指出人工智能自1956年被正式使 用以來，已形成一個令眾多學(xué)者感興趣的學(xué)科! 表現(xiàn)在兩個方面：一是研究和總結(jié)人類思維的

18、普遍規(guī)律，二是用計算機模擬這些規(guī)律的實現(xiàn) 她認為，人工智能的主要特征是“用電腦模擬人 腦”，“完成需要人類智力的任務(wù)”，因此，人工智 能所取得有影響的成果無一不與計算機有關(guān) 接下來，她從計算機的基本行為、人工智能的基 本行為和智能機器模型研究三個方面，對通用 計算機的極小指令集、I&的邏輯描述、智力與人 工智能展開論述，通過分析計算機所具有的功 能是否能夠模擬所有的人類智力這一問題，認 為需要對計算機的功能進行深入研究，并對人 類智力進行界定及研究了兩者之間的關(guān)系之后 才能得到答案她進一步指出，在存在人類智 力表示的前提下，計算機只能模擬解決部分人 類智力問題由于圖靈機器與計算機之間的主 要區(qū)

19、別在于，前者具有用于解決問題的無限大 的存儲空間和無限多的時間，因此從功能角度 看，圖靈機器意義下的計算包含于人類智力 人們采用建立計算模型的方法描述計算和可計 算性，常用的計算模型是圖靈機，圖靈機是由一 條帶、一個讀寫頭和一個控制器組成由于計 算機基本行為屬于邏輯演算，又由于圖靈機器 與計算機之間的主要區(qū)別在于前者具有用于解 決問題的無限大存儲空間和無限多的時間，因 此圖靈機器的基本行為也屬于邏輯演算智能 機模型、智能機體系結(jié)構(gòu)、智能機=圖靈機？她 指出有關(guān)邏輯的研究路徑，認為計算機基本行 為屬于經(jīng)典邏輯演算從已解決的人工智能問 題看，人工智能的基本行為屬于經(jīng)典邏輯演算； 人類智力未必都能由

20、計算機實現(xiàn)；基于圖靈機 的三種智能機模型及智能機的結(jié)構(gòu)以及非經(jīng)典 邏輯在人工智能研究與發(fā)展中將大有作為！大數(shù)據(jù)為人工智能邏輯的發(fā)展提供了強有 力的技術(shù)支持，但就智能體設(shè)計上，科學(xué)哲學(xué)/ 科學(xué)邏輯中的推理問題、邏輯悖論、計算與表征 等，在一定程度上拓寬了進一步思考的空間！ 此次會議，有學(xué)者圍繞上述問題展開了討論，形 成了系列看法。上海理工大學(xué)趙夢媛在題為 “認知神經(jīng)科學(xué)中神經(jīng)層次的反向推理”的報告 中認為，隨著功能神經(jīng)成像技術(shù)的廣泛應(yīng)用，認 知神經(jīng)科學(xué)家越來越多地運用反向推理策略來 建立和評價各種認知假說！科學(xué)哲學(xué)家們在討 論反向推理的性質(zhì)時多把反向推理當作演繹或 者歸納，企圖從有效性和可靠性角

21、度來分析反 向推理的合理性！分析表明，這個做法是失敗 的，因為反向推理中演繹和歸納交織在一起，同 時還要參照其他認識論價值標準，應(yīng)當被理解 成一種溯因推理！反向推理作為溯因推理不僅 對形成新假說有啟發(fā)作用，也能夠以最佳解釋 推理的形式對競爭假說做出篩選！就邏輯悖論與計算表征的相關(guān)討論，揚州 大學(xué)的劉辰與浙江水利大學(xué)的徐康分別在題為 “黎曼猜想、可計算性與邏輯悖論”和Updating argumentation frameworks for enforting extenttons and monotontctty 更新加強外延與單 調(diào)性的辯論框架”)的報告中進行了闡述！劉辰 簡單描述黎曼猜想走

22、進公眾視野的歷程，認為 黎曼猜想作為著名的世界七大數(shù)學(xué)難題之一， 對它的猜想的證明或者證偽都與可計算性存在 著不可分割的聯(lián)系，進而與邏輯悖論之間也構(gòu) 成一種“特殊”的間接聯(lián)系，我們正是在解讀黎 曼猜想的過程中，將其與可計算性以及邏輯悖 論的關(guān)系予以呈現(xiàn)。其實早在1987年，桂起權(quán) 教授就認為，“悖論問題對推進辯證邏輯研究是 十分有意義的”，“對于悖論結(jié)構(gòu)的精細的邏輯 分析，不僅不妨害辯證邏輯，而且是有益于辯證 邏輯的”).-7*,他把悖論比作“思想的鏟子”，明確 指出“悖論具有挖掘背景知識中錯誤預(yù)設(shè)的方 法論功效”)8*。徐康則指出形式論證在知識表 征與推理中的研究十分活躍，過去20年，人們

23、廣泛研究了 Dung的抽象論辯理論中的論辯語 義、算法、計算復(fù)雜性以及動力等，其中論辯的 動力研究相對滯后，之后對相關(guān)的研究動態(tài)做 了簡要介紹和評論！浙江大學(xué)的洪崢在題為“漢語隱喻的邏輯 表征與認知計算”的報告中認為，隱喻問題是語 言哲學(xué)、科學(xué)哲學(xué)、人工智能研究等多種學(xué)科的 前沿所共同關(guān)注的一個焦點。洪崢從合作博弈 和政府理論兩種方案的優(yōu)劣以及從句法到語用 的隱喻真值條件出發(fā)，指出在邏輯語義學(xué)的傳 統(tǒng)中，語法和語義的生成滿足組合性原則，且在 生成過程中一一對應(yīng)。但對于隱喻句而言，這 種句法一語義的對應(yīng)生成會產(chǎn)生困難，當按照 通常的做法給出句法和語義時，只能得到語句 的字面意義，而這顯然不是語句

24、真正想要表達 的意思！因此需要另一種范疇組合方式實現(xiàn)隱 喻語義的生成，也就是說，隱喻語句應(yīng)當歸屬于 不同的范疇，賦予特有的標記，從而得到識別。三、邏輯理論與應(yīng)用圍繞科學(xué)邏輯與辯證邏輯的發(fā)展，也進一 步形成了與其關(guān)聯(lián)緊密的分析哲學(xué)、邏輯哲學(xué) 以及推理方面的新思考。河北大學(xué)的張燕京教 授指出，弗雷格的函數(shù)與自變元理論是他所開 創(chuàng)的分析哲學(xué)方法的起點和思想來源，它打破 了傳統(tǒng)邏輯對于句子的主謂詞分析模式，提供 了函數(shù)與自變元的分析模式，借助于數(shù)學(xué)類比, 弗雷格為數(shù)理邏輯、語言哲學(xué)、數(shù)學(xué)哲學(xué)研究創(chuàng) 建了一種全新的分析方法。張燕京教授在“分 析哲學(xué)與邏輯分析一一弗雷格的函數(shù)與自變元 思想”的報告中對此進

25、行了詳細闡述！南京大 學(xué)的潘天群教授是一位在邏輯方面富有開拓創(chuàng) 新精神的學(xué)者，他是“懷疑邏輯”與“希望邏輯& 的開拓者。他在題為Calculus of the Emptri- cal Content of Propositions 命題的經(jīng)驗內(nèi)容 演算”）的報告中指出，演算系統(tǒng)可以在給定基 本命題經(jīng)驗內(nèi)容值的情況下，通過一個復(fù)合命 題的經(jīng)驗內(nèi)容值計算出來$通過規(guī)定基本命題 具有一組經(jīng)驗內(nèi)容的值，來探尋直言命題的經(jīng) 驗內(nèi)容的值，演算系統(tǒng)并非一種以概率為基礎(chǔ) 的系統(tǒng)，它及其規(guī)定可以為科學(xué)理論的比較提 供一種新的視角$江南大學(xué)的潘正華教授做了題為“模糊知 識中的不同否定及其邏輯與集合基礎(chǔ)”的報告$

26、他在報告中指出，當今人類關(guān)于知識的認識與 研究已不是停留在哲學(xué)思辨的層次，而是進入 計算機處理知識的時代。在知識處理研究領(lǐng)域 中，客觀存在大量的含有模糊概念、具有模糊性 特征的知識，這些知識以及它們的否定都體現(xiàn) 了模糊性$如何刻畫、處理具有“否定性的知 識是既基本而又困難的問題$因此，在知識處 理領(lǐng)域中存在一種認為正信息為基礎(chǔ)，否定信 息為派生出來的偏執(zhí)認識，其后果是會忽略否 定信息的價值和作用$為此，應(yīng)當從概念論的 角度講，概念的形成的確是在有了正概念之后, 才產(chǎn)生出它的否定概念，但兩者的作用和地位 是同等的，否定概念扮演了一個特殊的角色$ 所以在任何知識處理領(lǐng)域中，否定信息與正信 息具有同

27、等的價值$潘正華在論文中關(guān)于“否 定性信息”在計算機處理中具有邏輯上獨特地 位的論述，極有新意，對認知科學(xué)哲學(xué)也具有啟 發(fā)價值$在科學(xué)邏輯與辯證邏輯范疇探討推理問 題，也成為本次會議的一個亮點$在題為“皮爾 士溯因推理的合理性研究”的報告中，天津工業(yè) 大學(xué)黃閃閃認為，皮爾士把溯因當作引入新觀 念的唯一推理模型，也是一種廣泛適用的科學(xué) 方法論$生成性解釋、辯護性解釋和追求性解 釋是溯因推理的三種解釋模式，它們凸顯了其 在科學(xué)探究中的重要作用。但是溯因存在一致 性循環(huán)論證和推理非有效性等問題$說明功效 在IBE中的運用對溯因的啟發(fā)、背景知識在溯 因推理中的不可或缺以及溯因推理在人工智能 中的實際應(yīng)

28、用，為溯因推理的合理性提供了多 視角的可能辯護$西南財經(jīng)大學(xué)吳曉靜在題為 “推理的廣義概念一一推理理論的基本問題”的 報告中首先闡述了拉爾夫約翰遜對推理理論 研究的看法$拉爾夫（約翰遜指出，推理理論 的研究是哲學(xué)領(lǐng)域亟待填補的空白，它對推理 概念本身的探討是推理理論研究中至關(guān)重要的 基本問題$其次，她闡述了目前學(xué)者對這個概 念的各種用法并試圖解釋推理與論證之間的概 念混淆，為了澄清推理的概念，她從形式邏輯研 究抽象推理形式的角度和非形式邏輯研究真實 推理的具體特征進行論述，提出了一個相對廣 義的推理概念，以涵蓋更多推理理論研究以便 探討理論內(nèi)涵$最后，她指出了推理理論研究 的重要意義$此外，中國傳統(tǒng)思維方式的當代價值以及 對邏輯的批判方面，楊武金教授和金立教授分 別給出了他們的解釋$楊武金教授對墨經(jīng)有過 深入研究，他在題為“拒斥與接納：墨家論悖及 其解決方案”的報告中揭示了人們在行為上、思 想上或言辭上的各種悖謬現(xiàn)象分析，分析了墨 家拒斥悖論的基本方法一-一“推”和接納悖論的 “同異交得法，認為從中可以看出墨家對待悖 論的基本態(tài)度，從而能夠更好地來看待墨家邏 輯的基本性質(zhì)，同時也可以為我們今天認識悖 論、解決辯證思維的問題提供新的思路$金立 教授題為“奈伊邏輯女性主義