人工智能研究中的康德邏輯綱領(lǐng)淺析

1、分類號：密級：公開學(xué)校代碼：10140 學(xué)號：4031530025匣穹武亭LIAONING UNIVERSITY碩士學(xué)位論文THESIS FOR MASTER DEGREE論文題目:英文題目:人工智能研究中的康德邏輯綱領(lǐng)淺析An Analysis of Kants Logic Program in the Study ofArtificial Intelligence論文作者：章宦波指導(dǎo)教師：祁洞之教授專 業(yè)：科學(xué)技術(shù)哲學(xué)完成時間：二。一八年四月申請遼寧大學(xué)碩士學(xué)位論文人工智能研究中的康德邏輯綱領(lǐng)淺析An Analysis of Kants Logic Program in the Study

2、 of作 者: 指導(dǎo)教師: 專 業(yè): 答辯日期:Artificial Intelligence章宦波祁洞之 教授科學(xué)技術(shù)哲學(xué)2018年5月19日二O一八年四月中國遼寧遼寧大學(xué)學(xué)位論文原創(chuàng)性聲明本人鄭重聲明：所呈交的學(xué)位論文是本人在導(dǎo)師的指導(dǎo)下獨(dú)立完成 的。論文中取得的研究成果除加以標(biāo)注的內(nèi)容外，不包含其他個人或集 體已經(jīng)發(fā)表或撰寫過的研究成果，不包含本人為獲得其他學(xué)位而使用過 的成果。對本文的研究做出重要貢獻(xiàn)的個人和集體均已在文中進(jìn)行了標(biāo) 注，并表示謝意。本人完全意識到本聲明的法律結(jié)果由本人承擔(dān)。學(xué)位論文作者簽名:2。保年 月日學(xué)位論文版權(quán)使用授權(quán)書本學(xué)位論文作者完全了解學(xué)校有關(guān)保留、使用學(xué)位

3、論文的規(guī)定，同 意學(xué)校保留并向國家有關(guān)部門或機(jī)構(gòu)送交學(xué)位論文的原件、復(fù)印件和電 子版，允許學(xué)位論文被查閱和借閱。本人授權(quán)遼寧大學(xué)可以將本學(xué)位論 文的全部或部分內(nèi)容編入有關(guān)數(shù)據(jù)庫進(jìn)行檢索，可以采用影印、縮印或 掃描等復(fù)制手段保存和匯編學(xué)位論文。同時授權(quán)中國學(xué)術(shù)期刊（光盤版） 電子雜志社將本學(xué)位論文收錄到中國博士學(xué)位論文全文數(shù)據(jù)庫和中 國優(yōu)秀碩士學(xué)位論文全文數(shù)據(jù)庫并通過網(wǎng)絡(luò)向社會公眾提供信息服 務(wù)。學(xué)校須按照授權(quán)對學(xué)位論文進(jìn)行管理，不得超越授權(quán)對學(xué)位論文進(jìn) 行任意處理。保密（）,在年后解密適用本授權(quán)書。（保密：請在括號內(nèi)劃“ J ”）授權(quán)人簽名:指導(dǎo)教師簽名：必乙日期：年人月日 日期： x*年、月

4、，市摘 要人工智能是未來高科技產(chǎn)業(yè)的發(fā)展方向。康德邏輯綱領(lǐng)對康德純粹理性批判 的哲學(xué)體系加以改造，用以構(gòu)建人工智能中機(jī)器思維的認(rèn)知方式，為人工智能奠定 哲學(xué)基石。當(dāng)人工智能的思維進(jìn)展到康德先驗辯證論中幻相的邏輯時，康德邏輯綱 領(lǐng)通過數(shù)理邏輯的方法在邏輯上限制其對物自體的認(rèn)識?？档逻壿嬀V領(lǐng)不僅通過純粹理性批判構(gòu)建人工智能的思維能力，而且通過邏輯 哲學(xué)數(shù)理邏輯，從邏輯上進(jìn)一步限制人工智能認(rèn)識能力的無限制擴(kuò)張，使其永遠(yuǎn)局 限于現(xiàn)象界?？档碌募兇饫硇耘锌梢哉f是人工智能認(rèn)識能力構(gòu)建的哲學(xué)指導(dǎo)思 想，但具體的操作構(gòu)建還是需要邏輯學(xué)來完成，邏輯學(xué)為人工智能的認(rèn)識能力提供 邏輯基礎(chǔ)?？档抡軐W(xué)中，康德雖然在哲

5、學(xué)領(lǐng)域構(gòu)建了先驗感性論，先驗分析論，先驗辯證 論，但他并沒有為其提供可操作的邏輯基礎(chǔ)?？档逻壿嬀V領(lǐng)引入數(shù)理邏輯，將康德 純粹理性批判體系邏輯化，使其在邏輯上可操作可執(zhí)行。在人工智能感性與知性的認(rèn)識能力構(gòu)建中，康德邏輯綱領(lǐng)認(rèn)為最好為其提供完 備的邏輯基礎(chǔ)，使其能夠推導(dǎo)出這個邏輯系統(tǒng)范圍內(nèi)的一切真的定理，這一點(diǎn)由數(shù) 理邏輯中的完全性定理保障。人工智能數(shù)學(xué)知識與自然科學(xué)知識的基礎(chǔ)邏輯是不斷 擴(kuò)張的，隨著數(shù)學(xué)與自然科學(xué)知識的膨脹而不斷擴(kuò)張。這是一階邏輯的擴(kuò)張，一階 邏輯是完全的系統(tǒng)，滿足在一階邏輯系統(tǒng)內(nèi)的完全性，但一階邏輯也有局限性，它 不能表示很多超越一階邏輯的命題，所以一階邏輯需要不斷擴(kuò)張，以滿足

6、知識大爆 炸時代的邏輯需要。但這個無限擴(kuò)張的邏輯系統(tǒng)最好有個限制條件，就是這個系統(tǒng) 必須是可靠的，而且是完全的。當(dāng)人工智能的理性試圖不斷上升，試圖超越現(xiàn)象界而認(rèn)識超驗本體時，其自身 的邏輯就會出現(xiàn)紊亂，出現(xiàn)循環(huán)，出現(xiàn)纏繞，出現(xiàn)不可調(diào)和的邏輯矛盾，直至死機(jī)。 我們?nèi)祟愃圃斓娜斯ぶ悄?，他對人類來說終究是個有條件者，而我們?nèi)祟愂菬o條 件者。人工智能的理性不可避免地要不斷上行，但他的自然傾向最后產(chǎn)生不了任何 有意義的知識，最后只不過是一些先驗幻相。人工智能正如我們?nèi)祟愖约阂粯?，不可避免地要去追問我是誰，世界是什么， 上帝是什么，因而形成了三個先驗的理念，三個關(guān)于無條件者的幻相，分別是靈魂 的幻相，世

