胡懷亮,楊曉軍

(云南師范大學(xué)哲學(xué)系,昆明 650092)

弗雷格邏輯思想的來(lái)源、內(nèi)容及面臨的困境

胡懷亮,楊曉軍

(云南師范大學(xué)哲學(xué)系,昆明 650092)

弗雷格認(rèn)為須把邏輯研究從心理主義的影響中解放出來(lái),為了達(dá)到這個(gè)目的,他確立了算數(shù)演算的基本規(guī)則,建立了初步自足的命題演算系統(tǒng)和量化理論,提供了現(xiàn)代意義下的數(shù)理邏輯體系,這為后世語(yǔ)言哲學(xué)的發(fā)展奠定了邏輯基礎(chǔ)。由于受到社會(huì)發(fā)展的局限,弗雷格邏輯思想里面也存在一些令人們費(fèi)解的東西。嘗試從邏輯思想淵源、學(xué)術(shù)內(nèi)容以及面臨的困境三個(gè)方面來(lái)探討弗雷格的邏輯思想。

弗雷格;思想來(lái)源;內(nèi)容;意義

主持人語(yǔ): 中國(guó)邏輯學(xué)會(huì)秘書(shū)長(zhǎng) 鄒崇理研究員

弗雷格是現(xiàn)代邏輯的創(chuàng)始人,其豐富而深刻的邏輯哲學(xué)思想對(duì)后世產(chǎn)生了深遠(yuǎn)的影響,因此研究弗雷格的邏輯哲學(xué)思想具有較大的學(xué)術(shù)價(jià)值。本期專(zhuān)欄收錄的胡懷亮博士等的《弗雷格邏輯思想的來(lái)源、內(nèi)容及面臨的困境》一文即嘗試從邏輯思想淵源、學(xué)術(shù)內(nèi)容以及面臨的困境三個(gè)方面來(lái)探討弗雷格的邏輯思想。本期專(zhuān)欄收錄的另外一篇論文——賈改琴博士的《形容詞性謂語(yǔ)句的邏輯語(yǔ)義分析》一文則關(guān)注自然語(yǔ)言的邏輯語(yǔ)義分析和漢語(yǔ)信息處理這一熱門(mén)話題,該文將現(xiàn)代漢語(yǔ)中的形容詞性謂語(yǔ)句分為光桿形容詞謂語(yǔ)句和復(fù)雜形容詞謂語(yǔ)句兩種,并利用轉(zhuǎn)換生成語(yǔ)法、謂詞邏輯、集合論和λ-演算等技術(shù)工具分別對(duì)兩類(lèi)形容詞謂語(yǔ)句做出較詳細(xì)的分析。

19世紀(jì)中葉是一個(gè)哲學(xué)心理主義占統(tǒng)治地位的時(shí)代,當(dāng)時(shí)心理主義認(rèn)為,邏輯是從人類(lèi)思維中歸納出來(lái)的規(guī)律。弗雷格認(rèn)為這種觀點(diǎn)是錯(cuò)誤的,它誤導(dǎo)了邏輯研究,因此必須把邏輯研究從心理主義的影響中解放出來(lái),為此,他提出了“邏輯學(xué)研究的對(duì)象是真,真是客觀的”,及“必須把心理的東西和邏輯的東西區(qū)別開(kāi)來(lái)的邏輯哲學(xué)研究三原則”[1]。弗雷格因?yàn)槠湄S富而深刻的邏輯哲學(xué)思想以及對(duì)學(xué)界深遠(yuǎn)的影響而被認(rèn)為是邏輯哲學(xué)第一人,在本文中,我們將圍繞他的邏輯思想淵源、主要內(nèi)容以及面臨的困境這三個(gè)方面進(jìn)行探討。

一、弗雷格邏輯思想的來(lái)源

