為了使斷言與非斷言的區(qū)分一目了然,吉奇引入弗雷格邏輯系統(tǒng)中的判斷杠這一符號,將它添加在被斷言的語句之前。但實際上,吉奇的這一做法是對弗雷格判斷杠的誤解:第一,不需要借用任何專門的符號來判別一個語句是否得到了斷言。第二,弗雷格的判斷杠是添加在沒有判斷力的表達式之前,而非直接加在本來就具有判斷力的自然語句之前。弗雷格創(chuàng)造判斷杠這一符號是服務(wù)于他的函數(shù)分析法的,目的是恢復(fù)已被他剝奪了判斷力的自然語句的判斷力。判斷杠"|"是一個判斷表達式生成器,將它置于真值表達式"—▲"之前,就構(gòu)造出判斷表達式"|—▲"。雖然在轉(zhuǎn)向謂詞分析法的現(xiàn)代邏輯中,這一符號已不再被使用,但是,弗雷格通過判斷杠及其相關(guān)設(shè)施所做的鋪墊,才使得現(xiàn)代邏輯對傳統(tǒng)邏輯的超越成為可能。 

【文章來源】：南通大學(xué)學(xué)報(社會科學(xué)版). 2018,34(06)北大核心CSSCI

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

【文章目錄】：
一、吉奇對弗雷格判斷杠的誤用
二、弗雷格判斷杠的真實涵義
三、判斷杠在弗雷格邏輯系統(tǒng)中的地位及其與現(xiàn)代邏輯的關(guān)系



本文編號：3463542