本人作業(yè)論文妇萄，轉(zhuǎn)載注明出處

摘要：弗雷格的邏輯主義帶來邏輯學(xué)學(xué)科的獨立蜕企，本文通過分析以范丙申為代表的現(xiàn)代邏輯學(xué)家咬荷，展示心理主義的旗幟下邏輯學(xué)發(fā)展開拓視野中的后心理主義。后心理主義是對傳統(tǒng)心理主義主義的揚棄與深化回歸轻掩，動態(tài)研究興起幸乒，直覺主義邏輯體系的建立是這種回歸的直接體現(xiàn)。

關(guān)鍵詞：直覺主義 后心理主義 邏輯主義

在當(dāng)下，邏輯學(xué)正經(jīng)歷一場“后心理主義”的洗禮，早先由弗雷格提出的邏輯主義拒斥心理因素對于邏輯學(xué)的“干擾”的歷史漸漸退出舞臺慈格，取而代之的是認(rèn)知科學(xué)學(xué)科群的迅速發(fā)展促進(jìn)了心理主義的回歸钉迷。所謂“后心理主義”是由荷蘭阿姆斯特丹大學(xué)的教授范丙申(Johan van Benthem)提出的一個概念，意指當(dāng)下認(rèn)知轉(zhuǎn)向背景下邏輯學(xué)對于動態(tài)觀念研究興起，更加注重事實，與事實更加接近，甚至嘗試描述推理的準(zhǔn)確心理過程與人工智能發(fā)展宴咧，與心理學(xué)形成學(xué)科良好交叉的一種學(xué)科發(fā)展趨勢。而這其中径缅，直覺主義邏輯觀被認(rèn)為是心理主義回歸的典型表現(xiàn)掺栅。

一．邏輯主義與心理主義之爭

弗雷格在《算術(shù)基礎(chǔ)》的序言中寫道：“始終要把心理的東西和邏輯的東西、主觀的東西和客觀的東西嚴(yán)格區(qū)別開來纳猪⊙跷裕”他認(rèn)為語言的涵義就是命題的涵義，語言所交流表達(dá)的東西是客觀的氏堤，認(rèn)為心理這種主觀沙绝、虛無的東西和邏輯無關(guān)，認(rèn)為邏輯不追究主體實際怎么思考鼠锈，而追究客觀的命題關(guān)系與思維秩序闪檬。在此基礎(chǔ)之上，弗雷格建立了數(shù)理邏輯的基礎(chǔ)——形式化系統(tǒng)购笆，同時弗雷格堅信數(shù)學(xué)是建立在邏輯基礎(chǔ)之上的粗悯，所有數(shù)學(xué)知識可以公理化，并孜孜尋求一套公理系統(tǒng)可以囊括所有已知數(shù)學(xué)公式同欠，他堅信數(shù)學(xué)可以化歸為邏輯样傍，所以被稱為邏輯主義。其后胡塞爾也表示支持邏輯主義铺遂，反對心理主義衫哥，因為心理學(xué)是主觀經(jīng)驗科學(xué)，而邏輯學(xué)是客觀規(guī)律科學(xué)襟锐，心理主義導(dǎo)致邏輯學(xué)的相對主義與懷疑論撤逢，同時宣言要建立一門“純粹邏輯學(xué)”，“作為一門自然劃界的，自身封閉的科學(xué)”蚊荣、“具有獨立于所有心理學(xué)的所在”初狰。

那么心理主義主義到底是什么呢，它有什么主張呢妇押？

密爾是英國的實證主義哲學(xué)家和近代歸納邏輯的奠基者，他在《漢密爾頓哲學(xué)考察》中寫下：“邏輯學(xué)不是關(guān)于思想本身的理論姓迅，而是關(guān)于有效思想的理論敲霍；不是關(guān)于思維的理論，而是關(guān)于正確思維的理論丁存。它并非一門不同于心理學(xué)肩杈，而又與之并列的科學(xué)。就其是一門科學(xué)而言解寝，它乃是心理學(xué)的一個部分或一個分支扩然；它不同于心理學(xué)，一方面看聋伦，是部分不同于整體夫偶；另一方面看，是一項技藝不同于一門科學(xué)觉增。它的理論基礎(chǔ)整個是從心理學(xué)那里借用過來的兵拢。而這些理論基礎(chǔ)所包括的恰好就是這門科學(xué)中用來為這項技藝的規(guī)則做辯護(hù)的那么多東西∮饨福”密爾在這段話中直接透露了他的實證主義經(jīng)驗主義立場说铃，同時將邏輯學(xué)看成心理學(xué)的分支學(xué)科甚至是一部分，這著實惹怒了很多邏輯學(xué)家嘹履，因為這相當(dāng)于取消了邏輯學(xué)的獨立學(xué)科地位腻扇，同時他也表達(dá)了邏輯學(xué)的基礎(chǔ)就是心理學(xué)這一十分有爭議的觀點。

