關(guān)于對現(xiàn)代邏輯中量詞的邏輯哲學(xué)進(jìn)行分析論文
量詞是邏輯學(xué)的一個基本概念，傳統(tǒng)邏輯圍繞著量詞做了很多的工作并形成了一系列的理論，但直到現(xiàn)代邏輯產(chǎn)生后，量詞在邏輯學(xué)中的核心地位和價值才得到彰顯和重視�，F(xiàn)代邏輯的兩個基本研究路徑——句法學(xué)和語義學(xué)都是圍繞著量詞概念而展開的，對量詞的語義解釋也與現(xiàn)代哲學(xué)中的真、指稱、意義、同一、本體論等理論密切相關(guān)，量詞由此成為現(xiàn)代邏輯的核心概念，對量詞理論的關(guān)注也成為現(xiàn)代哲學(xué)的基本問題。
量詞是用來表示數(shù)量的概念。自然語言中的量詞很多，如“所有的”“很多”“大多數(shù)”“一些”等，但邏輯作為一種追求真的普遍規(guī)律的科學(xué)，只選取了表示全部數(shù)量的全稱量詞( “所有的”) 和表示部分?jǐn)?shù)量的特稱量詞( “有些”) 作為研究對象，后者也經(jīng)常被稱為存在量詞，傳統(tǒng)邏輯和現(xiàn)代邏輯的量詞理論都是圍繞著這兩個量詞而展開。一個有意思的現(xiàn)象是，雖然全稱量詞和特稱量詞也是傳統(tǒng)邏輯的基本量詞，但圍繞著這兩個量詞，傳統(tǒng)邏輯并沒有形成對應(yīng)于現(xiàn)代邏輯的量化理論，也沒有圍繞著量詞形成太多的其他相關(guān)理論; 而量詞卻成為現(xiàn)代邏輯的核心概念，現(xiàn)代謂詞邏輯甚至被稱為量詞邏輯，現(xiàn)代邏輯的很多理論，如真、指稱等理論都和量詞密切相關(guān)，而這種現(xiàn)象的出現(xiàn)是和傳統(tǒng)邏輯與現(xiàn)代邏輯中量詞的不同特點密切相關(guān)的。
在傳統(tǒng)邏輯中，量詞是與句子中的主語密切相關(guān)的，量詞被用在主語的前面，用來表達(dá)主項所斷定的對象的范圍和數(shù)量。傳統(tǒng)邏輯中量詞的這個特點是與日常語言表達(dá)方式密切相關(guān)的。從古希臘邏輯發(fā)軔之初，人們主要關(guān)注的是形如“所有人都是會死的”，即“S 是 P”這樣的主謂式句子的推理，在這樣的推理中，推理形式和日常語言的形式是緊密相關(guān)的甚至是一致的�！八腥硕际菚赖�( Everyoneis mortal) ”在傳統(tǒng)邏輯看來就是這樣一個主謂式句子: “人”是這個句子的主語，“會死的”是這個句子的謂語，“所有人”這樣的量詞加諸句子的主語的前面，表達(dá)了主項的數(shù)量。亞里士多德的三段論理論也建立在對這樣的主謂式的性質(zhì)命題的關(guān)注之上。雖然三段論推理代表了傳統(tǒng)邏輯的'最高成就，但是推理形式過分依賴于日常語言形式還是使得傳統(tǒng)邏輯的處理句子和推理的能力受到很大的局限。首先，三段論不能處理包含單稱詞的語句的推理問題，雖然亞里士多德在劃分命題類型的時候提及了單稱命題，然而其在三段論推理中卻排除掉單稱命題。其次，三段論只能處理主謂式的表達(dá)性質(zhì)的句子的推理而不能處理表達(dá)關(guān)系的主謂賓結(jié)構(gòu)的句子，即關(guān)系命題。而實際上，關(guān)系命題和性質(zhì)命題一樣是我們?nèi)粘ＵZ言的重要組成部分，不能處理關(guān)系命題使得傳統(tǒng)邏輯的表達(dá)能力受到很大的局限。最后，傳統(tǒng)邏輯也處理不了包含多個量詞的句子的推理。
傳統(tǒng)邏輯的基本句式是“S 是 P”，A、E、I、O 四類命題都建立在這個基本句式之上，其建立的方式就是加入否定詞和兩個量詞。這樣一來，命題就有四種組合方式: 全稱肯定命題、全稱否定命題、特稱肯定命題和特稱否定命題。在命題的構(gòu)成過程中，量詞只可以加諸主項的前面，因此如果句子中出現(xiàn)兩個量詞，傳統(tǒng)邏輯是無法表達(dá)的。現(xiàn)代邏輯中的量詞概念是弗雷格首先提出和引入的。弗雷格引入量詞—變元的做法分為兩個步驟。首先，弗雷格把數(shù)學(xué)中的函數(shù)概念引入到對句子的結(jié)構(gòu)分析中去，用以表達(dá)句子中的概念詞，即普遍詞項( general terms) 。在弗雷格看來，函數(shù)在數(shù)學(xué)上雖然已經(jīng)具有了很多引申的含義，而實際上函數(shù)最大的特點是其不飽和性，在任何一個函數(shù)解析式中，函數(shù)都是用來表示插入內(nèi)容位置的符號，本身是不飽和的、有待補充的。相對于自變元的每一次指派和代入，函數(shù)都將會產(chǎn)生一個相應(yīng)的值。概念在本質(zhì)上也是不飽和的，與函數(shù)相同，對于每一個代入的專名，都將會產(chǎn)生或真或假的真值。
因此，弗雷格對函數(shù)進(jìn)行了擴展，并用函數(shù)的方式來表達(dá)概念。其次，在引入函數(shù)的基礎(chǔ)之上，弗雷格引入了量詞—變元的概念。在將“蘇格拉底是會死的”這個包含個體詞的語句處理為函數(shù)“Fa”的基礎(chǔ)上，弗雷格進(jìn)而思考如何處理“所有人都是會死的”這樣的包含量詞的語句。對于形如“所有人都是會死的”這樣的語句，傳統(tǒng)邏輯認(rèn)為“人”是這個語句的所表達(dá)的對象，而“會死的”表達(dá)的是人的一種性質(zhì)，這個句子總體而言表達(dá)的是兩個概念之間的關(guān)系。傳統(tǒng)邏輯的這種看法是基于一種語法上的順序。
在一個句子中，位于一個句子前面的主語表達(dá)的是對象，而位于后面的謂詞表達(dá)的是屬性。而弗雷格對這樣的觀點提出質(zhì)疑和反駁。在弗雷格看來，一個句子中主語與謂語的順序體現(xiàn)的只是說話者的愿望——位于主語的事物是說話者希望別人關(guān)注的對象，這一點可以從主動語態(tài)句和被動語態(tài)句中體現(xiàn)出來: 位于句子前面的那個主語是說話者強調(diào)的重點。弗雷格認(rèn)為，這樣的主詞謂詞的區(qū)分只具有語法學(xué)的意義，而不具有邏輯學(xué)的意義，一個句子中主語和謂語的位置調(diào)換只要不影響一個句子的真值，都是可以容忍的，因此弗雷格在其理論中取消了傳統(tǒng)意義的主語和謂語的區(qū)分。在此基礎(chǔ)上弗雷格進(jìn)一步認(rèn)為，個體詞是一個句子真正的主語，“邏輯的基本關(guān)系考察就是一個對象處于一個概念之下的關(guān)系，概念之間的所有關(guān)系都可以化歸為這種關(guān)系”。形如“凡人皆有死”這樣的語句，實際上表達(dá)的含義是:“對于任一事物 x 而言，如果 x 是人，那么 x 是會死的”，個體詞是這個語句的真正的主語，而“人”這個語詞雖然處于主語的位置，但它仍同“會死的”，是一個謂詞，用來謂述個體詞所指稱的對象。這樣一來，這個句子中出現(xiàn)了兩個概念詞——“人”和“會死的”，這兩個概念詞謂述了同一個對象，并建立起了一種條件性——“如果一個對象是人，那么他是會死的”，而“所有的”代表了對象的數(shù)量和范圍。
在此，弗雷格引進(jìn)了量詞—變元這個概念: “在一個判斷的表達(dá)中，如果在自變元的位置上代入一個德文字母，并且在內(nèi)容線上畫出一個凹處，使得這個德文字母處于內(nèi)容線的凹處，它就意味著這樣一個判斷: 無論將什么作為其自變元，那個函數(shù)都是一個事實。量詞是現(xiàn)代邏輯的基本概念，對量詞語義解釋的不同理論會導(dǎo)致對邏輯范圍的不同界定，并進(jìn)而導(dǎo)致對現(xiàn)代哲學(xué)的基本概念，如同一、真、指稱和本質(zhì)等的不同看法，正是在這個意義上，量詞是現(xiàn)代邏輯和現(xiàn)代哲學(xué)的核心概念。正如邏輯學(xué)家安格爾指出的那樣: “量化理論的核心地位是由其自身的概念結(jié)構(gòu)、以及其中主要概念的本質(zhì)和范圍所決定的�！�
在這里，量詞成為分析這些哲學(xué)概念的核心概念，邏輯也為哲學(xué)問題的解決提供了深刻的視角。而邏輯之所以能夠成為解決哲學(xué)問題的關(guān)鍵性工具和決定性作用，是由哲學(xué)和邏輯的本性所共同決定的。從古希臘的時候，亞里士多德對形而上學(xué)的定義就是研究是之為是( being as being) 的學(xué)問，那時候的亞里士多德已經(jīng)意識到了哲學(xué)、語言以及外部世界之間的關(guān)系: 哲學(xué)是通過語言把握世界的，而邏輯是用來分析語言結(jié)構(gòu)、組織命題論證的工具，正是在語言這個結(jié)點上，邏輯與哲學(xué)密切相關(guān)，這種相關(guān)性從古希臘一直延續(xù)至今，并在現(xiàn)代邏輯和現(xiàn)代哲學(xué)中充分凸顯。在語言哲學(xué)領(lǐng)域，邏輯與哲學(xué)的這種相關(guān)性被哲學(xué)家充分意識到而自覺運用，甚至語言哲學(xué)本身就是建立在現(xiàn)代邏輯的基礎(chǔ)之上的，而量化理論則為邏輯和哲學(xué)的這種雙重關(guān)系提供了典范。
【關(guān)于對現(xiàn)代邏輯中量詞的邏輯哲學(xué)進(jìn)行分析論文】相關(guān)文章：
1.對現(xiàn)代邏輯中量詞的邏輯哲學(xué)省察論文
2.對邏輯機器哲學(xué)的新發(fā)展進(jìn)行分析論文
5.《邏輯哲學(xué)論》中的實在( Wirklichkeit)概念分析論文