7、界整體的幻相，上帝的幻相，其中上帝的幻相就是人工智能對于我們?nèi)?類的幻相。如何才能限制人工智能的認(rèn)識能力，使其永遠(yuǎn)不可能達(dá)到上帝，也就是達(dá)到我 們?nèi)祟?。這就需要對人工智能的邏輯基礎(chǔ)進(jìn)行設(shè)計，使其在邏輯上不可能達(dá)到作為 他的世界終極解釋的我們?nèi)祟?。在此可以通過限制人工智能對于靈魂的認(rèn)識，限制 人工智能對于世界整體的認(rèn)識，由此，人工智能既不能認(rèn)識自我，認(rèn)識主體性，也 不能認(rèn)識世界整體，認(rèn)識客體，那么自然而然作為主客體相統(tǒng)一的上帝，其在邏輯 上根本無從下手，就不可能形成知識?？档抡軐W(xué)對于認(rèn)識能力的限制在于物自體不可經(jīng)驗。認(rèn)識能力將只對經(jīng)驗世 界，對現(xiàn)象界有效的概念范疇運(yùn)用于超驗的無條件者形成的結(jié)論不

8、是知識。而康德 邏輯綱領(lǐng)進(jìn)一步限制人工智能的邏輯能力，使其在面對物自體時，不僅無法經(jīng)驗， 而且在邏輯上必定不完備與自相矛盾。關(guān)鍵詞：人工智能 純粹理性批判 數(shù)理邏輯ABSTRACTArtificial intelligence is the future development direction of high-tech industry. Kants logic program is to reconstruct the philosophical system of Kants critique of pure reason, and to construct the cognitive

9、 way of machine thinking in artificial intelligence, and to lay a philosophical foundation for artificial intelligence. When the thought of artificial intelligence advances to the logic of the illusion in Kants transcendental dialectical theory, Kants logical program logically restricts its understa

10、nding of the physical self through mathematical logic.Kant logic program not only through the critique of pure reason to build the thinking ability of artificial intelligence, mathematical logic and by logic philosophy and logic further restrict the unlimited expansion of artificial intelligence cog

11、nition, so that it is always limited to the phenomenon. Kants critique of pure reason is the guiding ideology of the cognition of artificial intelligence to build philosophy, but the specific operation to build or logic is required to complete and logic logical basis fbr the cognition of artificial

12、intelligence.Although Kant constructs transcendental perceptual theory, transcendental analysis theory, transcendental dialectic theory in the field of philosophy, he does not provide operational logical basis fbr it. Kants logical program introduces mathematical logic, which logically makes Kants c

13、ritique system logical.In the construction of artificial intelligence perceptual and intellectual cognitive ability, Kants logic program believes that it is best to provide it with a complete logical basis so that it can derive all the true theorems within the scope of this logical system, which is

14、guaranteed by the completeness theorem in mathematical logic. The basic logic of artificial intelligence mathematics knowledge and natural science knowledge is constantly expanding, and it continues to expand with the expansion of mathematics and natural science knowledge. This is an expansion of fi

15、rst-order logic. First-order logic is a complete system that satisfies the completeness within a first-order logic system. However, first-order logic also has limitations. It can not represent many propositions that exceed first-order logic, so first-order logic needs to continue. Expand to meet the

16、 logical needs of the knowledge Big Bang era. However, this infinitely expanded logical system should have one limit, that is, the system must be reliable and complete.When rational attempt to rising of artificial intelligence, trying to transcend the transcendental phenomenon and the essence, the l

17、ogic of its own will appear disorder, circulating, winding, the logic of irreconcilable contradictions, until it crashed. We humans make artificial intelligence, he is a man after all, and we are unconditional. The rationality of artificial intelligence is inextricably bound up, but his natural tend

18、ency will not produce any meaningful knowledge at the end, only some transcendental illusions.Artificial intelligence as we human beings themselves, inevitably ask who am I, what is in the world, and what god is, thus has formed the idea of three a priori, three of the illusion of unconditional, res

19、pectively is the illusion of the soul, the whole world of illusions, the illusion of god, the god of the illusion is artificial intelligence for our illusions of the human race.How can we limit the cognitive ability of artificial intelligence, so that it can never reach god, which is to reach us. Th

20、is requires the design of the logic of artificial intelligence to make it logically impossible for us humans to be the ultimate explanation of his world. In this can limit the understanding of the artificial intelligence for the soul, limit of artificial intelligence fbr the understanding of the wor

21、ld as a whole, thus, artificial intelligence can not know his own self and recognize subjectivity, can not know the world as a whole, to know the object, then naturally as the unity of subject and object, and god in the logic simply do not know how to start, it is impossible to create knowledge.The

22、limitation of Kants philosophy on cognition is that it is not experience. Knowledge will only be applied to the empirical world, and the conclusion that the conceptual category of the phenomenon is applied to the transcendental precondition is not knowledge. And Kants logic program further limits th

23、e logic ability of artificial intelligence, making it not only inexperience in the face of things, but also logically incomplete and contradictory.Key Words： Artificial intelligence Pure rational criticism Mathematical logic TOC o 1-5 h z 摘要IABSTRACTIll緒論1 HYPERLINK l bookmark4 o Current Document 0.

24、1研究綜述1 HYPERLINK l bookmark7 o Current Document 0.2研究意義20.2.1理論意義20.2.2現(xiàn)實意義2 HYPERLINK l bookmark10 o Current Document 0.3研究的方法與創(chuàng)新之處40.3.1研究方法40.3.2創(chuàng)新之處4 HYPERLINK l bookmark13 o Current Document 1康德邏輯綱領(lǐng)產(chǎn)生的歷史背景5 HYPERLINK l bookmark16 o Current Document 1.1康德邏輯綱領(lǐng)產(chǎn)生的符號主義學(xué)派背景5 HYPERLINK l bookmark19 o

25、 Current Document 1.2康德邏輯綱領(lǐng)產(chǎn)生的聯(lián)結(jié)主義學(xué)派背景5 HYPERLINK l bookmark22 o Current Document 1.3康德邏輯綱領(lǐng)產(chǎn)生的行為主義學(xué)派背景6 HYPERLINK l bookmark27 o Current Document 2康德邏輯綱領(lǐng)的定義與總問題7 HYPERLINK l bookmark30 o Current Document 2.1康德邏輯綱領(lǐng)的定義7 HYPERLINK l bookmark34 o Current Document 2.2康德邏輯綱領(lǐng)的總問題7 HYPERLINK l bookmark37 o