在學(xué)界砾嫉，心理主義也有強心理主義和弱心理主義之分幼苛。強心理主義如同前文的密爾，將邏輯學(xué)視為心理學(xué)的應(yīng)用科學(xué)焕刮，同時認(rèn)為邏輯學(xué)的規(guī)律只是來源于對心理規(guī)律的概括總結(jié)蚓峦，例如密爾認(rèn)為矛盾律不過是來自經(jīng)驗的概括，持有這種強心理主義觀點的哲學(xué)家還有弗里斯济锄、布倫塔諾暑椰、馮特、邁儂等荐绝。鑒于強心理主義太富爭議一汽，皮爾斯提出弱心理主義，認(rèn)為邏輯學(xué)在源頭上緣由心理，但在其后發(fā)展中成為一門規(guī)范推理與正確思維的學(xué)科召夹，演化為不是關(guān)心事實是怎樣而是應(yīng)該怎樣的學(xué)科岩喷。弱心理主義的提出淡化了心理主義的片面性，承認(rèn)邏輯學(xué)的學(xué)科獨立性监憎，為其后心理主義與邏輯學(xué)的和解留下轉(zhuǎn)圜余地纱意。

二．范丙申對心理主義的全新解讀

在范丙申(Johan van Benthem)教授的《邏輯與推理——事實重要嗎》一文中，范丙申論述了后心理主義的思想路徑鲸阔，他大聲宣布“邏輯不是實驗心理學(xué)也不是理論心理學(xué)偷霉，但如果邏輯與事實推理相分離，就任何目的來說都是徹底無用的”褐筛。范丙申教授是當(dāng)代著名的支持心理主義與動態(tài)邏輯的學(xué)者类少，之所以有此主張我猜測和部分邏輯學(xué)家的狹隘邏輯觀限制了邏輯學(xué)發(fā)展的現(xiàn)狀有關(guān)，他在《邏輯與推理——事實重要嗎》一文中也指出“很難想象像邏輯學(xué)這樣有防御性的學(xué)科領(lǐng)域渔扎，這不是一個好現(xiàn)象硫狞。”邏輯學(xué)是研究有效推理與合理思維的晃痴，而一種對于純粹邏輯與應(yīng)用邏輯之分的二分論残吩，導(dǎo)致一些人將邏輯學(xué)的核心傳統(tǒng)邏輯視為一種固定或死的東西，而把其他的都籠統(tǒng)歸為應(yīng)用邏輯倘核。邏輯學(xué)的自我設(shè)限和對于形式邏輯的不流動性給邏輯學(xué)版圖擴(kuò)張帶來很大的麻煩世剖。同時，范丙申教授認(rèn)為笤虫，在當(dāng)代旁瘫，邏輯的發(fā)展趨勢是研究信息更新，認(rèn)知主體推理的多樣性琼蚯，信念修正酬凳，缺省推理以及主體間的互動與交融，但這種主張并不意味對傳統(tǒng)邏輯的背棄或是對數(shù)理邏輯的反對遭庶，相反教授也在文章中強調(diào)數(shù)理邏輯工具對于邏輯研究的基礎(chǔ)作用宁仔，但他反對將邏輯學(xué)視為“形式系統(tǒng)工具箱”的認(rèn)識，從某種層面上來說這是在反對邏輯學(xué)的絕對工具論峦睡，這與張建軍教授對于層級分明的大邏輯觀有一定的相似翎苫。

