本文關(guān)鍵詞：相干邏輯關(guān)系語(yǔ)義的推理解釋

  更多相關(guān)文章： 相干邏輯 關(guān)系語(yǔ)義 推理語(yǔ)義

【摘要】：關(guān)系語(yǔ)義是相干邏輯中最為重要的語(yǔ)義學(xué)之一,但是關(guān)系語(yǔ)義一開始就以"純粹"的形式語(yǔ)義的面貌出現(xiàn),其中三元關(guān)系R的直觀意思是什么并不清楚,于是出現(xiàn)了關(guān)于關(guān)系語(yǔ)義的多種解釋。我們認(rèn)為,R所代表的是推理規(guī)則集、前提集和結(jié)論集三者之間的關(guān)系,據(jù)此提出了推理語(yǔ)義。推理語(yǔ)義以推理的形式結(jié)構(gòu)為背景,有明確的直觀意義。本文以相干邏輯系統(tǒng)R+為例,證明出推理語(yǔ)義是與關(guān)系語(yǔ)義等價(jià)的語(yǔ)義。從推理語(yǔ)義與關(guān)系語(yǔ)義的這個(gè)等價(jià)關(guān)系上看,推理語(yǔ)義完全可以作為對(duì)于關(guān)系語(yǔ)義直觀解釋的一個(gè)中間環(huán)節(jié)。由此不僅使得關(guān)系語(yǔ)義有了推理結(jié)構(gòu)的解釋,同時(shí)說(shuō)明了相干邏輯是一種關(guān)于推理的邏輯。這與相干邏輯產(chǎn)生的歷史也完全吻合。
【作者單位】： 北京大學(xué)哲學(xué)系;中國(guó)社會(huì)科學(xué)院哲學(xué)研究所;
【關(guān)鍵詞】： 相干邏輯 關(guān)系語(yǔ)義 推理語(yǔ)義
【基金】：國(guó)家社科基金重大項(xiàng)目(批準(zhǔn)號(hào)12&ZD119)
【分類號(hào)】：B81
【正文快照】： 上世紀(jì)七十年代初R.Routley和R.Meyer給出了相干邏輯的關(guān)系語(yǔ)義(relational semantics)。這一語(yǔ)義中的框架是一個(gè)四元組?K,R,0,?,其中R是一個(gè)三元關(guān)系([10 12])。在關(guān)系語(yǔ)義下可以得到一系列相干邏輯系統(tǒng)的完全性,從這個(gè)角度看關(guān)系語(yǔ)義是一個(gè)成功的語(yǔ)義,因而成為了相干邏輯中

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 胡光遠(yuǎn);;相干邏輯的情境論解釋[J];邏輯學(xué)研究;2013年04期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前4條

1 馮棉;;論相干邏輯的研究方法[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年06期

2 埃德溫·馬萊斯;;相干否定與經(jīng)典否定[J];邏輯學(xué)研究;2010年01期

3 霍書全;;相干邏輯研究的當(dāng)代成果和發(fā)展趨勢(shì)[J];哲學(xué)動(dòng)態(tài);2007年04期

4 婁永強(qiáng);;信息流研究及發(fā)展趨勢(shì)[J];哲學(xué)動(dòng)態(tài);2013年09期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前2條

1 周春來(lái);;Minimal Relevance Logics and Semantical Proof of Better Bubbling Lemma[A];2005年邏輯研究專輯[C];2005年

2 馮棉;;相干邏輯與蘊(yùn)涵怪論[A];2005年邏輯研究專輯[C];2005年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 婁永強(qiáng);信息流理論的邏輯研究[D];南開大學(xué);2009年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 馮棉;;論相干邏輯的研究方法[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年06期

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 馮棉;;論相干邏輯的研究方法[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年06期

2 牛奔玉;周禎祥;;相干邏輯R中合取的解釋[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2013年01期

3 施拉姆科 ,王靖華;相干結(jié)論保留著非假值[J];現(xiàn)代外國(guó)哲學(xué)社會(huì)科學(xué)文摘;1996年07期

4 胡紅;盛作國(guó);;制約邏輯與相干邏輯比較研究[J];畢節(jié)學(xué)院學(xué)報(bào);2008年01期

5 顏中軍;;從相干邏輯看邏輯的可修正性[J];畢節(jié)學(xué)院學(xué)報(bào);2011年03期

6 劉步青;;相干邏輯的產(chǎn)生及評(píng)價(jià)[J];重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2013年09期

7 張清宇;試談相干邏輯[J];哲學(xué)研究;1985年10期

8 胡光遠(yuǎn);;相干邏輯的情境論解釋[J];邏輯學(xué)研究;2013年04期

9 馮棉;條件句與相干邏輯[J];華東師范大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);1999年01期

10 薛元;有關(guān)制約邏輯的一些情況[J];國(guó)內(nèi)哲學(xué)動(dòng)態(tài);1986年11期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前3條

1 馮棉;;相干邏輯與蘊(yùn)涵怪論[A];2005年邏輯研究專輯[C];2005年

2 弓肇祥;;蘊(yùn)涵與邏輯推斷[A];1995年邏輯研究專輯[C];1995年

3 張盛彬;;試論條件句與蘊(yùn)涵的一致性[A];2000年邏輯研究專輯[C];2000年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 盛作國(guó);蘊(yùn)涵理論研究[D];貴州大學(xué);2008年

，

本文編號(hào)：747307