發(fā)布時(shí)間：2017-08-16 14:22

  本文關(guān)鍵詞：一個(gè)刻畫句子順序的邏輯

  更多相關(guān)文章： 更新語義 句子次序 公理化系統(tǒng) 可靠性 完全性

【摘要】：更新語義認(rèn)為句子的意義在于改變了主體的信息狀態(tài)。Veltman用更新語義刻畫了一個(gè)關(guān)于認(rèn)知的可能性的模態(tài)詞might,S5系統(tǒng)相對于Veltman提出的更新語義是可靠的和完全的。在更新語義的基礎(chǔ)上可以用形如φ;ψ公式刻畫句子先φ后ψ的次序,對應(yīng)的公理系統(tǒng)S5S也是可靠的和完全的。
【作者單位】： 懷化學(xué)院政法系;
【關(guān)鍵詞】： 更新語義 句子次序 公理化系統(tǒng) 可靠性 完全性
【基金】：國家社科基金項(xiàng)目“信息變化的邏輯研究”(12CZX055) 湖南省教育廳項(xiàng)目“信息更新邏輯的完全性研究”(12C0856)
【分類號】：B815.3
【正文快照】： 一引言與經(jīng)典邏輯把意義看作是句子的真值條件不同,更新語義認(rèn)為句子的意義在于改變了主體的信息狀態(tài)。更新語義是一種認(rèn)知的語義,它把邏輯的核心概念有效性建立在接受(acceptance)條件上。如果你知道一個(gè)句子所引起的你的信息狀態(tài)的變化,那么你就知道那個(gè)句子的意義。相對于

【共引文獻(xiàn)】

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

1 廖德明;;動(dòng)態(tài)認(rèn)知邏輯視域下的知識與信念[J];畢節(jié)學(xué)院學(xué)報(bào);2010年01期

2 李小五;郭向陽;徐秋華;;一個(gè)適于更新語義的涉景條件句邏輯[J];暨南大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年03期

3 琚鳳魁;;“否則”的形式語義(英文)[J];暨南大學(xué)學(xué)報(bào)(自然科學(xué)與醫(yī)學(xué)版);2010年05期

4 李小五;;一個(gè)匹配生成更新語義的條件句系統(tǒng)(英文)[J];邏輯學(xué)研究;2009年03期

5 劉奮榮;;偏好變化的一個(gè)量化模型(英文)[J];邏輯學(xué)研究;2009年03期

6 琚鳳魁;;祈使句和邏輯(英文)[J];邏輯學(xué)研究;2010年02期

7 Johan van Benthem;;A MINI-GUIDE TO LOGIC IN ACTION[J];邏輯研究專輯;2003年00期

8 李小五;;適于認(rèn)知系統(tǒng)和條件句系統(tǒng)的更新語義(英文)[J];心智與計(jì)算;2008年02期

9 J.范·本特姆;劉奮榮;;認(rèn)知邏輯與認(rèn)識論之研究現(xiàn)狀[J];世界哲學(xué);2006年06期

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

1 Johan van Benthem;;A MINI-GUIDE TO LOGIC IN ACTION[A];2003年邏輯研究專輯[C];2003年

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

1 劉強(qiáng);先設(shè)消解機(jī)制的分析[D];北京語言大學(xué);2007年

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

1 程莉;概率動(dòng)態(tài)認(rèn)知邏輯初探[D];西南大學(xué);2009年

2 金玉;信念算子運(yùn)算的語義解釋研究[D];大連海事大學(xué);2009年

【相似文獻(xiàn)】

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

1 李小五;;以目的與背景知識為雙條件的邏輯AKC[J];西南大學(xué)學(xué)報(bào)(社會科學(xué)版);2007年03期

2 周平;姜明;徐揚(yáng);;LF(X)中帶廣義量詞的可靠性定理[J];模糊系統(tǒng)與數(shù)學(xué);2008年02期