傳統(tǒng)邏輯輕視邏輯主體在推理中的作用，邏輯主義認(rèn)為邏輯不是關(guān)于事實是怎樣的而是關(guān)于應(yīng)該是怎樣的榨了，忽視記憶煎谍、經(jīng)驗、信息更新龙屉、主體多樣性等因素對于推理的影響呐粘，可是即使是在純數(shù)學(xué)領(lǐng)域满俗，對于證明，人們也不是運用規(guī)范在一塊白板上從無到有的建構(gòu)作岖，而是有經(jīng)驗和記憶的搜尋唆垃、聯(lián)手。范丙申隨后強調(diào)了很多日常的邏輯行為伴隨著幾個主體間的邏輯互動痘儡，有問題的爭論辯駁與信息融合辕万，而不是干巴巴的“后承關(guān)系”的研究。

心理學(xué)也有許多著名的關(guān)于推理的實驗沉删，例如沃森紙牌游戲渐尿，在這種實驗中，我們可以清晰地看到主體并非按一種機(jī)械丑念、單調(diào)的邏輯在進(jìn)行推理涡戳，但人們也不否認(rèn)邏輯公理的正確性與普適性结蟋。對于此范丙申解釋前者只是“實踐海洋中的幾座孤島”脯倚，而后者是“珊瑚礁”，研究反思性事實很重要嵌屎，而太平洋上的星羅群島也因該是我們關(guān)注的對象推正。邏輯學(xué)應(yīng)該理解這種動態(tài)的行為，而不是一種正確性的靜態(tài)護(hù)衛(wèi)宝惰，因為一個思維的健康免疫系統(tǒng)才是保證人類理性可以糾正我們的信念計劃之歧途的唯一方法植榕，雖然事實總是復(fù)雜的，邏輯推理模型總是有偏差的尼夺，但我們不該放棄這種努力尊残。

三．直覺主義邏輯

與邏輯主義幾乎同一時間出現(xiàn)的，是布勞維爾的直覺主義淤堵。作為直覺主義的開創(chuàng)者寝衫，布勞維爾十分欣賞康德將數(shù)學(xué)看做“先天直觀”、“純粹直觀”的觀點拐邪，并認(rèn)為邏輯不是數(shù)學(xué)的基礎(chǔ)慰毅，相反數(shù)學(xué)是邏輯的基礎(chǔ)。同時他認(rèn)為數(shù)學(xué)的意義只在于能行的可構(gòu)造性扎阶，一個不可構(gòu)造的思想元素不是數(shù)學(xué)的研究對象，數(shù)學(xué)是一種對于個人的心靈與靈感對象的數(shù)字體現(xiàn)东臀，數(shù)學(xué)的思想與直覺概念就存在于我們的心靈之中。他諷刺邏輯主義惰赋，認(rèn)為邏輯主義實無窮的概念是導(dǎo)致羅素悖論的元兇，直覺主義只承認(rèn)潛無窮，即認(rèn)為無窮不是個整體或完成的狀態(tài)贵扰，而是一種潛在能力或不斷生成的狀態(tài)仇穗。根據(jù)潛無窮的觀點戚绕，你不可以把自然數(shù)集看成一個集合，而是把它看成不斷延伸舞丛，不斷自我生成且永無止境的數(shù)列耘子。

基于此，直覺主義拒斥經(jīng)典邏輯中的排中律球切，因為排中律假定了一種有窮的狀態(tài)，而在潛無窮基礎(chǔ)上吨凑，在動態(tài)變化基礎(chǔ)上的直覺主義，拒斥排中律的普適性鸵钝，所以在直覺主義者看來，

不是邏輯真理恩商，同樣

也是不成立的，因為直覺主義堅持構(gòu)造的思想揽乱，認(rèn)為證明的唯一途徑在于構(gòu)造粟矿，同時因為拒斥排中律所以直覺主義不承認(rèn)反證法。直覺主義對于其他邏輯連接詞的解釋都是構(gòu)造性的嚷炉。

對于量詞邏輯，直覺主義的解釋也十分新穎绘证。

是指有一個可構(gòu)造證明程序哗讥，在其中至少可以找到一個個體具有B性質(zhì)。

指有一種一般構(gòu)造程序在其下對于任一x,x都有B性質(zhì)魏宽。

但顯然,

