- 相關(guān)推薦
淺析現(xiàn)代邏輯中量詞的邏輯哲學(xué)
1. 前言
量詞是邏輯學(xué)的一個(gè)基本概念，傳統(tǒng)邏輯圍繞著量詞做了很多的工作并形成了一系列的理論，但直到現(xiàn)代邏輯產(chǎn)生后，量詞在邏輯學(xué)中的核心地位和價(jià)值才得到彰顯和重視�，F(xiàn)代邏輯的兩個(gè)基本研究路徑—句法學(xué)和語(yǔ)義學(xué)都是圍繞著量詞概念而展開的，對(duì)量詞的語(yǔ)義解釋也與現(xiàn)代哲學(xué)中的真、指稱、意義、同一、本體論等理論密切相關(guān)，量詞由此成為現(xiàn)代邏輯的核心概念，對(duì)量詞理論的關(guān)注也成為現(xiàn)代哲學(xué)的基本問(wèn)題。
2. 現(xiàn)代邏輯中量詞的句法特點(diǎn)
現(xiàn)代邏輯中的量詞概念是弗雷格首先提出和引入的。弗雷格引入量詞一變?cè)淖龇ǚ譃閮蓚�(gè)步驟。首先，弗雷格把數(shù)學(xué)中的函數(shù)概念引入到對(duì)句子的結(jié)構(gòu)分析中去，用以表達(dá)句子中的概念詞，即普遍詞項(xiàng)(general terms)。在弗雷格看來(lái)，函數(shù)在數(shù)學(xué)上雖然己經(jīng)具有了很多引申的含義，而實(shí)際上函數(shù)最大的特點(diǎn)是其不飽和性，在任何一個(gè)函數(shù)解析式中，函數(shù)都是用來(lái)表示插入內(nèi)容位置的符號(hào)，本身是不飽和的、有待補(bǔ)充的。相對(duì)于自變?cè)拿恳淮沃概珊痛耄瘮?shù)都將會(huì)產(chǎn)生一個(gè)相應(yīng)的值。概念在本質(zhì)上也是不飽和的，與函數(shù)相同，對(duì)于每一個(gè)代入的專名，都將會(huì)產(chǎn)生或真或假的真值。因此，弗雷格對(duì)函數(shù)進(jìn)行了擴(kuò)展，并用函數(shù)的方式來(lái)表達(dá)概念。其次，在引入函數(shù)的基礎(chǔ)之上，弗雷格引入了量詞一變?cè)母拍�。在將“蘇格拉底是會(huì)死的”這個(gè)包含個(gè)體詞的語(yǔ)句處理為函數(shù)“Fa”的基礎(chǔ)上，弗雷格進(jìn)而思考如何處理“所有人都是會(huì)死的”這樣的包含量詞的語(yǔ)句。對(duì)于形如“所有人都是會(huì)死的”這樣的語(yǔ)句，傳統(tǒng)邏輯認(rèn)為“人”是這個(gè)語(yǔ)句的所表達(dá)的對(duì)象，而“會(huì)死的”表達(dá)的是人的一種性質(zhì)，這個(gè)句子總體而言表達(dá)的是兩個(gè)概念之間的關(guān)系。傳統(tǒng)邏輯的這種看法是基于一種語(yǔ)法上的順序。在一個(gè)句子中，位于一個(gè)句子前面的主語(yǔ)表達(dá)的是對(duì)象，而位于后面的謂詞表達(dá)的是屬性。而弗雷格對(duì)這樣的觀點(diǎn)提出質(zhì)疑和反駁。在弗雷格看來(lái)，一個(gè)句子中主語(yǔ)與謂語(yǔ)的順序體現(xiàn)的只是說(shuō)話者的愿望——位于主語(yǔ)的事物是說(shuō)話者希望別人關(guān)注的對(duì)象，這一點(diǎn)可以從主動(dòng)語(yǔ)態(tài)句和被動(dòng)語(yǔ)態(tài)句中體現(xiàn)出來(lái)：位于句子前面的那個(gè)主語(yǔ)是說(shuō)話者強(qiáng)調(diào)的重點(diǎn)。弗雷格認(rèn)為，這樣的主詞謂詞的區(qū)分只具有語(yǔ)法學(xué)的意義，而不具有邏輯學(xué)的意義，一個(gè)句子中主語(yǔ)和謂語(yǔ)的位置調(diào)換只要不影響一個(gè)句子的真值，都是可以容忍的，因此弗雷格在其理論中取消了傳統(tǒng)意義的主語(yǔ)和謂語(yǔ)的區(qū)分。在此基礎(chǔ)上弗雷格進(jìn)一步認(rèn)為，個(gè)體詞是一個(gè)句子真正的主語(yǔ)“邏輯的基本關(guān)系考察就是一個(gè)對(duì)象處于一個(gè)概念之下的關(guān)系，概念之間的所有關(guān)系都可以化歸為這種關(guān)系”。
3. 對(duì)象量化
弗雷格在發(fā)現(xiàn)量詞一變?cè)碚摰耐瑫r(shí)，對(duì)量詞也做出了解釋，他關(guān)于量詞的理論構(gòu)成了邏輯史上的第一個(gè)量化理論。在弗雷格看來(lái)，每個(gè)量化表達(dá)式都有確定的真值，一個(gè)句子的真值就是將量詞域中的對(duì)象帶入函數(shù)的結(jié)果。對(duì)于一個(gè)全稱表達(dá)式而言，如果帶入的結(jié)果總是真的，全稱表達(dá)式就是真的，而如果代入的結(jié)果有假，則全稱量化陳述就是假的。特稱量詞可以通過(guò)量詞之間的互定義性，由全稱量詞加否定詞得到。根據(jù)量詞之間的互定義性，對(duì)于一個(gè)特稱表達(dá)式而言，如果至少有一個(gè)自變?cè)膸虢Y(jié)果為真，則特稱量化取真值，如果帶入的結(jié)果都為假，則特稱量化式取假值。這就是弗雷格關(guān)于量化的基本的觀點(diǎn)。這些觀點(diǎn)在很長(zhǎng)一段時(shí)期一直被弗雷格之后的邏輯學(xué)家們所延續(xù)使用。
4. 替換量化
卡爾納普曾認(rèn)為蒯因?qū)δB(tài)謂詞邏輯的打擊是毀滅性的：“如果不能消除這些困難，沒(méi)有任何模態(tài)謂詞邏輯能建立起來(lái)�！倍b于模態(tài)邏輯對(duì)于很多新興邏輯類型的基礎(chǔ)性作用，蒯因?qū)δB(tài)謂詞邏輯的批評(píng)也對(duì)很多的哲學(xué)邏輯分支發(fā)起了巨大的挑戰(zhàn)，正如邏輯學(xué)家所指出的：“蒯因的論證對(duì)表達(dá)信念、反事實(shí)條件句、可能性以及倫理學(xué)中的算子，如‘…是必須的’，‘…是允許的’都是適用的，蒯因的這個(gè)論證如果是正確的，這些領(lǐng)域都將因此坍塌，其帶來(lái)的結(jié)果將是毀滅性的�！必嵋�?qū)δB(tài)謂詞邏輯的批評(píng)促使了模態(tài)邏輯的研究從句法系統(tǒng)的研究向語(yǔ)義研究的轉(zhuǎn)向，甚至模態(tài)邏輯和高階邏輯就是在不斷回應(yīng)蒯因挑戰(zhàn)的過(guò)程中前進(jìn)的。
在替換量化的解釋下，“變?cè)闹怠辈辉偈菍?duì)象量化所謂的語(yǔ)言表達(dá)式所指稱的客觀世界的對(duì)象，而只是一個(gè)又一個(gè)語(yǔ)言表達(dá)式。替換量化通過(guò)取消和解構(gòu)“變?cè)闹怠备拍睿鈭D切除量化與指稱之間的關(guān)系，從而使得量化從本體論承諾中解脫出來(lái)。
5. 結(jié)論
量詞是現(xiàn)代邏輯的基本概念，對(duì)量詞語(yǔ)義解釋的不同理論會(huì)導(dǎo)致對(duì)邏輯范圍的不同界定，并進(jìn)而導(dǎo)致對(duì)現(xiàn)代哲學(xué)的基本概念，如同一、真、指稱和本質(zhì)等的不同看法，正是在這個(gè)意義上，量詞是現(xiàn)代邏輯和現(xiàn)代哲學(xué)的核心概念。正如邏輯學(xué)家安格爾指出的那樣：“量化理論的核心地位是由其自身的概念結(jié)構(gòu)、以及其中主要概念的本質(zhì)和范圍所決定的�！痹谶@里，量詞成為分析這些哲學(xué)概念的核心概念，邏輯也為哲學(xué)問(wèn)題的解決提供了深刻的視角。
而邏輯之所以能夠成為解決哲學(xué)問(wèn)題的關(guān)鍵性工具和決定性作用，是由哲學(xué)和邏輯的本性所共同決定的。從古希臘的時(shí)候，亞里士多德對(duì)形而上學(xué)的定義就是研究是之為是(being as being)的學(xué)問(wèn)，那時(shí)候的亞里士多德已經(jīng)意識(shí)到了哲學(xué)、語(yǔ)言以及外部世界之間的關(guān)系：哲學(xué)是通過(guò)語(yǔ)言把握世界的，而邏輯是用來(lái)分析語(yǔ)言結(jié)構(gòu)、組織命題論證的工具，正是在語(yǔ)言這個(gè)結(jié)點(diǎn)上，邏輯與哲學(xué)密切相關(guān)，這種相關(guān)性從古希臘一直延續(xù)至今，并在現(xiàn)代邏輯和現(xiàn)代哲學(xué)中充分凸顯。在語(yǔ)言哲學(xué)領(lǐng)域，邏輯與哲學(xué)的這種相關(guān)性被哲學(xué)家充分意識(shí)到而自覺運(yùn)用，甚至語(yǔ)言哲學(xué)本身就是建立在現(xiàn)代邏輯的基礎(chǔ)之上的，而量化理論則為邏輯和哲學(xué)的這種雙重關(guān)系提供了典范。
【淺析現(xiàn)代邏輯中量詞的邏輯哲學(xué)】相關(guān)文章：
讓邏輯重獲哲學(xué)意義06-27
邏輯哲學(xué)論讀書筆記06-25
有邏輯性的哲學(xué)名言06-26
邏輯哲學(xué)論精彩讀書筆記06-09
西方哲學(xué)研究邏輯演變思索論文06-27
探討馬克思新哲學(xué)的思維邏輯06-27