弗雷格邏輯思想主要源于三個(gè)方面:一是弗雷格認(rèn)識(shí)到的當(dāng)時(shí)邏輯哲學(xué)所處的困境;二是弗雷格的邏輯主義;三是受一些認(rèn)知哲學(xué)家的影響。之所以會(huì)出現(xiàn)上述情況,這和當(dāng)時(shí)的社會(huì)背景密不可分。一是由于弗雷格出生的年代正值德國(guó)民主革命的開(kāi)始,當(dāng)時(shí)又是一個(gè)哲學(xué)心理主義占統(tǒng)治地位的年代,傳統(tǒng)邏輯有很大局限性,弗雷格對(duì)此有深刻的認(rèn)識(shí)。二是由于弗雷格自身的信念所致,即弗雷格的邏輯主義。從宏觀上看,這兩方面應(yīng)是弗雷格從事研究的動(dòng)力,也應(yīng)該是弗雷格思想的主要來(lái)源。此外,一些哲學(xué)家及其思想對(duì)弗雷格的影響也是構(gòu)成其哲學(xué)思想的直接來(lái)源。例如,18世紀(jì)德國(guó)哲學(xué)家特倫德倫堡的著作對(duì)弗雷格有較大影響,通過(guò)特倫德倫堡的著作,弗雷格了解到了萊布尼茨關(guān)于邏輯語(yǔ)言的觀點(diǎn),弗雷格還追隨特倫德倫堡把邏輯符號(hào)系統(tǒng)稱(chēng)作“概念語(yǔ)言”。他還用心研究了萊布尼茨和康德的邏輯學(xué)和數(shù)學(xué)等方面的著作,有選擇地接受了兩位哲學(xué)家的思想——作為德國(guó)哲學(xué)的先驅(qū),萊布尼茨為德國(guó)哲學(xué)留下了同一律、矛盾律、充足理由律以及基于主謂詞結(jié)構(gòu)語(yǔ)言觀等邏輯遺產(chǎn),德國(guó)的理性主義由此將邏輯奉為哲學(xué)的核心,取代早先的形而上學(xué)的地位;康德也表明,不要在未認(rèn)清邏輯的本質(zhì)前,過(guò)于混雜地描述邏輯規(guī)則及其應(yīng)用,作為比經(jīng)驗(yàn)更本質(zhì)、用來(lái)安排經(jīng)驗(yàn)的邏輯,不應(yīng)該被雜入經(jīng)驗(yàn)的內(nèi)容,因此,我們可以發(fā)現(xiàn),弗雷格的基本立足點(diǎn)基于康德。弗雷格還受到德國(guó)最早開(kāi)始關(guān)注語(yǔ)言的赫德?tīng)枴皩?duì)本體的描述基于認(rèn)識(shí)形式,而對(duì)形式的分析就是對(duì)語(yǔ)言的分析”觀念的影響;此外洛采的邏輯觀念以及斯多噶學(xué)派的論辯術(shù)和修辭學(xué)也對(duì)弗雷格思想有很大影響,其中,對(duì)后世影響極大的實(shí)質(zhì)蘊(yùn)涵真值表正是來(lái)源于斯多噶學(xué)派。

二、弗雷格邏輯哲學(xué)思想的主要內(nèi)容

弗雷格進(jìn)行邏輯研究的動(dòng)力之一是其邏輯主義,即從邏輯推出數(shù)學(xué)。為了達(dá)到這個(gè)目的,他確立了算數(shù)演算的基本規(guī)則,建立了初步自足的命題演算系統(tǒng)和量化理論,提供了現(xiàn)代意義下的數(shù)理邏輯體系,同時(shí)比較系統(tǒng)地論證了數(shù)學(xué)的邏輯基礎(chǔ),將數(shù)學(xué)的概念和法則劃歸于邏輯的概念和法則。另外,他還以概念文字為基礎(chǔ)的語(yǔ)言哲學(xué),包括對(duì)涵義與意謂、對(duì)象與概念、專(zhuān)名和摹狀詞以及句子結(jié)構(gòu)和思想結(jié)構(gòu)的探討,為后世語(yǔ)言哲學(xué)的發(fā)展奠定了一定的邏輯基礎(chǔ),這些思想有些是天才性質(zhì)的。正是上述思想的提出,使得弗雷格成為現(xiàn)代邏輯的主要奠基人之一。

1.弗雷格首先明確提出來(lái)區(qū)分的概念,它包括專(zhuān)名的涵義與意謂兩部分組成。具體說(shuō)來(lái),弗雷格論述了兩種專(zhuān)名。第一種專(zhuān)名,如一般的人名、地名,弗雷格稱(chēng)為真正的專(zhuān)名。第二種專(zhuān)名是復(fù)雜完整的句子,弗雷格描述為:

一個(gè)單一對(duì)象的標(biāo)記也可以由多個(gè)語(yǔ)詞或其他的符號(hào)組成。為了簡(jiǎn)便起見(jiàn),這些標(biāo)記均可成為專(zhuān)名[2]。

關(guān)于專(zhuān)名的涵義問(wèn)題,弗雷格有過(guò)這樣一個(gè)定義:

專(zhuān)名的涵義是它的給定方式[3]96。

這可以理解為專(zhuān)名的涵義為專(zhuān)名所意謂的對(duì)象本身所包涵的東西。在弗雷格的專(zhuān)名理論中,弗雷格描述了什么是專(zhuān)名。如專(zhuān)名的類(lèi)別、專(zhuān)名的涵義、專(zhuān)名的意謂等方面。然而其中有一點(diǎn)是令人感到困惑的,那就是:專(zhuān)名的意謂是對(duì)象,但這個(gè)對(duì)象是唯一的、具體的、確定的嗎?針對(duì)類(lèi)似的問(wèn)題,弗雷格是這樣解釋的:

一個(gè)專(zhuān)名的涵義要有這樣的人來(lái)理解,他對(duì)該專(zhuān)名所屬的語(yǔ)言或標(biāo)記整體有足夠的認(rèn)識(shí)[3]97。

也就是說(shuō)這種專(zhuān)名或名稱(chēng)的確定性,來(lái)自于語(yǔ)詞本身所具有的基本規(guī)范,如此一來(lái)我們就有常識(shí)的自覺(jué)。

2.弗雷格還從邏輯的視角研究了概念和對(duì)象的關(guān)系。他認(rèn)為概念和對(duì)象是語(yǔ)言中所表達(dá)的內(nèi)容方面的東西,而不是日常語(yǔ)言的東西,弗雷格從邏輯關(guān)系方面對(duì)這兩者進(jìn)行了區(qū)分:

概念詞的意謂是概念,而概念的外延是對(duì)象,因此,概念詞的意謂與概念的外延是不同的。并且,概念詞和專(zhuān)名的意謂是不同的,它們的關(guān)系也不同,所以,對(duì)象和概念是不同的[4]。

由此我們知道了對(duì)象和概念是不同的,針對(duì)這個(gè)問(wèn)題,弗雷格進(jìn)一步提出:

邏輯的基本關(guān)系是一個(gè)對(duì)象處于一個(gè)概念之下的關(guān)系,概念之間的所有關(guān)系都可以化歸為這種關(guān)系[5]。

在弗雷格看來(lái),概念是不完整的,需要補(bǔ)充的,而對(duì)象是完整的、可以補(bǔ)充概念的。所以,弗雷格在《對(duì)涵義和意謂的解釋》中批評(píng)了傳統(tǒng)邏輯中的概念內(nèi)涵和外延的區(qū)分,明確指出自己所說(shuō)的概念詞的意謂是概念這一說(shuō)法與傳統(tǒng)的解釋是不同的。

3.涵義與意謂是弗雷格意義理論的著名觀點(diǎn)。對(duì)于涵義與意謂的關(guān)系,弗雷格認(rèn)為:

符號(hào)、符號(hào)的涵義和符號(hào)的意謂之間的有規(guī)律的聯(lián)系是這樣的:相應(yīng)于符號(hào),有確定的涵義;相應(yīng)于這種涵義,又有某一意謂;而對(duì)于一個(gè)意謂(一個(gè)對(duì)象),不僅有一個(gè)符號(hào)[3]97。

這個(gè)例子給我們清楚地描述出了涵義與意謂是不同的,一個(gè)符號(hào)對(duì)應(yīng)于確定的涵義,確定的涵義對(duì)應(yīng)于某種意謂。從符號(hào)、符號(hào)的涵義和意謂之間的聯(lián)系這一例子中,我們可以認(rèn)識(shí)到,涵義和意謂不是同一回事。其不同之處在于特定的對(duì)象有確定的涵義,而卻沒(méi)有確定的意謂,即他們是一對(duì)多的關(guān)系,換言之,與一個(gè)意謂相對(duì)應(yīng)的不僅僅有一個(gè)符號(hào)而已。但是弗雷格未直接給出專(zhuān)名的涵義,他認(rèn)為專(zhuān)名的涵義就是它的“給定方式”[6],弗雷格甚至認(rèn)為:

只要意謂相同,這些分歧是可以忍受的[3]7。

也就是人們關(guān)于專(zhuān)名涵義的不同理解沒(méi)關(guān)系,只要不影響句子的真值就可以了。關(guān)于概念詞,弗雷格則有明確的說(shuō)明:

概念詞的意謂是概念[5]128。

概念詞也必須有專(zhuān)名那樣的涵義[5]135。

