一个刻画句子顺序的逻辑

发布时间：2017-08-16 14:22

  本文关键词：一个刻画句子顺序的逻辑

  更多相关文章： 更新语义 句子次序 公理化系统 可靠性 完全性

【摘要】：更新语义认为句子的意义在于改变了主体的信息状态。Veltman用更新语义刻画了一个关于认知的可能性的模态词might,S5系统相对于Veltman提出的更新语义是可靠的和完全的。在更新语义的基础上可以用形如φ;ψ公式刻画句子先φ后ψ的次序,对应的公理系统S5S也是可靠的和完全的。
【作者单位】： 怀化学院政法系;
【关键词】： 更新语义 句子次序 公理化系统 可靠性 完全性
【基金】：国家社科基金项目“信息变化的逻辑研究”(12CZX055) 湖南省教育厅项目“信息更新逻辑的完全性研究”(12C0856)
【分类号】：B815.3
【正文快照】： 一引言与经典逻辑把意义看作是句子的真值条件不同,更新语义认为句子的意义在于改变了主体的信息状态。更新语义是一种认知的语义,它把逻辑的核心概念有效性建立在接受(acceptance)条件上。如果你知道一个句子所引起的你的信息状态的变化,那么你就知道那个句子的意义。相对于

【共引文献】

中国期刊全文数据库 前9条

1 廖德明;;动态认知逻辑视域下的知识与信念[J];毕节学院学报;2010年01期

2 李小五;郭向阳;徐秋华;;一个适于更新语义的涉景条件句逻辑[J];暨南大学学报(自然科学版);2008年03期

3 琚凤魁;;“否则”的形式语义(英文)[J];暨南大学学报(自然科学与医学版);2010年05期

4 李小五;;一个匹配生成更新语义的条件句系统(英文)[J];逻辑学研究;2009年03期

5 刘奋荣;;偏好变化的一个量化模型(英文)[J];逻辑学研究;2009年03期

6 琚凤魁;;祈使句和逻辑(英文)[J];逻辑学研究;2010年02期

7 Johan van Benthem;;A MINI-GUIDE TO LOGIC IN ACTION[J];逻辑研究专辑;2003年00期

8 李小五;;适于认知系统和条件句系统的更新语义(英文)[J];心智与计算;2008年02期

9 J.范·本特姆;刘奋荣;;认知逻辑与认识论之研究现状[J];世界哲学;2006年06期

中国重要会议论文全文数据库 前1条

1 Johan van Benthem;;A MINI-GUIDE TO LOGIC IN ACTION[A];2003年逻辑研究专辑[C];2003年

中国博士学位论文全文数据库 前1条

1 刘强;先设消解机制的分析[D];北京语言大学;2007年

中国硕士学位论文全文数据库 前2条

1 程莉;概率动态认知逻辑初探[D];西南大学;2009年

2 金玉;信念算子运算的语义解释研究[D];大连海事大学;2009年

【相似文献】

中国期刊全文数据库 前10条

1 李小五;;以目的与背景知识为双条件的逻辑AKC[J];西南大学学报(社会科学版);2007年03期

2 周平;姜明;徐扬;;LF(X)中带广义量词的可靠性定理[J];模糊系统与数学;2008年02期

3 王路;论“必然地得出”[J];哲学研究;1999年10期

4 霍书全;;Lukasiewicz3-值命题逻辑的强完全性证明[J];安徽大学学报(哲学社会科学版);2008年02期

5 吕进;;一个向上线序的命题时态逻辑PTL[J];西南大学学报(社会科学版);2010年02期

6 李小五;;刻画动态否定的逻辑[J];中山大学学报(社会科学版);2008年02期

7 徐明;;不伦不类开放类 评鞠实儿的开放类逻辑[J];科学文化评论;2006年04期

8 张清宇;;直言推理系统[J];逻辑学研究;2008年01期

9 杜国平;;知识蕴涵时态逻辑系统[J];安徽大学学报(哲学社会科学版);2009年05期

10 白金山;李祥;;具有自反性质的线序时态逻辑研究[J];计算机工程与设计;2011年04期

中国重要会议论文全文数据库 前10条

1 许涤非;;二重命题逻辑系统■_(T4)[A];2001年逻辑研究专辑[C];2001年

2 周北海;;嫁接框架与S1-完全性[A];1994年逻辑研究专辑[C];1994年

3 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年

4 孙卫民;;模态逻辑中几个概念的发展[A];1994年逻辑研究专辑[C];1994年

5 罗翊重;;从《易经》象数学看形式逻辑和辩证逻辑的互补性和完全性[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

6 李小五;;无穷逻辑与LS定理[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

7 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年

8 毛翊;;条件句逻辑的邻域语义学[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

9 李立锋;;逻辑真理及其对系统的严格相对性[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

10 余俊伟;;弗协调真值道义逻辑分析[A];2003年逻辑研究专辑[C];2003年

中国重要报纸全文数据库 前1条

1 华东师范大学 冯棉;逻辑科学，将充满活力[N];社会科学报;2004年

中国博士学位论文全文数据库 前2条

1 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年

2 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年

中国硕士学位论文全文数据库 前8条

1 蒋军利;公开更新逻辑[D];西南大学;2007年

2 程莉;概率动态认知逻辑初探[D];西南大学;2009年

3 刘珂;动态认知逻辑发展初探[D];河南大学;2008年

4 梁真;群体动态认知偏好逻辑[D];西南大学;2011年

5 张保垒;表列演算探究[D];华东师范大学;2011年

6 刘汇洋;若干广义t-模及相关模糊逻辑系统[D];宁波大学;2010年

7 徐育;逻辑规律作用探析[D];山西大学;2010年

8 单萌;合理行为悖论研究[D];燕山大学;2012年

，

本文编号：683770