1、自然語(yǔ)言中的專名與形式語(yǔ)言中的單獨(dú)詞項(xiàng)有兩個(gè)差別：每個(gè)單獨(dú)詞項(xiàng)正好指派給論域中的一個(gè)個(gè)體，而專名有時(shí)不止一個(gè)承擔(dān)者（如小明），有時(shí)沒(méi)有承擔(dān)者（如虛構(gòu)事物）。為了表述方便，把這一類(lèi)空指稱的專名，包括一些空指稱短語(yǔ)統(tǒng)稱空名。
　　 空名所引發(fā)的一系列問(wèn)題由來(lái)已久，早在古希臘，巴門(mén)尼德就給我們留下了這個(gè)難題：我們?nèi)绾文苡幸饬x地談?wù)摬淮嬖诘臇|西？如果它不存在，我們又如何指稱它？或者換句話說(shuō)，我們應(yīng)該如何理解包含空名句子的意義？
　

2、　 從弗雷格到羅素、施特勞森、蒯因，再到克里普克，都對(duì)空名所引起的若干問(wèn)題提出自己的解決方案，雖然他們都持指稱論立場(chǎng)，但由于他們各自理論有所差別，所以對(duì)空名問(wèn)題的解決方案也不一而同。實(shí)際上，大多數(shù)哲學(xué)家都是攜帶不同的形而上學(xué)、知識(shí)論立場(chǎng)進(jìn)入并處理語(yǔ)言哲學(xué)問(wèn)題，用形而上學(xué)或知識(shí)論的論證作為對(duì)其語(yǔ)言哲學(xué)理論的支持。同時(shí)，語(yǔ)言哲學(xué)中的名稱理論和意義理論、形而上學(xué)中關(guān)于“不存在的可能對(duì)象”的理論、邏輯學(xué)中擺脫實(shí)存預(yù)設(shè)的自由邏輯等均與此有關(guān)。<