隨著當(dāng)代數(shù)理邏輯的興起,有關(guān)個(gè)體詞邏輯地位的問(wèn)題在形式記法的顯微鏡下被無(wú)限放大。對(duì)于羅素等人來(lái)說(shuō),這個(gè)問(wèn)題表現(xiàn)為下面這種悖論:如果承認(rèn)個(gè)體詞指稱(chēng)了個(gè)體對(duì)象,那么個(gè)體詞就不必然是命題的邏輯主語(yǔ),因?yàn)椴粌H未做出實(shí)際指稱(chēng)的空名和虛構(gòu)名稱(chēng)能夠成為命題主語(yǔ),部分通名也能夠成為命題主語(yǔ);如果承認(rèn)個(gè)體詞的邏輯主詞地位,就必須承認(rèn)它們未必指稱(chēng)了對(duì)象(考慮空名和虛構(gòu)名詞),從而造成命題真值無(wú)法得到保障。