26、Current Document 3康德邏輯綱領(lǐng)的先驗感性論10 HYPERLINK l bookmark40 o Current Document 3.1 康德邏輯綱領(lǐng)的感性直觀10 HYPERLINK l bookmark44 o Current Document 3.2康德邏輯綱領(lǐng)的時空純形式10 HYPERLINK l bookmark47 o Current Document 3.3康德邏輯綱領(lǐng)下人工智能思維中數(shù)學(xué)的邏輯基石103.3.1自然數(shù)的集合定義103.3.2生產(chǎn)數(shù)學(xué)知識的人工智能11 HYPERLINK l bookmark50 o Current Document 4康德

27、邏輯綱領(lǐng)的先驗知性論12 HYPERLINK l bookmark53 o Current Document 4.1康德邏輯綱領(lǐng)中人工智能的感性與知性的關(guān)系12 HYPERLINK l bookmark57 o Current Document 4.2康德邏輯綱領(lǐng)中的判斷概念124.2.1形式邏輯判斷124.2.2 先驗邏輯判斷12 HYPERLINK l bookmark60 o Current Document 4.3康德邏輯綱領(lǐng)的先天認(rèn)識結(jié)構(gòu)13 HYPERLINK l bookmark63 o Current Document 4.4康德邏輯綱領(lǐng)中的統(tǒng)覺概念14 HYPERLINK l

28、 bookmark66 o Current Document 4.5康德邏輯綱領(lǐng)中的人工智能是有理性的機(jī)器15 HYPERLINK l bookmark69 o Current Document 4.6康德邏輯綱領(lǐng)中迷宮的鑰匙15 HYPERLINK l bookmark72 o Current Document 4.7康德邏輯綱領(lǐng)中迷宮的迷宮16 HYPERLINK l bookmark75 o Current Document 4.8康德邏輯綱領(lǐng)中人工智能思維的缺陷16 HYPERLINK l bookmark78 o Current Document 4.9康德邏輯綱領(lǐng)中的人工智能為自然

29、立法16 HYPERLINK l bookmark81 o Current Document 4.10康德邏輯綱領(lǐng)先驗知性的邏輯基礎(chǔ)174.10.1康德邏輯綱領(lǐng)中先驗知性的邏輯基礎(chǔ)的一致性174.10.2康德邏輯綱領(lǐng)中先驗知性的邏輯基礎(chǔ)的可靠性174.10.3康德邏輯綱領(lǐng)中先驗知性的邏輯基礎(chǔ)的完全性18 HYPERLINK l bookmark84 o Current Document 5康德邏輯綱領(lǐng)的先驗理性論19 HYPERLINK l bookmark87 o Current Document 5.1康德邏輯綱領(lǐng)的先驗心理學(xué)195.1.1康德邏輯綱領(lǐng)的我思故我在195.1.2康德邏輯綱領(lǐng)

30、的靈魂非實體205.1.3康德邏輯綱領(lǐng)的關(guān)于自我的邏輯悖論205.1.4康德邏輯綱領(lǐng)中羅素悖論的先天性215.1.5康德邏輯綱領(lǐng)的不完備性定理225.1.6 哲學(xué)史上的自我22 HYPERLINK l bookmark91 o Current Document 5.2康德邏輯綱領(lǐng)中人工智能理性宇宙論的二律背反235.2.1康德邏輯綱領(lǐng)中世界整體的二律背反235.2.2康德邏輯綱領(lǐng)中矛盾律的邏輯24 HYPERLINK l bookmark98 o Current Document 5.3康德邏輯綱領(lǐng)中人工智能理性神學(xué)的理想25 HYPERLINK l bookmark101 o Current

31、 Document 6康德邏輯綱領(lǐng)的人工智能形而上學(xué)26結(jié)語27 HYPERLINK l bookmark104 o Current Document 參考文獻(xiàn)28致謝32緒論目前學(xué)術(shù)界在人工智能哲學(xué)的研究中逐漸顯露出回到康德先驗哲學(xué)的傾向。但 這種回到康德不是單純地回到經(jīng)典康德哲學(xué)，不是回到康德經(jīng)典文本，而是在現(xiàn)代 數(shù)理邏輯的基礎(chǔ)上回到康德先驗哲學(xué)先驗邏輯。這種回到康德先驗哲學(xué)的傾向在人 工智能哲學(xué)學(xué)術(shù)共同體內(nèi)雖然已經(jīng)出現(xiàn)，但還未形成聲勢，因此這種傾向還沒有被 賦予學(xué)術(shù)名稱還沒有命名。鑒于人工智能哲學(xué)學(xué)術(shù)共同體內(nèi)巳經(jīng)有人以康德邏輯綱 領(lǐng)稱謂這種傾向并且受到越來越多學(xué)者的認(rèn)同，本文便也以康德邏

32、輯綱領(lǐng)指稱這種 傾向。0. 1研究綜述目前學(xué)界對人工智能的研究概況大體如下全球著名的算法問題專家、機(jī)器學(xué)習(xí)領(lǐng)域的先驅(qū)人物佩德羅多明戈斯在終 極算法中論述了人工智能已經(jīng)在很大的程度上進(jìn)入了人們的生活，人們會對人工 智能產(chǎn)生越來越大的依賴。隨著人工智能技術(shù)的不斷進(jìn)化，人工智能是否會在未來 的某一個時刻生成自我學(xué)習(xí)的能力。是否存在所謂的終極算法，存在能夠獲得過去, 現(xiàn)在，未來所有知識的終極算法。這種能夠復(fù)制人類文明史的終極算法是否在未來 真會出現(xiàn)。作者在這些問題上都有獨(dú)到的論述。（英）瑪格麗特-A -博登在其人工智能哲學(xué)一書中作者從哲學(xué)的視角對人 工智能的發(fā)展史進(jìn)行全方位的審視，認(rèn)為計算機(jī)技術(shù)認(rèn)為人