4.弗雷格還探討了思想,只是他所論述的思想與我們?nèi)粘＠斫獾氖遣煌?是純邏輯的東西。就思想與句子的關(guān)系而言,弗雷格認(rèn)為:

思想是一個(gè)句子的涵義……自身非感官可感覺(jué)的思想用可感覺(jué)的句子表達(dá)出來(lái),因此是我們可把握的[3]132。

即思想是通過(guò)句子的表達(dá)來(lái)被我們所認(rèn)知的,句子的涵義是思想,意謂是真值,思想是真的載體,思想是可把握的,這是直觀的,對(duì)于任何一種思想我們都可以去把握,但問(wèn)題是把握的前提是在我們?nèi)藶榈募庸は逻M(jìn)行的。因此,弗雷格認(rèn)為:

一個(gè)句子的內(nèi)容常常超出了句子中表達(dá)的思想[3]137。

也就是說(shuō)我們要時(shí)刻牢記把心理的東西和邏輯的東西區(qū)別開(kāi)來(lái),我們所把握的思想是去除了人為感情等多余的內(nèi)容后的東西。弗雷格關(guān)于句子涵義 (即思想)的討論中,有一個(gè)劃分:

對(duì)思想的把握——思維;對(duì)思想真的把握——判斷;對(duì)判斷的表達(dá)——斷定[3]134。

從這一區(qū)分中,我們可以清晰地看出思想的對(duì)象性,即可把握性。弗雷格對(duì)思想和思維做出區(qū)分,他認(rèn)為思維是對(duì)思想的把握,而從前面我們知道思想是斷定句的涵義,句子 (斷定句)是思想表達(dá)的工具,其意謂是真值,所以,可以說(shuō)我們是通過(guò)思維來(lái)把握句子所表達(dá)的涵義,即思想[7]。

總之,我們認(rèn)為弗雷格對(duì)邏輯學(xué)的影響是巨大的,在邏輯發(fā)展史上,他第一次比較嚴(yán)格地構(gòu)建了一個(gè)邏輯演算系統(tǒng),系統(tǒng)論證了數(shù)學(xué)的邏輯基礎(chǔ),首開(kāi)邏輯體系內(nèi)建立公理演算系統(tǒng)的先河,而且對(duì)“真”進(jìn)行討論,提出涵義與指稱(chēng),對(duì)象與概念等語(yǔ)言的邏輯分析理論,并從邏輯的視角探討了思想與句子的關(guān)系,這使得現(xiàn)代邏輯具有更完備的發(fā)展形態(tài)。

三、弗雷格邏輯哲學(xué)思想存在的困境

由于受到社會(huì)發(fā)展的局限,弗雷格邏輯思想里面也存在一些令人們費(fèi)解的東西。不難發(fā)現(xiàn),學(xué)界對(duì)弗雷格邏輯思想的質(zhì)疑都是圍繞當(dāng)時(shí)的心理主義和自然語(yǔ)法問(wèn)題產(chǎn)生的,這是因?yàn)楦ダ赘裨诒硎稣Z(yǔ)言在表達(dá)邏輯規(guī)律方面的缺陷時(shí)認(rèn)為,語(yǔ)言不會(huì)被邏輯規(guī)律所支配,語(yǔ)法也不能保證思維活動(dòng)的準(zhǔn)確性,換句話說(shuō),即思維活動(dòng)不一定與語(yǔ)言相一致。總的來(lái)說(shuō),我們認(rèn)為弗雷格的邏輯思想存在如下困境:

首先,弗雷格太偏重于意謂的探討,盡管弗雷格生活在一個(gè)心理主義相對(duì)嚴(yán)重的時(shí)代,這使得弗雷格的研究有必要掙脫這種傳統(tǒng),即把心理的和邏輯的東西區(qū)別開(kāi),但是,內(nèi)涵邏輯所傾向的涵義涉及了很多非邏輯的東西,外延邏輯所偏向的意謂卻總是以客觀實(shí)在為主的,因此它更接近真,更有利于把邏輯的和心理的東西區(qū)別出來(lái)。正如弗雷格所說(shuō),“涵義滿(mǎn)足虛構(gòu),即使沒(méi)有意謂,沒(méi)有真值的思想也滿(mǎn)足虛構(gòu),但是他們不滿(mǎn)足科學(xué)”[3]126。

