邏輯基礎(chǔ)問題

　　《邏輯基礎(chǔ)問題》為邏輯提出了一個全面系統(tǒng)的新基礎(chǔ)。眾所周知，為邏輯構(gòu)建一個系統(tǒng)的哲學(xué)基礎(chǔ)是一個異常困難的問題。本書認(rèn)為解決這個問題的關(guān)鍵在于方法論。人們普遍認(rèn)為，邏輯的基礎(chǔ)必須采用傳統(tǒng)的基礎(chǔ)方法論即基礎(chǔ)主義。不過，這一方法論在原則上不能為基礎(chǔ)學(xué)科提供基礎(chǔ)。這就使得哲學(xué)家完全放棄去為邏輯構(gòu)造一個基礎(chǔ)。但是，基礎(chǔ)主義不是*合理的基礎(chǔ)方法論。本書提出基礎(chǔ)整體主義作為替換的方法論。基礎(chǔ)整體主義將強(qiáng)烈的基礎(chǔ)性要求與整體主義工具結(jié)合，為邏輯建立了一個可行的、系統(tǒng)的基礎(chǔ)。本書運用這一新的方法論為邏輯描繪了一個實際基礎(chǔ)，其出發(fā)點是邏輯在人類知識中所起的作用，即提供一個普遍的、特別強(qiáng)有力的推理或后承方法，尤其是，邏輯后承必須保證真在前提到結(jié)論的傳遞，而這一保證必須具有一種特別強(qiáng)的模態(tài)力量。為了起到這樣的作用，邏輯必須滿足各種堅定的真實性要求，為此，它必須建基于人類心靈和世界之中。但是，邏輯又不能建基于世界的任意事物之中，它必須建基在足以強(qiáng)大到為關(guān)于邏輯后承的要求提供基礎(chǔ)的世界方面。本書把邏輯建基于支配世界的、特別強(qiáng)的法則———即形式法則———之中而解決了這個問題。由于這些法則的特性———特別強(qiáng)的不變性度，形式法則具有強(qiáng)大的模態(tài)力量，它們具有了所要求的必然性，從而可以為邏輯后承提供基礎(chǔ)。本書為形式性提供了一個標(biāo)準(zhǔn)，這個標(biāo)準(zhǔn)使得邏輯常項成為邏輯真和邏輯后承的 “引擎”。 書中還進(jìn)一步解釋了新基礎(chǔ)如何保證必然性，不僅如此，也對它如何保證邏輯的其他典型特征有所解釋：普遍性、主題中立性、強(qiáng)規(guī)范性以及 （準(zhǔn)）先天性。書中討論了邏輯中的錯誤和修正，并且對邏輯性標(biāo)準(zhǔn)的批評也進(jìn)行回應(yīng)。本書*后考察的是邏輯與數(shù)學(xué)之間的關(guān)系，提出了一個弗雷格式的邏輯主義。邏輯主義把數(shù)學(xué)建基在邏輯之中，但它無法為邏輯提供基礎(chǔ)。通過把數(shù)學(xué)和邏輯都建基于形式之中，這一問題在本書建立的基礎(chǔ)中不再出現(xiàn)。這樣的新基礎(chǔ)就可以解釋清楚邏輯與數(shù)學(xué)之間的聯(lián)系和區(qū)別，即二者之間的勞動分工與合作。

暫缺《邏輯基礎(chǔ)問題》作者簡介