發(fā)布時間：2018-03-26 12:00

  本文選題：空詞項　切入點：一度衍推　出處：《華南師范大學(xué)學(xué)報(社會科學(xué)版)》2016年01期

【摘要】：FML是以自由邏輯為基礎(chǔ)構(gòu)建起來的一個三值模態(tài)謂詞邏輯表列系統(tǒng)。若一個詞項無所指(空詞項)則包含該詞項的簡單句子無所指(即無真值),FML的偏函數(shù)語義模型體現(xiàn)了這一思想。通過借鑒普利斯特的一度衍推系統(tǒng)和菲汀的抽象謂詞思想,FML系統(tǒng)刻畫了在內(nèi)涵語境下關(guān)于空詞項的推理規(guī)律。最后,用數(shù)模的方法證明了FML的強完全性。
[Abstract]:FML is a ternary modal predicate logic list system constructed on the basis of free logic. If a word item has no indication (empty word item), the simple sentence containing the word item has no reference. By drawing lessons from Prith's one-degree derivation system and FML's abstract predicate system, this paper depicts the reasoning law of empty words in the context of connotation. The strong completeness of FML is proved by numerical simulation.
【作者單位】： 華南師范大學(xué)政治與行政學(xué)院;貴州師范大學(xué)馬克思主義學(xué)院;
【基金】：國家社會科學(xué)基金項目“自由邏輯及其相關(guān)哲學(xué)問題研究”(13BZX068)
【分類號】：H0-05

【相似文獻(xiàn)】

相關(guān)期刊論文 前1條

1 王傳經(jīng);;模態(tài)關(guān)系與意義分析[J];外語研究;2007年02期

，

本文編號：1667812