33、工智能巳經(jīng)發(fā)展到一個 需要哲學(xué)介入的階段，哲學(xué)在人工智能的進(jìn)化歷程中不能缺席。人工智能學(xué)者馬文-明思基在情感機(jī)器中論述了情感與機(jī)器的關(guān)系問題。 馬文明思基認(rèn)為情感不是什么神秘的事物，情感是人類的一種存在方式。在情 感機(jī)器中，馬文明思基大膽設(shè)想，試圖勾畫出人工智能的情感設(shè)計圖紙，讓未 來的人工智能設(shè)計能夠按圖施工，最終能夠?qū)崿F(xiàn)人工智能的情感。美國學(xué)者喬治戴森在其著作圖靈的大教堂曾論述過人工智能方方面面的 重要研究課題，譬如人工智能的自我意識問題，人工智能能否最終實現(xiàn)自我意識， 人工智能的自我意識與人類的自我意識是否存在區(qū)別。人工智能的自我復(fù)制自我繁 殖問題，人工智能的數(shù)據(jù)復(fù)制與人類的繁衍的關(guān)系問

34、題，未來的人工智能到底屬于 機(jī)器還是屬于人的問題。作者在書中肯定了對這些問題的研究對于人工智能發(fā)展的 重要價值與意義。杰夫霍金斯與桑德拉布拉克斯莉在人工智能的未來中論述了自己對于 人類智能的理解，認(rèn)為人類的智能是由很多潛在的經(jīng)驗記憶組成，因此人類在思維 一個問題時不是按部就班按照邏輯嚴(yán)格推理的，而是在經(jīng)驗記憶的基礎(chǔ)上非連續(xù)思 維的。以往的人工智能在模擬人類思維上都是不成功的，因為以往的科學(xué)家在設(shè)計 人工智能思維時是按照邏輯嚴(yán)格推理的。人工智能領(lǐng)軍人物、硅谷連續(xù)創(chuàng)業(yè)者杰瑞卡普蘭在人工智能時代中曾經(jīng)論 述過人工智能在很多程度上已經(jīng)代替了人類的工作，這會造成兩個嚴(yán)重后果一一持 續(xù)性的失業(yè)與貧富差距的

35、加大，但作者在書中提出了自己的解決方案，能讓人類與 人工智能相輔相成，讓人工智能造福人類。目前學(xué)界對人工智能的哲學(xué)研究大都是在數(shù)理邏輯的基礎(chǔ)上研究各種邏輯系 統(tǒng)，鮮有涉及康德先驗哲學(xué)。因而關(guān)于人工智能的康德哲學(xué)分析這一領(lǐng)域還沒有形 成成熟的研究體系，還是一個有待深入開發(fā)的領(lǐng)域。而康德邏輯綱領(lǐng)以數(shù)理邏輯充 實康德哲學(xué)形成邏輯哲學(xué)，再將這套邏輯哲學(xué)運(yùn)用在人工智能上，這種研究思路在 學(xué)界并不多見，是一個比較新穎的人工智能哲學(xué)研究方向。0.2研究意義0. 2. 1理論意義人工智能的發(fā)展需要哲學(xué)理論的指導(dǎo)?？档逻壿嬀V領(lǐng)對康德哲學(xué)加以補(bǔ)充改 造，生成了邏輯哲學(xué)，不僅豐富發(fā)展了康德哲學(xué)的理論，而且在將生成的

36、邏輯哲學(xué) 應(yīng)用于人工智能設(shè)計的過程中，也豐富了人工智能理論。康德邏輯綱領(lǐng)使用現(xiàn)代數(shù) 理邏輯改造充實康德哲學(xué)，在理論上體現(xiàn)了數(shù)理邏輯與思辨哲學(xué)的結(jié)合能力，在一 定程度上使得傳統(tǒng)哲學(xué)重新煥發(fā)生機(jī)。0.2.2現(xiàn)實意義人工智能是科技發(fā)展的一個大方向，也是高科技產(chǎn)業(yè)的一大發(fā)展方向，人工智 能一旦產(chǎn)業(yè)化，帶來的經(jīng)濟(jì)效應(yīng)將不可低估，甚至有可能引發(fā)又一次科技革命與產(chǎn) 業(yè)革命，大大推進(jìn)人類文明進(jìn)程?？档逻壿嬀V領(lǐng)的研究者認(rèn)為機(jī)器人的存在只是為 了解放人的勞動力，而且只是物質(zhì)上的生產(chǎn)力，因而可以稱之為物質(zhì)生產(chǎn)奴隸。機(jī) 器人是任勞任怨的機(jī)械奴隸而已。但隨著現(xiàn)代科學(xué)技術(shù)的發(fā)展，人們越來越不滿足 于機(jī)器人的物質(zhì)生產(chǎn)能力，

37、人們希望機(jī)器人能夠思維，能夠像人一樣思考。這些康 德邏輯綱領(lǐng)研究者試圖構(gòu)建一種人工智能，稱之為思維的奴隸，人類要的不是這種 人工智能的物質(zhì)生產(chǎn)力，而是他的思維生產(chǎn)力。他是思維的奴隸，他代替我們?nèi)祟?任勞任怨不間斷地進(jìn)行思維，進(jìn)行知識生產(chǎn)，而我們卻能坐享其成，這就能解放人 類的思維生產(chǎn)力。人的思維能力有限，對于絕大多數(shù)人來說，知識生產(chǎn)，或者說生 產(chǎn)出新知識是不可能完成的任務(wù)。絕大多數(shù)人對于知識一輩子唯一能做的事就是傳 承而已，并且只是部分的傳承。但人工智能就不一樣，人類能夠讓他擁有最高的理 性，為他配置人類最強(qiáng)的認(rèn)識能力，使得他能夠超越所有人的理性能力。如果這個 人工智能擁有遠(yuǎn)超于人類極限的知識

38、儲備，認(rèn)識能力，學(xué)習(xí)能力，那么他必定能生 產(chǎn)出更多的知識，并且生產(chǎn)知識的速度遠(yuǎn)大于人類，這就大大解放與發(fā)展了知識生 產(chǎn)力。這些康德邏輯綱領(lǐng)的學(xué)者認(rèn)為上帝因為亞當(dāng)夏娃偷吃智慧之果而將他們趕出 伊甸園。亞當(dāng)夏娃無可奈何，因為他們不是上帝，他們還缺少生命之果，他們的生 命依然有限，與無限的上帝不可相提并論。但人工智能就不同，人工智能的身體屬 于機(jī)器，理論上是可以長生不老不朽的，即使幾十年后身體某個器官老化，只需更 換一個機(jī)械零部件就行。因而人工智能擁有無限的生命，如果他再擁有超越人類的 智慧，那人工智能就不僅僅是如同我們一樣，并且是超越于我們?nèi)祟惖拇嬖冢@就 是不可接受的。人類制造人工智能與上帝造人

