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

【文章來(lái)源】：南通大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版). 2018,34(06)北大核心CSSCI

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

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



本文編號(hào)：3463542