邏輯基礎(chǔ)問(wèn)題

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

暫缺《邏輯基礎(chǔ)問(wèn)題》作者簡(jiǎn)介