3 王路;論“必然地得出”[J];哲學(xué)研究;1999年10期

4 霍書全;;Lukasiewicz3-值命題邏輯的強(qiáng)完全性證明[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2008年02期

5 呂進(jìn);;一個(gè)向上線序的命題時(shí)態(tài)邏輯PTL[J];西南大學(xué)學(xué)報(bào)(社會科學(xué)版);2010年02期

6 李小五;;刻畫動(dòng)態(tài)否定的邏輯[J];中山大學(xué)學(xué)報(bào)(社會科學(xué)版);2008年02期

7 徐明;;不倫不類開放類 評鞠實(shí)兒的開放類邏輯[J];科學(xué)文化評論;2006年04期

8 張清宇;;直言推理系統(tǒng)[J];邏輯學(xué)研究;2008年01期

9 杜國平;;知識蘊(yùn)涵時(shí)態(tài)邏輯系統(tǒng)[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會科學(xué)版);2009年05期

10 白金山;李祥;;具有自反性質(zhì)的線序時(shí)態(tài)邏輯研究[J];計(jì)算機(jī)工程與設(shè)計(jì);2011年04期

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

1 許滌非;;二重命題邏輯系統(tǒng)■_(T4)[A];2001年邏輯研究專輯[C];2001年

2 周北海;;嫁接框架與S1-完全性[A];1994年邏輯研究專輯[C];1994年

3 劉壯虎;;相干邏輯的鄰域語義學(xué)[A];1995年邏輯研究專輯[C];1995年

4 孫衛(wèi)民;;模態(tài)邏輯中幾個(gè)概念的發(fā)展[A];1994年邏輯研究專輯[C];1994年

5 羅翊重;;從《易經(jīng)》象數(shù)學(xué)看形式邏輯和辯證邏輯的互補(bǔ)性和完全性[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

6 李小五;;無窮邏輯與LS定理[A];理有固然——紀(jì)念金岳霖先生百年誕辰[C];1995年

7 張清宇;;古典命題邏輯的證偽系統(tǒng)[A];1996年邏輯研究專輯[C];1996年

8 毛翊;;條件句邏輯的鄰域語義學(xué)[A];理有固然——紀(jì)念金岳霖先生百年誕辰[C];1995年

9 李立鋒;;邏輯真理及其對系統(tǒng)的嚴(yán)格相對性[A];邏輯研究文集——中國邏輯學(xué)會第六次代表大會暨學(xué)術(shù)討論會論文集[C];2000年

10 余俊偉;;弗協(xié)調(diào)真值道義邏輯分析[A];2003年邏輯研究專輯[C];2003年

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

1 華東師范大學(xué) 馮棉;邏輯科學(xué)，將充滿活力[N];社會科學(xué)報(bào);2004年

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

1 余俊偉;弗協(xié)調(diào)邏輯應(yīng)用于道義邏輯的研究[D];中國社會科學(xué)院研究生院;2001年

2 呂進(jìn);基于時(shí)間和行動(dòng)規(guī)劃的知識—意圖邏輯[D];西南大學(xué);2008年

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

1 蔣軍利;公開更新邏輯[D];西南大學(xué);2007年

2 程莉;概率動(dòng)態(tài)認(rèn)知邏輯初探[D];西南大學(xué);2009年

3 劉珂;動(dòng)態(tài)認(rèn)知邏輯發(fā)展初探[D];河南大學(xué);2008年

4 梁真;群體動(dòng)態(tài)認(rèn)知偏好邏輯[D];西南大學(xué);2011年

5 張保壘;表列演算探究[D];華東師范大學(xué);2011年

6 劉匯洋;若干廣義t-模及相關(guān)模糊邏輯系統(tǒng)[D];寧波大學(xué);2010年

7 徐育;邏輯規(guī)律作用探析[D];山西大學(xué);2010年

8 單萌;合理行為悖論研究[D];燕山大學(xué);2012年

，

本文編號：683770