1、分類號(hào)：密級(jí)：公開(kāi)學(xué)校代碼：10140 學(xué)號(hào)：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é)完成時(shí)間：二。一八年四月申請(qǐng)遼寧大學(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一八年四月中國(guó)遼寧遼寧大學(xué)學(xué)位論文原創(chuàng)性聲明本人鄭重聲明：所呈交的學(xué)位論文是本人在導(dǎo)師的指導(dǎo)下獨(dú)立完成 的。論文中取得的研究成果除加以標(biāo)注的內(nèi)容外，不包含其他個(gè)人或集 體已經(jīng)發(fā)表或撰寫過(guò)的研究成果，不包含本人為獲得其他學(xué)位而使用過(guò) 的成果。對(duì)本文的研究做出重要貢獻(xiàn)的個(gè)人和集體均已在文中進(jìn)行了標(biāo) 注，并表示謝意。本人完全意識(shí)到本聲明的法律結(jié)果由本人承擔(dān)。學(xué)位論文作者簽名:2。保年 月日學(xué)位論文版權(quán)使用授權(quán)書(shū)本學(xué)位論文作者完全了解學(xué)校有關(guān)保留、使用學(xué)位

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

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

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

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

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

8、是知識(shí)。而康德 邏輯綱領(lǐng)進(jìn)一步限制人工智能的邏輯能力，使其在面對(duì)物自體時(shí)，不僅無(wú)法經(jīng)驗(yàn)， 而且在邏輯上必定不完備與自相矛盾。關(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)實(shí)意義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)生的符號(hào)主義學(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)的定義與總問(wèn)題7 HYPERLINK l bookmark30 o Current Document 2.1康德邏輯綱領(lǐng)的定義7 HYPERLINK l bookmark34 o Current Document 2.2康德邏輯綱領(lǐng)的總問(wèn)題7 HYPERLINK l bookmark37 o

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

27、邏輯綱領(lǐng)的先驗(yàn)知性論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 先驗(yàn)邏輯判斷12 HYPERLINK l bookmark60 o Current Document 4.3康德邏輯綱領(lǐng)的先天認(rèn)識(shí)結(jié)構(gòu)13 HYPERLINK l bookmark63 o Current Document 4.4康德邏輯綱領(lǐng)中的統(tǒng)覺(jué)概念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)先驗(yàn)知性的邏輯基礎(chǔ)174.10.1康德邏輯綱領(lǐng)中先驗(yàn)知性的邏輯基礎(chǔ)的一致性174.10.2康德邏輯綱領(lǐng)中先驗(yàn)知性的邏輯基礎(chǔ)的可靠性174.10.3康德邏輯綱領(lǐng)中先驗(yàn)知性的邏輯基礎(chǔ)的完全性18 HYPERLINK l bookmark84 o Current Document 5康德邏輯綱領(lǐng)的先驗(yàn)理性論19 HYPERLINK l bookmark87 o Current Document 5.1康德邏輯綱領(lǐng)的先驗(yàn)心理學(xué)195.1.1康德邏輯綱領(lǐng)的我思故我在195.1.2康德邏輯綱領(lǐng)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

45、符號(hào) 主義在哲學(xué)理念上對(duì)數(shù)理邏輯的強(qiáng)調(diào)是康德邏輯綱領(lǐng)對(duì)數(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)元，而不是符號(hào)，思維過(guò)程是神經(jīng)元的聯(lián)結(jié)活動(dòng)過(guò)程，而不是 符號(hào)演算過(guò)程，反駁符號(hào)主義關(guān)于物理符號(hào)體系的假說(shuō)，認(rèn)為人類大腦與計(jì)算機(jī)不 同，提出用聯(lián)結(jié)主義的人腦工作模式取代符號(hào)主義的計(jì)算機(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)是：第一，信息處理過(guò)程是并行性，運(yùn)動(dòng)性與整體性的 統(tǒng)一。第二，在功能上具備聯(lián)想的能力。第三，在一定程度上能夠模擬人類的形象 思維。第四，在數(shù)據(jù)計(jì)算過(guò)程中容易得到近似解。“但聯(lián)結(jié)主義不適合模擬邏輯思 維，而且表現(xiàn)結(jié)構(gòu)固定和組成方案單一的系統(tǒng)也不適合多種知識(shí)的開(kāi)發(fā)。”聯(lián)結(jié) 主義的哲學(xué)理念是綜合，與康德先驗(yàn)哲學(xué)重視綜合的立場(chǎng)異曲同工，成為人工智能 哲學(xué)研究中康德邏輯綱領(lǐng)重視康德先驗(yàn)哲學(xué)的理論背景。1.3康德邏輯綱領(lǐng)產(chǎn)生的行為主義學(xué)派背景行為主義學(xué)派，也稱為進(jìn)化主義學(xué)派，其原則是感知一一動(dòng)作控制系統(tǒng)。“控 制論導(dǎo)致機(jī)器人研究，機(jī)器人是感知-行為模

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

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

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

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

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

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

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

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

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

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

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

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

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

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