其次,弗雷格是從涵義和意謂的區(qū)別來(lái)探討句子,并且重點(diǎn)是在對(duì)句子的意謂的說(shuō)明上,即側(cè)重于句子的真值方面。然而在句子的探討中弗雷格的說(shuō)明遇到許多問(wèn)題,既然句子的涵義是它的思想,句子的意謂是它的真值,那么,從句也是句子,從句的涵義也該是它的思想?從句的意謂也是它的真值?但情況并非如此,對(duì)此,弗雷格也進(jìn)行了詳細(xì)的探討,他提出從句的涵義不是思想而是思想的一部分,從句的意謂不是真值而是思想。但令人遺憾的是,由于“弗雷格沒(méi)有今天的條件句邏輯和內(nèi)涵邏輯的成果,因此沒(méi)能以系統(tǒng)的方式對(duì)這些情況進(jìn)行處理”[2]317,因此,從這一層面講,弗雷格的這一不足似乎又是可以理解的。

第三,專(zhuān)名和摹狀詞是否總能意謂確定的對(duì)象?弗雷格在探討專(zhuān)名和摹狀詞時(shí)都描述為可以指稱(chēng)確定的對(duì)象。但是,在后來(lái)語(yǔ)言哲學(xué)的發(fā)展中,諸如因果理論、簇理論和專(zhuān)名意義多樣性等論題的出現(xiàn),都認(rèn)為專(zhuān)名和單獨(dú)的摹狀詞不一定時(shí)時(shí)能指稱(chēng)確定的對(duì)象,專(zhuān)名的不確定性我們?cè)趯?zhuān)名的探討中已論述過(guò),關(guān)于摹狀詞的不確定性,例如,類(lèi)似于“中國(guó)的首都”這樣的摹狀詞,由于我們沒(méi)有時(shí)間的限定,因此我們并不知道它指的是北京或者是西安,簇理論者也認(rèn)為確定一個(gè)專(zhuān)名不能僅僅依靠個(gè)別摹狀詞,而是應(yīng)該由一組摹狀詞來(lái)完成的。

最后是概念悖論問(wèn)題。關(guān)于概念悖論的問(wèn)題,弗雷格論著中有兩個(gè)例子,其中一個(gè)例子是“我受傷了”,但是,學(xué)界認(rèn)為是由于自然語(yǔ)法的缺陷,對(duì)于“我受傷了”這個(gè)句子,它雖然是斷定句,但是我們卻不能把握它所表達(dá)的思想的真值,這是由于句子中的代詞“我”造成的,在這里“我”似乎是不滿(mǎn)足的,需要補(bǔ)充的,因?yàn)椤拔摇钡降滓庵^的是什么我們并不知道,或者說(shuō)不是那么清楚,句子的真要依賴(lài)于句子中這些詞的涵義。比如,“我是哲學(xué)家”這句話,亞里士多德說(shuō)就是真的,而其他非哲學(xué)家的人說(shuō)出來(lái)就是假的。另一個(gè)例子是弗雷格探討的“馬這個(gè)概念不是概念”。“馬”是個(gè)概念詞,他的意謂是概念,但是“馬這個(gè)概念”它本身就不是概念,而弗雷格是把“馬這個(gè)概念”看做是一個(gè)整體來(lái)探討的,即在這里“馬這個(gè)概念”是一個(gè)對(duì)象,是滿(mǎn)足的整體。同理可得,例如“數(shù)”是概念詞,它的意謂是概念,因此“4這個(gè)數(shù)”就是對(duì)象而不是概念了。

四、我們的觀點(diǎn)