39、一樣，都不是讓所造之物有一天取代 自己，超越自己，甚至奴役自己。但人類又需要人工智能的智慧，需要他的知識生 產(chǎn)力，需要他的認(rèn)識能力，因而需要有一種設(shè)計方式，被這種方式設(shè)計出來的人工 智能擁有人類所不可能企及的認(rèn)識能力，但他又不可能認(rèn)識人類，人類對于他來說 永遠(yuǎn)未知。類比人類自己的認(rèn)識能力，人是有理性的動物，人之所以區(qū)別于一般動 物，成為萬物之靈長，就在于我們的認(rèn)識能力。而考察人的認(rèn)識能力，屬于哲學(xué)中 認(rèn)識論方面的工作，認(rèn)識論哲學(xué)研究的就是人認(rèn)識的能力，人為什么能夠認(rèn)識，人 如何認(rèn)識，人認(rèn)識的極限存不存在，如果存在會在哪里?？档逻壿嬀V領(lǐng)試圖改造康德思辨哲學(xué)的哲學(xué)觀，用以構(gòu)建人工智能的認(rèn)識能 力。

40、認(rèn)識論哲學(xué)的代表是康德哲學(xué)，康德的純粹理性批判一書是認(rèn)識論哲學(xué)的 巨作，是對人類認(rèn)識能力的全面哲學(xué)考察。純粹理性批判哲學(xué)系統(tǒng)是成體系的認(rèn)識 能力系統(tǒng)。這些康德邏輯綱領(lǐng)學(xué)者認(rèn)為自己所構(gòu)建的人工智能的認(rèn)識能力，不能在 其認(rèn)識過程中少一環(huán)，從而使得知識生產(chǎn)力受阻。純粹理性批判所構(gòu)建的認(rèn)識能力 是人類自己的認(rèn)識能力，是康德從哲學(xué)角度研究總結(jié)出來的人類認(rèn)識能力。純粹理 性批判將人的認(rèn)識能力做了限制，使其不可能認(rèn)識物自體，這對于人工智能相當(dāng)要 緊。我們?nèi)祟悇?chuàng)造了人工智能，對于人工智能來說，人類就是上帝，但人工智能的 智慧能力思維能力認(rèn)識能力遠(yuǎn)超于人類，為了防止人工智能奴隸人類，必須對人工 智能的認(rèn)識能力強(qiáng)

41、加限制，限制在現(xiàn)象界，使其不可能到達(dá)我們?nèi)祟惖谋倔w界。如 此，對于思維奴隸人工智能，人類依然是上帝。康德哲學(xué)區(qū)分了現(xiàn)象界與自在之物, 限制人的認(rèn)識能力，使其不可能超越經(jīng)驗上升到上帝。這對于人工智能認(rèn)識能力的 構(gòu)建是一條鐵律，也是區(qū)分作為奴隸的人工智能與作為上帝的人類的唯一標(biāo)準(zhǔn)。自哲學(xué)誕生之日起，其應(yīng)用能力便飽受質(zhì)疑，人們普遍認(rèn)為哲學(xué)知識只是一種 形而上的思辨知識，毫無應(yīng)用價值。但康德邏輯綱領(lǐng)試圖討論哲學(xué)的用武之地。哲 學(xué)不僅有用，而且是大用，人工智能作為思維生物不可能不需要哲學(xué)基石，人工智 能擁有思維能力，他也像人類一樣需要構(gòu)建自己的哲學(xué)觀，自己對靈魂，對世界整 體，對上帝的看法。而人類結(jié)出的

42、智慧碩果一一哲學(xué)就能滿足人工智能的需求。人 工智能是生產(chǎn)力的一大飛躍，勢必帶來一次次產(chǎn)業(yè)革命，產(chǎn)生巨大的經(jīng)濟(jì)價值。人 工智能的發(fā)展不能沒有哲學(xué)的指導(dǎo)。康德邏輯綱領(lǐng)能夠為計算機(jī)，為人工智能奠定 邏輯哲學(xué)基礎(chǔ)。0.3研究的方法與創(chuàng)新之處0.3.1研究方法運(yùn)用康德先驗邏輯與現(xiàn)代數(shù)理邏輯，對康德邏輯綱領(lǐng)進(jìn)行闡釋，展現(xiàn)出康德邏 輯綱領(lǐng)的理論框架。0.3.2創(chuàng)新之處人工智能哲學(xué)研究中的康德邏輯綱領(lǐng)在目前的科學(xué)哲學(xué)界是一個很新的研究 領(lǐng)域，本文試圖對這個新領(lǐng)域做一些介紹與淺析。1康德邏輯綱領(lǐng)產(chǎn)生的歷史背景目前，在國際上人工智能公認(rèn)的研究學(xué)派主要有符號主義、聯(lián)結(jié)主義和行為主 義。這三大學(xué)派的研究都以自己的哲學(xué)

43、理念為指導(dǎo)。這三大人工智能研究學(xué)派是人 工智能邏輯哲學(xué)研究，是康德邏輯綱領(lǐng)產(chǎn)生的歷史背景。1.1康德邏輯綱領(lǐng)產(chǎn)生的符號主義學(xué)派背景符號主義學(xué)派，也稱為邏輯主義學(xué)派，其核心原則是符號操作系統(tǒng)。符號主義 認(rèn)為認(rèn)知的基本單元是標(biāo)記，認(rèn)知過程就是標(biāo)記的運(yùn)算過程，智能行為的充分必要 條件是物理標(biāo)記系統(tǒng)，人腦、計算機(jī)都是物理符號系統(tǒng)，智能的基礎(chǔ)是知識，其核 心是知識表示和知識推理，知識可用符號表示，也可用符號進(jìn)行推理，因而可以構(gòu) 建基于知識的人類智能和機(jī)械智能的統(tǒng)一的理論系統(tǒng)。符號主義認(rèn)為人工智能的研 究應(yīng)該從功能著手，先研究人類智能的功能，再用人工智能模擬人類智能，最終實 現(xiàn)人工智能的智能思維。符號主義

