本文關(guān)鍵詞：相干邏輯的情境論解釋

  更多相關(guān)文章： 相干邏輯 情境論 信息 鄰界

【摘要】：相干邏輯的情境論解釋屬于相干邏輯的直觀語義。情境論以集合論的方式處理信息,用"鄰界"的概念拓寬了可能世界語義學(xué)。情境論不僅以直觀的方式解釋了相干邏輯,還在相干邏輯如何解決蘊(yùn)涵怪論,如何進(jìn)一步修正邏輯上具有重要作用,理當(dāng)受到現(xiàn)代邏輯學(xué)家更多的關(guān)注。
【作者單位】： 華東師范大學(xué)哲學(xué)系;
【關(guān)鍵詞】： 相干邏輯 情境論 信息 鄰界
【分類號(hào)】：B812
【正文快照】： 相干邏輯的語義是現(xiàn)代邏輯研究的一個(gè)分支,相干邏輯語義分為兩類,一種是形式語義,一種是直觀語義。相對(duì)于形式語義,直觀語義更符合人們的直覺,也更能幫助人們清楚認(rèn)識(shí)相干邏輯在避免蘊(yùn)涵怪論時(shí)對(duì)經(jīng)典邏輯所做的變異�！扒榫痴摻忉尅笔邱R雷斯(Edwin Mares)在伊斯拉爾(David Isr

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

1 張賢坤;劉棟;高珊;杜磊;;基于強(qiáng)相關(guān)邏輯的不精確應(yīng)急時(shí)態(tài)知識(shí)表示[J];計(jì)算機(jī)工程與應(yīng)用;2012年15期

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

1 郭遠(yuǎn)華;若干邏輯自動(dòng)推理方法研究[D];華東師范大學(xué);2010年

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

1 何平;普魯姆德的環(huán)境倫理思想研究[D];南京農(nóng)業(yè)大學(xué);2012年

【相似文獻(xiàn)】

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

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

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

3 文虹;;論關(guān)聯(lián)理論在經(jīng)貿(mào)對(duì)外宣傳資料翻譯中的應(yīng)用[J];廣東技術(shù)師范學(xué)院學(xué)報(bào);2006年03期

4 聶月芳;;關(guān)聯(lián)和語境效果芻議[J];牡丹江師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2008年02期

5 陳元貴;;情境論與裝飾紋樣研究[J];鄭州輕工業(yè)學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2010年04期

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

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

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

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

10 陳加林;;導(dǎo)演情境論[J];戲劇藝術(shù);1993年02期

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

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

2 王雪松;許世范;郝繼飛;;CIMS環(huán)境下的選煤廠管理信息系統(tǒng)的研究與實(shí)施[A];2001中國控制與決策學(xué)術(shù)年會(huì)論文集[C];2001年

3 吳平博;陳群秀;馬亮;;基于時(shí)空分析的線索性事件的抽取與集成系統(tǒng)研究[A];全國第八屆計(jì)算語言學(xué)聯(lián)合學(xué)術(shù)會(huì)議（JSCL-2005）論文集[C];2005年

4 孟憲宇;朱紀(jì)洪;范勇;徐光美;;無人作戰(zhàn)飛機(jī)多感知系統(tǒng)研究[A];2009全國虛擬儀器大會(huì)論文集（二）[C];2009年

5 朱曉晶;徐韞璽;;基于雙層建模理論的BIM研究[A];工程設(shè)計(jì)與計(jì)算機(jī)技術(shù)：第十五屆全國工程設(shè)計(jì)計(jì)算機(jī)應(yīng)用學(xué)術(shù)會(huì)議論文集[C];2010年

6 樂群星;魏法杰;;基于DSM的并行產(chǎn)品設(shè)計(jì)過程管理[A];2004年中國管理科學(xué)學(xué)術(shù)會(huì)議論文集[C];2004年

7 吳克河;鄭培昊;周景;;用于MIS的實(shí)時(shí)數(shù)據(jù)共享軟件平臺(tái)的設(shè)計(jì)與實(shí)現(xiàn)[A];2006電力系統(tǒng)自動(dòng)化學(xué)術(shù)交流研討大會(huì)論文集[C];2006年

8 蔡俠彪;符永好;;海口市海域管理信息系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[A];經(jīng)天緯地——全國測(cè)繪科技信息網(wǎng)中南分網(wǎng)第十九次學(xué)術(shù)交流會(huì)優(yōu)秀論文選編[C];2005年

9 秦子燕;趙曾貽;;網(wǎng)絡(luò)入侵檢測(cè)系統(tǒng)的誤警分析[A];2007北京地區(qū)高校研究生學(xué)術(shù)交流會(huì)通信與信息技術(shù)會(huì)議論文集（上冊(cè)）[C];2008年

10 鄭文心;謝文秀;彭勇;黃瑋;;試驗(yàn)數(shù)據(jù)管理的企業(yè)集成方法研究[A];第三屆民用飛機(jī)先進(jìn)制造技術(shù)及裝備論壇論文匯編[C];2011年

中國重要報(bào)紙全文數(shù)據(jù)庫 前10條

1 記者 曾仁;蘭寶信息關(guān)聯(lián)交易遲披露[N];中國證券報(bào);2004年

2 阿達(dá)邋建川;常州民警冠名科技應(yīng)用技戰(zhàn)法[N];江蘇法制報(bào);2007年

3 ;Compuware EcoSYSTEMS[N];網(wǎng)絡(luò)世界;2001年

4 貴州永福礦業(yè)有限公司 李良泉;煤炭企業(yè)ERP貴在做需求[N];計(jì)算機(jī)世界;2008年

5 太平洋壽險(xiǎn)河北分公司 楊偉哲;IT在營(yíng)銷服務(wù)部管理中的應(yīng)用[N];中國保險(xiǎn)報(bào);2009年

6 曉 宏;飛聯(lián)技術(shù)讓３Ｃ產(chǎn)品不再曲高和寡[N];中國企業(yè)報(bào);2004年

7 本報(bào)記者 陳昌成;精工愛普生財(cái)報(bào)“飄紅”[N];中國企業(yè)報(bào);2005年

8 靖雯;聯(lián)想揚(yáng)天新品牌 系統(tǒng)恢復(fù)創(chuàng)紀(jì)錄[N];中國質(zhì)量報(bào);2007年

9 王紅霞;提升產(chǎn)業(yè)能級(jí)改善城市功能[N];文匯報(bào);2006年

10 王小魯;《左右》：道德驚險(xiǎn)與人倫之美[N];21世紀(jì)經(jīng)濟(jì)報(bào)道;2008年

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

1 高揚(yáng);堿基關(guān)聯(lián)矩陣法在DNA病毒親緣關(guān)系研究中的應(yīng)用[D];內(nèi)蒙古大學(xué);2012年

2 張素芳;網(wǎng)絡(luò)社區(qū)學(xué)術(shù)資源關(guān)聯(lián)研究[D];南開大學(xué);2012年

3 石躍祥;計(jì)算機(jī)視覺圖像語義模型的描述方法研究[D];中南大學(xué);2005年

4 繆佩君;大學(xué)生網(wǎng)絡(luò)自我與現(xiàn)實(shí)自我的結(jié)構(gòu)和特征[D];福建師范大學(xué);2013年

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

1 馬芝丹;媒介情境論視野下微博傳播行為的研究[D];東北師范大學(xué);2012年

2 侯蓉英;媒介與社會(huì)變遷[D];蘇州大學(xué);2005年

3 熊新全;DIDS控制中心相關(guān)技術(shù)的研究與應(yīng)用[D];鄭州大學(xué);2007年

4 王屹;工程數(shù)字化信息系統(tǒng)（EDIS）的設(shè)計(jì)與應(yīng)用[D];大連海事大學(xué);2010年

5 周怡;泛在網(wǎng)標(biāo)識(shí)與尋址的結(jié)構(gòu)化關(guān)聯(lián)研究[D];北京郵電大學(xué);2011年

6 丁瑯;特殊環(huán)境下運(yùn)動(dòng)個(gè)體行為圖像識(shí)別的研究[D];天津大學(xué);2007年

7 侯瑾;ICT環(huán)境下個(gè)體隱私感知與保護(hù)行為研究[D];太原科技大學(xué);2013年

8 湯清明;入侵檢測(cè)系統(tǒng)警報(bào)關(guān)聯(lián)及相關(guān)技術(shù)研究[D];湖南師范大學(xué);2007年

9 劉昊;一種高速網(wǎng)絡(luò)安全監(jiān)控系統(tǒng)的設(shè)計(jì)與原型系統(tǒng)實(shí)現(xiàn)[D];電子科技大學(xué);2007年

10 王璨;語氣詞“唄”的語氣意義及話語標(biāo)記功能研究[D];吉林大學(xué);2006年

，

本文編號(hào)：681030