本文選題：自由邏輯 + 空詞項(xiàng)　； 參考：《邏輯學(xué)研究》2014年01期

【摘要】：萊曼(S.Lehmann)的1994年的論文從三值邏輯角度處理語(yǔ)言中的空詞項(xiàng)。弗雷格認(rèn)為句子的所指是真值,包含空詞項(xiàng)的句子缺乏所指,而只有涵義,那么這樣的句子不真也不假。萊曼的文章刻畫(huà)了弗雷格這一思想,但有兩點(diǎn)不盡人意之處:其一、對(duì)量詞進(jìn)行特殊處理,使得量詞公式是二值的;其二,把包含空詞項(xiàng)的復(fù)合句一概歸于第三值。針對(duì)上述兩點(diǎn),本文以一度衍推系統(tǒng)為基礎(chǔ),在語(yǔ)義上,以偏解釋函數(shù)為基礎(chǔ)構(gòu)造了一個(gè)非嚴(yán)格弗雷格中性自由邏輯表列系統(tǒng),使得量詞公式是三值的,同時(shí)使得一部分包含空詞項(xiàng)的復(fù)合公式或真或假。
[Abstract]:S. Lehmann's 1994 paper deals with empty words in language from the point of view of ternary logic. Frege believes that the meaning of a sentence is true, and that a sentence containing empty words lacks a reference and has only meaning, so that such a sentence is not true or false. Lehmann's paper depicts Frege's thought, but there are two unsatisfactory points: firstly, the quantifier formula is binary by special treatment of quantifier, and second, the compound sentence containing empty words is classified as the third value. In view of the above two points, this paper constructs a nonstrict Frege neutral free logic list system based on the one-degree derivation system and the partial interpretation function, which makes the quantifier formula ternary. At the same time, part of the compound formula containing empty terms is true or false.
【作者單位】： 華南師范大學(xué)政治與行政學(xué)院;
【基金】：國(guó)家社會(huì)科學(xué)基金項(xiàng)目《自由邏輯及其相關(guān)哲學(xué)問(wèn)題研究》(13BZX068)
【分類(lèi)號(hào)】：B815.8

【共引文獻(xiàn)】

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

1 馮艷;自由摹狀詞理論研究述評(píng)[J];哲學(xué)動(dòng)態(tài);2005年07期

【相似文獻(xiàn)】

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

1 陳曉平;關(guān)于空詞項(xiàng)及其內(nèi)涵與外延的對(duì)稱(chēng)性問(wèn)題[J];哲學(xué)動(dòng)態(tài);1997年02期

2 陳曉平;虛擬蘊(yùn)涵實(shí)質(zhì)蘊(yùn)涵和空詞項(xiàng)——也談“邏輯研究中有待澄清的若干問(wèn)題”[J];廣西大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1997年03期

3 周禎祥;;巴坎公式和自由邏輯[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2010年04期

4 馮艷;;自由邏輯中的存在問(wèn)題[J];哲學(xué)動(dòng)態(tài);2010年08期

5 劉明元;陳治龍;;從謂詞邏輯的觀(guān)點(diǎn)看傳統(tǒng)詞項(xiàng)邏輯推理中的空詞項(xiàng)[J];畢節(jié)學(xué)院學(xué)報(bào);2011年06期

6 孫啟明;傳統(tǒng)邏輯的對(duì)當(dāng)關(guān)系及其推理與主項(xiàng)是否為空詞項(xiàng)無(wú)關(guān)[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1998年02期

7 胡澤洪;鄧雄雁;;論模態(tài)謂詞邏輯的“非指稱(chēng)”問(wèn)題——基于自由邏輯的考察[J];哲學(xué)研究;2011年01期

8 熊明輝;易永勝;;邏輯與科學(xué)思維的融合——第二屆邏輯與思維科學(xué)論壇綜述[J];特區(qū)實(shí)踐與理論;2011年01期

9 馮艷;劉壯虎;;一個(gè)自由模態(tài)的摹狀詞理論LFMDT_K[J];哲學(xué)研究;2007年08期

10 馮艷;自由摹狀詞理論研究述評(píng)[J];哲學(xué)動(dòng)態(tài);2005年07期

相關(guān)會(huì)議論文 前4條

1 弓肇祥;季冠芳;;自由邏輯的緣起和發(fā)展[A];邏輯今探——中國(guó)邏輯學(xué)會(huì)第五次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];1996年

2 弓肇祥;季冠芳;;哲學(xué)邏輯的幾個(gè)理論問(wèn)題[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

3 張建軍;;略論“強(qiáng)化的排中律”[A];1996年邏輯研究專(zhuān)輯[C];1996年

4 蔡曙山;;學(xué)科交叉與現(xiàn)代邏輯的發(fā)展[A];小康社會(huì)：文化生態(tài)與全面發(fā)展——2003學(xué)術(shù)前沿論壇論文集[C];2004年

，

本文編號(hào)：2067608