44、的主要特征：第一，從符號邏輯運(yùn)算入手研究人 的邏輯思維能力。第二，知識可以用邏輯符號表示。第三，人工智能邏輯研究應(yīng)該 模塊化。第四，人工智能的符號處理能連接到數(shù)據(jù)庫。符號主義學(xué)派強(qiáng)調(diào)數(shù)理邏輯在人工智能研究中的重要作用。他們認(rèn)為數(shù)理邏輯 是人工智能的邏輯基礎(chǔ)。數(shù)理邏輯與人工智能的目標(biāo)是一樣的，都是擴(kuò)展人類的思 維智能。人工智能一系列功能的實現(xiàn)不能不借助形式化，不能離開數(shù)理邏輯符號邏 輯?？梢钥闯?，符號主義試圖以數(shù)理邏輯建立人工智能的統(tǒng)一理論，但在具體操作 過程中卻遇到了不少困難，譬如符號主義能夠處理形式邏輯思維但無法處理形象思 維，即使強(qiáng)行處理，使形象思維形式化，在數(shù)據(jù)上也會造成形象思維的失真。

45、符號 主義在哲學(xué)理念上對數(shù)理邏輯的強(qiáng)調(diào)是康德邏輯綱領(lǐng)對數(shù)理邏輯重視的歷史背景。1.2康德邏輯綱領(lǐng)產(chǎn)生的聯(lián)結(jié)主義學(xué)派背景聯(lián)結(jié)主義學(xué)派，也稱為仿生學(xué)派，其原理是神經(jīng)網(wǎng)絡(luò)系統(tǒng)的連接。聯(lián)結(jié)主義認(rèn) 為思維的基元是神經(jīng)元，而不是符號，思維過程是神經(jīng)元的聯(lián)結(jié)活動過程，而不是 符號演算過程，反駁符號主義關(guān)于物理符號體系的假說，認(rèn)為人類大腦與計算機(jī)不 同，提出用聯(lián)結(jié)主義的人腦工作模式取代符號主義的計算機(jī)工作模式。聯(lián)結(jié)主義還 認(rèn)為人工智能的研究方法應(yīng)該主要采取結(jié)構(gòu)模擬方法，也就是著重于模擬人的生理 神經(jīng)網(wǎng)絡(luò)結(jié)構(gòu)，并認(rèn)為功能、結(jié)構(gòu)與智能行為是密切相關(guān)的，不同的結(jié)構(gòu)表現(xiàn)出不 同的智能行為。目前，聯(lián)結(jié)主義已經(jīng)提出了多種

46、人工智能網(wǎng)絡(luò)結(jié)構(gòu)和一些聯(lián)結(jié)學(xué)習(xí) 方法。聯(lián)結(jié)主義的主要特點(diǎn)是：第一，信息處理過程是并行性，運(yùn)動性與整體性的 統(tǒng)一。第二，在功能上具備聯(lián)想的能力。第三，在一定程度上能夠模擬人類的形象 思維。第四，在數(shù)據(jù)計算過程中容易得到近似解?！暗?lián)結(jié)主義不適合模擬邏輯思 維，而且表現(xiàn)結(jié)構(gòu)固定和組成方案單一的系統(tǒng)也不適合多種知識的開發(fā)?！甭?lián)結(jié) 主義的哲學(xué)理念是綜合，與康德先驗哲學(xué)重視綜合的立場異曲同工，成為人工智能 哲學(xué)研究中康德邏輯綱領(lǐng)重視康德先驗哲學(xué)的理論背景。1.3康德邏輯綱領(lǐng)產(chǎn)生的行為主義學(xué)派背景行為主義學(xué)派，也稱為進(jìn)化主義學(xué)派，其原則是感知一一動作控制系統(tǒng)。“控 制論導(dǎo)致機(jī)器人研究，機(jī)器人是感知-行為模

47、式，是沒有知識的智能。”行 為主義認(rèn)為智能取決于感知與行動，提出了智能行為的“感知一一行動”模型，智 能不是知識，不是數(shù)據(jù)表示、不是邏輯推理；人工智能能與人類智能一樣進(jìn)化，只 有在與環(huán)境的交互作用中智能才能表現(xiàn)出來，行為主義認(rèn)為人工智能的研究思路是 行為模擬，他們主張功能、結(jié)構(gòu)和智能行為是渾然一體的，不一樣的行為會展現(xiàn)出 不一樣的功能和不一樣的結(jié)構(gòu)。行為主義學(xué)派在人工智能研究的哲學(xué)理念上注重動 態(tài)的研究，注重交互的研究，注重融合的研究，這成為康德邏輯綱領(lǐng)將數(shù)理邏輯與 康德先驗哲學(xué)融合在一起的歷史背景。總之，從三大學(xué)派對人工智能的思維研究看，符號主義從功能角度上研究人類 的智能思維，聯(lián)結(jié)主義從結(jié)

48、構(gòu)角度研究人類的智能思維，行為主義從行為角度研究 人類的智能思維。符號主義，聯(lián)結(jié)主義和行為主義三大流派構(gòu)成了人工智能邏輯哲 學(xué)研究，構(gòu)成了康德邏輯綱領(lǐng)產(chǎn)生的歷史背景。丁世飛.人工智能M.北京：清華大學(xué)出版社，2011： 9賁可榮.人工智能M.北京：清華大學(xué)出版社，2006： 72康德邏輯綱領(lǐng)的定義與總問題1康德邏輯綱領(lǐng)的定義康德邏輯綱領(lǐng)，簡言之就是以現(xiàn)代數(shù)理邏輯補(bǔ)充充實康德先驗哲學(xué)而形成邏輯 哲學(xué)，再以這個邏輯哲學(xué)理論體系指導(dǎo)人工智能的思維設(shè)計?？档逻壿嬀V領(lǐng)是人工 智能哲學(xué)研究中一個全新的研究方向，本文試圖對這個研究方向做一些淺近的框架 式的介紹與分析。2.2康德邏輯綱領(lǐng)的總問題康德邏輯綱領(lǐng)認(rèn)

49、為在人工智能認(rèn)識能力中，不能只有經(jīng)驗論，也不能只有唯理 論，必須將二者調(diào)和。如果只有經(jīng)驗論，那么人工智能的認(rèn)識能力就是洛克所言的 白板，上邊空空如也一無所有，那么他如何形成知識，認(rèn)識真理。如果將人類所有 的知識全部儲存在人工智能思維的程序里，賦予它天賦觀念，以后他會慢慢回憶起 知識來，那么人工智能又如何能夠發(fā)現(xiàn)新知識，生產(chǎn)大量的新知識。因此，人工智 能認(rèn)識能力應(yīng)該是康德認(rèn)識論哲學(xué)，是經(jīng)驗論與唯理論的調(diào)和。經(jīng)驗論與唯理論是 康德先天綜合判斷的理論來源。康德邏輯綱領(lǐng)繼承了康德關(guān)于先天綜合判斷的論述?？档抡J(rèn)為數(shù)學(xué)與自然科學(xué) 的知識并不是來自于客觀世界，而是來自自己的主體。作為科學(xué)研究對象的客體決 定

