發(fā)布時間：2024-05-23 01:31

　　在量化問題上,傳統(tǒng)邏輯和現(xiàn)代邏輯的對當方陣大相徑庭,且各有局限。哲學實驗結(jié)果顯示:(1)自然語言中A、I命題都允許主項為實體性存在、觀念性存在,不接受自相矛盾的主項;(2)各語境下自然語言的A、I命題在主項存在方面高度相似,表明A命題預設了主項存在;(3)不同語境下對A、I命題的否定接受了不同的預設,表明了否定包含預設、且預設具有層次性�；�于實驗結(jié)果的"分層量化"方案,把A命題的主項存在預設形式化為公式的一部分;把不同語境下否定的預設形式化為獨立的前提,據(jù)此分層建立了否定時預設個體存在(■x)、預設主項存在(■xSx)、預設主項為全域(■xSx)的對當方陣,三者具有內(nèi)在一致性。新方案似可較為系統(tǒng)地消解量化問題的困境。

【文章頁數(shù)】：9 頁

【部分圖文】：

圖1預設方案（傳統(tǒng)邏輯對當方陣）

在傳統(tǒng)邏輯中，A、E、I、O之間的推理關(guān)系形成了圖1所示的傳統(tǒng)對當方陣。因只有A、E中的主項S存在的情況下，這一對當方陣才成立，[1]本文將此方案稱為“預設方案”。預設方案受到了嚴重質(zhì)疑：（1）引入預設則不能刻畫主項為空類的命題；（2）日常語言有時并不假定所談的類中存在元素，如“....

圖2未預設方案（現(xiàn)代邏輯對當方陣之一）

理論上，現(xiàn)代邏輯支持“未預設方案”，認為全稱命題并未預設主項存在，A、E、I、O分別被形式化為x(Sx→Px)等公式，對當方陣見圖2。此時只有矛盾關(guān)系成立。未預設方案導致了“怪異推理”的困境。一是無法刻畫預設主項存在的命題。A命題“桶里所有的蘋果都是甜的”預設了桶里有蘋果，（[2....

圖3主項為全域時的方案（現(xiàn)代邏輯對當方陣之二）

實際上，現(xiàn)代邏輯采用的是預設方案與未預設方案的“混合方案”：（1）當S不是全域時，采用未預設方案。（2）當S為全域時，如“所有的個體都是P”，采用預設方案，A、E、I、O被形式化為xPx等公式。此時傳統(tǒng)的對當關(guān)系都成立，見圖3�；旌戏桨冈谖搭A設方案的困境之上又疊加了兩個問題：一....

圖4不同語境下的A、I命題可接受程度（A）、（I)

實驗結(jié)果對未預設方案批判預設方案的論據(jù)，構(gòu)成了有力反駁。根據(jù)未預設方案，A被形式化為x(Sx→Px)，只要Sx取值為假，則整個公式取值為真。但實驗結(jié)果顯示了多個反例。例如(A7)=2.16，表示A7在自然語言中取值應該為假；但在未預設方案中形式化為x(Sx→Px)，卻取值為真。另....

本文編號：3980811