因為后者表示不存在這種一般構(gòu)造程序在其下對于任意x都不具有B性質(zhì)队询，但這并非說存在一個構(gòu)造程序使有一個x具有B性質(zhì)派桩，這與經(jīng)典邏輯是不同的。因為可構(gòu)造性是直覺主義的核心蚌斩，直覺主義的一切解釋都建立在這個核心之上送膳，因此直覺邏輯不同于經(jīng)典邏輯，

這些連接詞之間不可相互定義叠聋。直覺主義邏輯較經(jīng)典邏輯更為嚴(yán)苛，有些經(jīng)典邏輯的定理并非直覺邏輯的定理所以直覺主義邏輯是經(jīng)典邏輯的一個真子集虏束。

在此基礎(chǔ)上脑慧，直覺主義者們又提出了不少直覺主義系統(tǒng)砰盐，例如ranassov直覺模糊邏輯系統(tǒng)。

對于直覺主義的評價不一而足岩梳，批評者大多詬病其對于“構(gòu)造”概念的模糊解釋和對于排中律、反證法等日常直觀拒斥所帶來的應(yīng)用狹窄也物。但是我們也要看到列疗，如范丙申所宣言，直覺主義是一種心理主義的典型回歸抵栈，它拒斥在靜態(tài)的刻板的層面上去研究數(shù)學(xué)與邏輯，將邏輯看做自由而充滿生機(jī)的斥赋，充滿人類氣息的學(xué)科产艾，熱情贊揚直覺與創(chuàng)造在邏輯學(xué)科的正當(dāng)性滑绒，洗刷了邏輯主義過于形而上的邏輯刻板映像隘膘，是一種人文主義的回歸。

誠然焰扳，邏輯直覺主義有很多的缺陷吨悍，如過于夸大直覺在研究中的作用顯得邏輯只是天才們閉門造車的產(chǎn)物蹋嵌，這是不對的栽烂，脫離現(xiàn)實與實踐的邏輯學(xué)是無法遠(yuǎn)行的。弗雷格構(gòu)造的經(jīng)典謂詞演算與命題演算腺办，羅素對悖論的研究怀喉，是邏輯學(xué)史上不滅的輝煌。

四．結(jié)語

在當(dāng)代這個認(rèn)知學(xué)科群建構(gòu)的大背景下躬拢，邏輯學(xué)與心理學(xué)重歸于好。邏輯學(xué)家一直擔(dān)心心理學(xué)的入侵會取消邏輯學(xué)學(xué)科的獨立性工猜，但歷史證明這只是一種杞人憂天菱蔬，這兩個學(xué)科有自己獨立的研究領(lǐng)域與研究方式，但人工智能對于人類技術(shù)所提出的挑戰(zhàn)拴泌，不是光靠某一學(xué)科的努力或是輝煌可以解決的弛针，科學(xué)的趨勢必然是打破學(xué)科壁壘，融匯大科學(xué)削茁，形成人類知識的有序與網(wǎng)構(gòu)掉房。而如邏輯學(xué)家范丙申所宣稱的那樣慰丛，直覺主義的回歸是心理主義復(fù)蘇的利好征兆，我們期待邏輯學(xué)與心理學(xué)燦爛的未來哪亿。

吳玥

參考文獻(xiàn)

[1] 《邏輯與推理——事實重要嗎》贤笆，（荷蘭）Johan van Benthem，《湖北大學(xué)學(xué)報》篡殷，2012年第3期

[2] 《論數(shù)學(xué)哲學(xué)中的直覺主義思想》埋涧，馮棉，《華東師范大學(xué)學(xué)報(哲學(xué)社會科學(xué)版)》棘催，2002年第4期

[3] 《論直覺主義邏輯對經(jīng)典邏輯的挑戰(zhàn)》，顏中軍邑跪，《湘潭大學(xué)學(xué)報(哲學(xué)社會科學(xué)版)》纲仍，2011年第3 期

[4] 《試論弗雷格的反心理主義邏輯觀》贸毕，顏中軍，《自然辯證法研究》乡革，2008年第8期

[5] 《反心理主義的勝利與潰退》摊腋，李琦，《畢節(jié)學(xué)院學(xué)報》兴蒸，2010年第12期

[6] 《邏輯哲學(xué)》，陳波蕾殴，北京大學(xué)出版社，2005年8月第1版