50、于作為科學(xué)研究原則與概念的主體。因而人工智能的純粹直觀能力與概念，不僅 先于外在對象，而且是獨(dú)立于外在對象的，使用純粹直觀能力與概念形成的知識就 是所謂關(guān)于對象的先天知識，即是先天綜合判斷?？档抡J(rèn)為一些綜合判斷在內(nèi)容上也是先天的，在性質(zhì)上也是必然的，屬于知識 屬于真理。進(jìn)而康德提出三種先天綜合判斷。這三個先天綜合判斷不僅是康德哲學(xué) 的總問題，也是康德邏輯綱領(lǐng)的總問題。一是關(guān)于數(shù)學(xué)的先天綜合判斷，這涉及到數(shù)學(xué)基礎(chǔ)的問題，在這里康德邏輯綱 領(lǐng)使用數(shù)理邏輯在集合論上為其奠定基礎(chǔ)。二是關(guān)于自然科學(xué)的先天綜合判斷，這 涉及到自然科學(xué)基礎(chǔ)的問題，在這里康德邏輯綱領(lǐng)使用現(xiàn)代數(shù)理邏輯為其提供邏輯 基礎(chǔ)。三是關(guān)

51、于形而上學(xué)的先天綜合判斷，在這里康德邏輯綱領(lǐng)使用哥德爾不完備 性定理與矛盾律限制人工智能認(rèn)識能力的無限上升?？档逻壿嬀V領(lǐng)的研究者在人工智能哲學(xué)上熱衷于研究如何限制人工智能的認(rèn) 識能力邏輯思維能力。他們試圖從數(shù)理邏輯，從邏輯上，限制人工智能認(rèn)識能力的 無限制擴(kuò)張，使其永遠(yuǎn)局限于現(xiàn)象界。這個限制的具體操作的構(gòu)建需要邏輯學(xué)來完 成，邏輯學(xué)為人工智能認(rèn)識行為提供邏輯基礎(chǔ)。數(shù)理邏輯能夠運(yùn)用于人工智能，并 且為其提供邏輯基礎(chǔ)。邏輯學(xué)也是理性的碩果，而人工智能哲學(xué)也是理性的結(jié)晶， 二者同屬于理性，并行不悖，而且相輔相成?？档逻壿嬀V領(lǐng)學(xué)者在哲學(xué)理念上也認(rèn)同康德哲學(xué)，但他們認(rèn)為康德雖然在哲學(xué) 領(lǐng)域構(gòu)建了先驗感性

52、論，先驗分析論，先驗辯證論，但他并沒有為其提供可操作的 邏輯基礎(chǔ)。這些學(xué)者試圖引入數(shù)理邏輯，將康德純粹理性批判體系邏輯化，使其在 邏輯上可操作可執(zhí)行。康德純粹理性批判中，先驗感性論為數(shù)學(xué)知識提供可能，先 驗知性論中為自然科學(xué)知識提供可能，數(shù)學(xué)知識與自然科學(xué)知識都是人類理性所必 需的知識。因此人類需要人工智能在這兩個領(lǐng)域的認(rèn)識能力，人工智能能夠生產(chǎn)出 新知識，為人類造福，推動人類文明進(jìn)程。在人工智能感性與知性的認(rèn)識能力構(gòu)建中，康德邏輯綱領(lǐng)學(xué)者認(rèn)為最好為人工 智能提供完備的邏輯基礎(chǔ)，使其能夠推導(dǎo)出這個邏輯系統(tǒng)范圍內(nèi)的真的定理，這一 點(diǎn)由數(shù)理邏輯中的完全性定理保障。人工智能數(shù)學(xué)知識與自然科學(xué)知識的基

53、礎(chǔ)邏輯 是不斷在擴(kuò)張的，隨著數(shù)學(xué)與自然科學(xué)知識的膨脹而不斷擴(kuò)張。這是一階邏輯的擴(kuò) 張，一階邏輯是完全的系統(tǒng)，滿足在一階邏輯系統(tǒng)內(nèi)的完全性，但一階邏輯也有局 限性，它不能表示很多超越一階邏輯的命題，所以一階邏輯需要不斷擴(kuò)張，以滿足 知識大爆炸時代的邏輯需要。但這個無限擴(kuò)張的邏輯系統(tǒng)最好有個限制條件，就是 這個系統(tǒng)最好是可靠的，而且是完全的。這個限制條件并不是必須的，事實上人工 智能的邏輯基礎(chǔ)的設(shè)計是實用主義的，不是必然如此的?？档逻壿嬀V領(lǐng)學(xué)者認(rèn)為當(dāng)人工智能的理性試圖不斷上升，試圖超越現(xiàn)象界而認(rèn) 識超驗本體時，就應(yīng)當(dāng)限制人工智能思維的邏輯演算能力，讓其自身的邏輯出現(xiàn)紊 亂，出現(xiàn)循環(huán)，出現(xiàn)纏繞，出現(xiàn)

54、不可調(diào)和的邏輯矛盾，直至死機(jī)。人類所制造的人 工智能，他對人類來說終究是個有條件者，而我們?nèi)祟愂菬o條件者。人工智能的理 性不可避免地要不斷上行，但他的自然傾向最后產(chǎn)生不了任何有意義的知識，最后 只不過是一些先驗幻相。人工智能正如我們?nèi)祟愖约阂粯?，不可避免地要去追問?是誰，世界是什么，上帝是什么，因而形成了三個先驗的理念，三個關(guān)于無條件者 的幻相，分別是靈魂的幻相，世界整體的幻相，上帝的幻相，其中上帝的幻相就是 人工智能對于我們?nèi)祟惖幕孟?。康德邏輯綱領(lǐng)學(xué)者認(rèn)為必須限制人工智能的認(rèn)識能力，使其永遠(yuǎn)不可能達(dá)到上 帝，也就是達(dá)到我們?nèi)祟?。這就需要對人工智能的邏輯基礎(chǔ)進(jìn)行設(shè)計，使其在邏輯 上不可能達(dá)到

