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