對邏輯學范圍與性質的反思論文

《對邏輯學范圍與性質的反思論文》由會員上傳分享，免費在線閱讀，更多相關內(nèi)容在學術論文-天天文庫。

1、對邏輯學范圍與性質的反思論文【內(nèi)容提要】邏輯學的發(fā)展是多層面的，邏輯的涵義也是分層次的，邏輯可以有廣義與狹義之分。對現(xiàn)代邏輯背景下出現(xiàn)的關于邏輯的一元論、多元論與工具主義要作具體分析。事實上，每種觀點都有一定的道理，但總體上來說，多元論更符合現(xiàn)代邏輯科學發(fā)展的實際。【關鍵詞】邏輯/廣義與狹義/一元論/多元論/工具主義【正文】一、廣義的邏輯與狹義的邏輯什么是邏輯？要清楚明確地回答這一問題，要將各種各樣冠以“邏輯”的學科都統(tǒng)一在一個明確清晰的“邏輯”的定義之下，這是很困難的.freelbridgeUniversityPress,1978,P.4,.freelb

2、ridgeUniversityPress,1978,P.4,221-231.）多元論又可以分為總體多元論與局部多元論。局部多元論認為，不同的邏輯系統(tǒng)是由于應用于討論的不同領域而形成的，因此，局部多元論把系統(tǒng)外的有效性和邏輯真理從而也把邏輯系統(tǒng)的正確性看作是討論的一個特定領域，認為一個論證并不是無條件地有效的，而是在討論中有效的，所以，邏輯可以是局部地正確的，即在某一特定的討論區(qū)域內(nèi)正確的。而總體多元論則持有與一元論相同的假定：邏輯原理可以應用于任何主題，因此，一個邏輯系統(tǒng)應該是總體應用的即可以應用于代表任何主題的推理的。就經(jīng)典邏輯與非經(jīng)典邏輯特別是異常邏輯

3、之間的關系而言，一元論者強迫人們在經(jīng)典系統(tǒng)與異常系統(tǒng)中二者擇一，而多元論者則認為經(jīng)典邏輯與擴展的邏輯都是正確的。因此，一元論者斷言經(jīng)典邏輯與異常邏輯在是否正確地代表了系統(tǒng)外的有效論證或邏輯真理的形式上是相互對立的，而多元論者則認為經(jīng)典邏輯與異常邏輯兩者在某一或其他途徑下的對立只是表面的。就邏輯科學發(fā)展的現(xiàn)實而言，從傳統(tǒng)邏輯到經(jīng)典邏輯再到非經(jīng)典邏輯的道路，也是邏輯科學特別是邏輯系統(tǒng)發(fā)展由比較單一走向豐富多樣的過程。以傳統(tǒng)邏輯來說，它來自于人們的日常思維和推理的實際，可以說是對人們的日常思維特別是推理活動的概括和總結，因此，傳統(tǒng)邏輯的內(nèi)容是比較直觀的，與現(xiàn)實也

4、是比較吻合的。而經(jīng)典邏輯是傳統(tǒng)邏輯的現(xiàn)代發(fā)展階段，是以形式化的方法對傳統(tǒng)邏輯理論特別是推理理論的新的研究，因此，與傳統(tǒng)邏輯一樣，經(jīng)典邏輯的內(nèi)容仍是具有直觀基礎的——經(jīng)典邏輯的公理與定理大都可以在日常思維中找到相對應的思維與推理的實例予以佐證，人們對它們的理解與解釋也不會感到與日常思維特別是推理的實際過于異常。所以，在傳統(tǒng)邏輯與經(jīng)典邏輯的層面，用“系統(tǒng)內(nèi)的有效性”與“系統(tǒng)外的有效性”的一致來說明一個邏輯系統(tǒng)的正確性是合適的，這種說明的實質就是要求邏輯系統(tǒng)這種“主觀”的產(chǎn)物與思維的客觀實際相一致。相對而言，在經(jīng)典邏輯基礎上發(fā)展起來的各種非經(jīng)典邏輯，它的直觀性、

5、與人們?nèi)粘Ｋ季S特別是推理的吻合性就大大不如經(jīng)典邏輯，甚至與經(jīng)典邏輯背道而馳。以模態(tài)命題系統(tǒng)為例（應該說，相對而言，模態(tài)命題邏輯在非經(jīng)典邏輯中是較為直觀的），如果說系統(tǒng)T滿足對模態(tài)邏輯系統(tǒng)的直觀要求，它所斷定的是沒有爭論的一些結論的話，則系統(tǒng)S4、S5就難以說具有直觀性以及與人們?nèi)粘Ｋ季S特別是推理的吻合性了：在系統(tǒng)S4和S5中都出現(xiàn)了模態(tài)算子的重疊，因而象□◇p→□◇□◇p、◇□◇p→◇p這樣的公式大量出現(xiàn)，而這些公式幾乎沒有什么直觀性。至于非經(jīng)典邏輯中的直覺主義邏輯、多值邏輯，它們離人們的日常思維特別是推理的實際更遠，更顯得“反?！薄Ｍ瑫r，同一個領域比如模

6、態(tài)邏輯或時態(tài)邏輯，由于方法和著眼點不同，可以構造出各種不同的系統(tǒng)。在這種情況下，一些學者作出邏輯系統(tǒng)無正確性可言、邏輯系統(tǒng)純粹只是人們思考的工具的工具主義結論也就不足為怪了。應該說，工具主義的觀點是有一定的可取之處的：它看到了邏輯系統(tǒng)特別是各種非經(jīng)典邏輯系統(tǒng)遠離日常思維與推理和作為“純思維產(chǎn)物”的高度抽象性，看到了邏輯學家在建構各種邏輯系統(tǒng)時的高度的創(chuàng)造性或“主觀能動性”。但是，另一方面，從本質來看，工具主義的這種觀點是不正確的，也是不可取的。它完全抹殺了邏輯系統(tǒng)建構的客觀基礎，否定了邏輯系統(tǒng)最終是人們特別是邏輯學家的主觀對思維實際、推理實際的反映。這種觀

7、點最終的結果就是導致邏輯無用論，最終取消邏輯。這顯然是不符合邏輯科學發(fā)展的實際和邏輯科學的學科性質的。而一元論對邏輯系統(tǒng)的“正確性”的理解過于狹窄，也過于嚴厲，這種觀點難以解釋在今天各種不同的邏輯系統(tǒng)之間相互并存、互為補充的現(xiàn)實。從本質上講，盡管任何邏輯系統(tǒng)都是邏輯學家構造出來的，但是，它們是有客觀基礎的——它總是在一定程度上反映了人類思維特別是推理實際的某一方面或某一領域（否則，它就是沒有實際意義的，最終難以存在下去），所以，邏輯系統(tǒng)是有“正確”與“不正確”之分的——正確地反映了人類思維特別是推理實際的邏輯系統(tǒng)就是正確的，反之則是不正確的。應該說，這一點

8、是一元論與多元論都可以同意的，但是，在承認這一說法的同時，還應該看