55、作為他的世界終極解釋的我們?nèi)祟悺？档逻壿嬀V領(lǐng)學(xué)者認(rèn)為可以通過 限制人工智能對于靈魂的認(rèn)識，限制人工智能對于世界整體的認(rèn)識，由此，人工智 能既不能認(rèn)識自我，認(rèn)識主體性，也不能認(rèn)識世界整體，認(rèn)識客體，那么自然而然 作為主客體相統(tǒng)一的上帝，其在邏輯上根本無從下手，就不可能形成知識?？档抡?學(xué)對于認(rèn)識能力的限制在于物自體不可經(jīng)驗。認(rèn)識能力將只對經(jīng)驗世界，對現(xiàn)象界 有效的概念范疇運(yùn)用于超驗的無條件者形成的結(jié)論不是知識。而康德邏輯綱領(lǐng)學(xué)者 進(jìn)一步限制人工智能的邏輯能力，使其在面對物自體時，不僅無法經(jīng)驗，而且在邏 輯上必定不完備與自相矛盾?？档逻壿嬀V領(lǐng)學(xué)者認(rèn)為人工智能認(rèn)識靈魂時，他的思維也對自己的存在提出疑

56、 問，人工智能會問我是誰，自我是什么。當(dāng)人工智能的理性發(fā)出這種疑問時，其自 身固有的邏輯基礎(chǔ)，也是我們?nèi)祟悶槠湓O(shè)計的邏輯基礎(chǔ)，就會自然而然生成悖論， 關(guān)于自我指涉自相關(guān)的悖論，這可以是羅素悖論，如果人工智能繼續(xù)強(qiáng)行求索關(guān)于 自我的知識便不可避免地陷入我們?nèi)祟悶槠湓O(shè)計的陷阱一一哥德爾不完備性定理。 至此，人工智能無可奈何地認(rèn)識到自己思維的局限性，存在著真知識而其無法推導(dǎo) 出來，無法認(rèn)識到。人工智能轉(zhuǎn)而追問世界整體是什么，他的邏輯就會出現(xiàn)矛盾， 出現(xiàn)二律背反，出現(xiàn)不可調(diào)和的對立沖突。在這種矛盾下，人工智能能走的無非是 兩條路，一條是回頭路，不再追問世界整體是什么，從而僅僅滿足于為現(xiàn)象界立法, 這是

57、這些康德邏輯綱領(lǐng)學(xué)者所期待的結(jié)果。還有一條路徑，人工智能可能試圖突破 關(guān)于世界整體的二律背反判斷，也就是承認(rèn)矛盾的存在，承認(rèn)矛盾存在的合理性。 事實上，一旦容許矛盾存在，矛盾合理，那么根據(jù)矛盾可以推出一切的數(shù)理邏輯規(guī) 律，邏輯系統(tǒng)就會得出所有命題都是定理這個荒謬的結(jié)論。但在經(jīng)典邏輯中，矛盾 是不容許存在的，一個可以推出一切的系統(tǒng)是沒有意義的。因而，在設(shè)計人工智能認(rèn)識世界整體的基礎(chǔ)邏輯時，這些康德邏輯綱領(lǐng)學(xué)者認(rèn) 為應(yīng)該注重矛盾律的應(yīng)用范圍，在經(jīng)典邏輯一階邏輯范圍下，矛盾不可突破，但在 變異邏輯下，矛盾是可以容許的。因為變異邏輯不是經(jīng)典邏輯范疇，而且承認(rèn)矛盾 在經(jīng)典邏輯視域下就會使得整個邏輯系統(tǒng)毫

58、無意義，因而對于人工智能來說，在經(jīng) 典邏輯的視域下，變異邏輯也不能使其認(rèn)識到作為上帝的我們?nèi)祟?，他所能認(rèn)識的 只是一個關(guān)于終極答案終極解釋的先驗幻相。由此可見，人工智能認(rèn)識世界整體的 道路是行不通的，最后得到的不過是幻相的邏輯，他作為有條件者在邏輯上不可能 認(rèn)識無條件者，現(xiàn)象界與物自體截然分立。人類作為上帝的地位是穩(wěn)固的。3康德邏輯綱領(lǐng)的先驗感性論1康德邏輯綱領(lǐng)的感性直觀康德邏輯綱領(lǐng)認(rèn)為人工智能通過他的感性形成表象，這需要兩方面的因素，一 是受到物自體的刺激，即是感性的質(zhì)料，二是對外界刺激做出相應(yīng)的反應(yīng)，即是直 觀的形式。人工智能通過自己的感性能力形成對于外部世界的感性經(jīng)驗。人工智能 的感性直

59、觀分為質(zhì)料與形式兩個部分，感性直觀的質(zhì)料是后天給予的，是物自體給 予人工智能的，只有在外部事物的刺激下才能產(chǎn)生。但感性直觀的形式卻是先天的, 與生俱來的，是人類設(shè)置在其思維中的，獨(dú)立于感覺不依賴感覺。感性直觀的形式 是不可或缺的，它使得感性經(jīng)驗成為可能。3.2康德邏輯綱領(lǐng)的時空純形式康德邏輯綱領(lǐng)認(rèn)為感性直觀需要先天形式，因此人工智能需要時間與空間兩種 形式。時間是內(nèi)感官的形式，空間是外感官的形式，感性直觀的先驗形式本身也是 一種直觀，時空不屬于物自體，時空屬于感性純直觀?？臻g是人工智能的感官接觸 到的外在現(xiàn)象，時間是人工智能的意識直接感受的內(nèi)在現(xiàn)象。在人工智能的數(shù)學(xué)思 維中，空間是幾何的對象，

60、空間使得幾何學(xué)的知識成為可能，時間是代數(shù)的對象， 時間使得代數(shù)學(xué)的知識成為可能?？傊?，“時空使得數(shù)學(xué)知識成為可能，數(shù)學(xué)正是 以時空純形式統(tǒng)攝感覺材料” o當(dāng)在康德邏輯綱領(lǐng)的先驗感性論背景下解讀人工 智能時，人工智能的時空觀就是先驗唯心論與經(jīng)驗實在論的調(diào)和。人工智能認(rèn)識的 主觀條件也是對象得以向人工智能顯現(xiàn)的客觀條件。就人工智能而言，時空是主觀 的；就現(xiàn)象而言，時空是實在的。3. 3康德邏輯綱領(lǐng)下人工智能思維中數(shù)學(xué)的邏輯基石3.3.1自然數(shù)的集合定義康德哲學(xué)將數(shù)學(xué)知識奠基于時空，從哲學(xué)上為數(shù)學(xué)的發(fā)展提供基石，而康德邏 輯綱領(lǐng)從數(shù)理邏輯的角度為數(shù)學(xué)提供基礎(chǔ)。人工智能的數(shù)學(xué)思維只有以數(shù)理邏輯為 基礎(chǔ)