廣義與狹義邏輯學(xué)及其理論（本科）,邏輯學(xué)論文

廣義與狹義邏輯學(xué)及其理論〔本科〕,邏輯學(xué)論文【內(nèi)容提要】邏輯學(xué)的發(fā)展是多層面的，邏輯的涵義也是分層次的，邏輯能夠有廣義與狹義之分。對(duì)當(dāng)代邏輯背景下出現(xiàn)的關(guān)于邏輯的一元論、多元論與工具主義要作詳細(xì)分析。事實(shí)上，每種觀點(diǎn)都有一定的道理，但總體上來(lái)講，多元論更符合當(dāng)代邏輯科學(xué)發(fā)展的實(shí)際。本文關(guān)鍵詞語(yǔ)：邏輯/廣義與狹義/一元論/多元論/工具主義一、廣義的邏輯與狹義的邏輯什么是邏輯？要清楚明確地回答這一問(wèn)題，要將各種各樣冠以邏輯的學(xué)科都統(tǒng)一在一個(gè)明確清楚明晰的邏輯的定義之下，這是很困難的，甚至是不可能的。不妨先對(duì)邏輯發(fā)展史作一簡(jiǎn)單考察。在西方，公元前4世紀(jì)，古希臘哲學(xué)家亞里士多德集其前人研究之大成，寫成了邏輯巨著(工具論〕。固然在亞氏的著作中他并沒(méi)有明確地使用邏輯這一名稱，也沒(méi)有明確地以邏輯這一術(shù)語(yǔ)命名其學(xué)講，但是，歷史事實(shí)是，邏輯從哲學(xué)、認(rèn)識(shí)論中分化出來(lái)，構(gòu)成了一門以推理為中心，十分是以三段論為中心的獨(dú)立的科學(xué)。因而，能夠講，亞里士多德是形式邏輯的創(chuàng)始人。亞氏之后，亞里士多德學(xué)派即逍遙學(xué)派和斯多葛學(xué)派都以不同形式發(fā)展了亞氏的形式邏輯理論逍遙學(xué)派的德奧弗拉斯特邏輯的推理形式增補(bǔ)了一些新的形式與內(nèi)容，提出了命題邏輯問(wèn)題，斯多葛學(xué)派克里西普斯等人則構(gòu)造了一個(gè)不同的命題邏輯理論。弗蘭西斯培根是英國(guó)近代唯物主義哲學(xué)家，也是近代歸納邏輯的創(chuàng)始人，他在總結(jié)前人歸納法的基礎(chǔ)上，在批判了經(jīng)院邏輯和亞里士多德邏輯之后，以其古典歸納邏輯名著(新工具〕為標(biāo)志，奠定了歸納邏輯的基礎(chǔ)。18-19世紀(jì)，德國(guó)古典哲學(xué)家康德、黑格爾等，對(duì)人類思維的辯證運(yùn)動(dòng)與發(fā)展進(jìn)行了深切進(jìn)入研究，建立了另一種新的思辯邏輯辯證邏輯。從以上對(duì)古代、近代、現(xiàn)現(xiàn)代邏輯學(xué)講發(fā)展的簡(jiǎn)單考察能夠看出，邏輯的范圍是特別廣泛的。它至少包括了以亞里士多德邏輯為基礎(chǔ)的傳統(tǒng)演繹邏輯、以數(shù)理邏輯為核心及基礎(chǔ)的當(dāng)代邏輯及其分支、歸納邏輯、辯證邏輯等等，而這些邏輯互相之間的特性又是特別不同甚至特別對(duì)立的。所以，要用一個(gè)明確的定義把這些歷史上所謂的邏輯都包含進(jìn)去，確實(shí)是很難的。事實(shí)上，邏輯一詞是能夠有不同的涵義的，邏輯能夠有廣義與狹義之分。英國(guó)邏輯學(xué)家哈克在談到邏輯的范圍時(shí)，以為邏輯是一個(gè)特別龐大的學(xué)科群。在這里，哈克所謂的擴(kuò)展的邏輯，是指在經(jīng)典的命題演算與謂詞演算中增加一些相應(yīng)的公理、規(guī)則及其新的邏輯算子，使其形式系統(tǒng)擴(kuò)展到一些原為非形式的推演，由此而構(gòu)成的不同于經(jīng)典邏輯的當(dāng)代邏輯分支；至于異常的邏輯，則是指其構(gòu)成經(jīng)過(guò)一方面使用與經(jīng)典邏輯一樣的詞匯，但另一方面，這些系統(tǒng)又對(duì)經(jīng)典邏輯的公理與規(guī)則進(jìn)行了限制甚至根本性的修改，進(jìn)而使之脫離了經(jīng)典邏輯的軌道的那些當(dāng)代邏輯分支。擴(kuò)展的邏輯與異常的邏輯統(tǒng)稱為非經(jīng)典邏輯。以哈克的上述分類為基礎(chǔ)，從邏輯學(xué)發(fā)展的歷史與現(xiàn)實(shí)來(lái)看，邏輯是有不同的涵義的，因而，邏輯的范圍是有寬有窄的：首先，邏輯指經(jīng)典邏輯，即二值的命題演算與謂詞演算，不嚴(yán)格地，可以以叫數(shù)理邏輯，這是最標(biāo)準(zhǔn)、最正統(tǒng)的邏輯，也是最狹義的邏輯；其次，邏輯還包括當(dāng)代非經(jīng)典邏輯，不嚴(yán)格地，可以以叫哲學(xué)邏輯，即哈克所講的擴(kuò)展的邏輯與異常的邏輯；再次，邏輯還包括傳統(tǒng)演繹邏輯，它是以亞里士多德邏輯為基礎(chǔ)的關(guān)于非模態(tài)的直言命題及其演繹推理的直觀理論，其主要內(nèi)容一般包括詞項(xiàng)〔概念〕、命題、推理、證明十分是三段論等。除此之外，邏輯還能夠包括歸納邏輯、辯證邏輯。將邏輯局限于經(jīng)典邏輯、非經(jīng)典邏輯，這就是狹義的邏輯，而將邏輯包括傳統(tǒng)邏輯、歸納邏輯與辯證邏輯，則是廣義的邏輯。以這一取向?yàn)闃?biāo)準(zhǔn)，狹義的邏輯基本上能夠?qū)?yīng)于邏輯是研究推理有效性的科學(xué)，即怎樣將有效的推理形式從無(wú)效的推理形式中區(qū)分開來(lái)的科學(xué)這一定義，而廣義的邏輯則能夠基本上對(duì)應(yīng)于邏輯是研究思維形式、邏輯基本規(guī)律及簡(jiǎn)單的邏輯方式方法的科學(xué)這一定義。由此可見，邏輯學(xué)的發(fā)展是多層面的，站在不同的角度，就能夠從不同的方面來(lái)考察邏輯學(xué)的不同層面及不同涵義。二、當(dāng)代邏輯背景下的邏輯一元論、多元論與工具論從上面的闡述能夠看出，在現(xiàn)代，當(dāng)代邏輯的發(fā)展呈現(xiàn)出多層次、全方位發(fā)展的態(tài)勢(shì)，邏輯學(xué)正在從單一學(xué)科逐步構(gòu)成為既相對(duì)獨(dú)立又有內(nèi)在聯(lián)絡(luò)的眾多學(xué)科組成的科學(xué)體系的邏輯科學(xué)。不管是一元論還是多元論，都以為邏輯系統(tǒng)有正確與不正確之分，邏輯系統(tǒng)的正確與否依靠于相對(duì)于系統(tǒng)本身的有效性或邏輯真理與系統(tǒng)外的有效性或邏輯真理能否一致。假如某一邏輯系統(tǒng)中的有效的形式論證與那些在系統(tǒng)外的意義上有效的非形式論證相一致，并且那些在某一系統(tǒng)中邏輯真的合式公式與那些在系統(tǒng)外的意義上也邏輯真的陳述相一致，則該邏輯系統(tǒng)就是正確的，反之則為不正確的。以這一認(rèn)識(shí)為基礎(chǔ)，一元論以為只要一個(gè)唯一地在這里意義下正確的邏輯系統(tǒng)，而多元論則以為存在多個(gè)如此的邏輯系統(tǒng)。工具主義則以為，議論一個(gè)邏輯系統(tǒng)能否正確或不正確是沒(méi)有意義的，不存在所謂正確或不正確的邏輯系統(tǒng)，正確的這個(gè)詞是不適宜的。工具主義來(lái)講，他們只允許這樣一個(gè)內(nèi)部問(wèn)題：一個(gè)邏輯系統(tǒng)能否是完善的即是講，邏輯系統(tǒng)的定理或語(yǔ)法地有效的論證能否全部地并且唯一地是在該系統(tǒng)內(nèi)邏輯地真或有效的？而一元論對(duì)邏輯系統(tǒng)的正確性的理解過(guò)于狹窄，也過(guò)于嚴(yán)厲，這種觀點(diǎn)難以解釋在今天各種不同的邏輯系統(tǒng)之間互相并存、互為補(bǔ)充的現(xiàn)實(shí)。從本質(zhì)上講，盡管任何邏輯系統(tǒng)都是邏輯學(xué)家構(gòu)造出來(lái)的，但是，它們是有客觀基礎(chǔ)的它總是在一定程度上反映了人類思維十分是推理實(shí)際的某一方面或某一領(lǐng)域，所以，邏輯系統(tǒng)是有正確與不正確之分的正確地反映了人類思維十分是推理實(shí)際的邏輯系統(tǒng)就是正確的，反之則是不正確的。應(yīng)該講，這一點(diǎn)是一元論與多元論都能夠同意的，但是，在成認(rèn)這一講法的同時(shí)，還應(yīng)該看到，正確地反映人類思維十分是推理的實(shí)際是能夠有不同的程度、不同的層次的：邏輯系統(tǒng)對(duì)人類思維十分是推理實(shí)際的反映能夠是比擬普遍、一般的〔比方傳統(tǒng)邏輯與經(jīng)典邏輯〕，可以以是比擬特殊、詳細(xì)的〔比方某些非經(jīng)典邏輯系統(tǒng)，它所反映的就是相對(duì)于某一特定主題或領(lǐng)域的特定的思維與推理〕；邏輯系統(tǒng)對(duì)人類思維十分是推理實(shí)際的反映能夠是比擬直觀、與日常較為吻合的，可以以是相對(duì)來(lái)講較為抽象、遠(yuǎn)離現(xiàn)實(shí)的。從這個(gè)意義上來(lái)講，邏輯系統(tǒng)的正確性是多樣的，不可絕對(duì)化和唯一化。所以，我以為，一元論堅(jiān)持只要一個(gè)正確的、唯一的邏輯是不妥的，相反，多元論的觀點(diǎn)則是能夠接受的。邏輯學(xué)的發(fā)展史及其性質(zhì)與范圍讓我們深入了解了邏輯學(xué)的深?yuàn)W微妙與樂(lè)趣。在日常生活中，我們也經(jīng)常接觸到邏輯學(xué)，運(yùn)用邏輯學(xué)原理解決生活中的難題。邏輯學(xué)的有用與否，取決于它對(duì)學(xué)習(xí)的人能給予多少訓(xùn)練以到達(dá)別的目的。學(xué)習(xí)的人通過(guò)邏輯學(xué)所獲得的教養(yǎng)，在于訓(xùn)練思維，使人在頭腦中得到真正純粹的思想，由于這門科學(xué)乃是思維的思維。但是就邏輯學(xué)作為真理的絕對(duì)形式來(lái)講，尤其是就邏輯學(xué)作為純粹真理的本身來(lái)講，它決不單純是某種有用的東西。但假如但凡最高尚的、最自由的和最獨(dú)立的東西也就是最有用的東西，那么邏輯學(xué)也未嘗不可以為是有用的，不過(guò)它的可用之處，卻不僅僅是對(duì)于思維的形式練習(xí)，而必須另外加以估價(jià)。【以下為參考文獻(xiàn)】[1]陳波.邏輯哲學(xué)導(dǎo)論[M].北京：中國(guó)人民大學(xué)出版社，2000.[2]馮棉，等.哲學(xué)邏輯與邏輯哲學(xué)[M].上海：華東師范大學(xué)出版社，1991.[3]桂起權(quán).現(xiàn)代數(shù)學(xué)哲學(xué)與邏輯哲學(xué)入門[M].上海：華