您的位置: 专家智库 > >

郭向阳

作品数:5 被引量:1H指数:1
供职机构:怀化学院政法系更多>>
发文基金:国家社会科学基金更多>>
相关领域:哲学宗教更多>>

文献类型

  • 4篇期刊文章
  • 1篇会议论文

领域

  • 5篇哲学宗教

主题

  • 2篇可靠性
  • 1篇形式化
  • 1篇有穷
  • 1篇周延性
  • 1篇悖论
  • 1篇逻辑
  • 1篇句子
  • 1篇刻画
  • 1篇分析模型
  • 1篇词项逻辑

机构

  • 5篇怀化学院

作者

  • 5篇郭向阳
  • 1篇付雪平

传媒

  • 1篇怀化学院学报
  • 1篇湖南科技大学...
  • 1篇毕节学院学报...
  • 1篇重庆理工大学...
  • 1篇2013年全...

年份

  • 4篇2013
  • 1篇2012
5 条 记 录,以下是 1-5
排序方式:
信念逻辑的更新模型
2013年
刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释。更新模型用动态的更新语义刻画信念算子。用有穷模型的方法证明信念逻辑相对于更新语义是框架可靠的和框架完全的。
郭向阳
关键词:可靠性
悖论的定义及其形式化
2012年
"什么是悖论"其实就是悖论定义问题,始终是悖论研究的一个重要问题,对这个问题的回答在某种程度上决定了研究的方向和深度。以张建军的"三要素"表征的悖论定义是现有研究成果的典型代表,国内的一些著名逻辑学者都在这个问题上发表了各自的看法。通过对这些看法的比较研究,提出一个更合理的悖论定义,并予以形式化。
郭向阳付雪平
关键词:悖论形式化
信念逻辑的更新模型
刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释.更新模型用动态的更新语义刻画信念算子.用有穷模型的方法证明信念逻辑相对于更新语义是框架可靠的和框架完全的.
郭向阳
关键词:分析模型
文献传递
一个刻画句子顺序的逻辑被引量:1
2013年
更新语义认为句子的意义在于改变了主体的信息状态。Veltman用更新语义刻画了一个关于认知的可能性的模态词might,S5系统相对于Veltman提出的更新语义是可靠的和完全的。在更新语义的基础上可以用形如φ;ψ公式刻画句子先φ后ψ的次序,对应的公理系统S5S也是可靠的和完全的。
郭向阳
关键词:可靠性
周延性规则普适性刍议
2013年
周延性规则是词项逻辑中的一个重要推理规则,但它并不是一个普遍适用的规则。通过用不相容性代替传统的方式来刻画周延性,得到一个新的周延性定义。基于新的周延性定义,周延性规则普遍适用。再修改周延性规则和增加两条三段论规则,就可以得到一个新的三段论推理规则系统,从而建立一个统一的周延性理论。
郭向阳
关键词:词项逻辑周延性
共1页<1>
聚类工具0