期刊在線咨詢服務(wù),立即咨詢
關(guān)鍵詞:存在預(yù)設(shè) 真值間隙 自由邏輯 超賦值
摘要:存在預(yù)設(shè)在經(jīng)典邏輯中有著重要的地位。存在預(yù)設(shè)失效了的邏輯系統(tǒng)就會(huì)成為一種自由邏輯系統(tǒng),不得不面對(duì)空名與真值間隙問(wèn)題。本文基于這些自由邏輯系統(tǒng)討論了如何為存在預(yù)設(shè)失效提供一個(gè)合適的語(yǔ)義解釋:首先通過(guò)語(yǔ)義預(yù)設(shè)的概念來(lái)定義存在預(yù)設(shè)、將真值間隙定義為二值原則失效,而后比較了為真值間隙賦值的不同方案,最終在虛構(gòu)主義的立場(chǎng)上指出,超賦值語(yǔ)義學(xué)在把空名看作虛構(gòu)對(duì)象名稱的同時(shí)保留了邏輯真,是較為理想的語(yǔ)義解釋。
邏輯學(xué)研究雜志要求:
{1}來(lái)稿所涉及的項(xiàng)目如果為國(guó)家或地方基金課題,請(qǐng)?jiān)趤?lái)稿中注明課題項(xiàng)目、編號(hào)、來(lái)源,本刊將優(yōu)先錄用。
{2}來(lái)稿須注明未一稿兩投,曾在其他公開(kāi)雜志以摘要或簡(jiǎn)報(bào)形式發(fā)表者不在此限。
{3}題目:力求簡(jiǎn)明、醒目,能準(zhǔn)確反映文章主題。應(yīng)避免使用非公知公用的縮略語(yǔ)、字符和代號(hào)等,如必須使用,應(yīng)在文中第一次出現(xiàn)時(shí),對(duì)其作出通俗易懂的說(shuō)明。
{4}文后須列出參考文獻(xiàn)條目(序號(hào)和文中出現(xiàn)的順序相對(duì)應(yīng))。主要責(zé)任者如超過(guò)3人,可在第三個(gè)責(zé)任者后加“,等”,否則需列出全部著、譯者。
{5}文章摘要篇幅以200~300 字為宜。摘要的作用是補(bǔ)充題名的不足,介紹文章主要內(nèi)容以引導(dǎo)讀者閱讀全文。摘要一般要求:目的、方法、結(jié)果和結(jié)論4個(gè)要素,采用第三人稱表述。
注:因版權(quán)方要求,不能公開(kāi)全文,如需全文,請(qǐng)咨詢雜志社