從邏輯史看,弗雷格的邏輯思想開(kāi)辟了以一階邏輯來(lái)探討推理有效性的研究新進(jìn)路。雖然這種思想確實(shí)存在一些問(wèn)題,但是這種思想的出現(xiàn)在歷史上有著重要的、積極的意義,并且這種積極的意義在當(dāng)代并沒(méi)有完全地喪失殆盡,所以,我們應(yīng)該辯證地看待這種邏輯思想在邏輯學(xué)中的作用。首先,弗雷格是公認(rèn)的現(xiàn)代邏輯的創(chuàng)始人,他是一位劃時(shí)代的人物,因?yàn)檎菑母ダ赘瘛陡拍钗淖帧烽_(kāi)始,現(xiàn)代邏輯才成為當(dāng)代的一門(mén)獨(dú)立科學(xué),一門(mén)研究推理的有效性的科學(xué),這種邏輯以一階邏輯為基礎(chǔ),沿著不同方向蓬勃發(fā)展,尤其是形成了模態(tài)邏輯以及非標(biāo)準(zhǔn)模態(tài)邏輯這樣一個(gè)廣大的邏輯系統(tǒng)群,對(duì)哲學(xué)的研究和發(fā)展起了非常重要的推動(dòng)作用,使得它在 20世紀(jì)發(fā)生了重大變化,產(chǎn)生了“語(yǔ)言轉(zhuǎn)向”,形成了與傳統(tǒng)哲學(xué)截然不同的形態(tài)——分析哲學(xué)和語(yǔ)言哲學(xué)。其次,自亞里士多德以來(lái),邏輯經(jīng)歷了兩個(gè)階段:傳統(tǒng)邏輯階段和現(xiàn)代邏輯階段。傳統(tǒng)邏輯是在亞里士多德邏輯基礎(chǔ)上建立起來(lái)的,而現(xiàn)代邏輯是在弗雷格的邏輯基礎(chǔ)上形成的,所以,可以這么說(shuō),是弗雷格終結(jié)了延續(xù)兩千多年的傳統(tǒng)邏輯。相比較傳統(tǒng)邏輯而言,現(xiàn)代邏輯與之有明顯區(qū)別,現(xiàn)代邏輯脫離了自然語(yǔ)言的語(yǔ)法形式,擺脫了自然語(yǔ)言的束縛;現(xiàn)代邏輯明確區(qū)別了句法和語(yǔ)義,可見(jiàn),弗雷格創(chuàng)立的現(xiàn)代邏輯的意義。第三,在邏輯發(fā)展史上,弗雷格第一次比較嚴(yán)格、全面地構(gòu)建了一個(gè)邏輯演算系統(tǒng),包括一階謂詞演算和二階謂詞演算,這標(biāo)志著現(xiàn)代形式邏輯的變革初步完成。最后,弗雷格留下的有關(guān)文獻(xiàn)成為今天語(yǔ)言哲學(xué)的經(jīng)典,他關(guān)于語(yǔ)言的討論極大地推動(dòng)了語(yǔ)言哲學(xué)的發(fā)展,甚至他使用過(guò)的一些術(shù)語(yǔ)也成為語(yǔ)言哲學(xué)的基本術(shù)語(yǔ)。總之,弗雷格的思想是豐富的,其影響遠(yuǎn)遠(yuǎn)超出了我們的概括范圍,盡管他的學(xué)術(shù)論著中也存在一些瑕疵,但瑕不掩瑜,這些都不足以掩蓋巨人的光輝。

[1]弗雷格.算數(shù)基礎(chǔ)[M].北京:商務(wù)印書(shū)館,1998.

[2]王路.弗雷格思想研究[M].北京:商務(wù)印書(shū)館,2008.

[3]弗雷格.弗雷格哲學(xué)論著選集[M].北京:商務(wù)印書(shū)館,2006.

[4]王路.邏輯與哲學(xué)[M].北京:人民出版社,2007.

[5]弗雷格.對(duì)涵義和意謂的解釋[M].北京:商務(wù)印書(shū)館,1994.

[6]弗雷格.論涵義和意謂[M].北京:商務(wù)印書(shū)館,1994.

[7]李睿紅,張存建.弗雷格關(guān)于“真”的思想述評(píng) [J].重慶工學(xué)院學(xué)報(bào):社會(huì)科學(xué),2009(1).

The Source,Content and Dilemmas of Frege’s Logic

HU Huai-liang,YANG Xiao-jun
(Department of Philosophy,Yunnan No rmalUniversity,Kunming 650092,China)

Ferge holds that the logic must free itself from the influence of psychologis m.To achieve this purpose,he sets up the principles for computational algorithm,establishes propositional calculus system and quantification theory,and provides a modern sense of mathematical logic system,which paves the road for further advances of linguistic philosophy.Under the l imitation of social development,there are some mysteries in Frege’s thoughtson philosophy of logic,so thispapermakes a tentative discussion on the source,content and dilemmas of Frege’s logic and tries to shed some new light on his thoughts.

Frege;source of thoughts;content;significance

B81

A

1674-8425(2011)05-0006-04

2010-12-01

國(guó)家社會(huì)科學(xué)基金“不完全信息博弈論的歸納概率邏輯基礎(chǔ)”(08DZX048)和云南師范大學(xué)社會(huì)科學(xué)青年基金項(xiàng)目“直陳條件句非真值條件進(jìn)路研究”(10QS08)的階段性成果。

胡懷亮 (1975—),男,山東臨沂人,哲學(xué)博士,講師,研究方向:邏輯學(xué)。

(責(zé)任編輯 王烈琦)